Hoa central
Public Member Functions | Public Attributes | Protected Attributes | List of all members
Hoa\Praspel\Iterator\Coverage\Coverage Class Reference
Inheritance diagram for Hoa\Praspel\Iterator\Coverage\Coverage:

Public Member Functions

 __construct (Praspel\Model\Specification $specification)
 
 setCriteria ($criteria)
 
 getIterator ()
 

Public Attributes

const CRITERIA_NORMAL = 1
 
const CRITERIA_EXCEPTIONAL = 2
 
const CRITERIA_DOMAIN = 4
 

Protected Attributes

 $_iterator = null
 

Detailed Description

Class .

Coverage recursive iterator.

Definition at line 51 of file Coverage.php.

Constructor & Destructor Documentation

Hoa\Praspel\Iterator\Coverage\Coverage::__construct ( Praspel\Model\Specification  $specification)

Constructor.

Parameters
\Hoa\Praspel\Model\Specification$specificationSpecification.
Returns
void

Definition at line 89 of file Coverage.php.

90  {
91  $this->_iterator = new Structural($specification);
92 
93  return;
94  }

Member Function Documentation

Hoa\Praspel\Iterator\Coverage\Coverage::getIterator ( )

Get iterator.

Returns

Definition at line 113 of file Coverage.php.

114  {
115  return new Iterator\Recursive\Iterator($this->_iterator);
116  }
Hoa\Praspel\Iterator\Coverage\Coverage::setCriteria (   $criteria)

Set coverage criteria.

Parameters
int$criteriaCriteria (please, see self::CRITERIA_* constants).
Returns
int

Definition at line 103 of file Coverage.php.

104  {
105  return $this->_iterator->setCriteria($criteria);
106  }

Member Data Documentation

Hoa\Praspel\Iterator\Coverage\Coverage::$_iterator = null
protected

Definition at line 79 of file Coverage.php.

const Hoa\Praspel\Iterator\Coverage\Coverage::CRITERIA_DOMAIN = 4

Criteria: domain (all disjunctions).

int

Definition at line 72 of file Coverage.php.

const Hoa\Praspel\Iterator\Coverage\Coverage::CRITERIA_EXCEPTIONAL = 2

Criteria: exceptional ( and ).

int

Definition at line 65 of file Coverage.php.

const Hoa\Praspel\Iterator\Coverage\Coverage::CRITERIA_NORMAL = 1

Criteria: normal ( and ).

int

Definition at line 58 of file Coverage.php.


The documentation for this class was generated from the following file: