A C D E F G H I J L M O P R S T

A

and(Checkable) - Method in interface javaslang.test.Checkable

Returns a new Checkable which is satisfied if this Checkable and the given checkable are satisfied.

apply(int) - Method in interface javaslang.test.Arbitrary

Returns a generator for objects of type T.

apply(Random) - Method in interface javaslang.test.Gen

Functional interface of this generator.

Arbitrary<T> - Interface in javaslang.test

Represents an arbitrary object of type T.

arbitrary() - Method in interface javaslang.test.Gen

Converts this Gen to an Arbitrary

assertIsErroneous() - Method in interface javaslang.test.CheckResult

Asserts that this CheckResult is erroneous.

assertIsFalsified() - Method in interface javaslang.test.CheckResult

Asserts that this CheckResult is falsified.

assertIsSatisfied() - Method in interface javaslang.test.CheckResult

Asserts that this CheckResult is satisfied.

assertIsSatisfiedWithExhaustion(boolean) - Method in interface javaslang.test.CheckResult

Asserts that this CheckResult is satisfied with a given exhausted state.

C

check(Random, int, int) - Method in interface javaslang.test.Checkable

Checks this property.

check(int, int) - Method in interface javaslang.test.Checkable

Checks this property using the default random number generator Checkable.RNG.

check() - Method in interface javaslang.test.Checkable

Checks this property using the default random number generator Checkable.RNG by calling Checkable.check(int, int), where size is Checkable.DEFAULT_SIZE and tries is Checkable.DEFAULT_TRIES.

check(Random, int, int) - Method in class javaslang.test.Property.Property1

check(Random, int, int) - Method in class javaslang.test.Property.Property2

check(Random, int, int) - Method in class javaslang.test.Property.Property3

check(Random, int, int) - Method in class javaslang.test.Property.Property4

check(Random, int, int) - Method in class javaslang.test.Property.Property5

check(Random, int, int) - Method in class javaslang.test.Property.Property6

check(Random, int, int) - Method in class javaslang.test.Property.Property7

check(Random, int, int) - Method in class javaslang.test.Property.Property8

Checkable - Interface in javaslang.test

Interface for checkable properties, allowing composition via Checkable.and(Checkable) and Checkable.or(Checkable).

CheckResult - Interface in javaslang.test

Represents the result of a property check which is Satisfied, if all tests satisfied the given property Falsified, if a counter-example could be discovered that falsified the given property Erroneous, if an exception occurred executing the property check Please note that a Satisfied property check may be Exhausted, if the property is an implication and no sample could be found that satisfied the pre-condition.

CheckResult.Erroneous - Class in javaslang.test

Represents an erroneous property check.

CheckResult.Falsified - Class in javaslang.test

Represents a falsified property check.

CheckResult.Satisfied - Class in javaslang.test

Represents a satisfied property check.

choose(int, int) - Static method in interface javaslang.test.Gen

Chooses an int between min and max, bounds inclusive and numbers distributed according to the distribution of the underlying random number generator.

choose(long, long) - Static method in interface javaslang.test.Gen

Chooses a long between min and max, bounds inclusive and numbers distributed according to the distribution of the underlying random number generator.

choose(double, double) - Static method in interface javaslang.test.Gen

Chooses a double between min and max, bounds inclusive and numbers distributed according to the distribution of the underlying random number generator.

choose(char, char) - Static method in interface javaslang.test.Gen

Chooses a char between min and max, bounds inclusive and chars distributed according to the underlying random number generator.

choose(Class<T>) - Static method in interface javaslang.test.Gen

Chooses an enum value from all the enum constants defined in the enumerated type.

choose(T[]) - Static method in interface javaslang.test.Gen

Chooses a value from all values in the array.

choose(Iterable<T>) - Static method in interface javaslang.test.Gen

Chooses a value from all values in the iterable

count() - Method in interface javaslang.test.CheckResult

The number of checks performed using random generated input data.

count() - Method in class javaslang.test.CheckResult.Erroneous

count() - Method in class javaslang.test.CheckResult.Falsified

count() - Method in class javaslang.test.CheckResult.Satisfied

D

def(String) - Static method in class javaslang.test.Property

Defines a new Property.

DEFAULT_SIZE - Static variable in interface javaslang.test.Checkable

