uk.ac.man.cs.rainbow.datamodel
Class Data.Untyped

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

All Implemented Interfaces:

Argument, Serializable, Value, VariableContainer

Direct Known Subclasses:

Channel.Data, RASMCode.Label.Data, RASMThread.CallChain, RASMThread.Characterisation, Register.Data, StateEnumerator.NDData, StringData, TypeData, UnknownData

Enclosing class:

Data

public abstract static class Data.Untyped

extends Data

The superclass of all Untypeable data classes. Note that this is not Serializable, as it can represent constructs like channels, locations and registers which might not be (properly) serializable themselves.

See Also:

StringData, TypeData, UnknownData, Serialized Form

Inner classes inherited from class uk.ac.man.cs.rainbow.datamodel.Data

Data.Comparable, Data.List, Data.Union, Data.Untyped, Data.Word

Constructor Summary

Data.Untyped()
So this class can be subclassed...

Method Summary

Data	cast(Type t) Casting is not supported on untyped data values.
abstract boolean	equals(Data d) Standardised equality defined over untyped data values.

Methods inherited from class uk.ac.man.cs.rainbow.datamodel.Data

apply, equals, equals, getResultType, getType, hashCode, hasVariable, main, occurs, parse, parse, subst, toString, typedString, unify

Methods inherited from class uk.ac.man.cs.rainbow.rapa.data.Expression

compatableWith, evaluate, getNodeType, subst

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Data.Untyped

public Data.Untyped()

So this class can be subclassed...

Method Detail

cast

public Data cast(Type t)
          throws TypeException

Casting is not supported on untyped data values. Well, not unless overridden otherwise...

Overrides:

cast in class Data

Following copied from class: uk.ac.man.cs.rainbow.datamodel.Data

Throws:

TypeException - Thrown if the data value being cast from (or some part of it) disgrees with the type (or type component) that is being specified for it.

equals

public abstract boolean equals(Data d)

Standardised equality defined over untyped data values. Must be implemented by concrete subclasses.

Overrides:

equals in class Data