Interface Rec

All Superinterfaces:

Composite, FieldIterSource, Kernel, Value, ValueIterSource, ValueOrIdent, ValueOrIdentPtn, ValueOrPtn, ValueOrResolvedPtn, ValueOrVar, ValueOrVarSet

All Known Subinterfaces:

CompleteRec, CompleteTuple, PartialRec, PartialTuple, Tuple

All Known Implementing Classes:

AbstractCompleteRec, AbstractCompleteTuple, NativeError

public interface Rec
extends Composite, FieldIterSource, ValueIterSource

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static class	Rec.RecFieldIter
static class	Rec.RecValueIter

Field Summary

Fields

Modifier and Type	Field	Description
static final String	$FIELDS
static final String	$LABEL
static final Null	DEFAULT_LABEL
static final Collection<Var>	EMPTY_VAR_COLLECTION
static final FeatureComparator	FEATURE_COMPARATOR

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 Rec	bindToValue(Value value, 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 void	checkDetermined()
static CompleteRecBuilder	completeRecBuilder()
static CompleteRecBuilder	completeRecBuilder(Literal label, List<CompleteField> fields)
static CompleteTupleBuilder	completeTupleBuilder()
default Env	deconstruct(ValueOrResolvedPtn valueOrResolvedPtn, Env env)
default boolean	entails(Value operand, Set<Memo> memos)
default boolean	entailsRec(Rec other, Set<Memo> memos)
default boolean	equalFeatures(Rec other)
default ValueOrVar	fieldIter()
ValueOrVar	findValue(Feature feature)
static PartialRecBuilder	partialRecBuilder()
static PartialTupleBuilder	partialTupleBuilder()
void	setUnifiedValue(int index, ValueOrVar unifiedValueOrVar)
default Collection<Var>	sweepUndeterminedVars()
int	unificationPriority()
default void	unifyFields(Rec other, int index, Set<Memo> memos)
default Rec	unifyRecs(Rec other, Set<Memo> memos)
default ValueOrVar	valueIter()

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, checkComplete, checkNotFailedValue, compareValueTo, disentails, divide, entails, entailsValueOrIdent, entailsValueOrVar, entailsVar, greaterThan, greaterThanOrEqualTo, isValidKey, lessThan, lessThanOrEqualTo, modulo, multiply, negate, not, resolveValue, resolveValue, resolveValueOrIdent, resolveValueOrVar, resolveValueOrVar, subtract

Field Details

EMPTY_VAR_COLLECTION

static final Collection<Var> EMPTY_VAR_COLLECTION

FEATURE_COMPARATOR

static final FeatureComparator FEATURE_COMPARATOR

DEFAULT_LABEL

static final Null DEFAULT_LABEL

$LABEL

static final String $LABEL

See Also:

• Constant Field Values

$FIELDS

static final String $FIELDS

See Also:

• Constant Field Values

Method Details

completeRecBuilder

static CompleteRecBuilder completeRecBuilder()

completeRecBuilder

static CompleteRecBuilder completeRecBuilder(Literal label,
 List<CompleteField> fields)

completeTupleBuilder

static CompleteTupleBuilder completeTupleBuilder()

partialRecBuilder

static PartialRecBuilder partialRecBuilder()

partialTupleBuilder

static PartialTupleBuilder partialTupleBuilder()

accept

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

Specified by:

accept in interface Kernel

bindToValue

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

Specified by:

bindToValue in interface Value

Specified by:

bindToValue in interface ValueOrVar

Throws:

WaitVarException

caseNonRecOfThis

default ValueOrResolvedPtn caseNonRecOfThis(Value nonRecValue,
 Env env)

Specified by:

caseNonRecOfThis in interface Value

Specified by:

caseNonRecOfThis in interface ValueOrPtn

caseOf

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

Specified by:

caseOf in interface Value

Throws:

WaitException

caseRecOfThis

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

Specified by:

caseRecOfThis in interface Value

Specified by:

caseRecOfThis in interface ValueOrPtn

Throws:

WaitException

checkDetermined

default void checkDetermined()
                      throws WaitVarException

Throws:

WaitVarException

deconstruct

default Env deconstruct(ValueOrResolvedPtn valueOrResolvedPtn,
 Env env)

Specified by:

deconstruct in interface Value

entails

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

Specified by:

entails in interface Value

Specified by:

entails in interface ValueOrVar

Throws:

WaitVarException

entailsRec

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

Specified by:

entailsRec in interface Value

Throws:

WaitVarException

equalFeatures

default boolean equalFeatures(Rec other)

fieldIter

default ValueOrVar fieldIter()
                      throws WaitException

Specified by:

fieldIter in interface FieldIterSource

Throws:

WaitException

findValue

ValueOrVar findValue(Feature feature)

setUnifiedValue

void setUnifiedValue(int index,
 ValueOrVar unifiedValueOrVar)

sweepUndeterminedVars

default Collection<Var> sweepUndeterminedVars()

unificationPriority

int unificationPriority()

unifyFields

default void unifyFields(Rec other,
 int index,
 Set<Memo> memos)
                  throws WaitVarException

Throws:

WaitVarException

unifyRecs

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

Specified by:

unifyRecs in interface Value

Throws:

WaitVarException

valueIter

default ValueOrVar valueIter()
                      throws WaitException

Specified by:

valueIter in interface ValueIterSource

Throws:

WaitException