Default size hint for generators: 100

DEFAULT_TRIES - Static variable in interface javaslang.test.Checkable

Default tries to check a property: 1000

E

equals(Object) - Method in class javaslang.test.CheckResult.Erroneous

equals(Object) - Method in class javaslang.test.CheckResult.Falsified

equals(Object) - Method in class javaslang.test.CheckResult.Satisfied

error() - Method in class javaslang.test.CheckResult.Erroneous

error() - Method in interface javaslang.test.CheckResult

An optional error.

error() - Method in class javaslang.test.CheckResult.Falsified

error() - Method in class javaslang.test.CheckResult.Satisfied

F

fail() - Static method in interface javaslang.test.Gen

A failing generator which throws a RuntimeException("failed").

fail(String) - Static method in interface javaslang.test.Gen

A failing generator which throws a RuntimeException.

filter(Predicate<? super T>) - Method in interface javaslang.test.Arbitrary

Returns an Arbitrary based on this Arbitrary which produces values that fulfill the given predicate.

filter(Predicate<? super T>) - Method in interface javaslang.test.Gen

Returns a generator based on this generator which produces values that fulfill the given predicate.

FILTER_THRESHOLD - Static variable in interface javaslang.test.Gen

flatMap(Function<? super T, ? extends Arbitrary<? extends U>>) - Method in interface javaslang.test.Arbitrary

Maps arbitrary objects T to arbitrary object U.

flatMap(Function<? super T, ? extends Gen<? extends U>>) - Method in interface javaslang.test.Gen

Maps generated Ts to Us.

forAll(Arbitrary<T1>) - Method in class javaslang.test.Property

Returns a logical for all quantor of 1 given variables.

forAll(Arbitrary<T1>, Arbitrary<T2>) - Method in class javaslang.test.Property

Returns a logical for all quantor of 2 given variables.

forAll(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>) - Method in class javaslang.test.Property

Returns a logical for all quantor of 3 given variables.

forAll(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>) - Method in class javaslang.test.Property

Returns a logical for all quantor of 4 given variables.

forAll(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>) - Method in class javaslang.test.Property

Returns a logical for all quantor of 5 given variables.

forAll(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>, Arbitrary<T6>) - Method in class javaslang.test.Property

Returns a logical for all quantor of 6 given variables.

forAll(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>, Arbitrary<T6>, Arbitrary<T7>) - Method in class javaslang.test.Property

Returns a logical for all quantor of 7 given variables.

forAll(Arbitrary<T1>, Arbitrary<T2>, Arbitrary<T3>, Arbitrary<T4>, Arbitrary<T5>, Arbitrary<T6>, Arbitrary<T7>, Arbitrary<T8>) - Method in class javaslang.test.Property

Returns a logical for all quantor of 8 given variables.

frequency(Tuple2<Integer, Gen<T>>...) - Static method in interface javaslang.test.Gen

Chooses one of the given generators according to their frequency.

frequency(Iterable<Tuple2<Integer, Gen<T>>>) - Static method in interface javaslang.test.Gen

Chooses one of the given generators according to their frequency.

G

Gen<T> - Interface in javaslang.test

Generators are the building blocks for providing arbitrary objects.

H

hashCode() - Method in class javaslang.test.CheckResult.Erroneous

hashCode() - Method in class javaslang.test.CheckResult.Falsified

hashCode() - Method in class javaslang.test.CheckResult.Satisfied

I

implies(CheckedFunction1<T1, Boolean>) - Method in class javaslang.test.Property.Property1

Returns an implication which composes this Property as pre-condition and a given post-condition.

implies(CheckedFunction2<T1, T2, Boolean>) - Method in class javaslang.test.Property.Property2

Returns an implication which composes this Property as pre-condition and a given post-condition.

implies(CheckedFunction3<T1, T2, T3, Boolean>) - Method in class javaslang.test.Property.Property3

Returns an implication which composes this Property as pre-condition and a given post-condition.

implies(CheckedFunction4<T1, T2, T3, T4, Boolean>) - Method in class javaslang.test.Property.Property4

Returns an implication which composes this Property as pre-condition and a given post-condition.

implies(CheckedFunction5<T1, T2, T3, T4, T5, Boolean>) - Method in class javaslang.test.Property.Property5

