|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface ParsingErrorReporter
Defines methods to intercept parsing error messages. This is used by the Jiffle compiler to capture ANTLR error messages as distinct from errors defined by Jiffle.
| Method Summary | |
|---|---|
void |
addError(String errorText)
Handles an error message. |
void |
clear()
Clears all previous messages. |
List<String> |
getErrors()
Gets the error messages. |
int |
getNumErrors()
Gets the number of errorss that have been handled. |
| Method Detail |
|---|
void addError(String errorText)
errorText - the errorvoid clear()
List<String> getErrors()
int getNumErrors()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||