| Modifier and Type | Class and Description |
|---|---|
static class |
CheckResult.Erroneous
Represents an erroneous property check.
|
static class |
CheckResult.Falsified
Represents a falsified property check.
|
static class |
CheckResult.Satisfied
Represents a satisfied property check.
|
| Modifier and Type | Method and Description |
|---|---|
default CheckResult |
Checkable.check()
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. |
default CheckResult |
Checkable.check(int size,
int tries)
Checks this property using the default random number generator
Checkable.RNG. |
CheckResult |
Property.Property1.check(Random random,
int size,
int tries) |
CheckResult |
Property.Property2.check(Random random,
int size,
int tries) |
CheckResult |
Property.Property3.check(Random random,
int size,
int tries) |
CheckResult |
Property.Property4.check(Random random,
int size,
int tries) |
CheckResult |
Property.Property5.check(Random random,
int size,
int tries) |
CheckResult |
Property.Property6.check(Random random,
int size,
int tries) |
CheckResult |
Property.Property7.check(Random random,
int size,
int tries) |
CheckResult |
Property.Property8.check(Random random,
int size,
int tries) |
CheckResult |
Checkable.check(Random randomNumberGenerator,
int size,
int tries)
Checks this property.
|
Copyright © 2021. All Rights Reserved.