aboutsummaryrefslogtreecommitdiffstats
path: root/Model/Specification.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/Specification.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/Specification.php')
-rw-r--r--Model/Specification.php9
1 files changed, 7 insertions, 2 deletions
diff --git a/Model/Specification.php b/Model/Specification.php
index 240e97b..351d3e1 100644
--- a/Model/Specification.php
+++ b/Model/Specification.php
@@ -49,6 +49,11 @@ from('Hoa')
-> import('Praspel.Model.Is')
/**
+ * \Hoa\Praspel\Model\Description
+ */
+-> import('Praspel.Model.Description')
+
+/**
* \Hoa\Realdom\Disjunction
*/
-> import('Realdom.Disjunction', true);
@@ -130,8 +135,8 @@ class Specification extends Behavior {
$handle = new Behavior($this);
break;
- case 'forexample':
- $handle = new Forexample($this);
+ case 'description':
+ $handle = new Description($this);
break;
default: