java.lang.Object
- io.vavr.test.Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8>

All Implemented Interfaces:: Checkable

Enclosing class:: Property

public static class Property.Property8<T1,T2,T3,T4,T5,T6,T7,T8>
extends java.lang.Object
implements Checkable

Represents a 8-ary checkable property.

Field Summary

Fields
Modifier and Type	Field	Description
`private Arbitrary<T1>`	`a1`
`private Arbitrary<T2>`	`a2`
`private Arbitrary<T3>`	`a3`
`private Arbitrary<T4>`	`a4`
`private Arbitrary<T5>`	`a5`
`private Arbitrary<T6>`	`a6`
`private Arbitrary<T7>`	`a7`
`private Arbitrary<T8>`	`a8`
`private java.lang.String`	`name`
`private CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,Property.Condition>`	`predicate`

Fields inherited from interface io.vavr.test.Checkable
DEFAULT_SIZE, DEFAULT_TRIES, RNG

Constructor Summary

Constructors
Constructor	Description
`Property8(java.lang.String name, Arbitrary<T1> a1, Arbitrary<T2> a2, Arbitrary<T3> a3, Arbitrary<T4> a4, Arbitrary<T5> a5, Arbitrary<T6> a6, Arbitrary<T7> a7, Arbitrary<T8> a8, CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,Property.Condition> predicate)`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`CheckResult`	`check(java.util.Random random, int size, int tries)`	Checks this property.
`Checkable`	`implies(CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,java.lang.Boolean> postcondition)`	Returns an implication which composes this Property as pre-condition and a given post-condition.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface io.vavr.test.Checkable
and, check, check, or

Field Detail

name
```
private final java.lang.String name
```

a1
```
private final Arbitrary<T1> a1
```

a2
```
private final Arbitrary<T2> a2
```

a3
```
private final Arbitrary<T3> a3
```

a4
```
private final Arbitrary<T4> a4
```

a5
```
private final Arbitrary<T5> a5
```

a6
```
private final Arbitrary<T6> a6
```

a7
```
private final Arbitrary<T7> a7
```

a8
```
private final Arbitrary<T8> a8
```

predicate

private final CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,Property.Condition> predicate

Constructor Detail

Property8

Property8(java.lang.String name,
          Arbitrary<T1> a1,
          Arbitrary<T2> a2,
          Arbitrary<T3> a3,
          Arbitrary<T4> a4,
          Arbitrary<T5> a5,
          Arbitrary<T6> a6,
          Arbitrary<T7> a7,
          Arbitrary<T8> a8,
          CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,Property.Condition> predicate)

Method Detail
- implies
```
public Checkable implies(CheckedFunction8<T1,T2,T3,T4,T5,T6,T7,T8,java.lang.Boolean> postcondition)
```
  Returns an implication which composes this Property as pre-condition and a given post-condition.
  
  Parameters:
  
  postcondition - The postcondition of this implication
  
  Returns:
  
  A new Checkable implication
- check
```
public CheckResult check(java.util.Random random,
                         int size,
                         int tries)
```
  Description copied from interface: Checkable
  
  Checks this property.
  
  Specified by:
  
  check in interface Checkable
  
  Parameters:
  
  random - An implementation of Random.
  
  size - A (not necessarily positive) size hint.
  
  tries - A non-negative number of tries to falsify the given property.
  
  Returns:
  
  A CheckResult

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

Field Summary

Fields inherited from interface io.vavr.test.Checkable

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Methods inherited from interface io.vavr.test.Checkable

Field Detail

name

a1

a2

a3

a4

a5

a6

a7

a8

predicate

Constructor Detail

Property8

Method Detail

implies

check

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