Eris\Quantifier\ForAll::stopOn PHP Method

stopOn() public method

public stopOn ( Eris\Quantifier\TerminationCondition $terminationCondition ) : self
$terminationCondition Eris\Quantifier\TerminationCondition
return self
    public function stopOn(TerminationCondition $terminationCondition)
    {
        $this->terminationConditions[] = $terminationCondition;
        return $this;
    }

Usage Example

Example #1
0
 /**
  * forAll($generator1, $generator2, ...)
  * @return Quantifier\ForAll
  */
 protected function forAll()
 {
     call_user_func($this->seedFunction, $this->seed);
     $generators = func_get_args();
     $quantifier = new Quantifier\ForAll($generators, $this->iterations, new Shrinker\ShrinkerFactory(['timeLimit' => $this->shrinkingTimeLimit]), $this->randFunction);
     foreach ($this->listeners as $listener) {
         $quantifier->hook($listener);
     }
     foreach ($this->terminationConditions as $terminationCondition) {
         $quantifier->stopOn($terminationCondition);
     }
     $this->quantifiers[] = $quantifier;
     return $quantifier;
 }