(LineNumberingPushbackReader pushbackReader)
| 8171 | } |
| 8172 | |
| 8173 | static void consumeWhitespaces(LineNumberingPushbackReader pushbackReader) { |
| 8174 | int ch = LispReader.read1(pushbackReader); |
| 8175 | while(LispReader.isWhitespace(ch)) |
| 8176 | ch = LispReader.read1(pushbackReader); |
| 8177 | LispReader.unread(pushbackReader, ch); |
| 8178 | } |
| 8179 | |
| 8180 | private static final Object OPTS_COND_ALLOWED = RT.mapUniqueKeys(LispReader.OPT_READ_COND, LispReader.COND_ALLOW); |
| 8181 | private static Object readerOpts(String sourceName) { |
no test coverage detected