public class FatalTypingException extends Exception
| Modifier | Constructor and Description |
|---|---|
|
FatalTypingException(Expression expression,
FatalTypingException caughtException)
Incompatibility detected in an expression
|
|
FatalTypingException(ImmutableExpression expression,
FatalTypingException caughtException)
Incompatibility detected in an expression
|
protected |
FatalTypingException(String message) |
|
FatalTypingException(String exception,
TermType actualTermType) |
|
FatalTypingException(Term term,
TermType expectedTermType,
TermType actualTermType) |
|
FatalTypingException(TermType expectedTermType,
TermType actualTermType) |
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toStringpublic FatalTypingException(Term term, TermType expectedTermType, TermType actualTermType)
public FatalTypingException(TermType expectedTermType, TermType actualTermType)
public FatalTypingException(Expression expression, FatalTypingException caughtException)
public FatalTypingException(ImmutableExpression expression, FatalTypingException caughtException)
protected FatalTypingException(String message)
Copyright © 2009–2020 Free University of Bozen-Bolzano. All rights reserved.