From 6f826b8f4cba14837179c0c69f2e48fd1b73c0ff Mon Sep 17 00:00:00 2001
From: "benjamin.franksen" <benjamin.franksen@helmholtz-berlin.de>
Date: Fri, 8 Jun 2012 12:19:51 +0000
Subject: [PATCH] snc: renamed when[s] to transition[s] in grammar
---
src/snc/snl.lem | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/snc/snl.lem b/src/snc/snl.lem
index 594d6fdc..3142f7db 100644
--- a/src/snc/snl.lem
+++ b/src/snc/snl.lem
@@ -259,7 +259,7 @@ states(p) ::= state(x). { p = x; }
state(p) ::=
STATE NAME(n) LBRACE state_defns(ds)
- entry(en) whens(ws) exit(ex) RBRACE.
+ entry(en) transitions(ws) exit(ex) RBRACE.
{
p = expr(D_STATE, n, ds, en, ws, ex);
}
@@ -282,18 +282,18 @@ entry(p) ::= . { p = 0; }
exit(p) ::= EXIT(t) block(b). { p = expr(D_ENTEX, t, b.left, b.right); }
exit(p) ::= . { p = 0; }
-whens(p) ::= whens(xs) when(x). { p = link_expr(xs, x); }
-whens(p) ::= when(x). { p = x; }
+transitions(p) ::= transitions(xs) transition(x).{ p = link_expr(xs, x); }
+transitions(p) ::= transition(x). { p = x; }
-when(p) ::= WHEN(t) LPAREN opt_expr(c) RPAREN block(b) STATE NAME(n). {
+transition(p) ::= WHEN(t) LPAREN opt_expr(c) RPAREN block(b) STATE NAME(n). {
t.str = n.str;
p = expr(D_WHEN, t, c, b.left, b.right);
}
-when(p) ::= WHEN(t) LPAREN opt_expr(c) RPAREN block(b) EXIT. {
+transition(p) ::= WHEN(t) LPAREN opt_expr(c) RPAREN block(b) EXIT. {
t.str = 0;
p = expr(D_WHEN, t, c, b.left, b.right);
}
-when(p) ::= WHEN(t) LPAREN opt_expr(c) RPAREN block(b) error. {
+transition(p) ::= WHEN(t) LPAREN opt_expr(c) RPAREN block(b) error. {
t.str = 0;
p = expr(D_WHEN, t, c, b.left, b.right);
report("expected 'state' or 'exit'\n");
--
GitLab