net.jqwik.engine.properties.shrinking

Class PropertyShrinkingResult

java.lang.Object

net.jqwik.engine.properties.shrinking.PropertyShrinkingResult

public class PropertyShrinkingResult
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PropertyShrinkingResult(java.util.List values, int steps, java.lang.Throwable throwable)

Method Summary

Modifier and Type	Method and Description
int	steps()
java.util.Optional<java.lang.Throwable>	throwable()
java.util.List	values()

Methods inherited from class java.lang.Object

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

Constructor Detail

PropertyShrinkingResult

public PropertyShrinkingResult(java.util.List values,
                               int steps,
                               java.lang.Throwable throwable)

Method Detail

values

public java.util.List values()

throwable

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

steps

public int steps()