Index (quickcheck 5.0 API)

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

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(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for arrays.
arbArrayBlockingQueue(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for array blocking queues.
arbArrayList(Gen<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(Gen<K>, Gen<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for concurrent hash maps.
arbConcurrentLinkedQueue(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for concurrent linked queues.
arbCopyOnWriteArrayList(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for copy-on-write array lists.
arbCopyOnWriteArraySet(Gen<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(Gen<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(Gen<A>, Gen) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for the disjoint union.
arbEnumMap(Gen<K>, Gen<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for enum maps.
arbEnumSet(Gen<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(Cogen<A>, Gen) - Static method in class fj.test.Arbitrary: An arbitrary for functions.
arbF2(Cogen<A>, Cogen, Gen<C>) - Static method in class fj.test.Arbitrary: An arbitrary for function-2.
arbF2Invariant(Gen<C>) - Static method in class fj.test.Arbitrary: An arbitrary for function-2.
arbF3(Cogen<A>, Cogen, Cogen<C>, Gen<D>) - Static method in class fj.test.Arbitrary: An arbitrary for function-3.
arbF3Invariant(Gen<D>) - Static method in class fj.test.Arbitrary: An arbitrary for function-3.
arbF4(Cogen<A>, Cogen, Cogen<C>, Cogen<D>, Gen<E>) - Static method in class fj.test.Arbitrary: An arbitrary for function-4.
arbF4Invariant(Gen<E>) - Static method in class fj.test.Arbitrary: An arbitrary for function-4.
arbF5(Cogen<A>, Cogen, Cogen<C>, Cogen<D>, Cogen<E>, Gen<F$>) - Static method in class fj.test.Arbitrary: An arbitrary for function-5.
arbF5Invariant(Gen<F$>) - Static method in class fj.test.Arbitrary: An arbitrary for function-5.
arbF6(Cogen<A>, Cogen, Cogen<C>, Cogen<D>, Cogen<E>, Cogen<F$>, Gen<G>) - Static method in class fj.test.Arbitrary: An arbitrary for function-6.
arbF6Invariant(Gen<G>) - Static method in class fj.test.Arbitrary: An arbitrary for function-6.
arbF7(Cogen<A>, Cogen, Cogen<C>, Cogen<D>, Cogen<E>, Cogen<F$>, Cogen<G>, Gen<H>) - Static method in class fj.test.Arbitrary: An arbitrary for function-7.
arbF7Invariant(Gen<H>) - Static method in class fj.test.Arbitrary: An arbitrary for function-7.
arbF8(Cogen<A>, Cogen, Cogen<C>, Cogen<D>, Cogen<E>, Cogen<F$>, Cogen<G>, Cogen<H>, Gen) - Static method in class fj.test.Arbitrary: An arbitrary for function-8.
arbF8Invariant(Gen) - Static method in class fj.test.Arbitrary: An arbitrary for function-8.
arbFInvariant(Gen) - 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(Gen<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(Gen<K>, Gen<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for hash maps.
arbHashSet(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for hash sets.
arbHashtable(Gen<K>, Gen<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for hash tables.
arbIdentityHashMap(Gen<K>, Gen<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 - Class in fj.test: Common Gen helper functions.
Arbitrary() - Constructor for class fj.test.Arbitrary
arbJavaTreeMap(Gen<K>, Gen<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for java.util tree maps.
arbLcgRng() - Static method in class fj.test.Arbitrary: An arbitrary for the LcgRng.
arbLinkedBlockingQueue(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for linked blocking queues.
arbLinkedHashMap(Gen<K>, Gen<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for linked hash maps.
arbLinkedHashSet(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for hash sets.
arbLinkedList(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for linked lists.
arbList(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for lists.
arbListBoolean() - Static method in class fj.test.Arbitrary: Returns an arbitrary list of booleans.
arbListDouble() - Static method in class fj.test.Arbitrary: Returns an arbitrary list of doubles.
arbListInteger() - Static method in class fj.test.Arbitrary: Returns an arbitrary list of integers.
arbListString() - Static method in class fj.test.Arbitrary: Returns an arbitrary list of strings.
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%).
arbNatural - Static variable in class fj.test.Arbitrary: An arbitrary implementation for naturals.
arbNonEmptyList(Gen<A>) - Static method in class fj.test.Arbitrary
arbOption(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for optional values.
arbP1(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-1 values.
arbP2(Gen<A>, Gen) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-2 values.
arbP3(Gen<A>, Gen, Gen<C>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-3 values.
arbP4(Gen<A>, Gen, Gen<C>, Gen<D>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-4 values.
arbP5(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-5 values.
arbP6(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-6 values.
arbP7(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-7 values.
arbP8(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Gen<H>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for product-8 values.
arbPriorityBlockingQueue(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for priority blocking queues.
arbPriorityQueue(Gen<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(Cogen<A>, Gen) - Static method in class fj.test.Arbitrary
arbSeq(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for sequences.
arbSet(Ord<A>, Gen<A>) - Static method in class fj.test.Arbitrary
arbSet(Ord<A>, Gen<A>, int) - Static method in class fj.test.Arbitrary
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(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for stacks.
arbState(Gen<S>, Cogen<S>, Gen<A>) - Static method in class fj.test.Arbitrary: An arbitrary for state.
arbStream(Gen<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(Gen<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(Gen<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(Ord<K>, Gen<List<P2<K, V>>>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for tree maps.
arbTreeMap(Ord<K>, Gen<K>, Gen<V>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for tree maps.
arbTreeMap(Ord<K>, Gen<K>, Gen<V>, Gen<Integer>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for tree maps where the map size is the given arbitrary integer.
arbTreeMap(Ord<K>, Gen<K>, Gen<V>, int) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for tree maps where the size is less than or equal to the max size.
arbTreeSet(Gen<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(Gen<A>, Gen) - Static method in class fj.test.Arbitrary: Returns an arbitrary Validation for the given arbitrary parameters.
arbVector(Gen<A>) - Static method in class fj.test.Arbitrary: Returns an arbitrary implementation for vectors.
arbWeakHashMap(Gen<K>, Gen<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(long, long) - Static method in class fj.test.Gen
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, long) - Method in class fj.test.Rand
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).
Cogen<A> - Class in fj.test: Transforms a type and a generator to produce a new generator.
Cogen() - Constructor for class fj.test.Cogen
cogen(A, Gen) - Method in class fj.test.Cogen: Transforms the given value and generator to a new generator with a high probability of being independent.
cogen(A) - Method in class fj.test.Cogen: A curried version of Cogen.cogen(Object, Gen).
cogenArray(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for arrays.
cogenArrayBlockingQueue(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for array blocking queues.
cogenArrayList(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for array lists.
cogenBigDecimal - Static variable in class fj.test.Cogen
cogenBigInteger - Static variable in class fj.test.Cogen
cogenBitSet - Static variable in class fj.test.Cogen: A cogen for bit sets.
cogenBoolean - Static variable in class fj.test.Cogen: A cogen for booleans.
cogenByte - Static variable in class fj.test.Cogen: A cogen for bytes.
cogenCalendar - Static variable in class fj.test.Cogen: A cogen for calendars.
cogenCharacter - Static variable in class fj.test.Cogen: A cogen for characters.
cogenConcurrentHashMap(Cogen<K>, Cogen<V>) - Static method in class fj.test.Cogen: A cogen for concurrent hash maps.
cogenConcurrentLinkedQueue(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for concurrent linked queues.
cogenCopyOnWriteArrayList(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for copy-on-write array lists.
cogenCopyOnWriteArraySet(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for copy-on-write array sets.
cogenDate - Static variable in class fj.test.Cogen: A cogen for dates.
cogenDelayQueue(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for delay queues.
cogenDouble - Static variable in class fj.test.Cogen: A cogen for doubles.
cogenEither(Cogen<A>, Cogen) - Static method in class fj.test.Cogen: A cogen for the disjoint union.
cogenEnumMap(Cogen<K>, Cogen<V>) - Static method in class fj.test.Cogen: A cogen for enum maps.
cogenEnumSet(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for enum sets.
cogenF(Gen<A>, Cogen) - Static method in class fj.test.Cogen: A cogen for a function.
cogenF2(Gen<A>, Gen, Cogen<C>) - Static method in class fj.test.Cogen: A cogen for a function-2.
cogenF3(Gen<A>, Gen, Gen<C>, Cogen<D>) - Static method in class fj.test.Cogen: A cogen for a function-3.
cogenF4(Gen<A>, Gen, Gen<C>, Gen<D>, Cogen<E>) - Static method in class fj.test.Cogen: A cogen for a function-4.
cogenF5(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Cogen<F$>) - Static method in class fj.test.Cogen: A cogen for a function-5.
cogenF6(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Cogen<G>) - Static method in class fj.test.Cogen: A cogen for a function-6.
cogenF7(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Cogen<H>) - Static method in class fj.test.Cogen: A cogen for a function-7.
cogenF8(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Gen<H>, Cogen) - Static method in class fj.test.Cogen: A cogen for a function-8.
cogenFloat - Static variable in class fj.test.Cogen: A cogen for floats.
cogenGregorianCalendar - Static variable in class fj.test.Cogen: A cogen for gregorian calendars.
cogenHashMap(Cogen<K>, Cogen<V>) - Static method in class fj.test.Cogen: A cogen for hash maps.
cogenHashSet(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for hash sets.
cogenHashtable(Cogen<K>, Cogen<V>) - Static method in class fj.test.Cogen: A cogen for hash tables.
cogenIdentityHashMap(Cogen<K>, Cogen<V>) - Static method in class fj.test.Cogen: A cogen for identity hash maps.
cogenInteger - Static variable in class fj.test.Cogen: A cogen for integers.
cogenLcgRng() - Static method in class fj.test.Cogen: A cogen for the provided LcgRng
cogenLinkedBlockingQueue(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for linked blocking queues.
cogenLinkedHashMap(Cogen<K>, Cogen<V>) - Static method in class fj.test.Cogen: A cogen for linked hash maps.
cogenLinkedHashSet(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for linked hash sets.
cogenLinkedList(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for linked lists.
cogenList(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for lists.
cogenLong - Static variable in class fj.test.Cogen: A cogen for longs.
cogenOption(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for the optional value.
cogenP1(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for product-1 values.
cogenP2(Cogen<A>, Cogen) - Static method in class fj.test.Cogen: A cogen for product-2 values.
cogenP3(Cogen<A>, Cogen, Cogen<C>) - Static method in class fj.test.Cogen: A cogen for product-3 values.
cogenP4(Cogen<A>, Cogen, Cogen<C>, Cogen<D>) - Static method in class fj.test.Cogen: A cogen for product-4 values.
cogenP5(Cogen<A>, Cogen, Cogen<C>, Cogen<D>, Cogen<E>) - Static method in class fj.test.Cogen: A cogen for product-5 values.
cogenP6(Cogen<A>, Cogen, Cogen<C>, Cogen<D>, Cogen<E>, Cogen<F$>) - Static method in class fj.test.Cogen: A cogen for product-6 values.
cogenP7(Cogen<A>, Cogen, Cogen<C>, Cogen<D>, Cogen<E>, Cogen<F$>, Cogen<G>) - Static method in class fj.test.Cogen: A cogen for product-7 values.
cogenP8(Cogen<A>, Cogen, Cogen<C>, Cogen<D>, Cogen<E>, Cogen<F$>, Cogen<G>, Cogen<H>) - Static method in class fj.test.Cogen: A cogen for product-8 values.
cogenPriorityBlockingQueue(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for priority blocking queues.
cogenPriorityQueue(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for priority queues.
cogenProperties - Static variable in class fj.test.Cogen: A cogen for properties.
cogenShort - Static variable in class fj.test.Cogen: A cogen for shorts.
cogenSQLDate - Static variable in class fj.test.Cogen
cogenStack(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for stacks.
cogenState(Gen<S>, F2<S, A, Long>) - Static method in class fj.test.Cogen: A cogen for state.
cogenStream(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for streams.
cogenString - Static variable in class fj.test.Cogen: A cogen for strings.
cogenStringBuffer - Static variable in class fj.test.Cogen: A cogen for string buffers.
cogenStringBuilder - Static variable in class fj.test.Cogen: A cogen for string builders.
cogenSynchronousQueue(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for synchronous queues.
cogenThrowable - Static variable in class fj.test.Cogen: A cogen for throwables.
cogenThrowable(Cogen<String>) - Static method in class fj.test.Cogen: A cogen for throwables.
cogenTime - Static variable in class fj.test.Cogen
cogenTimestamp - Static variable in class fj.test.Cogen
cogenTreeMap(Cogen<K>, Cogen<V>) - Static method in class fj.test.Cogen: A cogen for tree maps.
cogenTreeSet(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for tree sets.
cogenVector(Cogen<A>) - Static method in class fj.test.Cogen: A cogen for vectors.
cogenWeakHashMap(Cogen<K>, Cogen<V>) - Static method in class fj.test.Cogen: A cogen for weak hash maps.
combinationOf(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.
compose(F<B, A>) - Method in class fj.test.Cogen: Composes the given function with this cogen to produce a new cogen.
contramap(F<B, A>) - Method in class fj.test.Cogen: Contra-maps this cogen 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<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.
impliesBoolean(boolean, boolean) - Static method in class fj.test.Property: Returns a property that produces a result only if the given condition satisfies.
impliesBoolean(boolean, F0<Boolean>) - 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.
listOfSorted(Gen<A>, int, Ord<A>) - Static method in class fj.test.Gen

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.
permutationOf(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.
pickOne(List<A>) - Static method in class fj.test.Gen: Returns a generator that picks one element 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(Gen<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(Gen<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(Gen<A>, Gen, 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(Gen<A>, Gen, 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(Gen<A>, Gen, 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(Gen<A>, Gen, 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(Gen<A>, Gen, Gen<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(Gen<A>, Gen, Gen<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(Gen<A>, Gen, Gen<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(Gen<A>, Gen, Gen<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(Gen<A>, Gen, Gen<C>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<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(Gen<A>, 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, 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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Gen<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(Gen<A>, 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, 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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Gen<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(Gen<A>, Gen, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Gen<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
propertyP(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.
propertyP(Gen<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(Gen<A>, Gen, 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(Gen<A>, Gen, 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(Gen<A>, Gen, 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(Gen<A>, Gen, 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>>>, F<Long, Rand>) - Static method in class fj.test.Rand: Constructs a reseedable 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

selectionOf(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.
sequence(List<Gen<A>>) - Static method in class fj.test.Gen: Sequence the given generators through a Gen.bind(F) operation.
sequence(Validation<E, Gen<A>>) - Static method in class fj.test.Gen: Transform a validation for a generator into a generator of validations: if the given validation is a failure, the generator produces that failure value; if the given validation is a success, the generator produces success values.
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.
shrinkNatural - Static variable in class fj.test.Shrink: A shrink strategy for naturals.
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.
someCombinationOf(List<A>) - Static method in class fj.test.Gen: Returns a generator of lists that produces some of the values of the given list.
somePermutationOf(List<A>) - Static method in class fj.test.Gen: Returns a generator of lists that produces some of the values of the given list.
someSelectionOf(int, List<A>) - Static method in class fj.test.Gen: Returns a generator of lists that produces some of the values of the given list.
someWordOf(int, 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.
streamOf(Gen<A>) - Static method in class fj.test.Gen: Returns a generator of streams whose values come from the given generator.
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).

W

wordOf(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.

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