/*PLEASE DO NOT EDIT THIS CODE*/
/*This code was generated using the UMPLE @UMPLE_VERSION@ modeling language!*/

package example;
import cruise.util.FileTracer;

public class Tracer
{

  //------------------------
  // MEMBER VARIABLES
  //------------------------

  //Tracer State Machines
  public enum Sm { Open, Closing, Closed, Opening, HalfOpen }
  private Sm sm;

  //------------------------
  // CONSTRUCTOR
  //------------------------

  public Tracer()
  {
    setSm(Sm.Open);
  }

  //------------------------
  // INTERFACE
  //------------------------

  public String getSmFullName()
  {
    String answer = sm.toString();
    return answer;
  }

  public Sm getSm()
  {
    return sm;
  }

  public boolean buttonOrObstacle()
  {
    boolean wasEventProcessed = false;
    
    Sm aSm = sm;
    switch (aSm)
    {
      case Open:
    FileTracer.handle( System.currentTimeMillis()+","+Thread.currentThread().getId()+",TraceTransition.ump,26,Tracer,"+System.identityHashCode(this)+",sm_t,Open,buttonOrObstacle,Closing" );
        setSm(Sm.Closing);
        wasEventProcessed = true;
        break;
      case Closing:
    FileTracer.handle( System.currentTimeMillis()+","+Thread.currentThread().getId()+",TraceTransition.ump,26,Tracer,"+System.identityHashCode(this)+",sm_t,Closing,buttonOrObstacle,Opening" );
        setSm(Sm.Opening);
        wasEventProcessed = true;
        break;
      case Closed:
    FileTracer.handle( System.currentTimeMillis()+","+Thread.currentThread().getId()+",TraceTransition.ump,26,Tracer,"+System.identityHashCode(this)+",sm_t,Closed,buttonOrObstacle,Opening" );
        setSm(Sm.Opening);
        wasEventProcessed = true;
        break;
      case Opening:
    FileTracer.handle( System.currentTimeMillis()+","+Thread.currentThread().getId()+",TraceTransition.ump,26,Tracer,"+System.identityHashCode(this)+",sm_t,Opening,buttonOrObstacle,HalfOpen" );
        setSm(Sm.HalfOpen);
        wasEventProcessed = true;
        break;
      case HalfOpen:
    FileTracer.handle( System.currentTimeMillis()+","+Thread.currentThread().getId()+",TraceTransition.ump,26,Tracer,"+System.identityHashCode(this)+",sm_t,HalfOpen,buttonOrObstacle,Opening" );
        setSm(Sm.Opening);
        wasEventProcessed = true;
        break;
      default:
        // Other states do respond to this event
    }

    return wasEventProcessed;
  }

  public boolean reachBottom()
  {
    boolean wasEventProcessed = false;
    
    Sm aSm = sm;
    switch (aSm)
    {
      case Closing:
        setSm(Sm.Closed);
        wasEventProcessed = true;
        break;
      default:
        // Other states do respond to this event
    }

    return wasEventProcessed;
  }

  public boolean reachTop()
  {
    boolean wasEventProcessed = false;
    
    Sm aSm = sm;
    switch (aSm)
    {
      case Opening:
        setSm(Sm.Open);
        wasEventProcessed = true;
        break;
      default:
        // Other states do respond to this event
    }

    return wasEventProcessed;
  }

  private void setSm(Sm aSm)
  {
    sm = aSm;
  }

  public void delete()
  {}

}
