|
Copyright 2008 - 2009 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.
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 - 2009 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 |