PHP Interface Eris\Listener

Afficher le fichier Open project: giorgiosironi/eris

Méthodes publiques

Méthode	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 méthode

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
Résultat	void

failure() public méthode

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

newGeneration() public méthode

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

shrinking() public méthode

public shrinking ( array $generation ) : void
$generation	array	of mixed values
Résultat	void

startPropertyVerification() public méthode

public startPropertyVerification ( ) : void
Résultat	void