Package io.vavr.test
Class CheckResult.Falsified
- java.lang.Object
-
- io.vavr.test.CheckResult.Falsified
-
- All Implemented Interfaces:
CheckResult
,java.io.Serializable
- Enclosing interface:
- CheckResult
public static class CheckResult.Falsified extends java.lang.Object implements CheckResult, java.io.Serializable
Represents a falsified property check.- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface io.vavr.test.CheckResult
CheckResult.Erroneous, CheckResult.Falsified, CheckResult.Satisfied
-
-
Field Summary
Fields Modifier and Type Field Description private int
count
private java.lang.String
propertyName
private Tuple
sample
private static long
serialVersionUID
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description int
count()
The number of checks performed using random generated input data.boolean
equals(java.lang.Object o)
Option<java.lang.Error>
error()
An optional error.int
hashCode()
boolean
isErroneous()
If this check result is erroneous as specified above.boolean
isExhausted()
If this check result is exhausted as specified above.boolean
isFalsified()
If this check result is falsified as specified above.boolean
isSatisfied()
If this check result is satisfied as specified above.java.lang.String
propertyName()
The name of the checked property this result refers to.Option<Tuple>
sample()
An optional sample which falsified the property or which lead to an error.java.lang.String
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 Detail
-
serialVersionUID
private static final long serialVersionUID
- See Also:
- Constant Field Values
-
propertyName
private final java.lang.String propertyName
-
count
private final int count
-
sample
private final Tuple sample
-
-
Constructor Detail
-
Falsified
Falsified(java.lang.String propertyName, int count, Tuple sample)
-
-
Method Detail
-
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
public java.lang.String 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
public Option<Tuple> 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
public Option<java.lang.Error> error()
Description copied from interface:CheckResult
An optional error.- Specified by:
error
in interfaceCheckResult
- Returns:
- an optional error
-
equals
public boolean equals(java.lang.Object o)
- Overrides:
equals
in classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCode
in classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-