Package com.pholser.junit.quickcheck.runner

Class PropertyVerifier

java.lang.Object

org.junit.runner.Runner

org.junit.runners.ParentRunner<org.junit.runners.model.FrameworkMethod>

org.junit.runners.BlockJUnit4ClassRunner

com.pholser.junit.quickcheck.runner.PropertyVerifier

All Implemented Interfaces:

org.junit.runner.Describable, org.junit.runner.manipulation.Filterable, org.junit.runner.manipulation.Orderable, org.junit.runner.manipulation.Sortable

class PropertyVerifier
extends org.junit.runners.BlockJUnit4ClassRunner

Field Summary

Fields

Modifier and Type	Field	Description
private final Object[]	args
private final org.junit.runners.model.FrameworkMethod	method
private final Consumer<org.junit.internal.AssumptionViolatedException>	onAssumptionViolated
private final BiConsumer<AssertionError,Runnable>	onFailure
private final Consumer<Void>	onSuccess
private final long[]	seeds

Constructor Summary

Constructors

Constructor	Description
PropertyVerifier(org.junit.runners.model.TestClass clazz, org.junit.runners.model.FrameworkMethod method, Object[] args, long[] seeds, Consumer<Void> onSuccess, Consumer<org.junit.internal.AssumptionViolatedException> onAssumptionViolated, BiConsumer<AssertionError,Runnable> onFailure)

Method Summary

Modifier and Type	Method	Description
protected void	collectInitializationErrors(List<Throwable> errors)
private org.junit.runners.model.Statement	methodBlock()
protected org.junit.runners.model.Statement	methodInvoker(org.junit.runners.model.FrameworkMethod frameworkMethod, Object test)
private void	reportErrorWithArguments(Throwable e)
(package private) void	verify()

Methods inherited from class org.junit.runners.BlockJUnit4ClassRunner

computeTestMethods, createTest, createTest, describeChild, getChildren, getTestRules, isIgnored, methodBlock, possiblyExpectingExceptions, rules, runChild, testName, validateConstructor, validateFields, validateInstanceMethods, validateNoNonStaticInnerClass, validateOnlyOneConstructor, validateTestMethods, validateZeroArgConstructor, withAfters, withBefores, withPotentialTimeout

Methods inherited from class org.junit.runners.ParentRunner

childrenInvoker, classBlock, classRules, createTestClass, filter, getDescription, getName, getRunnerAnnotations, getTestClass, order, run, runLeaf, setScheduler, sort, validatePublicVoidNoArgMethods, withAfterClasses, withBeforeClasses, withInterruptIsolation

Methods inherited from class org.junit.runner.Runner

testCount

Methods inherited from class java.lang.Object

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

Field Details

method

private final org.junit.runners.model.FrameworkMethod method

args

private final Object[] args

seeds

private final long[] seeds

onSuccess

private final Consumer<Void> onSuccess

onAssumptionViolated

private final Consumer<org.junit.internal.AssumptionViolatedException> onAssumptionViolated

onFailure

private final BiConsumer<AssertionError,Runnable> onFailure

Constructor Details

PropertyVerifier

PropertyVerifier(org.junit.runners.model.TestClass clazz,
 org.junit.runners.model.FrameworkMethod method,
 Object[] args,
 long[] seeds,
 Consumer<Void> onSuccess,
 Consumer<org.junit.internal.AssumptionViolatedException> onAssumptionViolated,
 BiConsumer<AssertionError,Runnable> onFailure)
          throws org.junit.runners.model.InitializationError

Throws:

org.junit.runners.model.InitializationError

Method Details

verify

void verify()
     throws Throwable

Throws:

Throwable

methodBlock

private org.junit.runners.model.Statement methodBlock()

collectInitializationErrors

protected void collectInitializationErrors(List<Throwable> errors)

Overrides:

collectInitializationErrors in class org.junit.runners.BlockJUnit4ClassRunner

methodInvoker

protected org.junit.runners.model.Statement methodInvoker(org.junit.runners.model.FrameworkMethod frameworkMethod,
 Object test)

Overrides:

methodInvoker in class org.junit.runners.BlockJUnit4ClassRunner

reportErrorWithArguments

private void reportErrorWithArguments(Throwable e)