Converts the given token into a double value. @param value value to be converted @param info input info (can be null) @return double value @throws QueryException query exception
(final byte[] value, final InputInfo info)
| 144 | * @throws QueryException query exception |
| 145 | */ |
| 146 | public static double parse(final byte[] value, final InputInfo info) throws QueryException { |
| 147 | final double d = Token.toDouble(value); |
| 148 | if(!Double.isNaN(d)) return d; |
| 149 | |
| 150 | final byte[] v = Token.trim(value); |
| 151 | if(Token.eq(v, Token.NAN)) return Double.NaN; |
| 152 | if(Token.eq(v, Token.POSITIVE_INF, Token.POSITIVE_INF_PLUS)) return Double.POSITIVE_INFINITY; |
| 153 | if(Token.eq(v, Token.NEGATIVE_INF)) return Double.NEGATIVE_INFINITY; |
| 154 | throw BasicType.DOUBLE.castError(value, info); |
| 155 | } |
| 156 | |
| 157 | /** |
| 158 | * Returns a JSON-compliant string representation of a double value. |