org.dhallj.core.typechecking

Class TypeCheckFailure

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

org.dhallj.core.DhallException

org.dhallj.core.typechecking.TypeCheckFailure

All Implemented Interfaces:

java.io.Serializable

public final class TypeCheckFailure
extends DhallException

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class org.dhallj.core.DhallException

DhallException.ParsingFailure, DhallException.ResolutionFailure

Method Summary

Modifier and Type	Method and Description
java.lang.Throwable	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

Method Detail

fillInStackTrace

public java.lang.Throwable fillInStackTrace()

Overrides:

fillInStackTrace in class java.lang.Throwable