edu.toronto.cs.simulator
Class XCStateInfo

java.lang.Object
  extended by edu.toronto.cs.simulator.XCStateInfo

public class XCStateInfo
extends java.lang.Object

XCStateInfo is the class used to store the state info in the trace.


Constructor Summary
XCStateInfo()
          Constructs an empty XCStateInfo object.
XCStateInfo(MvSet vars)
          Constructs the state info from the MvSet identifying the state.
XCStateInfo(java.lang.String l, MvSet vars)
          Constructs the state info from the MvSet identifying the state and a label.
 
Method Summary
 boolean equals(java.lang.Object o)
          If the object compared to is of type XCStateInfo and has equal label and variables, returns true; otherwise returs false.
 java.lang.String getLabel()
          Retrieves the state label.
 java.lang.Object getTransition()
          Sets the state variables.
 MvSet getVariables()
          Retrieves the state variables.
 void setLabel(java.lang.String newlabel)
          Sets the state label.
 java.lang.String toString()
          Sets the transition into the state.
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

XCStateInfo

public XCStateInfo()
Constructs an empty XCStateInfo object.


XCStateInfo

public XCStateInfo(MvSet vars)
Constructs the state info from the MvSet identifying the state.

Parameters:
vars - - variables identifying the state.

XCStateInfo

public XCStateInfo(java.lang.String l,
                   MvSet vars)
Constructs the state info from the MvSet identifying the state and a label.

Parameters:
l - - state label (not necessarily same as name)
vars - - variables identifying the state.
Method Detail

equals

public boolean equals(java.lang.Object o)
If the object compared to is of type XCStateInfo and has equal label and variables, returns true; otherwise returs false.

Overrides:
equals in class java.lang.Object
Parameters:
o - - Object to compare.
Returns:
true if the label and variables of XCStateInfo objects are equal and false otherwise.

getLabel

public java.lang.String getLabel()
Retrieves the state label.

Returns:
state label.

setLabel

public void setLabel(java.lang.String newlabel)
Sets the state label.


getVariables

public MvSet getVariables()
Retrieves the state variables.

Returns:
state variables.

getTransition

public java.lang.Object getTransition()
Sets the state variables.

Returns:
the value of the transition into the state.

toString

public java.lang.String toString()
Sets the transition into the state.

Overrides:
toString in class java.lang.Object
Returns:
the string representation of the XCStateInfo.