- 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<B>) - 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<B>) - Static method in class fj.test.Arbitrary
-
An arbitrary for functions.
- arbF2(Cogen<A>, Cogen<B>, 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<B>, 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<B>, 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<B>, 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<B>, 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<B>, 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<B>, Cogen<C>, Cogen<D>, Cogen<E>, Cogen<F$>, Cogen<G>, Cogen<H>, Gen<I>) - Static method in class fj.test.Arbitrary
-
An arbitrary for function-8.
- arbF8Invariant(Gen<I>) - Static method in class fj.test.Arbitrary
-
An arbitrary for function-8.
- arbFInvariant(Gen<B>) - 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<B>) - Static method in class fj.test.Arbitrary
-
Returns an arbitrary implementation for product-2 values.
- arbP3(Gen<A>, Gen<B>, Gen<C>) - Static method in class fj.test.Arbitrary
-
Returns an arbitrary implementation for product-3 values.
- arbP4(Gen<A>, Gen<B>, Gen<C>, Gen<D>) - Static method in class fj.test.Arbitrary
-
Returns an arbitrary implementation for product-4 values.
- arbP5(Gen<A>, Gen<B>, 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<B>, 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<B>, 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<B>, 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<B>) - 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<B>) - 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
-
- 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
-
- 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
-
- check(List<Class<T>>, List<String>) - Static method in class fj.test.reflect.Check
-
- 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
-
- check(Class<T>, List<String>) - Static method in class fj.test.reflect.Check
-
- 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<B>) - 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
-
- 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<B>) - 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<B>) - Static method in class fj.test.Cogen
-
A cogen for a function.
- cogenF2(Gen<A>, Gen<B>, Cogen<C>) - Static method in class fj.test.Cogen
-
A cogen for a function-2.
- cogenF3(Gen<A>, Gen<B>, Gen<C>, Cogen<D>) - Static method in class fj.test.Cogen
-
A cogen for a function-3.
- cogenF4(Gen<A>, Gen<B>, Gen<C>, Gen<D>, Cogen<E>) - Static method in class fj.test.Cogen
-
A cogen for a function-4.
- cogenF5(Gen<A>, Gen<B>, 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<B>, 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<B>, 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<B>, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Gen<H>, Cogen<I>) - 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<B>) - Static method in class fj.test.Cogen
-
A cogen for product-2 values.
- cogenP3(Cogen<A>, Cogen<B>, Cogen<C>) - Static method in class fj.test.Cogen
-
A cogen for product-3 values.
- cogenP4(Cogen<A>, Cogen<B>, Cogen<C>, Cogen<D>) - Static method in class fj.test.Cogen
-
A cogen for product-4 values.
- cogenP5(Cogen<A>, Cogen<B>, Cogen<C>, Cogen<D>, Cogen<E>) - Static method in class fj.test.Cogen
-
A cogen for product-5 values.
- cogenP6(Cogen<A>, Cogen<B>, 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<B>, 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<B>, 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.
- 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.
- 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.
- pick(int, List<A>) - Static method in class fj.test.Gen
-
- 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<B>>) - 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<B>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Gen<D>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Gen<D>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Gen<D>, Gen<E>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Gen<D>, Gen<E>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Gen<H>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Gen<C>, Gen<D>, Gen<E>, Gen<F$>, Gen<G>, Gen<H>, Shrink<A>, Shrink<B>, 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<B>, 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
-
Created by MarkPerry on 18/12/2014.
- 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<B>, Shrink<A>, Shrink<B>, 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<B>, 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<B>, Shrink<A>, Shrink<B>, 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<B>, 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.
- 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(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<B>) - 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<B>) - Static method in class fj.test.Shrink
-
Returns a shrinking strategy for product-2 values.
- shrinkP3(Shrink<A>, Shrink<B>, Shrink<C>) - Static method in class fj.test.Shrink
-
Returns a shrinking strategy for product-3 values.
- shrinkP4(Shrink<A>, Shrink<B>, Shrink<C>, Shrink<D>) - Static method in class fj.test.Shrink
-
Returns a shrinking strategy for product-4 values.
- shrinkP5(Shrink<A>, Shrink<B>, 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<B>, 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<B>, 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<B>, 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.
- someOf(List<A>) - Static method in class fj.test.Gen
-
- 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.
- 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).