Interface Value

All Superinterfaces:

Kernel, ValueOrIdent, ValueOrIdentPtn, ValueOrPtn, ValueOrResolvedPtn, ValueOrVar, ValueOrVarSet

All Known Subinterfaces:

Closure, Complete, CompleteObj, CompleteProc, CompleteRec, CompleteTuple, Composite, Feature, FeatureIter, FieldIter, Flt32, Flt64, Int32, Int64, Literal, Num, Obj, ObjProcBinding<T>, Partial, PartialObj, PartialProc, PartialRec, PartialTuple, Proc, Rec, Scalar, Tuple, ValueIter

All Known Implementing Classes:

AbstractClosure, AbstractCompleteRec, AbstractCompleteTuple, AbstractIter, ActorCfg, ActorCtor, Bool, Char, CompleteActorCtor, CompleteClosure, CompleteObjProcBinding, Dec128, Eof, FailedValue, NativeError, Null, OpaqueValue, PartialActorCtor, PartialClosure, PartialObjProcBinding, Rec.RecFieldIter, Rec.RecValueIter, Str, Token

public interface Value
extends ValueOrIdent, ValueOrVar, ValueOrVarSet, ValueOrIdentPtn, ValueOrResolvedPtn

Field Summary

Fields

Modifier and Type	Field	Description
static final Object	PRESENT

Method Summary

Modifier and Type	Method	Description
default Value	add(Value addend)
default String	appendToString(String string)
Value	bindToValue(Value value, Set<Memo> memos)
default Value	bindToValueOrVar(ValueOrVar valueOrVar, Set<Memo> memos)
default Value	bindToVar(Var var, Set<Memo> memos)
default ValueOrResolvedPtn	caseNonRecOfThis(Value nonRecValue, Env env)
default ValueOrResolvedPtn	caseOf(ValueOrPtn valueOrPtn, Env env)
default ValueOrResolvedPtn	caseRecOfThis(Rec rec, Env env)
default Complete	checkComplete()
default Value	checkNotFailedValue()
default int	compareValueTo(Value right)
default Env	deconstruct(ValueOrResolvedPtn valueOrResolvedPtn, Env env)
default Bool	disentails(Value operand)
default Value	divide(Value divisor)
default Bool	entails(Value operand)
default boolean	entails(Value operand, Set<Memo> memos)
boolean	entailsRec(Rec operand, Set<Memo> memos)
default boolean	entailsValueOrIdent(ValueOrIdent operand, Env env)
default boolean	entailsValueOrVar(ValueOrVar operand, Set<Memo> memos)
default boolean	entailsVar(Var operand, Set<Memo> memos)
default Bool	greaterThan(Value operand)
default Bool	greaterThanOrEqualTo(Value operand)
default boolean	isValidKey()
default Bool	lessThan(Value operand)
default Bool	lessThanOrEqualTo(Value operand)
default Value	modulo(Value divisor)
default Value	multiply(Value multiplicand)
default Value	negate()
default Value	not()
default Value	resolveValue()
default Value	resolveValue(Env env)
default ValueOrIdent	resolveValueOrIdent(Env env)
default ValueOrVar	resolveValueOrVar()
default ValueOrVar	resolveValueOrVar(Env env)
default Value	subtract(Value subtrahend)
default Rec	unifyRecs(Rec rec, Set<Memo> memos)

Methods inherited from interface org.torqlang.klvm.Kernel

accept, toKernelString

Field Details

PRESENT

static final Object PRESENT

Method Details

add

default Value add(Value addend)

appendToString

default String appendToString(String string)

bindToValue

Value bindToValue(Value value,
 Set<Memo> memos)
           throws WaitVarException

Specified by:

bindToValue in interface ValueOrVar

Throws:

WaitVarException

bindToValueOrVar

default Value bindToValueOrVar(ValueOrVar valueOrVar,
 Set<Memo> memos)
                        throws WaitVarException

Specified by:

