11 lines
212 B
Python
11 lines
212 B
Python
FLOAT
|
|
: '.' DIGITS (Exponent)?
|
|
| DIGITS '.' Exponent
|
|
| DIGITS ('.' (DIGITS (Exponent)?)? | Exponent)
|
|
;
|
|
|
|
DIGITS : ( '0' .. '9' )+ ;
|
|
|
|
Exponent
|
|
: ('e' | 'E') ( '+' | '-' )? DIGITS
|
|
;
|