import java.util.*;
import java.net.*;
import java.io.*;
import java.lang.*;
import EDU.neu.ccs.demeter.*;
 class TimeCheckingVisitor {
  protected int flag;
  public int get_flag() { return flag;   }
  public void set_flag(int new_flag) { flag = new_flag;   }
  protected long time;
  public long get_time() { return time;   }
  public void set_time(long new_time) { time = new_time;   }
  protected long pretime;
  public long get_pretime() { return pretime;   }
  public void set_pretime(long new_pretime) { pretime = new_pretime;   }
  protected boolean condition;
  public boolean get_condition() { return condition;   }
  public void set_condition(boolean new_condition) { condition = new_condition;   }
  public TimeCheckingVisitor(int flag, long time, long pretime, boolean condition) {
    super();
    set_flag(flag);
    set_time(time);
    set_pretime(pretime);
    set_condition(condition);
    }
  public TimeCheckingVisitor() { flag = 0; // I wanted to give the bigest value to pretime at the 
                  // begining but as it is not possible I used a flag for
                  // the first time limitation
        time = 0;     
        pretime = 0;
                         //if the time limitation is in decending order
                         //then the condition value is true otherwise 
                         //it is false
        condition = true;   }
  public void before(Time_Limit host) { 
    if (flag == 0)
    {
      pretime = host.get_time().get_l() ;
      flag = 1;
    }
    else   
      {
      time = host.get_time().get_l() ;
      if ( time > pretime )
        condition =  false;
      pretime = time;
       } 
  }
   boolean get_return_val() { return condition ;   }
    void universal_trv0_bef(UniversalVisitor _v_) {
    _v_.before(this);
  }

    void universal_trv0_aft(UniversalVisitor _v_) {
    _v_.after(this);
  }

    void universal_trv0(UniversalVisitor _v_) {
    universal_trv0_bef(_v_);
    _v_.before_flag(this, flag);
    _v_.after_flag(this, flag);
    _v_.before_time(this, time);
    _v_.after_time(this, time);
    _v_.before_pretime(this, pretime);
    _v_.after_pretime(this, pretime);
    _v_.before_condition(this, condition);
    _v_.after_condition(this, condition);
    universal_trv0_aft(_v_);
  }

}