Interface ParseErrorDetails

All Known Implementing Classes:
EmptyParseError

public interface ParseErrorDetails
Describes details of a parsing error to support fine-grained error handling.
  • Method Details

    • getIndex

      int getIndex()
      Returns the 0-based index in the source where the error happened.
    • getEncountered

      String getEncountered()
      Returns the physical input encountered when the error happened.
    • getExpected

      List<String> getExpected()
      Returns all that are logically expected.
    • getUnexpected

      String getUnexpected()
      Returns what is logically unexpected, or null if none.
    • getFailureMessage

      String getFailureMessage()
      Returns the error message incurred by Parsers.fail(String), or null if none.