Package org.pkl.core.ast.type

Class VmTypeMismatchException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.oracle.truffle.api.nodes.ControlFlowException

org.pkl.core.ast.type.VmTypeMismatchException

All Implemented Interfaces:

java.io.Serializable

Direct Known Subclasses:

VmTypeMismatchException.Constraint, VmTypeMismatchException.Nothing, VmTypeMismatchException.Simple, VmTypeMismatchException.Union

public abstract class VmTypeMismatchException
extends com.oracle.truffle.api.nodes.ControlFlowException

Indicates that a type check failed. [TypeNode]s use this exception instead of [VmException] to make type checking of union types efficient. Note that any [TruffleBoundary] between throw and catch location of this exception must set `transferToInterpreterOnException = false`. (Currently there aren't any.)

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	VmTypeMismatchException.Constraint
static class	VmTypeMismatchException.Nothing
static class	VmTypeMismatchException.Simple
static class	VmTypeMismatchException.Union

Field Summary

Fields

Modifier and Type	Field	Description
protected java.lang.Object	actualValue
protected com.oracle.truffle.api.source.SourceSection	sourceSection

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	VmTypeMismatchException(com.oracle.truffle.api.source.SourceSection sourceSection, java.lang.Object actualValue)

Method Summary

Modifier and Type	Method	Description
abstract void	describe(java.lang.StringBuilder builder, java.lang.String indent)
abstract VmException	toVmException()

Methods inherited from class com.oracle.truffle.api.nodes.ControlFlowException

fillInStackTrace

Methods inherited from class java.lang.Throwable

addSuppressed, 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

Field Detail

sourceSection

protected final com.oracle.truffle.api.source.SourceSection sourceSection

actualValue

protected final java.lang.Object actualValue

Constructor Detail

VmTypeMismatchException

protected VmTypeMismatchException(com.oracle.truffle.api.source.SourceSection sourceSection,
                                  java.lang.Object actualValue)

Method Detail

describe

public abstract void describe(java.lang.StringBuilder builder,
                              java.lang.String indent)

toVmException

public abstract VmException toVmException()