aboutsummaryrefslogtreecommitdiffstats
path: root/Model/Behavior.php
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 /Model/Behavior.php
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 'Model/Behavior.php')
-rw-r--r--Model/Behavior.php7
1 files changed, 1 insertions, 6 deletions
diff --git a/Model/Behavior.php b/Model/Behavior.php
index 3ce3604..c31da7f 100644
--- a/Model/Behavior.php
+++ b/Model/Behavior.php
@@ -66,12 +66,7 @@ from('Hoa')
/**
* \Hoa\Praspel\Model\Invariant
*/
--> import('Praspel.Model.Invariant')
-
-/**
- * \Hoa\Praspel\Model\Forexample
- */
--> import('Praspel.Model.Forexample');
+-> import('Praspel.Model.Invariant');
}