aboutsummaryrefslogtreecommitdiffstats
path: root/Model
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
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')
-rw-r--r--Model/Behavior.php7
-rw-r--r--Model/Description.php (renamed from Model/Forexample.php)12
-rw-r--r--Model/Specification.php9
3 files changed, 14 insertions, 14 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');
}
diff --git a/Model/Forexample.php b/Model/Description.php
index 20cf58a..dee99bf 100644
--- a/Model/Forexample.php
+++ b/Model/Description.php
@@ -48,16 +48,16 @@ from('Hoa')
namespace Hoa\Praspel\Model {
/**
- * Class \Hoa\Praspel\Model\Forexample.
+ * Class \Hoa\Praspel\Model\Description.
*
- * Represent the @forexample clause.
+ * Represent the @description clause.
*
* @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
* @copyright Copyright © 2007-2013 Ivan Enderlin.
* @license New BSD License
*/
-class Forexample
+class Description
extends Clause
implements \ArrayAccess,
\IteratorAggregate,
@@ -68,12 +68,12 @@ class Forexample
*
* @const string
*/
- const NAME = 'forexample';
+ const NAME = 'description';
/**
* Examples.
*
- * @var \Hoa\Praspel\Model\Forexample array
+ * @var \Hoa\Praspel\Model\Description array
*/
protected $_examples = array();
@@ -112,7 +112,7 @@ class Forexample
* @access public
* @param int $offset Offset.
* @param string $value Example value.
- * @return \Hoa\Praspel\Model\Forexample
+ * @return \Hoa\Praspel\Model\Description
*/
public function offsetSet ( $offset, $value ) {
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: