Class DatalogParseException
java.lang.Object
java.lang.Throwable
java.lang.Exception
edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException
- All Implemented Interfaces:
Serializable
An exception signifying a parsing error.
- See Also:
-
Constructor Summary
ConstructorDescriptionConstructs an exception signifying a parsing error.DatalogParseException
(String message) Constructs an exception signifying a parsing error.DatalogParseException
(String message, Throwable cause) Constructs an exception signifying a parsing error.DatalogParseException
(String message, Throwable cause, boolean enableSuppression, boolean writableStackTrace) Constructs an exception signifying a parsing error.DatalogParseException
(Throwable cause) Constructs an exception signifying a parsing error. -
Method Summary
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
-
Constructor Details
-
DatalogParseException
public DatalogParseException()Constructs an exception signifying a parsing error. -
DatalogParseException
Constructs an exception signifying a parsing error.- Parameters:
message
- the error message
-
DatalogParseException
Constructs an exception signifying a parsing error.- Parameters:
cause
- the exception that caused this exception
-
DatalogParseException
Constructs an exception signifying a parsing error.- Parameters:
message
- the error messagecause
- the exception that caused this exception
-
DatalogParseException
public DatalogParseException(String message, Throwable cause, boolean enableSuppression, boolean writableStackTrace) Constructs an exception signifying a parsing error.- Parameters:
message
- the error messagecause
- the exception that caused this exceptionenableSuppression
- whether or not suppression is enabled or disabledwritableStackTrace
- whether or not the stack trace should be writable
-