uk.ac.man.cs.rainbow.datamodel
Class TypeData
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.datamodel.TypeData
- All Implemented Interfaces:
- Argument, Serializable, Value, VariableContainer
- public class TypeData
- extends Data.Untyped
- implements Serializable
Types as untyped data values.
- See Also:
Data
,
Data.Untyped
, Serialized Form
Methods inherited from class uk.ac.man.cs.rainbow.datamodel.Data |
apply, equals, equals, getResultType, getType, hashCode, hasVariable, main, occurs, parse, parse, subst, typedString, unify |
contents
protected Type contents
TypeData
public TypeData(Type theType)
toString
public String toString()
- Description copied from class:
Data
- Print the data value.
- Overrides:
toString
in class Data
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
getValue
public Type getValue()