|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ParseErrorDetails
Describes details of a parsing error to support fine-grained error handling.
Method Summary | |
---|---|
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. |
Method Detail |
---|
int getIndex()
String getEncountered()
List<String> getExpected()
String getUnexpected()
null
if none.
String getFailureMessage()
Parsers.fail(String)
,
or null
if none.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |