Package io.vavr.test
Class CheckResult.Satisfied
java.lang.Object
io.vavr.test.CheckResult.Satisfied
- All Implemented Interfaces:
CheckResult
,Serializable
- Enclosing interface:
CheckResult
Represents a satisfied property check.
- See Also:
-
Nested Class Summary
Nested classes/interfaces inherited from interface io.vavr.test.CheckResult
CheckResult.Erroneous, CheckResult.Falsified, CheckResult.Satisfied
-
Field Summary
FieldsModifier and TypeFieldDescriptionprivate final int
private final boolean
private final String
private static final long
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionint
count()
The number of checks performed using random generated input data.boolean
error()
An optional error.int
hashCode()
boolean
If this check result is erroneous as specified above.boolean
If this check result is exhausted as specified above.boolean
If this check result is falsified as specified above.boolean
If this check result is satisfied as specified above.The name of the checked property this result refers to.sample()
An optional sample which falsified the property or which lead to an error.toString()
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
Methods inherited from interface io.vavr.test.CheckResult
assertIsErroneous, assertIsFalsified, assertIsSatisfied, assertIsSatisfiedWithExhaustion
-
Field Details
-
serialVersionUID
private static final long serialVersionUID- See Also:
-
propertyName
-
count
private final int count -
exhausted
private final boolean exhausted
-
-
Constructor Details
-
Satisfied
Satisfied(String propertyName, int count, boolean exhausted)
-
-
Method Details
-
isSatisfied
public boolean isSatisfied()Description copied from interface:CheckResult
If this check result is satisfied as specified above.- Specified by:
isSatisfied
in interfaceCheckResult
- Returns:
- true, if this check result is satisfied, false otherwise
-
isFalsified
public boolean isFalsified()Description copied from interface:CheckResult
If this check result is falsified as specified above.- Specified by:
isFalsified
in interfaceCheckResult
- Returns:
- true, if this check result is falsified, false otherwise
-
isErroneous
public boolean isErroneous()Description copied from interface:CheckResult
If this check result is erroneous as specified above.- Specified by:
isErroneous
in interfaceCheckResult
- Returns:
- true, if this check result is erroneous, false otherwise
-
isExhausted
public boolean isExhausted()Description copied from interface:CheckResult
If this check result is exhausted as specified above.- Specified by:
isExhausted
in interfaceCheckResult
- Returns:
- true, if this check result is exhausted, false otherwise
-
propertyName
Description copied from interface:CheckResult
The name of the checked property this result refers to.- Specified by:
propertyName
in interfaceCheckResult
- Returns:
- a property name
-
count
public int count()Description copied from interface:CheckResult
The number of checks performed using random generated input data.- Specified by:
count
in interfaceCheckResult
- Returns:
- the number of checks performed
-
sample
Description copied from interface:CheckResult
An optional sample which falsified the property or which lead to an error.- Specified by:
sample
in interfaceCheckResult
- Returns:
- an optional sample
-
error
Description copied from interface:CheckResult
An optional error.- Specified by:
error
in interfaceCheckResult
- Returns:
- an optional error
-
equals
-
hashCode
public int hashCode() -
toString
-