Mojo: add support for {double,float}.{INFINITY,NEGATIVE_INFINITY,NAN}

mojo/public/tools/bindings/pylib/mojom/parse/lexer.py

Index: mojo/public/tools/bindings/pylib/mojom/parse/lexer.py
diff --git a/mojo/public/tools/bindings/pylib/mojom/parse/lexer.py b/mojo/public/tools/bindings/pylib/mojom/parse/lexer.py
index 6104615f3fa7e6154036b0e8aa80c675297831c7..ff89aed761ba089c1214fac87f3973c835e3a25f 100644
--- a/mojo/public/tools/bindings/pylib/mojom/parse/lexer.py
+++ b/mojo/public/tools/bindings/pylib/mojom/parse/lexer.py
@@ -145,7 +145,7 @@ class Lexer(object):
   fractional_constant = r"""([0-9]*\.[0-9]+)|([0-9]+\.)"""
   floating_constant = \
       '(((('+fractional_constant+')'+ \
-      exponent_part+'?)|([0-9]+'+exponent_part+')))'
+      exponent_part+'?)|([0-9]+'+exponent_part+'))|[-+]?Inf|NaN)'

[viettrungluu, 2014/08/14 22:32:25]

Currently, for numbers, we use unary minus (and plus), so that "- 123" is
allowed (instead of only allowing "-123").

(I have mixed feelings about allowing the space, but it's consistent with most
languages.)

We should probably re-use that for +/- infinity. (Also, this might have the side
effect of allowing "- -Inf" and maybe even "--Inf", etc.)

 
   # Ordinals
   ordinal = r'@[0-9]+'