From 79bf56c809e727ed763e698386163706be2db0a7 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Thu, 3 Jul 2014 14:36:20 +0200
Subject: Add ABRO example ; correct interpret bug.

---
 frontend/parser.mly | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'frontend')

diff --git a/frontend/parser.mly b/frontend/parser.mly
index 4e010ec..84dcd15 100644
--- a/frontend/parser.mly
+++ b/frontend/parser.mly
@@ -127,6 +127,17 @@ state:
     body = b;
     until = until;
 } }
+| i=boption(INITIAL) STATE n=IDENT
+  unless=trans(UNLESS)
+  b=ext(eqn) SEMICOLON
+  until=trans(UNTIL)
+{ if unless <> [] then failwith "UNLESS transitions not supported.";
+  { initial = i;
+    st_name = n;
+    st_locals = [];
+    body = [b];
+    until = until;
+} }
 
 trans(TT):
 | TT t=nonempty_list(terminated(transition, SEMICOLON))   { t }
-- 
cgit v1.2.3