diff options
author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2014-01-03 16:57:27 +0100 |
---|---|---|
committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2014-01-03 16:57:27 +0100 |
commit | 97439a371308d0ed31acd0d79bc44248bb6a1d0f (patch) | |
tree | 0a025403b9a9625a328faead6fc9b630c43246b3 /Grammar.pp | |
parent | 4cc9c27d51073acffd750e3c4298cdab9bdd4c2f (diff) | |
download | Praspel-97439a371308d0ed31acd0d79bc44248bb6a1d0f.zip Praspel-97439a371308d0ed31acd0d79bc44248bb6a1d0f.tar.gz Praspel-97439a371308d0ed31acd0d79bc44248bb6a1d0f.tar.bz2 |
The @description clause can be present anywhere.
Diffstat (limited to 'Grammar.pp')
-rw-r--r-- | Grammar.pp | 12 |
1 files changed, 7 insertions, 5 deletions
@@ -159,17 +159,19 @@ behavior_content: ) ::semicolon::+ | ( behavior() ::semicolon::* )+ default()? ::semicolon::* + | description() ::semicolon::* )+ ::_brace:: #behavior #default: ::at_default:: ::brace_:: ( - ( - ensures() - | throwable() - ) - ::semicolon::+ + ( + ensures() + | throwable() + ) + ::semicolon::+ + | description() ::semicolon::* )+ ::_brace:: |