Class FailedValue

java.lang.Object

org.torqlang.klvm.FailedValue

All Implemented Interfaces:

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

public final class FailedValue
extends Object
implements Value, Complete

Field Summary

Fields inherited from interface org.torqlang.klvm.Value

PRESENT

Constructor Summary

Constructors

Constructor	Description
FailedValue(String owner, Complete error, Stack stack, FailedValue torqCause, Throwable nativeCause)

Method Summary

Modifier and Type	Method	Description
final <T,R> R	accept(KernelVisitor<T,R> visitor, T state)
Value	add(Value addend)
final Value	bindToValue(Value value, Set<Memo> memos)
final Value	bindToValueOrVar(ValueOrVar valueOrVar, Set<Memo> memos)
final Value	bindToVar(Var var, Set<Memo> memos)
final ValueOrResolvedPtn	caseNonRecOfThis(Value nonRecValue, Env env)
final ValueOrResolvedPtn	caseOf(ValueOrPtn valueOrPtn, Env env)
final ValueOrResolvedPtn	caseRecOfThis(Rec rec, Env env)
final Value	checkNotFailedValue()
static FailedValue	create(String owner, Throwable throwable)
static FailedValue	create(String owner, Stack stack, Throwable throwable)
final Env	deconstruct(ValueOrResolvedPtn valueOrResolvedPtn, Env env)
final Bool	disentails(Value operand)
final Value	divide(Value divisor)
final Bool	entails(Value operand)
final boolean	entails(Value operand, Set<Memo> memos)
final boolean	entailsRec(Rec 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 Complete	error()
static String	formatDetailsString(String heading, String owner, long threadId, String threadName, Complete error, Stack current, Throwable nativeCause)
static void	formatDetailsString(String heading, String owner, long threadId, String threadName, Complete error, Stack current, Throwable nativeCause, StringBuilder sb)
final Bool	greaterThan(Value operand)
final Bool	greaterThanOrEqualTo(Value operand)
final Bool	lessThan(Value operand)
final Bool	lessThanOrEqualTo(Value operand)
final Value	modulo(Value divisor)
final Value	multiply(Value multiplicand)
final Throwable	nativeCause()
final Value	negate()
final Value	not()
final Value	resolveValue()
final Value	resolveValue(Env env)
final ValueOrIdent	resolveValueOrIdent(Env env)
final ValueOrVar	resolveValueOrVar()
final ValueOrVar	resolveValueOrVar(Env env)
final Stack	stack()
final Value	subtract(Value subtrahend)
final long	threadId()
final String	threadName()
final String	toDetailsString()
final String	toString()
final Rec	unifyRecs(Rec rec, Set<Memo> memos)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, 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

appendToString, compareValueTo, isValidKey

Constructor Details

FailedValue

public FailedValue(String owner,
 Complete error,
 Stack stack,
 FailedValue torqCause,
 Throwable nativeCause)

Method Details

create

public static FailedValue create(String owner,
 Throwable throwable)

create

public static FailedValue create(String owner,
 Stack stack,
 Throwable throwable)

formatDetailsString

public static String formatDetailsString(String heading,
 String owner,
 long threadId,
 String threadName,
 Complete error,
 Stack current,
 Throwable nativeCause)

formatDetailsString

public static void formatDetailsString(String heading,
 String owner,
 long threadId,
 String threadName,
 Complete error,
 Stack current,
 Throwable nativeCause,
 StringBuilder sb)

accept

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

Specified by:

accept in interface Kernel

add

public Value add(Value addend)

Specified by:

add in interface Value

bindToValue

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

Specified by:

bindToValue in interface Value

Specified by:

bindToValue in interface ValueOrVar

bindToValueOrVar

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

Specified by:

bindToValueOrVar in interface Value

Specified by:

bindToValueOrVar in interface ValueOrVar

bindToVar

public final Value bindToVar(Var var,
 Set<Memo> memos)

Specified by:

bindToVar in interface Value

Specified by:

bindToVar in interface ValueOrVar

caseNonRecOfThis

public final ValueOrResolvedPtn caseNonRecOfThis(Value nonRecValue,
 Env env)

Specified by:

caseNonRecOfThis in interface Value

Specified by:

caseNonRecOfThis in interface ValueOrPtn

caseOf

public final ValueOrResolvedPtn caseOf(ValueOrPtn valueOrPtn,
 Env env)

Specified by:

caseOf in interface Value

caseRecOfThis

public final ValueOrResolvedPtn caseRecOfThis(Rec rec,
 Env env)

Specified by:

caseRecOfThis in interface Value

Specified by:

caseRecOfThis in interface ValueOrPtn

checkNotFailedValue

public final Value checkNotFailedValue()

Specified by:

checkNotFailedValue in interface Value

deconstruct

public final Env deconstruct(ValueOrResolvedPtn valueOrResolvedPtn,
 Env env)

Specified by:

deconstruct in interface Value

disentails

public final Bool disentails(Value operand)

Specified by:

disentails in interface Value

divide

public final Value divide(Value divisor)

Specified by:

divide in interface Value

entails

public final Bool entails(Value operand)

Specified by:

entails in interface Value

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

entailsValueOrIdent

public final boolean entailsValueOrIdent(ValueOrIdent operand,
 Env env)

Specified by:

entailsValueOrIdent in interface Value

Specified by:

entailsValueOrIdent in interface ValueOrVar

entailsValueOrVar

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

Specified by:

entailsValueOrVar in interface Value

Specified by:

entailsValueOrVar in interface ValueOrVar

entailsVar

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

Specified by:

entailsVar in interface Value

Specified by:

entailsVar in interface ValueOrVar

error

public final Complete error()

greaterThan

public final Bool greaterThan(Value operand)

Specified by:

greaterThan in interface Value

greaterThanOrEqualTo

public final Bool greaterThanOrEqualTo(Value operand)

Specified by:

greaterThanOrEqualTo in interface Value

lessThan

public final Bool lessThan(Value operand)

Specified by:

lessThan in interface Value

lessThanOrEqualTo

public final Bool lessThanOrEqualTo(Value operand)

Specified by:

lessThanOrEqualTo in interface Value

modulo

public final Value modulo(Value divisor)

Specified by:

modulo in interface Value

multiply

public final Value multiply(Value multiplicand)

Specified by:

multiply in interface Value

nativeCause

public final Throwable nativeCause()

negate

public final Value negate()

Specified by:

negate in interface Value

not

public final Value not()

Specified by:

not in interface Value

resolveValue

public final Value resolveValue(Env env)

Specified by:

resolveValue in interface Value

Specified by:

resolveValue in interface ValueOrIdent

Specified by:

resolveValue in interface ValueOrIdentPtn

resolveValue

public final Value resolveValue()

Specified by:

resolveValue in interface Value

Specified by:

resolveValue in interface ValueOrVar

resolveValueOrIdent

public final ValueOrIdent resolveValueOrIdent(Env env)

Specified by:

resolveValueOrIdent in interface Value

Specified by:

resolveValueOrIdent in interface ValueOrIdentPtn

resolveValueOrVar

public final ValueOrVar resolveValueOrVar(Env env)

Specified by:

resolveValueOrVar in interface Value

Specified by:

resolveValueOrVar in interface ValueOrIdent

resolveValueOrVar

public final ValueOrVar resolveValueOrVar()

Specified by:

resolveValueOrVar in interface Value

Specified by:

resolveValueOrVar in interface ValueOrVar

stack

public final Stack stack()

subtract

public final Value subtract(Value subtrahend)

Specified by:

subtract in interface Value

threadId

public final long threadId()

threadName

public final String threadName()

toDetailsString

public final String toDetailsString()

toString

public final String toString()

Overrides:

toString in class Object

unifyRecs

public final Rec unifyRecs(Rec rec,
 Set<Memo> memos)

Specified by:

unifyRecs in interface Value