uk.ac.man.cs.rainbow.simulator
Class Register.Data

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.Register.Data

All Implemented Interfaces:

Argument, Serializable, Value, VariableContainer

Enclosing class:

Register

public static class Register.Data

extends Data.Untyped

implements Serializable

Registers can be first class data values.

See Also:

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

Register.Data(Register register)

Method Summary

boolean	equals(Data d) Standardised equality defined over untyped data values.
Register	getRegister()
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

Constructor Detail

Register.Data

public Register.Data(Register register)

Method Detail

getRegister

public Register getRegister()

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

toString

public String toString()

Description copied from class: Data

Print the data value.

Overrides:

toString in class Data