Class GalimatiasParseException

  • All Implemented Interfaces:
    java.io.Serializable

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

      • position

        private int position
    • Constructor Detail

      • GalimatiasParseException

        private GalimatiasParseException()
      • GalimatiasParseException

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

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

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

      • getPosition

        public int getPosition()
      • getParseIssue

        public ParseIssue getParseIssue()
        Gets the @{link ParseIssue}. This API is considered experimental and will change in coming versions.