uk.ac.man.cs.rainbow.simulator
Class RASM.NDChoice

java.lang.Object
  |
  +--uk.ac.man.cs.rainbow.simulator.Instruction
        |
        +--uk.ac.man.cs.rainbow.simulator.RASM.NDChoice

All Implemented Interfaces:

Serializable

Enclosing class:

RASM

Deprecated. Use NDChoice

public static class RASM.NDChoice

extends Instruction

Non-deterministic jump.

Jumps to an address chosen randomly from the supplied collection. If n = 0, no jump is performed and the next instruction to be executed will be the one following this instruction, and if n = 1 then the sole jump available is always taken. Note that this instruction might trigger rescheduling of the thread in other cases.

addr₀ ... addr_n-1 n -

See Also:

RASM.Jump, RASM.NDValue, Serialized Form

Inner classes inherited from class uk.ac.man.cs.rainbow.simulator.Instruction

Instruction.MACRO

Constructor Summary

RASM.NDChoice()
Deprecated.

RASM.NDChoice(RASMCode code)
Deprecated.

Method Summary

protected boolean	execute(RASMThread thread) Deprecated. Make this instruction execute in the given context.
String	toString() Deprecated.

Methods inherited from class uk.ac.man.cs.rainbow.simulator.Instruction

addClass, getInstruction, getInstruction, getInstruction

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

RASM.NDChoice

public RASM.NDChoice()

Deprecated.

RASM.NDChoice

public RASM.NDChoice(RASMCode code)

Deprecated.

Method Detail

toString

public String toString()

Deprecated.

Overrides:

toString in class Object

execute

protected boolean execute(RASMThread thread)
                   throws RainbowException

Deprecated.

Description copied from class: Instruction

Make this instruction execute in the given context.

Overrides:

execute in class Instruction

Following copied from class: uk.ac.man.cs.rainbow.simulator.Instruction

Throws:

RainbowException - All sorts of things can go wrong during execution...