Package com.pholser.junit.quickcheck.runner

Class PropertyStatement

java.lang.Object

org.junit.runners.model.Statement

com.pholser.junit.quickcheck.runner.PropertyStatement

class PropertyStatement
extends org.junit.runners.model.Statement

Field Summary

Fields

Modifier and Type	Field	Description
private final List<org.junit.internal.AssumptionViolatedException>	assumptionViolations
private final GeometricDistribution	distro
private final org.slf4j.Logger	logger
private final org.junit.runners.model.FrameworkMethod	method
private final GeneratorRepository	repo
private int	successes
private final org.junit.runners.model.TestClass	testClass

Constructor Summary

Constructors

Constructor	Description
PropertyStatement(org.junit.runners.model.FrameworkMethod method, org.junit.runners.model.TestClass testClass, GeneratorRepository repo, GeometricDistribution distro, org.slf4j.Logger logger)

Method Summary

Modifier and Type	Method	Description
void	evaluate()
private PropertyParameterContext	parameterContextFor(Parameter parameter, ru.vyarus.java.generics.resolver.context.MethodGenericsContext generics)
private PropertyVerifier	property(List<SeededValue> arguments, ShrinkControl shrinkControl)
private ParameterSampler	sampler(Property marker)
private void	shrink(List<PropertyParameterGenerationContext> params, Object[] args, long[] seeds, ShrinkControl shrinkControl, AssertionError failure)

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

testClass

private final org.junit.runners.model.TestClass testClass

repo

private final GeneratorRepository repo

distro

private final GeometricDistribution distro

assumptionViolations

private final List<org.junit.internal.AssumptionViolatedException> assumptionViolations

logger

private final org.slf4j.Logger logger

successes

private int successes

Constructor Details

PropertyStatement

PropertyStatement(org.junit.runners.model.FrameworkMethod method,
 org.junit.runners.model.TestClass testClass,
 GeneratorRepository repo,
 GeometricDistribution distro,
 org.slf4j.Logger logger)

Method Details

evaluate

public void evaluate()
              throws Throwable

Specified by:

evaluate in class org.junit.runners.model.Statement

Throws:

Throwable

property

private PropertyVerifier property(List<SeededValue> arguments,
 ShrinkControl shrinkControl)
                           throws org.junit.runners.model.InitializationError

Throws:

org.junit.runners.model.InitializationError

shrink

private void shrink(List<PropertyParameterGenerationContext> params,
 Object[] args,
 long[] seeds,
 ShrinkControl shrinkControl,
 AssertionError failure)
             throws Throwable

Throws:

Throwable

parameterContextFor

private PropertyParameterContext parameterContextFor(Parameter parameter,
 ru.vyarus.java.generics.resolver.context.MethodGenericsContext generics)

sampler

private ParameterSampler sampler(Property marker)