Class OpaqueValue

java.lang.Object

org.torqlang.klvm.OpaqueValue

All Implemented Interfaces:

Complete, CompleteOrIdent, Kernel, Value, ValueOrIdent, ValueOrIdentPtn, ValueOrPtn, ValueOrResolvedPtn, ValueOrVar, ValueOrVarSet

public abstract class OpaqueValue
extends Object
implements Complete

Field Summary

Fields inherited from interface org.torqlang.klvm.Value

PRESENT

Constructor Summary

Constructors

Constructor	Description
OpaqueValue()

Method Summary

Modifier and Type	Method	Description
final <T,R> R	accept(KernelVisitor<T,R> visitor, T state)
final Value	bindToValue(Value value, Set<Memo> memos)
final boolean	entails(Value operand, Set<Memo> memos)
final boolean	entailsRec(Rec operand, Set<Memo> memos)
final boolean	equals(Object other)
final int	hashCode()
final boolean	isValidKey()
String	toString()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.torqlang.klvm.Complete

checkComplete, toNativeValue, toVar

Methods inherited from interface org.torqlang.klvm.Kernel

toKernelString

Methods inherited from interface org.torqlang.klvm.Value

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

Constructor Details

OpaqueValue

public OpaqueValue()

Method Details

accept

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

Specified by:

accept in interface Kernel

bindToValue

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

Specified by:

bindToValue in interface Value

Specified by:

bindToValue in interface ValueOrVar

entails

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

Specified by:

entails in interface Value

Specified by:

entails in interface ValueOrVar

entailsRec

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

Specified by:

entailsRec in interface Value

equals

public final boolean equals(Object other)

Overrides:

equals in class Object

hashCode

public final int hashCode()

Overrides:

hashCode in class Object

isValidKey

public final boolean isValidKey()

Specified by:

isValidKey in interface Value

toString

public String toString()

Overrides:

toString in class Object