Returns an implication which composes this Property as pre-condition and a given post-condition.

implies(CheckedFunction6<T1, T2, T3, T4, T5, T6, Boolean>) - Method in class javaslang.test.Property.Property6

Returns an implication which composes this Property as pre-condition and a given post-condition.

implies(CheckedFunction7<T1, T2, T3, T4, T5, T6, T7, Boolean>) - Method in class javaslang.test.Property.Property7

Returns an implication which composes this Property as pre-condition and a given post-condition.

implies(CheckedFunction8<T1, T2, T3, T4, T5, T6, T7, T8, Boolean>) - Method in class javaslang.test.Property.Property8

Returns an implication which composes this Property as pre-condition and a given post-condition.

integer() - Static method in interface javaslang.test.Arbitrary

Generates arbitrary integer values.

isErroneous() - Method in class javaslang.test.CheckResult.Erroneous

isErroneous() - Method in class javaslang.test.CheckResult.Falsified

isErroneous() - Method in interface javaslang.test.CheckResult

If this check result is erroneous as specified above.

isErroneous() - Method in class javaslang.test.CheckResult.Satisfied

isExhausted() - Method in class javaslang.test.CheckResult.Erroneous

isExhausted() - Method in class javaslang.test.CheckResult.Falsified

isExhausted() - Method in interface javaslang.test.CheckResult

If this check result is exhausted as specified above.

isExhausted() - Method in class javaslang.test.CheckResult.Satisfied

isFalsified() - Method in class javaslang.test.CheckResult.Erroneous

isFalsified() - Method in class javaslang.test.CheckResult.Falsified

isFalsified() - Method in interface javaslang.test.CheckResult

If this check result is falsified as specified above.

isFalsified() - Method in class javaslang.test.CheckResult.Satisfied

isSatisfied() - Method in class javaslang.test.CheckResult.Erroneous

isSatisfied() - Method in class javaslang.test.CheckResult.Falsified

isSatisfied() - Method in interface javaslang.test.CheckResult

If this check result is satisfied as specified above.

isSatisfied() - Method in class javaslang.test.CheckResult.Satisfied

J

javaslang.test - package javaslang.test

A property check framework built around Property which integrates well with unit test frameworks like junit.

L

list(Arbitrary<T>) - Static method in interface javaslang.test.Arbitrary

Generates arbitrary lists based on a given element generator arbitraryT.

M

map(Function<? super T, ? extends U>) - Method in interface javaslang.test.Arbitrary

Maps arbitrary objects T to arbitrary object U.

map(Function<? super T, ? extends U>) - Method in interface javaslang.test.Gen

Maps generated Ts to Us.

O

of(T) - Static method in interface javaslang.test.Gen

A generator which constantly returns t.

of(T, Function<? super T, ? extends T>) - Static method in interface javaslang.test.Gen

oneOf(Gen<T>...) - Static method in interface javaslang.test.Gen

Randomly chooses one of the given generators.

oneOf(Iterable<Gen<T>>) - Static method in interface javaslang.test.Gen

Randomly chooses one of the given generators.

or(Checkable) - Method in interface javaslang.test.Checkable

Returns a new Checkable which is satisfied if this Checkable or the given checkable are satisfied.

P

peek(Consumer<? super T>) - Method in interface javaslang.test.Arbitrary

peek(Consumer<? super T>) - Method in interface javaslang.test.Gen

Property - Class in javaslang.test

A property builder which provides a fluent API to build checkable properties.

Property.ForAll1<T1> - Class in javaslang.test

Represents a logical for all quantor.

Property.ForAll2<T1,T2> - Class in javaslang.test

Represents a logical for all quantor.

Property.ForAll3<T1,T2,T3> - Class in javaslang.test

Represents a logical for all quantor.

Property.ForAll4<T1,T2,T3,T4> - Class in javaslang.test

Represents a logical for all quantor.

Property.ForAll5<T1,T2,T3,T4,T5> - Class in javaslang.test

Represents a logical for all quantor.

Property.ForAll6<T1,T2,T3,T4,T5,T6> - Class in javaslang.test

Represents a logical for all quantor.

Property.ForAll7<T1,T2,T3,T4,T5,T6,T7> - Class in javaslang.test

