code.lang
Class SuccessModule

java.lang.Object
  code.modules.CurryModule
      code.lang.SuccessModule

public class SuccessModule
extends CurryModule

This class implements the "success" module. It also implements a "Fail" constructor of some poorly-understood singleton datatype. The following symbols are defined:

 Fail               Constructor (overloaded for any type)
 failed             operation that evaluates to Fail
 Success            Constructor (private in Curry)
 success            operation that evaluates to Success
 =:=                constrained strict equality (overloaded)
 &, &>              parallel and sequential constrained conjunctions
 

Since:

Feb 28, 2003

Author:

Sergio Antoy

Nested Class Summary

private static class	SuccessModule.EqSuccessCode Description of the Class
private static class	SuccessModule.ParallelAndCode Description of the Class

Field Summary

private static DataSymbol	constrainedEq
private static DataSymbol	failConstructor
static java.lang.String	failConstructorName This should be the only constructor with kind=Symbol.Failure.
private static DataSymbol	failedOperation
static java.lang.String	moduleName
private static DataSymbol	paraConstrained
private static DataSymbol	successConstructor
private static java.lang.String	successConstructorName
private static DataSymbol	successOperation
static Term	successTerm
private static TypeSymbol	successTypeSymbol
static Term	termFail

Fields inherited from class code.modules.CurryModule

compiled, fileLocation, timestamp

Constructor Summary

SuccessModule()
Constructor for the SuccessModule object

Method Summary

private static java.util.Vector

createSymbols() Description of the Method

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

successTypeSymbol

private static final TypeSymbol successTypeSymbol

failConstructorName

public static final java.lang.String failConstructorName

This should be the only constructor with kind=Symbol.Failure. Every other constructor of every other type should have a kind greater than Symbol.Failure.

See Also:

Constant Field Values

failConstructor

private static final DataSymbol failConstructor

termFail

public static final Term termFail

failedOperation

private static final DataSymbol failedOperation

successConstructorName

private static final java.lang.String successConstructorName

See Also:

Constant Field Values

successConstructor

private static final DataSymbol successConstructor

successTerm

public static final Term successTerm

successOperation

private static final DataSymbol successOperation

constrainedEq

private static final DataSymbol constrainedEq

paraConstrained

private static final DataSymbol paraConstrained

Constructor Detail

SuccessModule

public SuccessModule()

Constructor for the SuccessModule object

Method Detail

createSymbols

private static java.util.Vector createSymbols()

Description of the Method

Returns:

Description of the Return Value