diff options
| author | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-04-16 14:24:28 +0200 |
|---|---|---|
| committer | Ivan Enderlin <ivan.enderlin@hoa-project.net> | 2013-04-16 14:24:28 +0200 |
| commit | d7686611a91db048f43c0be3b4ffec295de6c623 (patch) | |
| tree | cae6aafd195aacd55fddd50d01d7dee2521a7eca /Model/Specification.php | |
| parent | 453e6fcdd3bab20a8b93ffac624ddacef55c90d8 (diff) | |
| download | Praspel-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.php | 9 |
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: |