code.instr
Class Replace

java.lang.Object
  extended by code.instr.Replace
All Implemented Interfaces:
Instruction

public class Replace
extends java.lang.Object
implements Instruction

Replace the top of the pre-redex stack with the register.

Since:
June 17, 2003
Author:
Sergio Antoy

Field Summary
static Replace singleton
           
 
Constructor Summary
private Replace()
           
 
Method Summary
 void execute(Computation computation)
          This method executes whatever is intended by the Instruction.
 java.lang.String printAsTxtLoadable()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

singleton

public static final Replace singleton
Constructor Detail

Replace

private Replace()
Method Detail

execute

public void execute(Computation computation)
Description copied from interface: Instruction
This method executes whatever is intended by the Instruction.

Specified by:
execute in interface Instruction
Parameters:
computation - The instruction is executed in the context of this Computation.

printAsTxtLoadable

public java.lang.String printAsTxtLoadable()
Specified by:
printAsTxtLoadable in interface Instruction