Package com.pholser.junit.quickcheck.runner

Class PropertyFalsified

java.lang.Object

com.pholser.junit.quickcheck.runner.PropertyFalsified

final class PropertyFalsified
extends Object

Constructor Summary

Constructors

Modifier	Constructor	Description
private	PropertyFalsified()

Method Summary

Modifier and Type	Method	Description
(package private) static AssertionError	counterexampleFound(String propertyName, Object[] args, long[] seeds, AssertionError e)
(package private) static AssertionError	smallerCounterexampleFound(String propertyName, Object[] originalArgs, Object[] args, long[] seeds, AssertionError smallerFailure, AssertionError originalFailure)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

PropertyFalsified

private PropertyFalsified()

Method Details

counterexampleFound

static AssertionError counterexampleFound(String propertyName,
 Object[] args,
 long[] seeds,
 AssertionError e)

smallerCounterexampleFound

static AssertionError smallerCounterexampleFound(String propertyName,
 Object[] originalArgs,
 Object[] args,
 long[] seeds,
 AssertionError smallerFailure,
 AssertionError originalFailure)