01: package gnu.text;
02:
03: /** Used to signal a non-recoverable (i.e. fatal) syntax error. */
04:
05: public class SyntaxException extends Exception {
06: SourceMessages messages;
07:
08: public SyntaxException(SourceMessages messages) {
09: this .messages = messages;
10: }
11:
12: public SourceMessages getMessages() {
13: return messages;
14: }
15:
16: public void printAll(java.io.PrintWriter out, int max) {
17: messages.printAll(out, max);
18: }
19:
20: public void clear() {
21: messages.clear();
22: }
23: }
|