Class Var

java.lang.Object

org.torqlang.klvm.Var

All Implemented Interfaces:

FeatureOrVar, Kernel, LiteralOrVar, ValueOrVar

public final class Var
extends Object
implements LiteralOrVar

Constructor Summary

Constructors

Constructor	Description
Var()
Var(ValueOrVarSet valueOrVarSet)

Method Summary

Modifier and Type	Method	Description
final <T,R> R	accept(KernelVisitor<T,R> visitor, T state)
final BindCallback	bindCallback()
final Value	bindToValue(Value value, Set<Memo> memos)
final ValueOrVar	bindToValueOrVar(ValueOrVar valueOrVar, Set<Memo> memos)
final ValueOrVar	bindToVar(Var other, Set<Memo> memos)
final Complete	checkComplete()
final boolean	entails(Value operand, Set<Memo> memos)
final boolean	entailsValueOrIdent(ValueOrIdent operand, Env env)
final boolean	entailsValueOrVar(ValueOrVar operand, Set<Memo> memos)
final boolean	entailsVar(Var operand, Set<Memo> memos)
final String	formatValue()
final Value	resolveValue()
final ValueOrVar	resolveValueOrVar()
final void	setBindCallback(BindCallback bindCallback)
final String	toString()
final ValueOrVarSet	valueOrVarSet()

Methods inherited from class java.lang.Object

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

Methods inherited from interface org.torqlang.klvm.Kernel

toKernelString

Constructor Details

Var

public Var(ValueOrVarSet valueOrVarSet)

Var

public Var()

Method Details

accept

public final <T,R> R accept(KernelVisitor<T,R> visitor,
 T state)

Specified by:

accept in interface Kernel

bindCallback

public final BindCallback bindCallback()

bindToValue

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

Specified by:

bindToValue in interface ValueOrVar

Throws:

WaitVarException

bindToValueOrVar

public final ValueOrVar bindToValueOrVar(ValueOrVar valueOrVar,
 Set<Memo> memos)
                                  throws WaitVarException

Specified by:

bindToValueOrVar in interface ValueOrVar

Throws:

WaitVarException

bindToVar

public final ValueOrVar bindToVar(Var other,
 Set<Memo> memos)
                           throws WaitVarException

Specified by:

bindToVar in interface ValueOrVar

Throws:

WaitVarException

checkComplete

public final Complete checkComplete()
                             throws WaitVarException

Specified by:

checkComplete in interface ValueOrVar

Throws:

WaitVarException

entails

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

Specified by:

entails in interface ValueOrVar

Throws:

WaitVarException

entailsValueOrIdent

public final boolean entailsValueOrIdent(ValueOrIdent operand,
 Env env)
                                  throws WaitVarException

Specified by:

entailsValueOrIdent in interface ValueOrVar

Throws:

WaitVarException

entailsValueOrVar

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

Specified by:

entailsValueOrVar in interface ValueOrVar

Throws:

WaitVarException

entailsVar

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

Specified by:

entailsVar in interface ValueOrVar

Throws:

WaitVarException

formatValue

public final String formatValue()

resolveValue

public final Value resolveValue()
                         throws WaitVarException

Specified by:

resolveValue in interface ValueOrVar

Throws:

WaitVarException

resolveValueOrVar

public final ValueOrVar resolveValueOrVar()

Specified by:

resolveValueOrVar in interface ValueOrVar

setBindCallback

public final void setBindCallback(BindCallback bindCallback)

toString

public final String toString()

Overrides:

toString in class Object

valueOrVarSet

public final ValueOrVarSet valueOrVarSet()