net.jqwik.api

Class FalsificationResult<T>

java.lang.Object

net.jqwik.api.FalsificationResult<T>

All Implemented Interfaces:

java.lang.Comparable<FalsificationResult<T>>

@API(status=MAINTAINED,
     since="1.0")
public class FalsificationResult<T>
extends java.lang.Object
implements java.lang.Comparable<FalsificationResult<T>>

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	FalsificationResult.Status

Method Summary

Modifier and Type	Method and Description
int	compareTo(FalsificationResult<T> other)
ShrinkingDistance	distance()
static <T> FalsificationResult<T>	falsified(Shrinkable<T> shrinkable)
static <T> FalsificationResult<T>	falsified(Shrinkable<T> shrinkable, java.lang.Throwable throwable)
FalsificationResult<T>	filter(java.util.function.Predicate<T> filter)
static <T> FalsificationResult<T>	filtered(Shrinkable<T> shrinkable)
<U> FalsificationResult<U>	map(java.util.function.Function<Shrinkable<T>,Shrinkable<U>> mapper)
static <T> FalsificationResult<T>	notFalsified(Shrinkable<T> shrinkable)
Shrinkable<T>	shrinkable()
FalsificationResult.Status	status()
java.util.Optional<java.lang.Throwable>	throwable()
java.lang.String	toString()
T	value()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Method Detail

falsified

public static <T> FalsificationResult<T> falsified(Shrinkable<T> shrinkable)

falsified

public static <T> FalsificationResult<T> falsified(Shrinkable<T> shrinkable,
                                                   java.lang.Throwable throwable)

notFalsified

public static <T> FalsificationResult<T> notFalsified(Shrinkable<T> shrinkable)

filtered

public static <T> FalsificationResult<T> filtered(Shrinkable<T> shrinkable)

shrinkable

public Shrinkable<T> shrinkable()

value

public T value()

distance

public ShrinkingDistance distance()

status

public FalsificationResult.Status status()

throwable

public java.util.Optional<java.lang.Throwable> throwable()

compareTo

public int compareTo(FalsificationResult<T> other)

Specified by:

compareTo in interface java.lang.Comparable<FalsificationResult<T>>

filter

public FalsificationResult<T> filter(java.util.function.Predicate<T> filter)

map

public <U> FalsificationResult<U> map(java.util.function.Function<Shrinkable<T>,Shrinkable<U>> mapper)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object