PHP Interface Eris\Listener

Show file Open project: giorgiosironi/eris

Public Methods

Method	Description
endPropertyVerification ( integer $ordinaryEvaluations, integer $iterations, Exception $exception = null ) : void
failure ( array $generation, Exception $exception ) : void
newGeneration ( array $generation, integer $iteration ) : void
shrinking ( array $generation ) : void
startPropertyVerification ( ) : void

Method Details

endPropertyVerification() public method

public endPropertyVerification ( integer $ordinaryEvaluations, integer $iterations, Exception $exception = null ) : void
$ordinaryEvaluations	integer	the number of inputs effectively evaluated, not filtered out. Does not count evaluations used in shrinking
$iterations	integer	the total number of inputs that have been generated
$exception	Exception	tells if the test has failed and specifies the exact exception
return	void

failure() public method

public failure ( array $generation, Exception $exception ) : void
$generation	array	of mixed values
$exception	Exception	assertion failure
return	void

newGeneration() public method

public newGeneration ( array $generation, integer $iteration ) : void
$generation	array	of mixed values
$iteration	integer	index of current iteration
return	void

shrinking() public method

public shrinking ( array $generation ) : void
$generation	array	of mixed values
return	void

startPropertyVerification() public method

public startPropertyVerification ( ) : void
return	void