Package com.pholser.junit.quickcheck.internal.generator

Class PropertyParameterGenerationContext.DiscardRatioExceededException

java.lang.Object

java.lang.Throwable

java.lang.Exception

java.lang.RuntimeException

com.pholser.junit.quickcheck.internal.generator.PropertyParameterGenerationContext.DiscardRatioExceededException

All Implemented Interfaces:

Serializable

Enclosing class:

PropertyParameterGenerationContext

public static class PropertyParameterGenerationContext.DiscardRatioExceededException
extends RuntimeException

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
(package private) static final String	MESSAGE_TEMPLATE
private static final long	serialVersionUID

Constructor Summary

Constructors

Constructor	Description
DiscardRatioExceededException(PropertyParameterContext parameter, int discards, int successfulEvaluations)

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

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

Field Details

MESSAGE_TEMPLATE

static final String MESSAGE_TEMPLATE

See Also:

• Constant Field Values

serialVersionUID

private static final long serialVersionUID

See Also:

• Constant Field Values

Constructor Details

DiscardRatioExceededException

DiscardRatioExceededException(PropertyParameterContext parameter,
 int discards,
 int successfulEvaluations)