Package net.jqwik.engine.execution

Class 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 Description
      ShrinkableResolvedParameter​(net.jqwik.api.lifecycle.ResolveParameterHook.ParameterSupplier supplier, net.jqwik.api.lifecycle.ParameterResolutionContext context, net.jqwik.api.lifecycle.TryLifecycleContext tryLifecycleContext)  

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      net.jqwik.api.ShrinkingDistance distance()  
      java.util.stream.Stream<net.jqwik.api.Shrinkable<java.lang.Object>> shrink()  
      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, grow, grow, makeUnshrinkable, map, shrink

    • 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 java.util.stream.Stream<net.jqwik.api.Shrinkable<java.lang.Object>> shrink()
        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