bindToValueOrVar in interface ValueOrVar

Throws:

WaitVarException

bindToVar

default Value bindToVar(Var var,
 Set<Memo> memos)
                 throws WaitVarException

Specified by:

bindToVar in interface ValueOrVar

Throws:

WaitVarException

caseNonRecOfThis

default ValueOrResolvedPtn caseNonRecOfThis(Value nonRecValue,
 Env env)
                                     throws WaitException

Specified by:

caseNonRecOfThis in interface ValueOrPtn

Throws:

WaitException

caseOf

default ValueOrResolvedPtn caseOf(ValueOrPtn valueOrPtn,
 Env env)
                           throws WaitException

Throws:

WaitException

caseRecOfThis

default ValueOrResolvedPtn caseRecOfThis(Rec rec,
 Env env)
                                  throws WaitException

Specified by:

caseRecOfThis in interface ValueOrPtn

Throws:

WaitException

checkComplete

default Complete checkComplete()
                        throws WaitVarException

Specified by:

checkComplete in interface ValueOrVar

Throws:

WaitVarException

checkNotFailedValue

default Value checkNotFailedValue()

compareValueTo

default int compareValueTo(Value right)

deconstruct

default Env deconstruct(ValueOrResolvedPtn valueOrResolvedPtn,
 Env env)

disentails

default Bool disentails(Value operand)
                 throws WaitException

Throws:

WaitException

divide

default Value divide(Value divisor)

entails

default Bool entails(Value operand)
              throws WaitVarException

Throws:

WaitVarException

entails

default boolean entails(Value operand,
 Set<Memo> memos)
                 throws WaitVarException

Specified by:

entails in interface ValueOrVar

Throws:

WaitVarException

entailsRec

boolean entailsRec(Rec operand,
 Set<Memo> memos)
            throws WaitVarException

Throws:

WaitVarException

entailsValueOrIdent

default boolean entailsValueOrIdent(ValueOrIdent operand,
 Env env)
                             throws WaitVarException

Specified by:

entailsValueOrIdent in interface ValueOrVar

Throws:

WaitVarException

entailsValueOrVar

default boolean entailsValueOrVar(ValueOrVar operand,
 Set<Memo> memos)
                           throws WaitVarException

Specified by:

entailsValueOrVar in interface ValueOrVar

Throws:

WaitVarException

entailsVar

default boolean entailsVar(Var operand,
 Set<Memo> memos)
                    throws WaitVarException

Specified by:

entailsVar in interface ValueOrVar

Throws:

WaitVarException

greaterThan

default Bool greaterThan(Value operand)

greaterThanOrEqualTo

default Bool greaterThanOrEqualTo(Value operand)

isValidKey

default boolean isValidKey()

lessThan

default Bool lessThan(Value operand)

lessThanOrEqualTo

default Bool lessThanOrEqualTo(Value operand)

modulo

default Value modulo(Value divisor)

multiply

default Value multiply(Value multiplicand)

negate

default Value negate()

not

default Value not()

resolveValue

default Value resolveValue(Env env)

Specified by:

resolveValue in interface ValueOrIdent

Specified by:

resolveValue in interface ValueOrIdentPtn

resolveValue

default Value resolveValue()

Specified by:

resolveValue in interface ValueOrVar

resolveValueOrIdent

default ValueOrIdent resolveValueOrIdent(Env env)

Specified by:

resolveValueOrIdent in interface ValueOrIdentPtn

resolveValueOrVar

default ValueOrVar resolveValueOrVar(Env env)

Specified by:

resolveValueOrVar in interface ValueOrIdent

resolveValueOrVar

default ValueOrVar resolveValueOrVar()

Specified by:

resolveValueOrVar in interface ValueOrVar

subtract

default Value subtract(Value subtrahend)

unifyRecs

default Rec unifyRecs(Rec rec,
 Set<Memo> memos)
               throws WaitVarException

Throws:

WaitVarException