public interface ErrorReporter
| Modifier and Type | Method and Description |
|---|---|
void |
append(int lineNo,
int colNo,
String msg)
Report an error.
|
List<ErrorMessage> |
getErrors()
Get the reported errors.
|
void |
updateNamespace()
Propagate the script namespace.
|
void append(int lineNo,
int colNo,
String msg)
lineNo - the line indexcolNo - the column indexmsg - the error messageList<ErrorMessage> getErrors()
void updateNamespace()
Copyright © 2016 University of Nice-Sophia Antipolis. All Rights Reserved.