|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjaitools.jiffle.parser.DeferredErrorReporter
public class DeferredErrorReporter
Used by the Jiffle compiler to accumulate ANTLR parsing error messages.
| Constructor Summary | |
|---|---|
DeferredErrorReporter()
|
|
| 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. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public DeferredErrorReporter()
| Method Detail |
|---|
public void addError(String errorText)
ParsingErrorReporter
addError in interface ParsingErrorReportererrorText - the errorpublic int getNumErrors()
ParsingErrorReporter
getNumErrors in interface ParsingErrorReporterpublic List<String> getErrors()
ParsingErrorReporter
getErrors in interface ParsingErrorReporterpublic void clear()
ParsingErrorReporter
clear in interface ParsingErrorReporter
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||