Class inria.meije.rc.sugarcubes.Instruction 
All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class inria.meije.rc.sugarcubes.Instruction 

java.lang.Object
   |
   +----inria.meije.rc.sugarcubes.Instruction
public class Instruction
extends Object
implements ReturnCodes, Cloneable
The abstract class of reactive instructions with the activation abstract method. An instruction can be activated, reset, or forced to terminate. Activation returns TERM, STOP, or SUSP.

Variable Index

o terminated
To indicate that instruction is terminated.

Constructor Index

o Instruction()

Method Index

o activ(Machine)
The general activ method activates the instruction in a machine and manages its termination state.
o activation(Machine)
Specific activation.
o clone()
Instruction implements cloneable.
o equals(Instruction)
Equality of two instructions implies that they are of the same type.
o exploration(Machine)
A hook for analyzing an instruction.
o explore(Machine)
o isTerminated()
To test if the instruction is terminated.
o remain(Machine)
Specific residual method.
o reset()
To reset the instruction.
o residual(Machine)
The residual of an instruction is nothing if it is terminated, otherwise it is the result of the remain method.
o terminate()
To terminate the instruction.
o toString()
Instructions can be converted to strings.

Variables

o terminated 
  protected boolean terminated
To indicate that instruction is terminated.

Constructors

o Instruction 
  public Instruction()

Methods

o reset 
  public void reset()
To reset the instruction.
o terminate 
  public final void terminate()
To terminate the instruction.
o isTerminated 
  public final boolean isTerminated()
To test if the instruction is terminated.
o activation 
  protected abstract byte activation(Machine machine)
Specific activation.
o activ 
  public final byte activ(Machine machine)
The general activ method activates the instruction in a machine and manages its termination state.
o equals 
  public boolean equals(Instruction inst)
Equality of two instructions implies that they are of the same type.
o toString 
  public String toString()
Instructions can be converted to strings.
Overrides:
toString in class Object
o remain 
  protected Instruction remain(Machine machine)
Specific residual method.
o residual 
  public Instruction residual(Machine machine)
The residual of an instruction is nothing if it is terminated, otherwise it is the result of the remain method.
o exploration 
  protected boolean exploration(Machine machine)
A hook for analyzing an instruction. Returns true if it CAN terminate, false otherwise.
o explore 
  public boolean explore(Machine machine)
o clone 
  public Object clone()
Instruction implements cloneable.
Overrides:
clone in class Object 
All Packages  Class Hierarchy  This Package  Previous  Next  Index