aboutsummaryrefslogtreecommitdiffstats
path: root/Grammar.pp
diff options
context:
space:
mode:
authorIvan Enderlin <ivan.enderlin@hoa-project.net>2013-04-16 14:24:28 +0200
committerIvan Enderlin <ivan.enderlin@hoa-project.net>2013-04-16 14:24:28 +0200
commitd7686611a91db048f43c0be3b4ffec295de6c623 (patch)
treecae6aafd195aacd55fddd50d01d7dee2521a7eca /Grammar.pp
parent453e6fcdd3bab20a8b93ffac624ddacef55c90d8 (diff)
downloadPraspel-d7686611a91db048f43c0be3b4ffec295de6c623.zip
Praspel-d7686611a91db048f43c0be3b4ffec295de6c623.tar.gz
Praspel-d7686611a91db048f43c0be3b4ffec295de6c623.tar.bz2
Rename @forexample to @description.
The @forexample has already a semantics defined in JML. Our @forexample clause has a complete different semantics. In order to avoid confusion, we rename it.
Diffstat (limited to 'Grammar.pp')
-rw-r--r--Grammar.pp8
1 files changed, 4 insertions, 4 deletions
diff --git a/Grammar.pp b/Grammar.pp
index 58a6265..18b2d06 100644
--- a/Grammar.pp
+++ b/Grammar.pp
@@ -52,7 +52,7 @@
%token at_throwable @throwable
%token at_invariant @invariant
%token at_behavior @behavior
-%token at_forexample @forexample
+%token at_description @description
// Constructions.
%token old \\old
@@ -126,7 +126,7 @@ method:
| invariant()
)
::semicolon::+
- | ( behavior() | forexample() ) ::semicolon::*
+ | ( behavior() | description() ) ::semicolon::*
#is:
::at_is:: <pure>
@@ -161,8 +161,8 @@ behavior_content:
)+
::_brace:: #behavior
-#forexample:
- ::at_forexample:: string()
+#description:
+ ::at_description:: string()
expression:
( declaration() | constraint() | domainof() | predicate() )