Package org.pkl.core.ast.type

Class VmTypeMismatchException.Union

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.oracle.truffle.api.nodes.ControlFlowException

org.pkl.core.ast.type.VmTypeMismatchException

org.pkl.core.ast.type.VmTypeMismatchException.Union

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

VmTypeMismatchException

public static final class VmTypeMismatchException.Union
extends VmTypeMismatchException

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.pkl.core.ast.type.VmTypeMismatchException

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

Field Summary

Fields inherited from class org.pkl.core.ast.type.VmTypeMismatchException

actualValue, sourceSection

Constructor Summary

Constructors

Constructor	Description
Union(com.oracle.truffle.api.source.SourceSection sourceSection, java.lang.Object actualValue, TypeNode.UnionTypeNode typeCheckNode, VmTypeMismatchException[] children)

Method Summary

Modifier and Type	Method	Description
void	describe(java.lang.StringBuilder builder, java.lang.String indent)
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

Constructor Detail

Union

public Union(com.oracle.truffle.api.source.SourceSection sourceSection,
             java.lang.Object actualValue,
             TypeNode.UnionTypeNode typeCheckNode,
             VmTypeMismatchException[] children)

Method Detail

describe

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

Specified by:

describe in class VmTypeMismatchException

toVmException

public VmException toVmException()

Specified by:

toVmException in class VmTypeMismatchException