From 889966e60a3ad2b0ff4104121984e3f5aaf96c43 Mon Sep 17 00:00:00 2001
From: Marius Bozga <Marius.Bozga@univ-grenoble-alpes.fr>
Date: Tue, 22 Mar 2022 14:28:35 +0100
Subject: [PATCH] allow mantissa/exponent real constants
---
src/model/if.lex.l | 7 +++----
1 file changed, 3 insertions(+), 4 deletions(-)
diff --git a/src/model/if.lex.l b/src/model/if.lex.l
index d99bdea..6276adc 100644
--- a/src/model/if.lex.l
+++ b/src/model/if.lex.l
@@ -73,7 +73,7 @@ LETTER [a-zA-Z]
ALPHA {DIGIT}|{LETTER}|_
INTEGER {DIGIT}+
-REAL {INTEGER}"."{INTEGER}
+REAL {INTEGER}"."{INTEGER}(e[-+]?{INTEGER})?
IDENTIFIER {LETTER}{ALPHA}*
LITERAL {ALPHA}+
@@ -175,7 +175,6 @@ while { return WHILE_K; }
xor { return XOR_K; }
-
endobserver { return ENDOBSERVER_K; }
flush { return FLUSH_K; }
cut { return CUT_K; }
@@ -190,12 +189,12 @@ deliver { return DELIVER_K; }
pure { return PURE_K; }
intrusive { return INTRUSIVE_K; }
-
priorityrules { return PRIORITY_SECTION_K;}
endpriorityrules { return END_PRIORITY_SECTION_K;}
-{REAL} { return _REAL_; }
+{REAL} { return _REAL_; }
{INTEGER} { return _INTEGER_; }
+
{IDENTIFIER} { return _IDENTIFIER_; }
{LITERAL} { return _LITERAL_; }
{XSTATE} { return _XSTATE_; }
--
GitLab