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

package example;
import cruise.util.ConsoleTracer;
import java.util.*;
import java.lang.Thread;

public class Tracer implements Runnable
{

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

  //Tracer State Machines
  public enum Status { Open, Full }
  private Status status;
  
  MessagePool pool;
  Thread removal;
  
  //enumeration type of messages accepted by Tracer
  protected enum MessageType { register_M, reject_M, extend_M }

  // Map for a Tracer pooled state machine that allows querying which events are possible in each map

  public static final Map<Object, HashSet<MessageType>> stateMessageMap = new HashMap<Object, HashSet<MessageType>>();
  static {
    stateMessageMap.put(Status.Open,new HashSet<MessageType>(Arrays.asList(MessageType.register_M)));
    stateMessageMap.put(Status.Full,new HashSet<MessageType>(Arrays.asList(MessageType.reject_M, MessageType.extend_M)));
  }

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

  public Tracer()
  {
    setStatus(Status.Open);
    pool = new MessagePool();
    removal=new Thread(this);
    //start the thread of Tracer
    removal.start();
  }

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

  public String getStatusFullName()
  {
    String answer = status.toString();
    return answer;
  }

  public Status getStatus()
  {
    return status;
  }

  public boolean _register()
  {
    boolean wasEventProcessed = false;
    
    Status aStatus = status;
    switch (aStatus)
    {
      case Open:
    ConsoleTracer.handle( System.currentTimeMillis()+","+Thread.currentThread().getId()+",TracePooledStateMachine.ump,14,Tracer,"+System.identityHashCode(this)+",sm_t,Open,register,Full" );
        setStatus(Status.Full);
        wasEventProcessed = true;
        break;
      default:
        // Other states do respond to this event
    }

    return wasEventProcessed;
  }

  public boolean _reject()
  {
    boolean wasEventProcessed = false;
    
    Status aStatus = status;
    switch (aStatus)
    {
      case Full:
    ConsoleTracer.handle( System.currentTimeMillis()+","+Thread.currentThread().getId()+",TracePooledStateMachine.ump,14,Tracer,"+System.identityHashCode(this)+",sm_t,Full,reject,Full" );
        setStatus(Status.Full);
        wasEventProcessed = true;
        break;
      default:
        // Other states do respond to this event
    }

    return wasEventProcessed;
  }

  public boolean _extend()
  {
    boolean wasEventProcessed = false;
    
    Status aStatus = status;
    switch (aStatus)
    {
      case Full:
    ConsoleTracer.handle( System.currentTimeMillis()+","+Thread.currentThread().getId()+",TracePooledStateMachine.ump,14,Tracer,"+System.identityHashCode(this)+",sm_t,Full,extend,Open" );
        setStatus(Status.Open);
        wasEventProcessed = true;
        break;
      default:
        // Other states do respond to this event
    }

    return wasEventProcessed;
  }

  private void setStatus(Status aStatus)
  {
    status = aStatus;
  }

  public void delete()
  {}

  protected class Message
  {
    MessageType type;
    
    //Message parameters
    Vector<Object> param;
    
    public Message(MessageType t, Vector<Object> p)
    {
      type = t; 
      param = p;
    }

    @Override
    public String toString()
    {
      return type + "," + param;
    }
  }
  
  protected class MessagePool {
    Queue<Message> messages = new LinkedList<Message>();
    
    public synchronized void put(Message m)
    {
      messages.add(m); 
      notify();
    }

    public synchronized Message getNext()
    {
      Message message=null;

      try {
        message=getNextProcessableMessage();
        while (message==null)
        {
          wait();
          message=getNextProcessableMessage();
        }
      } catch (InterruptedException e) { e.printStackTrace(); }

      // return the message
      return (message);
    }

    public Message getNextProcessableMessage()
    {
      // Iterate through messages and remove the first message that matches one of the Messages list
      // otherwise return null
      for (Message msg: messages)
      {
        if(stateMessageMap.get(getStatus()).contains(msg.type))
        {
          //The element to be removed
          messages.remove(msg);
          return (msg);
        }
      }
      return null;
    }
  }

  //------------------------------
  //messages accepted 
  //------------------------------

  public void register ()
  {
    pool.put(new Message(MessageType.register_M, null));
  }

  public void reject ()
  {
    pool.put(new Message(MessageType.reject_M, null));
  }

  public void extend ()
  {
    pool.put(new Message(MessageType.extend_M, null));
  }

  
  @Override
  public void run ()
  {
    boolean status=false;
    while (true) 
    {
      Message m = pool.getNext();
      
      switch (m.type)
      {
        case register_M:
          status = _register();
          break;
        case reject_M:
          status = _reject();
          break;
        case extend_M:
          status = _extend();
          break; 
        default:
      }
      if(!status)
      {
        // Error message is written or  exception is raised
      }
    }
  }
}
