19   SourceMessages messages;  field in SyntaxException
21   public SyntaxException(SourceMessages messages)  in SyntaxException()  argument
23     this.messages = messages;  in SyntaxException()
26   public SyntaxException(String header, SourceMessages messages)  in SyntaxException()  argument
29     this.messages = messages;  in SyntaxException()
39   public SourceMessages getMessages () { return messages; }  in getMessages()
45     messages.printAll(out, max);  in printAll()
50     messages.clear();  in clear()
56         StringBuilder buffer = new StringBuilder();  in getMessage()  local
58             buffer.append(header);  in getMessage()
59         messages.printAll(buffer, maxToPrint);  in getMessage()
60         return buffer.toString().replace("\r\n", "\n");  in getMessage()