(PushbackReader r, char initch)
| 318 | } |
| 319 | |
| 320 | static private String readToken(PushbackReader r, char initch) { |
| 321 | StringBuilder sb = new StringBuilder(); |
| 322 | sb.append(initch); |
| 323 | |
| 324 | for(; ;) |
| 325 | { |
| 326 | int ch = read1(r); |
| 327 | if(ch == -1 || isWhitespace(ch) || isTerminatingMacro(ch)) |
| 328 | { |
| 329 | unread(r, ch); |
| 330 | return sb.toString(); |
| 331 | } |
| 332 | sb.append((char) ch); |
| 333 | } |
| 334 | } |
| 335 | |
| 336 | static private Object readNumber(PushbackReader r, char initch) { |
| 337 | StringBuilder sb = new StringBuilder(); |
no test coverage detected