Package net.jqwik.api

Class ShrinkingDistance

  • All Implemented Interfaces:
    java.lang.Comparable<ShrinkingDistance>

    @API(status=STABLE,
         since="1.0")
    public class ShrinkingDistance
    extends java.lang.Object
    implements java.lang.Comparable<ShrinkingDistance>
    • Field Detail

      • MAX

        @API(status=MAINTAINED,
             since="1.2.0")
        public static final ShrinkingDistance MAX
    • Method Detail

      • of

        @API(status=MAINTAINED,
             since="1.0")
        public static ShrinkingDistance of​(long... distances)
      • forCollection

        @API(status=MAINTAINED,
             since="1.0")
        public static <T> ShrinkingDistance forCollection​(java.util.Collection<Shrinkable<T>> elements)
      • combine

        @API(status=MAINTAINED,
             since="1.0")
        public static <T> ShrinkingDistance combine​(java.util.List<Shrinkable<T>> shrinkables)
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • dimensions

        @API(status=INTERNAL)
        public java.util.List<ShrinkingDistance> dimensions()
      • size

        @API(status=INTERNAL)
        public int size()