code.lang
Class FindallModule.FindallInstruction

java.lang.Object
  code.lang.FindallModule.FindallInstruction

All Implemented Interfaces:

Instruction

Enclosing class:

FindallModule

public static class FindallModule.FindallInstruction
extends java.lang.Object
implements Instruction

Field Summary

static FindallModule.FindallInstruction

singleton

Constructor Summary

FindallModule.FindallInstruction()

Method Summary

void	execute(Computation computation) Executes a findall operation.
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 FindallModule.FindallInstruction singleton

Constructor Detail

FindallModule.FindallInstruction

public FindallModule.FindallInstruction()

Method Detail

execute

public void execute(Computation computation)

Executes a findall operation. This code marks the variables occurring in a term, constructs a findall client to receive computed search results and updates the current term with a findNext term, which returns the first search result.

Specified by:

execute in interface Instruction

Parameters:

computation - - the initial computation containing the term to conduct a search.

printAsTxtLoadable

public java.lang.String printAsTxtLoadable()

Specified by:

printAsTxtLoadable in interface Instruction