Checkable (Javaslang Test 2.0.2 API)

All Known Implementing Classes:

Property.Property1, Property.Property2, Property.Property3, Property.Property4, Property.Property5, Property.Property6, Property.Property7, Property.Property8

Functional Interface:

This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
```
@FunctionalInterface
public interface Checkable
```
Interface for checkable properties, allowing composition via and(Checkable) and or(Checkable).

Since:

1.2.0

Author:

Daniel Dietrich

Field Summary

Fields
Modifier and Type	Field and Description
`static int`	`DEFAULT_SIZE` Default size hint for generators: 100
`static int`	`DEFAULT_TRIES` Default tries to check a property: 1000
`static Supplier<Random>`	`RNG` A thread-safe, equally distributed random number generator.

Method Summary

All Methods Instance Methods Abstract Methods Default Methods
Modifier and Type	Method and Description
`default Checkable`	`and(Checkable checkable)` Returns a new Checkable which is satisfied if this Checkable and the given checkable are satisfied.
`default CheckResult`	`check()` Checks this property using the default random number generator `RNG` by calling `check(int, int)`, where size is `DEFAULT_SIZE` and tries is `DEFAULT_TRIES`.
`default CheckResult`	`check(int size, int tries)` Checks this property using the default random number generator `RNG`.
`CheckResult`	`check(Random randomNumberGenerator, int size, int tries)` Checks this property.
`default Checkable`	`or(Checkable checkable)` Returns a new Checkable which is satisfied if this Checkable or the given checkable are satisfied.

- Field Detail
  - RNG
```
static final Supplier<Random> RNG
```
    A thread-safe, equally distributed random number generator.
  - DEFAULT_SIZE
```
static final int DEFAULT_SIZE
```
    Default size hint for generators: 100
    
    See Also:
    
    Constant Field Values
  - DEFAULT_TRIES
```
static final int DEFAULT_TRIES
```
    Default tries to check a property: 1000
    
    See Also:
    
    Constant Field Values
- Method Detail
  - check
```
CheckResult check(Random randomNumberGenerator,
                  int size,
                  int tries)
```
    Checks this property.
    
    Parameters:
    
    randomNumberGenerator - 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
  - check
```
default CheckResult check(int size,
                          int tries)
```
    Checks this property using the default random number generator RNG.
    
    Parameters:
    
    size - A (not necessarily positive) size hint.
    
    tries - A non-negative number of tries to falsify the given property.
    
    Returns:
    
    A CheckResult
  - check
```
default CheckResult check()
```
    Checks this property using the default random number generator RNG by calling check(int, int), where size is DEFAULT_SIZE and tries is DEFAULT_TRIES.
    
    Returns:
    
    A CheckResult
  - and
```
default Checkable and(Checkable checkable)
```
    Returns a new Checkable which is satisfied if this Checkable and the given checkable are satisfied.
    First this Checkable is checked.
    
    Parameters:
    
    checkable - A Checkable
    
    Returns:
    
    A new Checkable
  - or
```
default Checkable or(Checkable checkable)
```
    Returns a new Checkable which is satisfied if this Checkable or the given checkable are satisfied.
    First this Checkable is checked.
    
    Parameters:
    
    checkable - A Checkable
    
    Returns:
    
    A new Checkable

Interface Checkable

Field Summary

Method Summary

Field Detail

RNG

DEFAULT_SIZE

DEFAULT_TRIES

Method Detail

check

check

check

and

or