javaslang.test

Class Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8>

java.lang.Object

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

Type Parameters:

T1 - 1st variable type of this for all quantor

T2 - 2nd variable type of this for all quantor

T3 - 3rd variable type of this for all quantor

T4 - 4th variable type of this for all quantor

T5 - 5th variable type of this for all quantor

T6 - 6th variable type of this for all quantor

T7 - 7th variable type of this for all quantor

T8 - 8th variable type of this for all quantor

Enclosing class:

Property

public static class Property.ForAll8<T1,T2,T3,T4,T5,T6,T7,T8>
extends Object

Represents a logical for all quantor.

Since:

1.2.0

Author:

Daniel Dietrich

Method Summary

Modifier and Type	Method and Description
Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8>	suchThat(CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,Boolean> predicate) Returns a checkable property that checks values of the 8 variables of this ForAll quantor.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

suchThat

public Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8> suchThat(CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,Boolean> predicate)

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

Parameters:

predicate - A 8-ary predicate

Returns:

a new Property8 of 8 variables.