(int what)
| 1158 | } |
| 1159 | |
| 1160 | private void goTo(int what) throws IOException { |
| 1161 | if (valstate == what) { |
| 1162 | valstate = 0; |
| 1163 | return; |
| 1164 | } |
| 1165 | if (valstate == 0) { |
| 1166 | /*int ev = */ nextEvent(); // TODO |
| 1167 | if (valstate != what) { |
| 1168 | throw err("type mismatch"); |
| 1169 | } |
| 1170 | valstate = 0; |
| 1171 | } else { |
| 1172 | throw err("type mismatch"); |
| 1173 | } |
| 1174 | } |
| 1175 | |
| 1176 | /** Returns the JSON string value, decoding any escaped characters. */ |
| 1177 | public String getString() throws IOException { |
no test coverage detected