Package hydra.parsing

Class ParseError

  • All Implemented Interfaces:
    java.io.Serializable, java.lang.Comparable<ParseError>

    public class ParseError
    extends java.lang.Object
    implements java.io.Serializable, java.lang.Comparable<ParseError>
    An error which occurred while parsing
    See Also:
    Serialized Form
    • Field Detail

      • TYPE_

        public static final Name TYPE_
      • MESSAGE

        public static final Name MESSAGE
      • REMAINDER

        public static final Name REMAINDER
      • message

        public final java.lang.String message
        An error message
      • remainder

        public final java.lang.String remainder
        The remaining input at the point of failure
    • Constructor Detail

      • ParseError

        public ParseError​(java.lang.String message,
                          java.lang.String remainder)
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object other)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • compareTo

        public int compareTo​(ParseError other)
        Specified by:
        compareTo in interface java.lang.Comparable<ParseError>
      • withMessage

        public ParseError withMessage​(java.lang.String message)
      • withRemainder

        public ParseError withRemainder​(java.lang.String remainder)