Class GalimatiasParseException

  • All Implemented Interfaces:
    java.io.Serializable

    public class GalimatiasParseException
    extends java.lang.Exception
    Exception thrown by parsers.
    See Also:
    Serialized Form
    • Constructor Detail

      • GalimatiasParseException

        public GalimatiasParseException​(java.lang.String message)
      • GalimatiasParseException

        public GalimatiasParseException​(java.lang.String message,
                                        int position)
      • GalimatiasParseException

        public GalimatiasParseException​(java.lang.String message,
                                        ParseIssue parseIssue,
                                        int position,
                                        java.lang.Throwable exception)