PHP Class Eris\Quantifier\ForAll

Show file Open project: giorgiosironi/eris Class Usage Examples

Public Methods

Method	Description
__call ( $method, $arguments )
__construct ( array $generators, $iterations, $shrinkerFactory, $rand )
__invoke ( callable $assertion )
disableShrinking ( ) : self
hook ( Eris\Listener $listener ) : self
stopOn ( Eris\Quantifier\TerminationCondition $terminationCondition ) : self
when ( ) : self	Examples of calls: when($constraint1, $constraint2, .
withMaxSize ( integer $maxSize ) : self

Private Methods

Method	Description
antecedentsAreSatisfied ( array $values )
generatorsFrom ( $supposedToBeGenerators )
notifyListeners ( )
terminationConditionsAreSatisfied ( )

Method Details

__call() public method

public __call ( $method, $arguments )

__construct() public method

public __construct ( array $generators, $iterations, $shrinkerFactory, $rand )
$generators	array

__invoke() public method

public __invoke ( callable $assertion )
$assertion	callable

disableShrinking() public method

public disableShrinking ( ) : self
return	self

hook() public method

public hook ( Eris\Listener $listener ) : self
$listener	Eris\Listener
return	self

stopOn() public method

public stopOn ( Eris\Quantifier\TerminationCondition $terminationCondition ) : self
$terminationCondition	Eris\Quantifier\TerminationCondition
return	self

when() public method

.., $constraintN) when(callable $takesNArguments) when(Antecedent $antecedent)

public when ( ) : self
return	self

withMaxSize() public method

public withMaxSize ( integer $maxSize ) : self
$maxSize	integer
return	self