uk.ac.man.cs.rainbow.datamodel
Class UnknownData

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.UnknownData

All Implemented Interfaces:

Argument, Serializable, Value, VariableContainer

public final class UnknownData

extends Data.Untyped

implements Serializable

The unknown data value. The initial contents of registers, and what channels carry when they are not active.

See Also:

Data, Data.Untyped, Serialized Form

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

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

Field Summary

static UnknownData

instance A standard instance of the unknown data value.

Constructor Summary

UnknownData()

Method Summary

boolean	equals(Data d) Standardised equality defined over untyped data values.
String	toString() Print the data value.

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

cast

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

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

Field Detail

instance

public static UnknownData instance

A standard instance of the unknown data value.

Constructor Detail

UnknownData

public UnknownData()

Method Detail

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