uk.ac.man.cs.rainbow.simulator
Class RASMCode.Label.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.RASMCode.Label.Data

All Implemented Interfaces:

Argument, Serializable, Value, VariableContainer

Enclosing class:

RASMCode.Label

public static class RASMCode.Label.Data

extends Data.Untyped

implements Serializable

A label as a value that can be referred to by a virtual machine.

See Also:

RASMThread, RASM.Push, RASM.Jump, 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

protected RASMCode.Label

label

Constructor Summary

RASMCode.Label.Data(RASMCode.Label label)

Method Summary

boolean	equals(Data d) Standardised equality defined over untyped data values.
RASMCode.Label	getValue()
int	hashCode() Hash-code generator.
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, 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

label

protected RASMCode.Label label

Constructor Detail

RASMCode.Label.Data

public RASMCode.Label.Data(RASMCode.Label label)

Method Detail

getValue

public RASMCode.Label getValue()

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