code.instr
Class MakeRef

java.lang.Object
  code.instr.MakeRef

All Implemented Interfaces:

Instruction

public class MakeRef
extends java.lang.Object
implements Instruction

Construct a term that wraps a variable. Such a term is used only for the right-hand side of a collapsing rule, such as: append [] x = x The wrapper ensures a single entry to the variable and supports replacement in place.

Since:

Oct 13, 2006

Author:

Sergio Antoy

Field Summary

static MakeRef

singleton

Constructor Summary

private

MakeRef()

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

Constructor Detail

MakeRef

private MakeRef()

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