Class DatalogParseException

java.lang.Object
java.lang.Throwable
java.lang.Exception
edu.harvard.seas.pl.abcdatalog.parser.DatalogParseException
All Implemented Interfaces:
Serializable

public class DatalogParseException extends Exception
An exception signifying a parsing error.
See Also:
  • Constructor Details

    • DatalogParseException

      public DatalogParseException()
      Constructs an exception signifying a parsing error.
    • DatalogParseException

      public DatalogParseException(String message)
      Constructs an exception signifying a parsing error.
      Parameters:
      message - the error message
    • DatalogParseException

      public DatalogParseException(Throwable cause)
      Constructs an exception signifying a parsing error.
      Parameters:
      cause - the exception that caused this exception
    • DatalogParseException

      public DatalogParseException(String message, Throwable cause)
      Constructs an exception signifying a parsing error.
      Parameters:
      message - the error message
      cause - 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 message
      cause - the exception that caused this exception
      enableSuppression - whether or not suppression is enabled or disabled
      writableStackTrace - whether or not the stack trace should be writable