public class InvalidTermException extends Exception
| Constructor and Description |
|---|
InvalidTermException(String message) |
| Modifier and Type | Method and Description |
|---|---|
String |
formatMessage(Path path) |
String |
formatVariableMessage(String name,
Term[] terms) |
InvalidTermException |
setInfo(Term[] terms,
int index,
String actualType) |
InvalidTermException |
setVariableInfo(List<Term> terms,
int index,
String actualType) |
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toStringpublic InvalidTermException(String message)
public InvalidTermException setInfo(Term[] terms, int index, String actualType)
public InvalidTermException setVariableInfo(List<Term> terms, int index, String actualType)
Copyright © 2014 Quattor. All Rights Reserved.