code.instr
Class MakeAnon

java.lang.Object
  code.instr.MakeAnon

All Implemented Interfaces:

Instruction

public class MakeAnon
extends java.lang.Object
implements Instruction

Construct a fresh (anonymous) variable and push it on the pre-term stack.

Since:

June 17, 2003

Author:

Sergio Antoy

Field Summary

static MakeAnon

singleton

Constructor Summary

private

MakeAnon()

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 MakeAnon singleton

Constructor Detail

MakeAnon

private MakeAnon()

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