Package net.jqwik.engine.execution

Class ShrinkableResolvedParameter

java.lang.Object
net.jqwik.engine.execution.ShrinkableResolvedParameter
All Implemented Interfaces:
Comparable<net.jqwik.api.Shrinkable<Object>>, net.jqwik.api.Shrinkable<Object>
public class ShrinkableResolvedParameter extends Object implements net.jqwik.api.Shrinkable<Object>

  • Nested Class Summary

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

    net.jqwik.api.Shrinkable.ShrinkableFacade

  • Constructor Summary

    Constructors
    Constructor
    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
    Description
    net.jqwik.api.ShrinkingDistance
    distance()
     
    Stream<net.jqwik.api.Shrinkable<Object>>
    shrink()
     
    String
    toString()
     
    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, grow, grow, makeUnshrinkable, map

  • Constructor Details

    • ShrinkableResolvedParameter

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

  • Method Details

    • value

      public Object value()
      Specified by:
      value in interface net.jqwik.api.Shrinkable<Object>

    • shrink

      public Stream<net.jqwik.api.Shrinkable<Object>> shrink()
      Specified by:
      shrink in interface net.jqwik.api.Shrinkable<Object>

    • distance

      public net.jqwik.api.ShrinkingDistance distance()
      Specified by:
      distance in interface net.jqwik.api.Shrinkable<Object>

    • toString

      public String toString()
      Overrides:
      toString in class Object