code.instr
Class Load

java.lang.Object
  code.instr.Load

All Implemented Interfaces:

Instruction

public class Load
extends java.lang.Object
implements Instruction

Load in the machine register a subterm of the top of the pre-redex stack. The subterm is identified by a position, possibly null sequence of naturals.

Since:

June 17, 2003

Author:

Sergio Antoy

Field Summary

private byte[]

argumentNumber The position of the subterm of top of pre-redex stack that should be loaded in the "current" register.

Constructor Summary

Load(byte argumentNumber)

Load(byte[] argumentNumber)

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

argumentNumber

private final byte[] argumentNumber

The position of the subterm of top of pre-redex stack that should be loaded in the "current" register.

Constructor Detail

Load

public Load(byte argumentNumber)

Load

public Load(byte[] argumentNumber)

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