public interface ParseErrorDetails
Modifier and Type | Method and Description |
---|---|
String |
getEncountered()
Returns the physical input encountered when the error happened.
|
List<String> |
getExpected()
Returns all that are logically expected.
|
String |
getFailureMessage()
Returns the error message incurred by
Parsers.fail(String) ,
or null if none. |
int |
getIndex()
Returns the 0-based index in the source where the error happened.
|
String |
getUnexpected()
Returns what is logically unexpected, or
null if none. |
int getIndex()
String getEncountered()
String getUnexpected()
null
if none.String getFailureMessage()
Parsers.fail(String)
,
or null
if none.Copyright © 2013–2016 jparsec. All rights reserved.