diff options
| author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2014-04-11 18:42:39 +0200 |
|---|---|---|
| committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2014-04-11 18:42:39 +0200 |
| commit | d4db95e53942b208235293fea6773e93947f725c (patch) | |
| tree | 1decc02cbff795b61ba5cdd5de791bd61d0ed39f | |
| parent | 749d546c0f6d206efffd50d1ce72137a66de3a18 (diff) | |
| download | Praspel-d4db95e53942b208235293fea6773e93947f725c.zip Praspel-d4db95e53942b208235293fea6773e93947f725c.tar.gz Praspel-d4db95e53942b208235293fea6773e93947f725c.tar.bz2 | |
Add the ::nothing:: token.
| -rw-r--r-- | Grammar.pp | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -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() )* |