Uses of Class
uk.ac.man.cs.rainbow.datamodel.Data

Packages that use Data

Rainbow	Entry points, RMI service classes and application-level wrappers.
uk.ac.man.cs.rainbow.datamodel	Data model for Rainbow simulation.
uk.ac.man.cs.rainbow.deadlock	Deadlock and temporal model checking.
uk.ac.man.cs.rainbow.simulator	Rainbow simulation system.
uk.ac.man.cs.rainbow.simulator.rasm	RASM instructions.

Uses of Data in Rainbow

Methods in Rainbow that return Data

Data	Session.read(Integer key) Read the register indexed by the given key.
Data	SessionHandler.read(Integer key)

Uses of Data in uk.ac.man.cs.rainbow.datamodel

Subclasses of Data in uk.ac.man.cs.rainbow.datamodel

static class	Data.List Compound "list" datatypes.
static class	Data.Union Union datatypes.
static class	Data.Untyped The superclass of all Untypeable data classes.
static class	Data.Word Basic "word" datatypes.
class	StringData Strings as data values.
class	TypeData Types as untyped data values.
class	UnknownData The unknown data value.

Methods in uk.ac.man.cs.rainbow.datamodel that return Data

abstract Data	Data.cast(Type t) Return a new data value that has the given type.
static Data	Data.parse(String s) Attempts to parse the given string to produce a data value.
static Data	Data.parse(String s, Hashtable context) Attempts to parse the given string (in context) to produce a data value.
Data	Data.Word.cast(Type t)
Data	Data.List.cast(Type t)
Data	Data.Union.cast(Type t)
Data	Data.Untyped.cast(Type t) Casting is not supported on untyped data values.

Methods in uk.ac.man.cs.rainbow.datamodel with parameters of type Data

abstract boolean	Data.equals(Data d) Standardised equality defined over data values with equal types.
boolean	Data.Word.equals(Data d)
boolean	Data.List.equals(Data d)
boolean	Data.Union.equals(Data d)
abstract boolean	Data.Untyped.equals(Data d) Standardised equality defined over untyped data values.
boolean	StringData.equals(Data d)
boolean	UnknownData.equals(Data d)
boolean	TypeData.equals(Data d)

Uses of Data in uk.ac.man.cs.rainbow.deadlock

Methods in uk.ac.man.cs.rainbow.deadlock that return Data

Data	Introspector.getBufferContents(String key) What is the contents the buffer with the given key?
Data	Introspector.getProbeValue(String key) What is the value of the probe with the given key?
Data	Introspector.getArbitrateDirection(String key) Which input is selected by the arbitrate with the given key.
Data	Introspector.getRegisterContents(String key) Read the given register.
Data	Introspector.getProgramCounter(String key) Read the given program counter.
protected Data[]	StateEngine.advanceEpsilons() Advance the system over epsilon steps.
Data	StateEngine.ChannelEvent.getValue() What value was present on the channel?

Uses of Data in uk.ac.man.cs.rainbow.simulator

Subclasses of Data in uk.ac.man.cs.rainbow.simulator

static class	Channel.Data Channels can be turned into first-class data values.
static class	RASMCode.Label.Data A label as a value that can be referred to by a virtual machine.
class	RASMThread.CallChain An encapsulation of the location of a thread.
static class	RASMThread.Characterisation The characterisation of a thread that doesn't specify its own.
static class	Register.Data Registers can be first class data values.
static class	StateEnumerator.NDData So the state of the scheduler can be characterised.

Methods in uk.ac.man.cs.rainbow.simulator that return Data

Data	Scheduler.readKeyedRegister(int key) Request the contents of the register indexed by the given key.
Data	Scheduler.readKeyedRegister(Integer key) Request the contents of the register indexed by the given key.
abstract Data	RainbowThread.characterise() Characterise this thread.
Data	RainbowThread.getFromChannel(Channel chan) Read a value off a channel.
Data	RASMThread.getIdx(int idx) Read a value from an offset from the base of the current stack-frame.
Data[]	RASMThread.pop(int size) Pop a vector of data values off the stack.
Data	RASMThread.pop() Pop a single data value off the stack.
Data	RASMThread.execExtern(String externString) Pass a string to the client for external execution.
Data	RASMThread.characterise() Characterise this thread and its children.
Data	RASM.Push.getValue() Deprecated.
Data	Register.getContents() Read the register.
Data	Channel.getContents() Get the value currently on the channel.
Data	RASMThread.RegPair.getContents()

Methods in uk.ac.man.cs.rainbow.simulator with parameters of type Data

void	RainbowThread.putToChannel(Channel chan, Data value) Put a value onto a channel.
void	RASMThread.fork(RASMCode.Label[] labels, Data[] args) Create a collection of child threads.
void	RASMThread.setIdx(int idx, Data d) Set a value at an offset from the base of the current stack-frame.
void	RASMThread.push(Data[] dvec) Push a list of data values onto the stack.
void	RASMThread.push(Data[] dvec, int from, int to) Push part of a list of data values onto the stack.
void	RASMThread.push(Data d) Push a single data value onto the stack.
void	Register.setContents(Data contents) Assign to the register.
boolean	Register.Data.equals(Data d)
void	Channel.setContents(Data contents) Set the value that is being passed along the channel.
boolean	Channel.Data.equals(Data d)
void	RASMThread.RegPair.setContents(Data d)
boolean	RASMThread.CallChain.equals(Data d)
boolean	RASMThread.Characterisation.equals(Data d)
void	StateEnumerator.characterise(Data[] vec) Put a characterisation of the state into the given vector.
static boolean	StateEnumerator.compareCharacterisations(Data[] characterisation1, Data[] characterisation2) Compare two characterisations.
boolean	StateEnumerator.NDData.equals(Data d)
boolean	RASMCode.Label.Data.equals(Data d)

Constructors in uk.ac.man.cs.rainbow.simulator with parameters of type Data

RASM.Push(Data value)
Deprecated.

RASM.Push(Data value, RASMCode code)
Deprecated.

Uses of Data in uk.ac.man.cs.rainbow.simulator.rasm

Methods in uk.ac.man.cs.rainbow.simulator.rasm that return Data

Data	Push.getValue()

Constructors in uk.ac.man.cs.rainbow.simulator.rasm with parameters of type Data

Push(Data value)

Push(Data value, RASMCode code)