public class InvalidTheoryException extends PrologException
Theory
,
Serialized FormConstructor and Description |
---|
InvalidTheoryException() |
InvalidTheoryException(int line,
int pos) |
InvalidTheoryException(String message) |
InvalidTheoryException(String message,
int clause,
int line,
int pos) |
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
public InvalidTheoryException()
public InvalidTheoryException(int line, int pos)
public InvalidTheoryException(String message)
public InvalidTheoryException(String message, int clause, int line, int pos)