uk.ac.man.cs.rainbow.simulator
Class RASMThread.Characterisation
java.lang.Object
|
+--uk.ac.man.cs.rainbow.rapa.data.Expression
|
+--uk.ac.man.cs.rainbow.datamodel.Data
|
+--uk.ac.man.cs.rainbow.datamodel.Data.Untyped
|
+--uk.ac.man.cs.rainbow.simulator.RASMThread.Characterisation
- All Implemented Interfaces:
- Argument, Serializable, Value, VariableContainer
- Enclosing class:
- RASMThread
- public static final class RASMThread.Characterisation
- extends Data.Untyped
- implements Serializable
The characterisation of a thread that doesn't specify its own.
- See Also:
- Serialized Form
Method Summary |
boolean |
equals(Data d)
Standardised equality defined over untyped data values. |
int |
hashCode()
Hash-code generator. |
String |
toString()
Print the data value. |
Methods inherited from class uk.ac.man.cs.rainbow.datamodel.Data |
apply, equals, equals, getResultType, getType, hasVariable, main, occurs, parse, parse, subst, typedString, unify |
equals
public boolean equals(Data d)
- Description copied from class:
Data.Untyped
- Standardised equality defined over untyped data values.
Must be implemented by concrete subclasses.
- Overrides:
equals
in class Data.Untyped
hashCode
public int hashCode()
- Description copied from class:
Data
- Hash-code generator. Implemented so that data values that print
the same way have the same hashCode (and ought to satisfy
equals() too...)
- Overrides:
hashCode
in class Data
toString
public String toString()
- Description copied from class:
Data
- Print the data value.
- Overrides:
toString
in class Data