Class MachineHaltError

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.torqlang.util.ErrorWithSourceSpan

org.torqlang.klvm.MachineHaltError

All Implemented Interfaces:

Serializable, SourceSpanProvider

public final class MachineHaltError
extends ErrorWithSourceSpan

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
MachineHaltError(ComputeHalt computeHalt)

Method Summary

Modifier and Type	Method	Description
final ComputeHalt	computeHalt()
final Stack	current()
final Throwable	nativeCause()
final SourceSpan	sourceSpan()
final FailedValue	touchedFailedValue()

Methods inherited from class org.torqlang.util.ErrorWithSourceSpan

formatWithSource, printError, printWithSourceAndRethrow

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Constructor Details

MachineHaltError

public MachineHaltError(ComputeHalt computeHalt)

Method Details

computeHalt

public final ComputeHalt computeHalt()

current

public final Stack current()

nativeCause

public final Throwable nativeCause()

sourceSpan

public final SourceSpan sourceSpan()

touchedFailedValue

public final FailedValue touchedFailedValue()