Index (quickcheck 4.4.1 API)

A B C D E F G I J L M N O P R S T U V

A

addArg(Arg<?>) - Method in class fj.test.Result: Adds an argument to this result.
and(Property) - Method in class fj.test.Property: Performs a conjunction of this property with the given property.
apply(Gen<F<A, B>>) - Method in class fj.test.Gen: Function application within this generator to produce a new generator.
arbAlphaNumString - Static variable in class fj.test.Arbitrary: An arbitrary implementation for string values with alpha-numeric characters.
arbArray(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for arrays.
arbArrayBlockingQueue(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for array blocking queues.
arbArrayList(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for array lists.
arbBigDecimal - Static variable in class fj.test.Arbitrary: An arbitrary implementation for big decimals.
arbBigInteger - Static variable in class fj.test.Arbitrary: An arbitrary implementation for big integers.
arbBitSet - Static variable in class fj.test.Arbitrary: An arbitrary implementation for bit sets.
arbBoolean - Static variable in class fj.test.Arbitrary: An arbitrary implementation for boolean values.
arbByte - Static variable in class fj.test.Arbitrary: An arbitrary implementation for byte values.
arbByteBoundaries - Static variable in class fj.test.Arbitrary: An arbitrary implementation for byte values that checks boundary values (0, 1, -1, max, min, max - 1, min + 1) with a frequency of 1% each then generates from Arbitrary.arbByte the remainder of the time (93%).
arbCalendar - Static variable in class fj.test.Arbitrary: An arbitrary implementation for calendars.
arbCharacter - Static variable in class fj.test.Arbitrary: An arbitrary implementation for character values.
arbCharacterBoundaries - Static variable in class fj.test.Arbitrary: An arbitrary implementation for character values that checks boundary values (max, min, max - 1, min + 1) with a frequency of 1% each then generates from Arbitrary.arbCharacter the remainder of the time (96%).
arbConcurrentHashMap(Arbitrary<K>, Arbitrary<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for concurrent hash maps.
arbConcurrentLinkedQueue(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for concurrent linked queues.
arbCopyOnWriteArrayList(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for copy-on-write array lists.
arbCopyOnWriteArraySet(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for copy-on-write array sets.
arbDate - Static variable in class fj.test.Arbitrary: An arbitrary implementation for dates.
arbDelayQueue(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for delay queues.
arbDouble - Static variable in class fj.test.Arbitrary: An arbitrary implementation for double values.
arbDoubleBoundaries - Static variable in class fj.test.Arbitrary: An arbitrary implementation for double values that checks boundary values (0, 1, -1, max, min, min (normal), NaN, -infinity, infinity, max - 1) with a frequency of 1% each then generates from Arbitrary.arbDouble the remainder of the time (91%).
arbEither(Arbitrary<A>, Arbitrary) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for the disjoint union.
arbEnumMap(Arbitrary<K>, Arbitrary<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for enum maps.
arbEnumSet(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for enum sets.
arbEnumValue(Class<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for a Java enumeration.
arbF(Coarbitrary<A>, Arbitrary) - Static method in class fj.test.Arbitrary: An arbitrary for functions.
arbF2(Coarbitrary<A>, Coarbitrary, Arbitrary<C>) - Static method in class fj.test.Arbitrary: An arbitrary for function-2.
arbF2Invariant(Arbitrary<C>) - Static method in class fj.test.Arbitrary: An arbitrary for function-2.
arbF3(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>, Arbitrary<D>) - Static method in class fj.test.Arbitrary: An arbitrary for function-3.
arbF3Invariant(Arbitrary<D>) - Static method in class fj.test.Arbitrary: An arbitrary for function-3.
arbF4(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>, Coarbitrary<D>, Arbitrary<E>) - Static method in class fj.test.Arbitrary: An arbitrary for function-4.
arbF4Invariant(Arbitrary<E>) - Static method in class fj.test.Arbitrary: An arbitrary for function-4.
arbF5(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>, Coarbitrary<D>, Coarbitrary<E>, Arbitrary<F$>) - Static method in class fj.test.Arbitrary: An arbitrary for function-5.
arbF5Invariant(Arbitrary<F$>) - Static method in class fj.test.Arbitrary: An arbitrary for function-5.
arbF6(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>, Coarbitrary<D>, Coarbitrary<E>, Coarbitrary<F$>, Arbitrary<G>) - Static method in class fj.test.Arbitrary: An arbitrary for function-6.
arbF6Invariant(Arbitrary<G>) - Static method in class fj.test.Arbitrary: An arbitrary for function-6.
arbF7(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>, Coarbitrary<D>, Coarbitrary<E>, Coarbitrary<F$>, Coarbitrary<G>, Arbitrary<H>) - Static method in class fj.test.Arbitrary: An arbitrary for function-7.
arbF7Invariant(Arbitrary<H>) - Static method in class fj.test.Arbitrary: An arbitrary for function-7.
arbF8(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>, Coarbitrary<D>, Coarbitrary<E>, Coarbitrary<F$>, Coarbitrary<G>, Coarbitrary<H>, Arbitrary) - Static method in class fj.test.Arbitrary: An arbitrary for function-8.
arbF8Invariant(Arbitrary) - Static method in class fj.test.Arbitrary: An arbitrary for function-8.
arbFInvariant(Arbitrary) - Static method in class fj.test.Arbitrary: An arbitrary for functions.
arbFloat - Static variable in class fj.test.Arbitrary: An arbitrary implementation for float values.
arbFloatBoundaries - Static variable in class fj.test.Arbitrary: An arbitrary implementation for float values that checks boundary values (0, 1, -1, max, min, NaN, -infinity, infinity, max - 1) with a frequency of 1% each then generates from Arbitrary.arbFloat the remainder of the time (91%).
arbGen(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for generators.
arbGregorianCalendar - Static variable in class fj.test.Arbitrary: An arbitrary implementation for gregorian calendars.
arbHashMap(Arbitrary<K>, Arbitrary<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for hash maps.
arbHashSet(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for hash sets.
arbHashtable(Arbitrary<K>, Arbitrary<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for hash tables.
arbIdentityHashMap(Arbitrary<K>, Arbitrary<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for identity hash maps.
arbInteger - Static variable in class fj.test.Arbitrary: An arbitrary implementation for integer values.
arbIntegerBoundaries - Static variable in class fj.test.Arbitrary: An arbitrary implementation for integer values that checks boundary values (0, 1, -1, max, min, max - 1, min + 1) with a frequency of 1% each then generates from Arbitrary.arbInteger the remainder of the time (93%).
Arbitrary<A> - Class in fj.test: The type used to generate arbitrary values of the given type parameter (A).
arbitrary(Gen<A>) - Static method in class fj.test.Arbitrary: Constructs and arbitrary with the given generator.
arbLcgRng() - Static method in class fj.test.Arbitrary: An arbitrary for the LcgRng.
arbLinkedBlockingQueue(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for linked blocking queues.
arbLinkedHashMap(Arbitrary<K>, Arbitrary<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for linked hash maps.
arbLinkedHashSet(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for hash sets.
arbLinkedList(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for linked lists.
arbList(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for lists.
arbLocale - Static variable in class fj.test.Arbitrary: An arbitrary implementation for locales.
arbLong - Static variable in class fj.test.Arbitrary: An arbitrary implementation for long values.
arbLongBoundaries - Static variable in class fj.test.Arbitrary: An arbitrary implementation for long values that checks boundary values (0, 1, -1, max, min, max - 1, min + 1) with a frequency of 1% each then generates from Arbitrary.arbLong the remainder of the time (93%).
arbNonEmptyList(Arbitrary<A>) - Static method in class fj.test.Arbitrary
arbOption(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for optional values.
arbP1(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-1 values.
arbP2(Arbitrary<A>, Arbitrary) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-2 values.
arbP3(Arbitrary<A>, Arbitrary, Arbitrary<C>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-3 values.
arbP4(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-4 values.
arbP5(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-5 values.
arbP6(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-6 values.
arbP7(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-7 values.
arbP8(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>, Arbitrary<H>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-8 values.
arbPriorityBlockingQueue(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for priority blocking queues.
arbPriorityQueue(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for priority queues.
arbProperties - Static variable in class fj.test.Arbitrary: An arbitrary implementation for properties.
arbReader(Coarbitrary<A>, Arbitrary) - Static method in class fj.test.Arbitrary
arbSeq(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for sequences.
arbShort - Static variable in class fj.test.Arbitrary: An arbitrary implementation for short values.
arbShortBoundaries - Static variable in class fj.test.Arbitrary: An arbitrary implementation for short values that checks boundary values (0, 1, -1, max, min, max - 1, min + 1) with a frequency of 1% each then generates from Arbitrary.arbShort the remainder of the time (93%).
arbSQLDate - Static variable in class fj.test.Arbitrary: An arbitrary implementation for SQL dates.
arbStack(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for stacks.
arbState(Arbitrary<S>, Coarbitrary<S>, Arbitrary<A>) - Static method in class fj.test.Arbitrary: An arbitrary for state.
arbStream(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for streams.
arbString - Static variable in class fj.test.Arbitrary: An arbitrary implementation for string values.
arbStringBuffer - Static variable in class fj.test.Arbitrary: An arbitrary implementation for string buffer values.
arbStringBuilder - Static variable in class fj.test.Arbitrary: An arbitrary implementation for string builder values.
arbSynchronousQueue(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for priority blocking queues.
arbThrowable - Static variable in class fj.test.Arbitrary: An arbitrary implementation for throwables.
arbThrowable(Arbitrary<String>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for throwables.
arbTime - Static variable in class fj.test.Arbitrary: An arbitrary implementation for SQL times.
arbTimestamp - Static variable in class fj.test.Arbitrary: An arbitrary implementation for SQL time stamps.
arbTreeMap(Arbitrary<K>, Arbitrary<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for tree maps.
arbTreeSet(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for tree sets.
arbUSASCIIString - Static variable in class fj.test.Arbitrary: An arbitrary implementation for string values with characters in the US-ASCII range.
arbValidation(Arbitrary<A>, Arbitrary) - Static method in class fj.test.Arbitrary: Returns an arbitrary Validation for the given arbitrary parameters.
arbVector(Arbitrary<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for vectors.
arbWeakHashMap(Arbitrary<K>, Arbitrary<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for weak hash maps.
Arg<T> - Class in fj.test: An argument used in a property that may have undergone shrinking following falsification.
arg(T, int) - Static method in class fj.test.Arg: Construct a property argument with the given value and number of shrinks.
args() - Method in class fj.test.CheckResult: Returns the arguments if the result is one of; proven, falsified or exception during property execution, otherwise, no arguments are returned.
args() - Method in class fj.test.Result: Returns the potential arguments associated with this result.
argShow - Static variable in class fj.test.Arg: The rendering of an argument (uses Object.toString() for the argument value).
assertResult(Property) - Static method in class fj.data.test.PropertyAssert

B

bind(F<A, Gen>) - Method in class fj.test.Gen: Binds the given function across this generator to produce a new generator.
bind(Gen, F<A, F<B, C>>) - Method in class fj.test.Gen: Binds the given function across this generator and the given generator to produce a new generator.
bind(Gen, Gen<C>, F<A, F<B, F<C, D>>>) - Method in class fj.test.Gen: Binds the given function across this generator and the given generators to produce a new generator.
bind(Gen, Gen<C>, Gen<D>, F<A, F<B, F<C, F<D, E>>>>) - Method in class fj.test.Gen: Binds the given function across this generator and the given generators to produce a new generator.
bind(Gen, Gen<C>, Gen<D>, Gen<E>, F<A, F<B, F<C, F<D, F<E, F$>>>>>) - Method in class fj.test.Gen: Binds the given function across this generator and the given generators to produce a new generator.
bind(Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, F<A, F<B, F<C, F<D, F<E, F<F$, G>>>>>>) - Method in class fj.test.Gen: Binds the given function across this generator and the given generators to produce a new generator.
bind(Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, F<A, F<B, F<C, F<D, F<E, F<F$, F<G, H>>>>>>>) - Method in class fj.test.Gen: Binds the given function across this generator and the given generators to produce a new generator.
bind(Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Gen<H>, F<A, F<B, F<C, F<D, F<E, F<F$, F<G, F<H, I>>>>>>>>) - Method in class fj.test.Gen: Binds the given function across this generator and the given generators to produce a new generator.
Bool - Class in fj.test: A boolean wrapper that works well with properties.
bool(boolean) - Static method in class fj.test.Bool: Construct a Bool from the given value.

C

Category - Annotation Type in fj.test.reflect: Specifies the categories of a property, which are the union of categories specified on the enclosing class and the categories specified on the method or field that make up the property.
check(Rand, int, int, int, int) - Method in class fj.test.Property: Checks this property using the given arguments and produces a result.
check(int, int, int, int) - Method in class fj.test.Property: Checks this property using a standard random generator and the given arguments to produce a result.
check(Rand) - Method in class fj.test.Property: Checks this property using the given random generator, 100 minimum successful checks, 500 maximum discarded tests, minimum size of 0, maximum size of 100.
check(Rand, int, int) - Method in class fj.test.Property: Checks this property using the given random generator, 100 minimum successful checks, 500 maximum discarded tests, the given minimum size and the given maximum size.
check(int, int) - Method in class fj.test.Property: Checks this property using a standard random generator, 100 minimum successful checks, 500 maximum discarded tests and the given arguments to produce a result.
check() - Method in class fj.test.Property: Checks this property using a standard random generator, 100 minimum successful checks, 500 maximum discarded tests, minimum size of 0, maximum size of 100.
Check - Class in fj.test.reflect: Functions for checking properties in a class that are found reflectively and according to various annotations.
check(List<Class<T>>, String...) - Static method in class fj.test.reflect.Check: Returns the results and names of checking the properties on the given classes using a standard random generator.
check(List<Class<T>>, List<String>) - Static method in class fj.test.reflect.Check: Returns the results and names of checking the properties on the given classes using a standard random generator.
check(List<Class<T>>, Rand, String...) - Static method in class fj.test.reflect.Check: Returns the results and names of checking the properties on the given classes.
check(List<Class<T>>, Rand, List<String>) - Static method in class fj.test.reflect.Check: Returns the results and names of checking the properties on the given classes.
check(Class<T>, String...) - Static method in class fj.test.reflect.Check: Returns the results and names of checking the properties on the given class using a standard random generator.
check(Class<T>, List<String>) - Static method in class fj.test.reflect.Check: Returns the results and names of checking the properties on the given class using a standard random generator.
check(Class<T>, Rand, String...) - Static method in class fj.test.reflect.Check: Returns the results and names of checking the properties on the given class.
check(Class<T>, Rand, List<String>) - Static method in class fj.test.reflect.Check: Returns the results and names of checking the properties on the given class.
CheckParams - Annotation Type in fj.test.reflect: Specifies the check parameters on a Property property with typical defaults.
CheckResult - Class in fj.test: An enumeration of the possible results after checking a property.
choose(int, int) - Static method in class fj.test.Gen: Returns a generator that produces values between the given range (inclusive).
choose(double, double) - Static method in class fj.test.Gen: Returns a generator that produces values between the given range (inclusive).
choose(long, int, int) - Method in class fj.test.Rand: Randomly chooses a value between the given range (inclusive).
choose(int, int) - Method in class fj.test.Rand: Randomly chooses a value between the given range (inclusive).
choose(long, double, double) - Method in class fj.test.Rand: Randomly chooses a value between the given range (inclusive).
choose(double, double) - Method in class fj.test.Rand: Randomly chooses a value between the given range (inclusive).
coarbArray(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for arrays.
coarbArrayBlockingQueue(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for array blocking queues.
coarbArrayList(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for array lists.
coarbBigDecimal - Static variable in class fj.test.Coarbitrary
coarbBigInteger - Static variable in class fj.test.Coarbitrary
coarbBitSet - Static variable in class fj.test.Coarbitrary: A coarbitrary for bit sets.
coarbBoolean - Static variable in class fj.test.Coarbitrary: A coarbitrary for booleans.
coarbByte - Static variable in class fj.test.Coarbitrary: A coarbitrary for bytes.
coarbCalendar - Static variable in class fj.test.Coarbitrary: A coarbitrary for calendars.
coarbCharacter - Static variable in class fj.test.Coarbitrary: A coarbitrary for characters.
coarbConcurrentHashMap(Coarbitrary<K>, Coarbitrary<V>) - Static method in class fj.test.Coarbitrary: A coarbitrary for concurrent hash maps.
coarbConcurrentLinkedQueue(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for concurrent linked queues.
coarbCopyOnWriteArrayList(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for copy-on-write array lists.
coarbCopyOnWriteArraySet(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for copy-on-write array sets.
coarbDate - Static variable in class fj.test.Coarbitrary: A coarbitrary for dates.
coarbDelayQueue(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for delay queues.
coarbDouble - Static variable in class fj.test.Coarbitrary: A coarbitrary for doubles.
coarbEither(Coarbitrary<A>, Coarbitrary) - Static method in class fj.test.Coarbitrary: A coarbitrary for the disjoint union.
coarbEnumMap(Coarbitrary<K>, Coarbitrary<V>) - Static method in class fj.test.Coarbitrary: A coarbitrary for enum maps.
coarbEnumSet(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for enum sets.
coarbF(Arbitrary<A>, Coarbitrary) - Static method in class fj.test.Coarbitrary: A coarbitrary for a function.
coarbF2(Arbitrary<A>, Arbitrary, Coarbitrary<C>) - Static method in class fj.test.Coarbitrary: A coarbitrary for a function-2.
coarbF3(Arbitrary<A>, Arbitrary, Arbitrary<C>, Coarbitrary<D>) - Static method in class fj.test.Coarbitrary: A coarbitrary for a function-3.
coarbF4(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Coarbitrary<E>) - Static method in class fj.test.Coarbitrary: A coarbitrary for a function-4.
coarbF5(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Coarbitrary<F$>) - Static method in class fj.test.Coarbitrary: A coarbitrary for a function-5.
coarbF6(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Coarbitrary<G>) - Static method in class fj.test.Coarbitrary: A coarbitrary for a function-6.
coarbF7(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>, Coarbitrary<H>) - Static method in class fj.test.Coarbitrary: A coarbitrary for a function-7.
coarbF8(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>, Arbitrary<H>, Coarbitrary) - Static method in class fj.test.Coarbitrary: A coarbitrary for a function-8.
coarbFloat - Static variable in class fj.test.Coarbitrary: A coarbitrary for floats.
coarbGregorianCalendar - Static variable in class fj.test.Coarbitrary: A coarbitrary for gregorian calendars.
coarbHashMap(Coarbitrary<K>, Coarbitrary<V>) - Static method in class fj.test.Coarbitrary: A coarbitrary for hash maps.
coarbHashSet(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for hash sets.
coarbHashtable(Coarbitrary<K>, Coarbitrary<V>) - Static method in class fj.test.Coarbitrary: A coarbitrary for hash tables.
coarbIdentityHashMap(Coarbitrary<K>, Coarbitrary<V>) - Static method in class fj.test.Coarbitrary: A coarbitrary for identity hash maps.
coarbInteger - Static variable in class fj.test.Coarbitrary: A coarbitrary for integers.
Coarbitrary<A> - Class in fj.test: Transforms a type and a generator to produce a new generator.
Coarbitrary() - Constructor for class fj.test.Coarbitrary
coarbitrary(A, Gen) - Method in class fj.test.Coarbitrary: Transforms the given value and generator to a new generator with a high probability of being independent.
coarbitrary(A) - Method in class fj.test.Coarbitrary: A curried version of Coarbitrary.coarbitrary(Object, Gen).
coarbLcgRng() - Static method in class fj.test.Coarbitrary: A coarbitrary for the provided LcgRng
coarbLinkedBlockingQueue(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for linked blocking queues.
coarbLinkedHashMap(Coarbitrary<K>, Coarbitrary<V>) - Static method in class fj.test.Coarbitrary: A coarbitrary for linked hash maps.
coarbLinkedHashSet(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for linked hash sets.
coarbLinkedList(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for linked lists.
coarbList(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for lists.
coarbLong - Static variable in class fj.test.Coarbitrary: A coarbitrary for longs.
coarbOption(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for the optional value.
coarbP1(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for product-1 values.
coarbP2(Coarbitrary<A>, Coarbitrary) - Static method in class fj.test.Coarbitrary: A coarbitrary for product-2 values.
coarbP3(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>) - Static method in class fj.test.Coarbitrary: A coarbitrary for product-3 values.
coarbP4(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>, Coarbitrary<D>) - Static method in class fj.test.Coarbitrary: A coarbitrary for product-4 values.
coarbP5(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>, Coarbitrary<D>, Coarbitrary<E>) - Static method in class fj.test.Coarbitrary: A coarbitrary for product-5 values.
coarbP6(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>, Coarbitrary<D>, Coarbitrary<E>, Coarbitrary<F$>) - Static method in class fj.test.Coarbitrary: A coarbitrary for product-6 values.
coarbP7(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>, Coarbitrary<D>, Coarbitrary<E>, Coarbitrary<F$>, Coarbitrary<G>) - Static method in class fj.test.Coarbitrary: A coarbitrary for product-7 values.
coarbP8(Coarbitrary<A>, Coarbitrary, Coarbitrary<C>, Coarbitrary<D>, Coarbitrary<E>, Coarbitrary<F$>, Coarbitrary<G>, Coarbitrary<H>) - Static method in class fj.test.Coarbitrary: A coarbitrary for product-8 values.
coarbPriorityBlockingQueue(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for priority blocking queues.
coarbPriorityQueue(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for priority queues.
coarbProperties - Static variable in class fj.test.Coarbitrary: A coarbitrary for properties.
coarbShort - Static variable in class fj.test.Coarbitrary: A coarbitrary for shorts.
coarbSQLDate - Static variable in class fj.test.Coarbitrary
coarbStack(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for stacks.
coarbState(Arbitrary<S>, F2<S, A, Long>) - Static method in class fj.test.Coarbitrary: A coarbitrary for state.
coarbStream(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for streams.
coarbString - Static variable in class fj.test.Coarbitrary: A coarbitrary for strings.
coarbStringBuffer - Static variable in class fj.test.Coarbitrary: A coarbitrary for string buffers.
coarbStringBuilder - Static variable in class fj.test.Coarbitrary: A coarbitrary for string builders.
coarbSynchronousQueue(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for synchronous queues.
coarbThrowable - Static variable in class fj.test.Coarbitrary: A coarbitrary for throwables.
coarbThrowable(Coarbitrary<String>) - Static method in class fj.test.Coarbitrary: A coarbitrary for throwables.
coarbTime - Static variable in class fj.test.Coarbitrary
coarbTimestamp - Static variable in class fj.test.Coarbitrary
coarbTreeMap(Coarbitrary<K>, Coarbitrary<V>) - Static method in class fj.test.Coarbitrary: A coarbitrary for tree maps.
coarbTreeSet(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for tree sets.
coarbVector(Coarbitrary<A>) - Static method in class fj.test.Coarbitrary: A coarbitrary for vectors.
coarbWeakHashMap(Coarbitrary<K>, Coarbitrary<V>) - Static method in class fj.test.Coarbitrary: A coarbitrary for weak hash maps.
compose(F<B, A>) - Method in class fj.test.Coarbitrary: Composes the given function with this coarbitrary to produce a new coarbitrary.
contramap(F<B, A>) - Method in class fj.test.Coarbitrary: Contra-maps this coarbitrary using the given function.

D

discarded() - Method in class fj.test.CheckResult: Returns the number of discarded checks of the property in this result.

E

elements(A...) - Static method in class fj.test.Gen: Returns a generator that produces values from the given arguments.
elemFrequency(List<P2<Integer, A>>) - Static method in class fj.test.Gen: Returns a generator that produces values from the given frequency and value pairs.
empty() - Static method in class fj.test.Shrink: Returns a shrink strategy that cannot be reduced further.
exception() - Method in class fj.test.CheckResult: Returns the execption if the result is one of; exception during property execution or exception during argument value generation, otherwise, no exception are returned.
exception(F0<Property>) - Static method in class fj.test.Property: Returns a property that has a result of exception, if the evaluation of the given property throws an exception; otherwise, the given property is returned.
exception() - Method in class fj.test.Result: Returns the potential exception associated with this result.
exception(List<Arg<?>>, Throwable) - Static method in class fj.test.Result: Returns an exception result.
exhausted(int, int) - Static method in class fj.test.CheckResult: Returns a result that the property been exhausted in checking.

F

fail() - Static method in class fj.test.Gen: Returns a generator that never returns a value.
failed() - Method in class fj.test.Result: Returns true if this result is falsified or an exception; otherwise, false.
falsified(List<Arg<?>>, int, int) - Static method in class fj.test.CheckResult: Returns a result that the property has been falsified.
falsified(List<Arg<?>>) - Static method in class fj.test.Result: Returns a falsified result.
filter(F<A, Boolean>) - Method in class fj.test.Gen: Returns a generator that produces values that meet the given predicate.
filter(Filter) - Method in class fj.test.runner.PropertyTestRunner
fj.data.test - package fj.data.test
fj.test - package fj.test: Reductio is a software package that provides automated specification-based testing and is intended to replace traditional testing techniques that have very little automation.
fj.test.reflect - package fj.test.reflect: A wrapper around the fj.test package that uses annotations for configuring properties to check.
fj.test.runner - package fj.test.runner
forall(Gen<A>, Shrink<A>, F<A, P1<Property>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
foreach(Integer, Rand, F<A, Unit>) - Method in class fj.test.Gen: Executes a side-effect for each generated result using the given arguments.
foreachDoEffect(Integer, Rand, Effect1<A>) - Method in class fj.test.Gen: Executes a side-effect for each generated result using the given arguments.
frequency(List<P2<Integer, Gen<A>>>) - Static method in class fj.test.Gen: Returns a generator that uses values from the given frequency and generator pairs.
fromGen(Gen<Result>) - Static method in class fj.test.Property: Constructs a property from a generator of results.

G

gen - Variable in class fj.test.Arbitrary: The generator associated with this arbitrary.
Gen<A> - Class in fj.test: A generator for values of the type of the given type parameter (A).
gen(int, Rand) - Method in class fj.test.Gen: Applies the given size and random generator to produce a value.
gen(F<Integer, F<Rand, A>>) - Static method in class fj.test.Gen: Returns a generator that uses the given function.
gen() - Method in class fj.test.Property: Returns a generator of results from this property.
genException(Throwable, int, int) - Static method in class fj.test.CheckResult: Returns a result that generating values to check the property threw an exception.
getDescription() - Method in class fj.test.runner.PropertyTestRunner

I

implies(F0<Property>) - Method in class fj.test.Bool: Returns a property that produces a result only if this value is true.
implies(Property) - Method in class fj.test.Bool: Returns a property that produces a result only if this value is true.
implies(Bool) - Method in class fj.test.Bool: Returns a property that produces a result only if this value is true.
implies(boolean) - Method in class fj.test.Bool: Returns a property that produces a result only if this value is true.
implies(boolean, F0<Property>) - Static method in class fj.test.Property: Returns a property that produces a result only if the given condition satisfies.
is() - Method in class fj.test.Bool: Returns true if this value is true, false otherwise.
isException() - Method in class fj.test.Result: Returns true if this result is an exception; otherwise, false.
isExhausted() - Method in class fj.test.CheckResult: Returns true if this result is exhausted, false otherwise.
isFalsified() - Method in class fj.test.CheckResult: Returns true if this result is falsified, false otherwise.
isFalsified() - Method in class fj.test.Result: Returns true if this result is falsified; otherwise, false.
isGenException() - Method in class fj.test.CheckResult: Returns true if this result is an exception during generating of values for property checking, false otherwise.
isNoResult() - Method in class fj.test.Result: Returns true if this result is no result; otherwise, false.
isNot() - Method in class fj.test.Bool: Returns false if this value is true, true otherwise.
isPassed() - Method in class fj.test.CheckResult: Returns true if this result is passed, false otherwise.
isPropException() - Method in class fj.test.CheckResult: Returns true if this result is an exception during property execution, false otherwise.
isProven() - Method in class fj.test.CheckResult: Returns true if this result is proven, false otherwise.
isProven() - Method in class fj.test.Result: Returns true if this result is proven; otherwise, false.
isUnfalsified() - Method in class fj.test.Result: Returns true if this result is unfalsified; otherwise, false.

J

join(Gen<Gen<A>>) - Static method in class fj.test.Gen: Joins the generator of generators through a Gen.bind(F) operation.

L

listOf(Gen<A>, int) - Static method in class fj.test.Gen: Returns a generator of lists whose values come from the given generator.
listOf(Gen<A>) - Static method in class fj.test.Gen: Returns a generator of lists whose values come from the given generator.
listOf1(Gen<A>) - Static method in class fj.test.Gen: Returns a generator of non empty lists whose values come from the given generator.

M

Main - Class in fj.test.reflect: Checks the properties of a class using a standard random generator, standard check parameters and the given categories.
main(String...) - Static method in class fj.test.reflect.Main: Check the given class and categories.
map(F<A, B>) - Method in class fj.test.Gen: Maps the given function across this generator.
map(F<A, B>, F<B, A>) - Method in class fj.test.Shrink: Creates a shrink from this shrink and the given symmetric transformations.
maxDiscarded(int) - Method in class fj.test.Property: Checks this property using a standard random generator, 100 minimum successful checks, the given maximum discarded tests, minimum size of 0, maximum size of 100.
maxDiscarded(Rand, int) - Method in class fj.test.Property: Checks this property using a the given random generator}, 100 minimum successful checks, the given maximum discarded tests, minimum size of 0, maximum size of 100.
maxSize(int) - Method in class fj.test.Property: Checks this property using a standard random generator, 100 minimum successful checks, 500 maximum discarded tests, minimum size of 0, the given maximum size.
maxSize(Rand, int) - Method in class fj.test.Property: Checks this property using the given random generator, 100 minimum successful checks, 500 maximum discarded tests, minimum size of 0, the given maximum size.
minSize(int) - Method in class fj.test.Property: Checks this property using a standard random generator, 100 minimum successful checks, 500 maximum discarded tests, the given minimum size, maximum size of 100.
minSize(Rand, int) - Method in class fj.test.Property: Checks this property using the given random generator, 100 minimum successful checks, 500 maximum discarded tests, the given minimum size, maximum size of 100.
minSuccessful(int) - Method in class fj.test.Property: Checks this property using a standard random generator, the given minimum successful checks, 500 maximum discarded tests, minimum size of 0, maximum size of 100.
minSuccessful(Rand, int) - Method in class fj.test.Property: Checks this property using the given random generator, the given minimum successful checks, 500 maximum discarded tests, minimum size of 0, maximum size of 100.

N

Name - Annotation Type in fj.test.reflect: The name of a property to be used in reporting.
NoCheck - Annotation Type in fj.test.reflect: Denotes that a property should be excluded from any checking.
noResult(Option<Result>) - Static method in class fj.test.Result: Returns a result from the given potential result.
noResult() - Static method in class fj.test.Result: Returns a result representing no result.

O

oneOf(List<Gen<A>>) - Static method in class fj.test.Gen: Returns a generator that produces values from one of the given generators on subsequent requests.
or(Property) - Method in class fj.test.Property: Performs a disjunction of this property with the given property.

P

parameterised(F<Integer, F<Rand, Gen<A>>>) - Static method in class fj.test.Gen: Constructs a generator that can access its construction arguments — size and random generator.
passed(int, int) - Static method in class fj.test.CheckResult: Returns a result that the property has passed.
passed() - Method in class fj.test.Result: Returns true if this result is unfalsified or proven; otherwise, false.
pick(int, List<A>) - Static method in class fj.test.Gen: Returns a generator of lists that picks the given number of elements from the given list.
promote(F<A, Gen>) - Static method in class fj.test.Gen: Promotes the given function to a generator for functions.
prop(int, Rand) - Method in class fj.test.Property: Returns the result of applying the given size and random generator.
prop(F<Integer, F<Rand, Result>>) - Static method in class fj.test.Property: Returns a property from the given function.
prop(Result) - Static method in class fj.test.Property: Returns a property that always has the given result.
prop(boolean) - Static method in class fj.test.Property: Returns a property that is either proven (the given condition satsifies) or falsified otherwise.
properties(Class<T>, String...) - Static method in class fj.test.reflect.Check: Returns all properties, their name and possible check parameters in a given class that are found reflectively and according to various annotations.
Property - Class in fj.test: Represents an algebraic property about a program that may be checked for its truth value.
property(Arbitrary<A>, Shrink<A>, F<A, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, F<A, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Shrink<A>, Shrink, F<A, F<B, Property>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, F<A, F<B, Property>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Shrink<A>, Shrink, F2<A, B, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, F2<A, B, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Shrink<A>, Shrink, Shrink<C>, F<A, F<B, F<C, Property>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, F<A, F<B, F<C, Property>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Shrink<A>, Shrink, Shrink<C>, F3<A, B, C, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, F3<A, B, C, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Shrink<A>, Shrink, Shrink<C>, Shrink<D>, F<A, F<B, F<C, F<D, Property>>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, F<A, F<B, F<C, F<D, Property>>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Shrink<A>, Shrink, Shrink<C>, Shrink<D>, F4<A, B, C, D, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, F4<A, B, C, D, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>, F<A, F<B, F<C, F<D, F<E, Property>>>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, F<A, F<B, F<C, F<D, F<E, Property>>>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>, F5<A, B, C, D, E, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, F5<A, B, C, D, E, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>, Shrink<F$>, F<A, F<B, F<C, F<D, F<E, F<F$, Property>>>>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, F<A, F<B, F<C, F<D, F<E, F<F$, Property>>>>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>, Shrink<F$>, F6<A, B, C, D, E, F$, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, F6<A, B, C, D, E, F$, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>, Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>, Shrink<F$>, Shrink<G>, F<A, F<B, F<C, F<D, F<E, F<F$, F<G, Property>>>>>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>, F<A, F<B, F<C, F<D, F<E, F<F$, F<G, Property>>>>>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>, Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>, Shrink<F$>, Shrink<G>, F7<A, B, C, D, E, F$, G, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>, F7<A, B, C, D, E, F$, G, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>, Arbitrary<H>, Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>, Shrink<F$>, Shrink<G>, Shrink<H>, F<A, F<B, F<C, F<D, F<E, F<F$, F<G, F<H, Property>>>>>>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>, Arbitrary<H>, F<A, F<B, F<C, F<D, F<E, F<F$, F<G, F<H, Property>>>>>>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>, Arbitrary<H>, Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>, Shrink<F$>, Shrink<G>, Shrink<H>, F8<A, B, C, D, E, F$, G, H, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
property(Arbitrary<A>, Arbitrary, Arbitrary<C>, Arbitrary<D>, Arbitrary<E>, Arbitrary<F$>, Arbitrary<G>, Arbitrary<H>, F8<A, B, C, D, E, F$, G, H, Property>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
PropertyAssert - Class in fj.data.test: Created by MarkPerry on 18/12/2014.
PropertyAssert() - Constructor for class fj.data.test.PropertyAssert
propertyP(Arbitrary<A>, Shrink<A>, F<A, P1<Property>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
propertyP(Arbitrary<A>, F<A, P1<Property>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
propertyP(Arbitrary<A>, Arbitrary, Shrink<A>, Shrink, F<A, F<B, P1<Property>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
propertyP(Arbitrary<A>, Arbitrary, F<A, F<B, P1<Property>>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
propertyP(Arbitrary<A>, Arbitrary, Shrink<A>, Shrink, F2<A, B, P1<Property>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
propertyP(Arbitrary<A>, Arbitrary, F2<A, B, P1<Property>>) - Static method in class fj.test.Property: Returns a property where its result is derived from universal quantification across the application of its arguments.
PropertyTestRunner - Class in fj.test.runner
PropertyTestRunner(Class<?>) - Constructor for class fj.test.runner.PropertyTestRunner
propException(List<Arg<?>>, Throwable, int, int) - Static method in class fj.test.CheckResult: Returns a result that checking the property threw an exception.
proven(List<Arg<?>>, int, int) - Static method in class fj.test.CheckResult: Returns a result that the property has been proven.
proven(List<Arg<?>>) - Static method in class fj.test.Result: Returns a proven result.
provenAsUnfalsified() - Method in class fj.test.Result: If this result is proven, alter it to be unfalsified with the same arguments; otherwise, return this.

R

Rand - Class in fj.test: A random number generator.
rand(F<Option<Long>, F<Integer, F<Integer, Integer>>>, F<Option<Long>, F<Double, F<Double, Double>>>) - Static method in class fj.test.Rand: Constructs a random generator from the given functions that supply a range to produce a result.
reseed(long) - Method in class fj.test.Rand: Gives this random generator a new seed.
resize(int) - Method in class fj.test.Gen: Resizes this generator with the given size.
Result - Class in fj.test: The result of evaluating a property.
run(RunNotifier) - Method in class fj.test.runner.PropertyTestRunner

S

sequence(List<Gen<A>>) - Static method in class fj.test.Gen: Sequence the given generators through a Gen.bind(F) operation.
sequence(Property) - Method in class fj.test.Property: Performs a sequence of this property with the given property.
sequenceN(int, Gen<A>) - Static method in class fj.test.Gen: Sequences the given generator the given number of times through a Gen.bind(F) operation.
Shrink<A> - Class in fj.test: Represents a shrinking strategy over the given type parameter if that type can be represented as a tree structure.
shrink(A) - Method in class fj.test.Shrink: Returns a shrink of the given argument.
shrink(F<A, Stream<A>>) - Static method in class fj.test.Shrink: Constructs a shrink strategy from the given function that produces a tree of values given a value.
shrinkArray(Shrink<A>) - Static method in class fj.test.Shrink: Returns a shrink strategy for arrays.
shrinkArrayBlockingQueue(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for array blocking queues.
shrinkArrayList(Shrink<A>) - Static method in class fj.test.Shrink: Returns a shrink strategy for array lists.
shrinkBigDecimal - Static variable in class fj.test.Shrink: A shrink strategy for big decimals.
shrinkBigInteger - Static variable in class fj.test.Shrink: A shrink strategy for big integers.
shrinkBitSet - Static variable in class fj.test.Shrink: A shrink strategy for bit sets.
shrinkBoolean - Static variable in class fj.test.Shrink: A shrink strategy for booleans using false as the bottom of the shrink.
shrinkByte - Static variable in class fj.test.Shrink: A shrink strategy for bytes using 0 as the bottom of the shrink.
shrinkCalendar - Static variable in class fj.test.Shrink: A shrink strategy for calendars.
shrinkCharacter - Static variable in class fj.test.Shrink: A shrink strategy for characters using 0 as the bottom of the shrink.
shrinkConcurrentHashMap(Shrink<K>, Shrink<V>) - Static method in class fj.test.Shrink: A shrink strategy for concurrent hash maps.
shrinkConcurrentLinkedQueue(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for concurrent linked queues.
shrinkCopyOnWriteArrayList(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for copy on write array lists.
shrinkCopyOnWriteArraySet(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for copy on write array sets.
shrinkDate - Static variable in class fj.test.Shrink: A shrink strategy for dates.
shrinkDelayQueue(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for delay queues.
shrinkDouble - Static variable in class fj.test.Shrink: A shrink strategy for doubles using 0 as the bottom of the shrink.
shrinkEither(Shrink<A>, Shrink) - Static method in class fj.test.Shrink: Returns a shrink strategy for either values.
shrinkEnumMap(Shrink<K>, Shrink<V>) - Static method in class fj.test.Shrink: A shrink strategy for enum maps.
shrinkEnumSet(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for enum sets.
shrinkFloat - Static variable in class fj.test.Shrink: A shrink strategy for floats using 0 as the bottom of the shrink.
shrinkGregorianCalendar - Static variable in class fj.test.Shrink: A shrink strategy for gregorian calendars.
shrinkHashMap(Shrink<K>, Shrink<V>) - Static method in class fj.test.Shrink: A shrink strategy for hash maps.
shrinkHashSet(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for hash sets.
shrinkHashtable(Shrink<K>, Shrink<V>) - Static method in class fj.test.Shrink: A shrink strategy for hash tables.
shrinkIdentityHashMap(Shrink<K>, Shrink<V>) - Static method in class fj.test.Shrink: A shrink strategy for identity hash maps.
shrinkInteger - Static variable in class fj.test.Shrink: A shrink strategy for integers using 0 as the bottom of the shrink.
shrinkLinkedBlockingQueue(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for linked blocking queues.
shrinkLinkedHashMap(Shrink<K>, Shrink<V>) - Static method in class fj.test.Shrink: A shrink strategy for linked hash maps.
shrinkLinkedHashSet(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for linked hash sets.
shrinkLinkedList(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for linked lists.
shrinkList(Shrink<A>) - Static method in class fj.test.Shrink: Returns a shrink strategy for lists.
shrinkLong - Static variable in class fj.test.Shrink: A shrink strategy for longs using 0 as the bottom of the shrink.
shrinkOption(Shrink<A>) - Static method in class fj.test.Shrink: Returns a shrink strategy for optional values.
shrinkP1(Shrink<A>) - Static method in class fj.test.Shrink: Returns a shrinking strategy for product-1 values.
shrinkP2(Shrink<A>, Shrink) - Static method in class fj.test.Shrink: Returns a shrinking strategy for product-2 values.
shrinkP3(Shrink<A>, Shrink, Shrink<C>) - Static method in class fj.test.Shrink: Returns a shrinking strategy for product-3 values.
shrinkP4(Shrink<A>, Shrink, Shrink<C>, Shrink<D>) - Static method in class fj.test.Shrink: Returns a shrinking strategy for product-4 values.
shrinkP5(Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>) - Static method in class fj.test.Shrink: Returns a shrinking strategy for product-5 values.
shrinkP6(Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>, Shrink<F$>) - Static method in class fj.test.Shrink: Returns a shrinking strategy for product-6 values.
shrinkP7(Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>, Shrink<F$>, Shrink<G>) - Static method in class fj.test.Shrink: Returns a shrinking strategy for product-7 values.
shrinkP8(Shrink<A>, Shrink, Shrink<C>, Shrink<D>, Shrink<E>, Shrink<F$>, Shrink<G>, Shrink<H>) - Static method in class fj.test.Shrink: Returns a shrinking strategy for product-8 values.
shrinkPriorityBlockingQueue(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for priority blocking queues.
shrinkPriorityQueue(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for priority queues.
shrinkProperties - Static variable in class fj.test.Shrink: A shrink strategy for properties.
shrinks() - Method in class fj.test.Arg: Returns the argument's number of shrinks following falsification.
shrinkShort - Static variable in class fj.test.Shrink: A shrink strategy for shorts using 0 as the bottom of the shrink.
shrinkSQLDate - Static variable in class fj.test.Shrink: A shrink strategy for SQL dates.
shrinkStack(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for stacks.
shrinkStream(Shrink<A>) - Static method in class fj.test.Shrink: Returns a shrink strategy for streams.
shrinkString - Static variable in class fj.test.Shrink: A shrink strategy for strings using the empty string as the bottom of the shrink.
shrinkStringBuffer - Static variable in class fj.test.Shrink: A shrink strategy for string buffers using the empty string as the bottom of the shrink.
shrinkStringBuilder - Static variable in class fj.test.Shrink: A shrink strategy for string builders using the empty string as the bottom of the shrink.
shrinkSynchronousQueue(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for synchronous queues.
shrinkThrowable - Static variable in class fj.test.Shrink: A shrink strategy for throwables.
shrinkThrowable(Shrink<String>) - Static method in class fj.test.Shrink: A shrink strategy for throwables.
shrinkTime - Static variable in class fj.test.Shrink: A shrink strategy for SQL times.
shrinkTimestamp - Static variable in class fj.test.Shrink: A shrink strategy for SQL timestamps.
shrinkTreeMap(Shrink<K>, Shrink<V>) - Static method in class fj.test.Shrink: A shrink strategy for tree maps.
shrinkTreeSet(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for tree sets.
shrinkVector(Shrink<A>) - Static method in class fj.test.Shrink: A shrink strategy for vectors.
shrinkWeakHashMap(Shrink<K>, Shrink<V>) - Static method in class fj.test.Shrink: A shrink strategy for weak hash maps.
sized(F<Integer, Gen<A>>) - Static method in class fj.test.Gen: Constructs a generator that can access its size construction arguments.
someOf(List<A>) - Static method in class fj.test.Gen: Returns a generator of lists that produces some of the values of the given list.
standard - Static variable in class fj.test.Rand: A standard random generator that uses Random.
succeeded() - Method in class fj.test.CheckResult: Returns the number of succeeded checks of the property in this result.
summary - Static variable in class fj.test.CheckResult: A rendering of a check result that summarises in one line.
summary(Show<Arg<?>>) - Static method in class fj.test.CheckResult: A rendering of a check result that summarises in one line.
summaryEx - Static variable in class fj.test.CheckResult: A rendering of a check result that summarises in one line but throws an exception in the result is a failure (falsified, property exception or generator exception).
summaryEx(Show<Arg<?>>) - Static method in class fj.test.CheckResult: A rendering of a check result that summarises in one line but throws an exception in the result is a failure (falsified, property exception or generator exception).

T

toOption() - Method in class fj.test.Result: Returns a potential result for this result.

U

unfalsified(List<Arg<?>>) - Static method in class fj.test.Result: Returns an unfalsified result.

V

value() - Method in class fj.test.Arg: Returns the argument's value.
value(A) - Static method in class fj.test.Gen: Returns a generator that always produces the given value.
Variant - Class in fj.test: A memoised generator variant.
variant(long, Gen<A>) - Static method in class fj.test.Variant: Produces a generator that is independent of the given generator using the given value.
variant(long) - Static method in class fj.test.Variant: A curried version of Variant.variant(long, Gen).

A B C D E F G I J L M N O P R S T U V