Package net.jqwik.engine.properties.shrinking

Class ShrinkableBigInteger

  • All Implemented Interfaces:
    java.lang.Comparable<net.jqwik.api.Shrinkable<java.math.BigInteger>>, net.jqwik.api.Shrinkable<java.math.BigInteger>
    public class ShrinkableBigInteger
extends AbstractValueShrinkable<java.math.BigInteger>

    • Nested Class Summary

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

        net.jqwik.api.Shrinkable.ShrinkableFacade

    • Constructor Summary

      Constructors 
      Constructor Description
      ShrinkableBigInteger​(java.math.BigInteger value, Range<java.math.BigInteger> range, java.math.BigInteger shrinkingTarget)  

    • 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.math.BigInteger>> grow()  
      java.util.Optional<net.jqwik.api.Shrinkable<java.math.BigInteger>> grow​(net.jqwik.api.Shrinkable<?> before, net.jqwik.api.Shrinkable<?> after)  
      java.util.stream.Stream<net.jqwik.api.Shrinkable<java.math.BigInteger>> shrink()  

      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, wait, wait, wait

      • Methods inherited from interface net.jqwik.api.Shrinkable

        asGeneric, compareTo, filter, flatMap, makeUnshrinkable, map, shrink

    • Constructor Detail

      • ShrinkableBigInteger

        public ShrinkableBigInteger​(java.math.BigInteger value,
                            Range<java.math.BigInteger> range,
                            java.math.BigInteger shrinkingTarget)

    • Method Detail

      • shrink

        public java.util.stream.Stream<net.jqwik.api.Shrinkable<java.math.BigInteger>> shrink()

      • grow

        public java.util.Optional<net.jqwik.api.Shrinkable<java.math.BigInteger>> grow​(net.jqwik.api.Shrinkable<?> before,
                                                                               net.jqwik.api.Shrinkable<?> after)

      • grow

        public java.util.stream.Stream<net.jqwik.api.Shrinkable<java.math.BigInteger>> grow()

      • distance

        public net.jqwik.api.ShrinkingDistance distance()