Interface Obj

All Superinterfaces:

Composite, FormatAsKernelString, Kernel, Value, ValueOrIdent, ValueOrIdentPtn, ValueOrPtn, ValueOrResolvedPtn, ValueOrVar, ValueOrVarSet

All Known Subinterfaces:

CompleteObj, Literal, PartialObj

All Known Implementing Classes:

ActorCfg, Bool, Eof, Null, Str, Token

public interface Obj
extends Composite, FormatAsKernelString

Field Summary

Fields inherited from interface org.torqlang.klvm.Value

PRESENT

Method Summary

Modifier and Type	Method	Description
default <T,R> R	accept(KernelVisitor<T,R> visitor, T state)
default Obj	bindToValue(Value value, Set<Memo> memos)
default boolean	entailsRec(Rec operand, Set<Memo> memos)
default String	formatAsKernelString()

Methods inherited from interface org.torqlang.klvm.Composite

featureAt, fieldAt, fieldCount, label, select, valueAt

Methods inherited from interface org.torqlang.klvm.Kernel

toKernelString

Methods inherited from interface org.torqlang.klvm.Value

add, appendToString, bindToValueOrVar, bindToVar, caseNonRecOfThis, caseOf, caseRecOfThis, checkComplete, checkNotFailedValue, compareValueTo, deconstruct, disentails, divide, entails, entails, entailsValueOrIdent, entailsValueOrVar, entailsVar, greaterThan, greaterThanOrEqualTo, isValidKey, lessThan, lessThanOrEqualTo, modulo, multiply, negate, not, resolveValue, resolveValue, resolveValueOrIdent, resolveValueOrVar, resolveValueOrVar, subtract, unifyRecs

Method Details

accept

default <T,R> R accept(KernelVisitor<T,R> visitor,
 T state)

Specified by:

accept in interface Kernel

bindToValue

default Obj bindToValue(Value value,
 Set<Memo> memos)

Specified by:

bindToValue in interface Value

Specified by:

bindToValue in interface ValueOrVar

entailsRec

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

Specified by:

entailsRec in interface Value

formatAsKernelString

default String formatAsKernelString()

Specified by:

formatAsKernelString in interface FormatAsKernelString