net.jqwik.engine.execution

Class ShrinkableResolvedParameter

java.lang.Object

net.jqwik.engine.execution.ShrinkableResolvedParameter

All Implemented Interfaces:

java.lang.Comparable<net.jqwik.api.Shrinkable<java.lang.Object>>, net.jqwik.api.Shrinkable<java.lang.Object>

public class ShrinkableResolvedParameter
extends java.lang.Object
implements net.jqwik.api.Shrinkable<java.lang.Object>

Nested Class Summary

Nested classes/interfaces inherited from interface net.jqwik.api.Shrinkable

net.jqwik.api.Shrinkable.ShrinkableFacade

Constructor Summary

Constructors

Constructor and Description
ShrinkableResolvedParameter(net.jqwik.api.lifecycle.ResolveParameterHook.ParameterSupplier supplier, net.jqwik.api.lifecycle.ParameterResolutionContext context, net.jqwik.api.lifecycle.TryLifecycleContext tryLifecycleContext)

Method Summary

Modifier and Type	Method and Description
net.jqwik.api.ShrinkingDistance	distance()
net.jqwik.api.ShrinkingSequence<java.lang.Object>	shrink(net.jqwik.api.Falsifier<java.lang.Object> falsifier)
java.lang.String	toString()
java.lang.Object	value()

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.jqwik.api.Shrinkable

asGeneric, compareTo, filter, flatMap, isSmallerThan, map, shrinkingSuggestions, unshrinkable, unshrinkable

Constructor Detail

ShrinkableResolvedParameter

public ShrinkableResolvedParameter(net.jqwik.api.lifecycle.ResolveParameterHook.ParameterSupplier supplier,
                                   net.jqwik.api.lifecycle.ParameterResolutionContext context,
                                   net.jqwik.api.lifecycle.TryLifecycleContext tryLifecycleContext)

Method Detail

value

public java.lang.Object value()

Specified by:

value in interface net.jqwik.api.Shrinkable<java.lang.Object>

shrink

public net.jqwik.api.ShrinkingSequence<java.lang.Object> shrink(net.jqwik.api.Falsifier<java.lang.Object> falsifier)

Specified by:

shrink in interface net.jqwik.api.Shrinkable<java.lang.Object>

distance

public net.jqwik.api.ShrinkingDistance distance()

Specified by:

distance in interface net.jqwik.api.Shrinkable<java.lang.Object>

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object