code.lang
Class FindallModule

java.lang.Object
  code.modules.CurryModule
      code.lang.FindallModule

public class FindallModule
extends CurryModule

This class implements the findall and findnext operations.

Author:

Khai Pham

Nested Class Summary

static class

FindallModule.FindallInstruction

Field Summary

private static Instruction[]	findallCode
static java.lang.String	findallName This instruction initiates a findall search operation.
private static OperationSymbol	findallOperation
private static TypeExpression	findallType
static java.lang.String	moduleName

Fields inherited from class code.modules.CurryModule

compiled, fileLocation, timestamp

Constructor Summary

FindallModule()

Method Summary

private static java.util.Vector

createSymbols()

Methods inherited from class code.modules.CurryModule

getAllSymbolsEnumeration, getImportedEnumeration, printAsTxtLoadable

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

moduleName

public static final java.lang.String moduleName

See Also:

Constant Field Values

findallName

public static final java.lang.String findallName

This instruction initiates a findall search operation. The operation works as follows: The current term's argument, of type (a->Success), is bound to a variable. A client is created to capture the results of the computation and return instantiations of the bound variable one at a time, with successive results encoded in findNext terms.

See Also:

Constant Field Values

findallType

private static final TypeExpression findallType

findallCode

private static final Instruction[] findallCode

findallOperation

private static OperationSymbol findallOperation

Constructor Detail

FindallModule

public FindallModule()

Method Detail

createSymbols

private static java.util.Vector createSymbols()