equal
deleted
inserted
replaced
60 message = "Syntax error at line " + lineno |
60 message = "Syntax error at line " + lineno |
61 + ": Expected " + expected.toMessage() |
61 + ": Expected " + expected.toMessage() |
62 + ", Found " + found.toMessage(); |
62 + ", Found " + found.toMessage(); |
63 } |
63 } |
64 |
64 |
65 public SyntaxException(int lineno, Set expected, Token found) { |
65 public SyntaxException(int lineno, Set<String> expected, Token found) { |
66 StringBuilder msg = new StringBuilder(); |
66 StringBuilder msg = new StringBuilder(); |
67 |
67 |
68 msg.append("Syntax error at line " + lineno + ": Expected one of \'"); |
68 msg.append("Syntax error at line " + lineno + ": Expected one of \'"); |
69 |
69 |
70 boolean first = true; |
70 boolean first = true; |
71 for (Iterator i = expected.iterator(); i.hasNext(); /* empty */) { |
71 for (Iterator<String> i = expected.iterator(); i.hasNext(); /* empty */) { |
72 String keyWord = (String)i.next(); |
72 String keyWord = i.next(); |
73 if (first) { |
73 if (first) { |
74 msg.append(keyWord); |
74 msg.append(keyWord); |
75 first = false; |
75 first = false; |
76 } else { |
76 } else { |
77 msg.append("|" + keyWord); |
77 msg.append("|" + keyWord); |