|
Copyright 2008 - 2010 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
Object.equals(Object) method to test for
equality.
Object.hashCode().
Object.toString() to perform the display rendering.
(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%).
(max, min,
max - 1, min + 1) with a frequency of 1% each then generates from Arbitrary.arbCharacter
the remainder of the time (96%).
(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%).
(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%).
(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%).
A).(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%).
(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%).
Object.toString() for the argument value).
Array type.
Array type.
Array type.
Array type.
asString.
BigDecimal.
BigDecimal type.
BigDecimal type.
BigDecimal type.
BigInteger.
BigInteger type.
BigInteger type.
BigInteger type.
Bool from the given value.
boolean.
boolean type.
boolean type.
boolean type.
boolean type.
byte.
byte type.
byte type.
byte type.
byte type.
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.char.
char type.
char type.
char type.
char type.
standard random generator and the given
arguments to produce a result.
standard random generator, 100 minimum
successful checks, 500 maximum discarded tests and the given arguments to produce a result.
standard random generator, 100 minimum
successful checks, 500 maximum discarded tests, minimum size of 0, maximum size of 100.
standard random generator.
standard random generator.
standard random generator.
standard random generator.
Property property with typical defaults.Class that provides additional methods.Class type.
Coarbitrary.coarbitrary(Object, Gen).
Comparable interface.
String.contains(CharSequence).
double.
double type.
double type.
double type.
double type.
Either type represents a value of one of two possible types (a disjoint union).Either type.
Either type.
Either type.
Either type.
getMessage for a throwable.
true if the two given arguments are equal, false otherwise.
true if the given arguments are equal, false otherwise.
Equal for this order.
toString for a throwable.
true if the predicate holds for at least one of the elements of this
array, false otherwise (false for the empty array).
false if no value or returns the result of the application of the given
function to the value.
false if no value or returns the result of the application of the given
function to the value.
true if the predicate holds for at least one of the elements of this list,
false otherwise (false for the empty list).
true is this optional value has a value and the given predicate function
holds on that value, false otherwise.
true if the predicate holds for at least one of the elements of this
stream, false otherwise (false for the empty stream).
false if this is a failure or returns the result of the application of the given
function to the success value.
false if this is a success or returns the result of the application of the given
function to the failing value.
A to B.A to B.
A and B to C.
A, B and C to D.
A, B, C and D to E.
A, B, C, D and E to
F$.
A, B, C, D, E and
F$ to G.
A, B, C, D, E,
F$ and G to H.
A, B, C, D, E,
F$, G and H to I.
A and B to C.A, B and C to
D.A, B, C and
D to E.A, B, C,
D and E to F$.A, B, C,
D, E and F$ to G.A, B, C,
D, E, F$ and G to H.A, B, C,
D, E, F$, G and H to
I.true if this result is falsified or an exception; otherwise,
false.
true
when the given function is applied to them.
true
when the given function is applied to them.
None if this projection has no value or if the given predicate
p does not hold for the value, otherwise, returns a right in Some.
None if this projection has no value or if the given predicate
p does not hold for the value, otherwise, returns a left in Some.
true when
the given function is applied to them.
true when the given function is applied to them.
true
when the given function is applied to them.
true
when the given function is applied to them.
None if this is a success or if the given predicate p does not hold for the
failing value, otherwise, returns a fail in Some.
None if this is a failure or if the given predicate p does not hold for the
success value, otherwise, returns a success in Some.
fj.test package that uses annotations for configuring properties to
check.float.
float type.
float type.
float type.
float type.
true if the predicate holds for all of the elements of this array,
false otherwise (true for the empty array).
true if no value or returns the result of the application of the given
function to the value.
true if no value or returns the result of the application of the given
function to the value.
true if the predicate holds for all of the elements of this list,
false otherwise (true for the empty list).
true if this optional value has no value, or the predicate holds for the
given predicate function, false otherwise.
true if the predicate holds for all of the elements of this stream,
false otherwise (true for the empty stream).
true if this is a success or returns the result of the application of the given
function to the failing value.
true if this is a failure or returns the result of the application of the given
function to the success value.
1.
fromString.
A).HashMap.get(Object).
Object.equals(java.lang.Object) and Object.hashCode().
int.
int type.
int type.
int type.
int type.
true if this value is true, false otherwise.
true is this array is empty, false otherwise.
true is this array is empty, false otherwise.
true if this list is empty, false otherwise.
true if this stream is empty, false otherwise.
String.isEmpty().
true if this result is an exception; otherwise, false.
true if this result is exhausted, false otherwise.
true if this is a failure, false otherwise.
true if this result is falsified, false otherwise.
true if this result is falsified; otherwise, false.
true if this result is an exception during generating of values for
property checking, false otherwise.
true if the first given argument is greater than the second given
argument, false otherwise.
true if this either is a left, false otherwise.
true if the first given argument is less than the second given argument,
false otherwise.
false if this optional value has a value, true otherwise.
true if this result is no result; otherwise, false.
false if this value is true, true otherwise.
false is this array is empty, true otherwise.
false is this array is empty, true otherwise.
false if this list is empty, true otherwise.
false if this stream is empty, true otherwise.
true if this result is passed, false otherwise.
true if this result is an exception during property execution,
false otherwise.
true if this result is proven, false otherwise.
true if this result is proven; otherwise, false.
true if this either is a right, false otherwise.
true if this optional value has a value, false otherwise.
true if this is a success, false otherwise.
true if this result is unfalsified; otherwise, false.
Gen.bind(F) operation.
String.length().
List type.
List type.
List type.
Stream type.
long.
long type.
long type.
long type.
long type.
List.lookup(Equal, List, Object).
String.matches(String).
standard random generator, 100 minimum
successful checks, the given maximum discarded tests, minimum size of 0, maximum size of 100.
standard random generator, 100 minimum
successful checks, 500 maximum discarded tests, minimum size of 0, the given maximum size.
standard random generator, 100 minimum
successful checks, 500 maximum discarded tests, the given minimum size, maximum size of 100.
standard random generator, the given minimum
successful checks, 500 maximum discarded tests, minimum size of 0, maximum size of 100.
Natural
long type.
head and tail.NonEmptyList type.
NonEmptyList type.
NonEmptyList type.
NonEmptyList type.
null value and if so, does
not apply the value, instead returning an empty optional value.
null value in the given list of optional values.
null value found in the list of visitors after application of the given value,
otherwise returns the given default.
Option type.
Option type.
Option type.
Option type.
Ordering.
Ordering type.
tuple-1 type.
tuple-2 type.
tuple-3 type.
tuple-4 type.
tuple-5 type.
tuple-6 type.
tuple-7 type.
tuple-8 type.
Stream<Character> input.Stream input.true if this result is unfalsified or proven; otherwise,
false.
checked for its truth value.this.
from value (inclusive) to the given
to value (exclusive).
from value (inclusive) to the given
to value (exclusive).
from value (inclusive) to the given
to value (exclusive).
1.
from value (inclusive).
Either to its contained value within left or right.
false when
the given function is applied to them.
false when
the given function is applied to them.
Parser.bind(fj.F>) .
Gen.bind(F) operation.
Gen.bind(F) operation.
Set type.
short.
short type.
short type.
short type.
short type.
String.
Random.
Stream type.
Stream type.
Stream type.
Stream type.
StringBuffer type.
StringBuffer type.
StringBuffer type.
StringBuffer type.
StringBuilder type.
StringBuilder type.
StringBuffer type.
StringBuilder type.
String type.
String type.
String type.
String type.
P2.swap().
n elements from the head of this stream.
Left if empty,
or the first element in Right.
Left if empty,
or the first element in Right.
Left if empty, or
the first element in Right.
Left if
no value, or the value in Right.
Left if
no value, or the value in Right.
Left if empty,
or the first element in Right.
List projection of this list.
null.
None if empty, or the first element
in Some.
None if empty, or the first element in
Some.
Some if it exists, otherwise
None.
Some if it exists, otherwise
None.
None if empty, or the first element in
Some.
None if empty, or the first element
in Some.
Some if there is one, otherwise None.
Some if there is one, otherwise None.
Tree type.
Tree type.
Tree type.
Unit type.
Either but has renamed functions and represents failure on the left and success on the right.Validation type.
Validation type.
Validation type.
Validation type.
Variant.variant(long, Gen).
|
Copyright 2008 - 2010 Tony Morris, Runar Bjarnason, Tom Adams, Brad Clow, Ricky Clarkson, Nick Partridge, Jason Zaugg This software is released under an open source BSD licence. |
||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||