1 4 package gnu.text; 5 6 11 12 public class SyntaxException extends Exception 13 { 14 16 String header; 17 18 19 SourceMessages messages; 20 21 public SyntaxException(SourceMessages messages) 22 { 23 this.messages = messages; 24 } 25 26 public SyntaxException(String header, SourceMessages messages) 27 { 28 this.header = header; 29 this.messages = messages; 30 } 31 32 34 public final String getHeader() { return header; } 35 36 37 public final void setHeader(String header) { this.header = header; } 38 39 public SourceMessages getMessages () { return messages; } 40 41 public void printAll(java.io.PrintWriter out, int max) 42 { 43 if (header != null) 44 out.println(header); 45 messages.printAll(out, max); 46 } 47 48 public void clear() 49 { 50 messages.clear(); 51 } 52 53 public int maxToPrint = 10; 54 55 public String getMessage () 56 { 57 StringBuffer buffer = new StringBuffer (); 58 if (header != null) 59 buffer.append(header); 60 int max = maxToPrint; 61 for (SourceError err = messages.firstError; 62 err != null && --max >= 0; err = err.next) 63 { 64 buffer.append('\n'); 65 buffer.append(err); 66 } 67 return buffer.toString(); 68 } 69 } 70 | Popular Tags |