|
Lines 3062-3068
Link Here
|
| 3062 |
} |
3062 |
} |
| 3063 |
// hexadeciman floating point literal |
3063 |
// hexadeciman floating point literal |
| 3064 |
// read decimal part |
3064 |
// read decimal part |
|
|
3065 |
boolean hasNoDigitsBeforeDot = end == start; |
| 3066 |
start = this.currentPosition; |
| 3065 |
while (getNextCharAsDigit(16)){/*empty*/} |
3067 |
while (getNextCharAsDigit(16)){/*empty*/} |
|
|
3068 |
end = this.currentPosition; |
| 3069 |
if (hasNoDigitsBeforeDot && end == start) { |
| 3070 |
throw new InvalidInputException(INVALID_HEXA); |
| 3071 |
} |
| 3066 |
|
3072 |
|
| 3067 |
if (getNextChar('p', 'P') >= 0) { // consume next character |
3073 |
if (getNextChar('p', 'P') >= 0) { // consume next character |
| 3068 |
this.unicodeAsBackSlash = false; |
3074 |
this.unicodeAsBackSlash = false; |
