code.instr
Class MakePartial

java.lang.Object
  code.instr.MakePartial

All Implemented Interfaces:

Instruction

public class MakePartial
extends java.lang.Object
implements Instruction

Construct a term from a (root) symbol partially applied to a bunch of arguments. The arguments are popped from the pre-term stack (where they were pushed in reverse order). The number of arguments is the second argument of the constructor.

Since:

June 17, 2003

Author:

Sergio Antoy

Field Summary

private int	argsNumber
private static int	closureId
private int	root

Constructor Summary

MakePartial(java.lang.String modulename, java.lang.String root, int argsNumber)
Constructor for the MakePartial object

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

root

private final int root

argsNumber

private final int argsNumber

closureId

private static final int closureId

Constructor Detail

MakePartial

public MakePartial(java.lang.String modulename,
                   java.lang.String root,
                   int argsNumber)

Constructor for the MakePartial object

Parameters:

root - The root symbol of the partial application

modulename - The module of the root symbol

argsNumber - The number of arguments of the root symbol

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