public class TermCreationException extends RuntimeException
Constructor and Description |
---|
TermCreationException(Operator op,
Term failed) |
TermCreationException(String errorMessage) |
Modifier and Type | Method and Description |
---|---|
private static String |
argsToString(SortedOperator f) |
private static String |
getErrorMessage(Operator op,
Term failed) |
private static String |
subsToString(ImmutableArray<Term> subs) |
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
public TermCreationException(String errorMessage)
private static String argsToString(SortedOperator f)
private static String subsToString(ImmutableArray<Term> subs)