(PushbackReader r, char initch, boolean leadConstituent)
| 182 | } |
| 183 | |
| 184 | static private String readToken(PushbackReader r, char initch, boolean leadConstituent) { |
| 185 | StringBuilder sb = new StringBuilder(); |
| 186 | if(leadConstituent && nonConstituent(initch)) |
| 187 | throw Util.runtimeException("Invalid leading character: " + (char)initch); |
| 188 | |
| 189 | sb.append(initch); |
| 190 | |
| 191 | for(; ;) |
| 192 | { |
| 193 | int ch = read1(r); |
| 194 | |
| 195 | if(ch == -1 || isWhitespace(ch) || isTerminatingMacro(ch)) |
| 196 | { |
| 197 | unread(r, ch); |
| 198 | return sb.toString(); |
| 199 | } |
| 200 | else if(nonConstituent(ch)) |
| 201 | throw Util.runtimeException("Invalid constituent character: " + (char)ch); |
| 202 | sb.append((char) ch); |
| 203 | } |
| 204 | } |
| 205 | |
| 206 | static private Object readNumber(PushbackReader r, char initch) { |
| 207 | StringBuilder sb = new StringBuilder(); |
no test coverage detected