Package net.jqwik.engine.execution

Klasse ShrinkableResolvedParameter

java.lang.Object

net.jqwik.engine.execution.ShrinkableResolvedParameter

Alle implementierten Schnittstellen:

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

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

Verschachtelte Klassen - Übersicht

Von Schnittstelle geerbte verschachtelte Klassen/Schnittstellen net.jqwik.api.Shrinkable

net.jqwik.api.Shrinkable.ShrinkableFacade

Konstruktorübersicht

Konstruktoren

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

Methodenübersicht

Modifizierer und Typ	Methode	Beschreibung
net.jqwik.api.ShrinkingDistance	distance()
Stream<net.jqwik.api.Shrinkable<Object>>	shrink()
String	toString()
Object	value()

Von Klasse geerbte Methoden java.lang.Object

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

Von Schnittstelle geerbte Methoden net.jqwik.api.Shrinkable

asGeneric, compareTo, filter, flatMap, grow, grow, makeUnshrinkable, map

Konstruktordetails

ShrinkableResolvedParameter

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

Methodendetails

value

public Object value()

Angegeben von:

value in Schnittstelle net.jqwik.api.Shrinkable<Object>

shrink

public Stream<net.jqwik.api.Shrinkable<Object>> shrink()

Angegeben von:

shrink in Schnittstelle net.jqwik.api.Shrinkable<Object>

distance

public net.jqwik.api.ShrinkingDistance distance()

Angegeben von:

distance in Schnittstelle net.jqwik.api.Shrinkable<Object>

toString

public String toString()

Setzt außer Kraft:

toString in Klasse Object