Reads a number from the input stream and parses it as a double
()
| 1206 | |
| 1207 | /** Reads a number from the input stream and parses it as a double */ |
| 1208 | public double getDouble() throws IOException { |
| 1209 | return Double.parseDouble(getNumberChars().toString()); |
| 1210 | } |
| 1211 | |
| 1212 | /** |
| 1213 | * Returns the characters of a JSON numeric value. |