Represents a logical for all quantor.

Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8> - Class in javaslang.test

Represents a logical for all quantor.

Property.Property1<T1> - Class in javaslang.test

Represents a 1-ary checkable property.

Property.Property2<T1,T2> - Class in javaslang.test

Represents a 2-ary checkable property.

Property.Property3<T1,T2,T3> - Class in javaslang.test

Represents a 3-ary checkable property.

Property.Property4<T1,T2,T3,T4> - Class in javaslang.test

Represents a 4-ary checkable property.

Property.Property5<T1,T2,T3,T4,T5> - Class in javaslang.test

Represents a 5-ary checkable property.

Property.Property6<T1,T2,T3,T4,T5,T6> - Class in javaslang.test

Represents a 6-ary checkable property.

Property.Property7<T1,T2,T3,T4,T5,T6,T7> - Class in javaslang.test

Represents a 7-ary checkable property.

Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8> - Class in javaslang.test

Represents a 8-ary checkable property.

propertyName() - Method in class javaslang.test.CheckResult.Erroneous

propertyName() - Method in class javaslang.test.CheckResult.Falsified

propertyName() - Method in interface javaslang.test.CheckResult

The name of the checked property this result refers to.

propertyName() - Method in class javaslang.test.CheckResult.Satisfied

R

RNG - Static variable in interface javaslang.test.Checkable

A thread-safe, equally distributed random number generator.

S

sample() - Method in class javaslang.test.CheckResult.Erroneous

sample() - Method in class javaslang.test.CheckResult.Falsified

sample() - Method in interface javaslang.test.CheckResult

An optional sample which falsified the property or which lead to an error.

sample() - Method in class javaslang.test.CheckResult.Satisfied

stream(Arbitrary<T>) - Static method in interface javaslang.test.Arbitrary

Generates arbitrary streams based on a given element generator arbitraryT.

string(Gen<Character>) - Static method in interface javaslang.test.Arbitrary

Generates arbitrary strings based on a given alphabet represented by gen.

suchThat(CheckedFunction1<T1, Boolean>) - Method in class javaslang.test.Property.ForAll1

Returns a checkable property that checks values of the 1 variables of this ForAll quantor.

suchThat(CheckedFunction2<T1, T2, Boolean>) - Method in class javaslang.test.Property.ForAll2

Returns a checkable property that checks values of the 2 variables of this ForAll quantor.

suchThat(CheckedFunction3<T1, T2, T3, Boolean>) - Method in class javaslang.test.Property.ForAll3

Returns a checkable property that checks values of the 3 variables of this ForAll quantor.

suchThat(CheckedFunction4<T1, T2, T3, T4, Boolean>) - Method in class javaslang.test.Property.ForAll4

Returns a checkable property that checks values of the 4 variables of this ForAll quantor.

suchThat(CheckedFunction5<T1, T2, T3, T4, T5, Boolean>) - Method in class javaslang.test.Property.ForAll5

Returns a checkable property that checks values of the 5 variables of this ForAll quantor.

suchThat(CheckedFunction6<T1, T2, T3, T4, T5, T6, Boolean>) - Method in class javaslang.test.Property.ForAll6

Returns a checkable property that checks values of the 6 variables of this ForAll quantor.

suchThat(CheckedFunction7<T1, T2, T3, T4, T5, T6, T7, Boolean>) - Method in class javaslang.test.Property.ForAll7

Returns a checkable property that checks values of the 7 variables of this ForAll quantor.

suchThat(CheckedFunction8<T1, T2, T3, T4, T5, T6, T7, T8, Boolean>) - Method in class javaslang.test.Property.ForAll8

Returns a checkable property that checks values of the 8 variables of this ForAll quantor.

T

toString() - Method in class javaslang.test.CheckResult.Erroneous

toString() - Method in class javaslang.test.CheckResult.Falsified

toString() - Method in class javaslang.test.CheckResult.Satisfied

transform(Function<? super Arbitrary<T>, ? extends U>) - Method in interface javaslang.test.Arbitrary

Transforms this Arbitrary.

transform(Function<? super Gen<T>, ? extends U>) - Method in interface javaslang.test.Gen

Transforms this Gen.

A C D E F G H I J L M O P R S T