Rename numeric literal terminal symbol

romildo · Oct 9, 2016 · 04ca8c0 · 04ca8c0
1 parent a855739
commit 04ca8c0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/main/cup/parser.cup b/src/main/cup/parser.cup
@@ -1,6 +1,6 @@
 package parse;
 
-terminal LITINT;
+terminal LITNUM;
 terminal PLUS, MINUS, TIMES, DIV;
 terminal LPAREN, RPAREN;
 

diff --git a/src/main/jflex/lexer.jflex b/src/main/jflex/lexer.jflex
@@ -47,7 +47,7 @@ import java_cup.runtime.ComplexSymbolFactory;
 
 [ \t\f\n\r]+         { /* skip */ }
 
-[0-9]+ ("." [0-9]+)? { return tok(LITINT, yytext()); }
+[0-9]+ ("." [0-9]+)? { return tok(LITNUM, new Double(yytext())); }
 
 "+"                  { return tok(PLUS); }
 "-"                  { return tok(MINUS); }