|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.simulator.XCStateInfo
public class XCStateInfo
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 |
---|
public XCStateInfo()
public XCStateInfo(MvSet vars)
vars
- - variables identifying the state.public XCStateInfo(java.lang.String l, MvSet vars)
l
- - state label (not necessarily same as name)vars
- - variables identifying the state.Method Detail |
---|
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
o
- - Object to compare.
public java.lang.String getLabel()
public void setLabel(java.lang.String newlabel)
public MvSet getVariables()
public java.lang.Object getTransition()
public java.lang.String toString()
toString
in class java.lang.Object
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |