@Deprecated @API(status=DEPRECATED, since="1.3.3") public class FalsificationResult<T> extends java.lang.Object implements java.lang.Comparable<FalsificationResult<T>>
Modifier and Type | Class and Description |
---|---|
static class |
FalsificationResult.Status
Deprecated.
|
Modifier and Type | Method and Description |
---|---|
int |
compareTo(FalsificationResult<T> other)
Deprecated.
|
ShrinkingDistance |
distance()
Deprecated.
|
static <T> FalsificationResult<T> |
falsified(Shrinkable<T> shrinkable)
Deprecated.
|
static <T> FalsificationResult<T> |
falsified(Shrinkable<T> shrinkable,
java.lang.Throwable throwable)
Deprecated.
|
FalsificationResult<T> |
filter(java.util.function.Predicate<T> filter)
Deprecated.
|
static <T> FalsificationResult<T> |
filtered(Shrinkable<T> shrinkable)
Deprecated.
|
<U> FalsificationResult<U> |
map(java.util.function.Function<Shrinkable<T>,Shrinkable<U>> mapper)
Deprecated.
|
static <T> FalsificationResult<T> |
notFalsified(Shrinkable<T> shrinkable)
Deprecated.
|
Shrinkable<T> |
shrinkable()
Deprecated.
|
FalsificationResult.Status |
status()
Deprecated.
|
java.util.Optional<java.lang.Throwable> |
throwable()
Deprecated.
|
java.lang.String |
toString()
Deprecated.
|
T |
value()
Deprecated.
|
public static <T> FalsificationResult<T> falsified(Shrinkable<T> shrinkable)
public static <T> FalsificationResult<T> falsified(Shrinkable<T> shrinkable, java.lang.Throwable throwable)
public static <T> FalsificationResult<T> notFalsified(Shrinkable<T> shrinkable)
public static <T> FalsificationResult<T> filtered(Shrinkable<T> shrinkable)
public Shrinkable<T> shrinkable()
public T value()
public ShrinkingDistance distance()
public FalsificationResult.Status status()
public java.util.Optional<java.lang.Throwable> throwable()
public int compareTo(FalsificationResult<T> other)
compareTo
in interface java.lang.Comparable<FalsificationResult<T>>
public FalsificationResult<T> filter(java.util.function.Predicate<T> filter)
public <U> FalsificationResult<U> map(java.util.function.Function<Shrinkable<T>,Shrinkable<U>> mapper)
public java.lang.String toString()
toString
in class java.lang.Object