aboutsummaryrefslogtreecommitdiffstats
path: root/Iterator/Coverage/Coverage.php
diff options
context:
space:
mode:
Diffstat (limited to 'Iterator/Coverage/Coverage.php')
-rw-r--r--Iterator/Coverage/Coverage.php62
1 files changed, 17 insertions, 45 deletions
diff --git a/Iterator/Coverage/Coverage.php b/Iterator/Coverage/Coverage.php
index d5d521e..21957de 100644
--- a/Iterator/Coverage/Coverage.php
+++ b/Iterator/Coverage/Coverage.php
@@ -8,7 +8,7 @@
*
* New BSD License
*
- * Copyright © 2007-2015, Ivan Enderlin. All rights reserved.
+ * Copyright © 2007-2015, Hoa community. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions are met:
@@ -34,41 +34,22 @@
* POSSIBILITY OF SUCH DAMAGE.
*/
-namespace {
+namespace Hoa\Praspel\Iterator\Coverage;
-from('Hoa')
-
-/**
- * \Hoa\Praspel\Iterator\Coverage\Structural
- */
--> import('Praspel.Iterator.Coverage.Structural')
-
-/**
- * \Hoa\Iterator\Aggregate
- */
--> import('Iterator.Aggregate')
-
-/**
- * \Hoa\Iterator\Recursive\Iterator
- */
--> import('Iterator.Recursive.Iterator');
-
-}
-
-namespace Hoa\Praspel\Iterator\Coverage {
+use Hoa\Core;
+use Hoa\Iterator;
+use Hoa\Praspel;
/**
* Class \Hoa\Praspel\Iterator\Coverage.
*
* Coverage recursive iterator.
*
- * @author Ivan Enderlin <ivan.enderlin@hoa-project.net>
- * @copyright Copyright © 2007-2015 Ivan Enderlin.
+ * @copyright Copyright © 2007-2015 Hoa community
* @license New BSD License
*/
-
-class Coverage implements \Hoa\Iterator\Aggregate {
-
+class Coverage implements Iterator\Aggregate
+{
/**
* Criteria: normal (@requires and @ensures).
*
@@ -93,7 +74,7 @@ class Coverage implements \Hoa\Iterator\Aggregate {
/**
* Iterator (of the specification to cover).
*
- * @var \Hoa\Praspel\Iterator\Coverage\Structural object
+ * @var \Hoa\Praspel\Iterator\Coverage\Structural
*/
protected $_iterator = null;
@@ -102,12 +83,11 @@ class Coverage implements \Hoa\Iterator\Aggregate {
/**
* Constructor.
*
- * @access public
* @param \Hoa\Praspel\Model\Specification $specification Specification.
* @return void
*/
- public function __construct ( \Hoa\Praspel\Model\Specification $specification ) {
-
+ public function __construct(Praspel\Model\Specification $specification)
+ {
$this->_iterator = new Structural($specification);
return;
@@ -116,35 +96,27 @@ class Coverage implements \Hoa\Iterator\Aggregate {
/**
* Set coverage criteria.
*
- * @access public
* @param int $criteria Criteria (please, see self::CRITERIA_*
* constants).
* @return int
*/
- public function setCriteria ( $criteria ) {
-
+ public function setCriteria($criteria)
+ {
return $this->_iterator->setCriteria($criteria);
}
/**
* Get iterator.
*
- * @access public
* @return \Hoa\Iterator\Recursive\Iterator
*/
- public function getIterator ( ) {
-
- return new \Hoa\Iterator\Recursive\Iterator($this->_iterator);
+ public function getIterator()
+ {
+ return new Iterator\Recursive\Iterator($this->_iterator);
}
}
-}
-
-namespace {
-
/**
* Flex entity.
*/
-Hoa\Core\Consistency::flexEntity('Hoa\Praspel\Iterator\Coverage\Coverage');
-
-}
+Core\Consistency::flexEntity('Hoa\Praspel\Iterator\Coverage\Coverage');