aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2014-04-11 18:42:39 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2014-04-11 18:42:39 +0200
commitd4db95e53942b208235293fea6773e93947f725c (patch)
tree1decc02cbff795b61ba5cdd5de791bd61d0ed39f
parent749d546c0f6d206efffd50d1ce72137a66de3a18 (diff)
downloadPraspel-d4db95e53942b208235293fea6773e93947f725c.zip
Praspel-d4db95e53942b208235293fea6773e93947f725c.tar.gz
Praspel-d4db95e53942b208235293fea6773e93947f725c.tar.bz2
Add the ::nothing:: token.
-rw-r--r--Grammar.pp2
1 files changed, 2 insertions, 0 deletions
diff --git a/Grammar.pp b/Grammar.pp
index 2eb8f50..c745a5f 100644
--- a/Grammar.pp
+++ b/Grammar.pp
@@ -59,6 +59,7 @@
%token old \\old
%token result \\result
%token pred \\pred
+%token nothing \\nothing
// Symbols.
%token parenthesis_ \(
@@ -181,6 +182,7 @@ behavior_content:
expression:
( declaration() | constraint() | domainof() | predicate() )
( ::and:: ( declaration() | constraint() | domainof() | predicate() ) )*
+ | <nothing>
exceptional_expression:
exception() ( ::or:: exception() )*