Package net.jqwik.api
Class ShrinkingDistance
- java.lang.Object
-
- net.jqwik.api.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 Summary
Fields Modifier and Type Field Description static ShrinkingDistanceMAX
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description ShrinkingDistanceappend(ShrinkingDistance other)static <T> ShrinkingDistancecombine(java.util.List<Shrinkable<T>> shrinkables)intcompareTo(ShrinkingDistance other)java.util.List<ShrinkingDistance>dimensions()booleanequals(java.lang.Object o)static <T> ShrinkingDistanceforCollection(java.util.Collection<Shrinkable<T>> elements)inthashCode()static ShrinkingDistanceof(long... distances)ShrinkingDistanceplus(ShrinkingDistance other)intsize()java.lang.StringtoString()
-
-
-
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:
equalsin classjava.lang.Object
-
hashCode
public int hashCode()
- Overrides:
hashCodein classjava.lang.Object
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
compareTo
public int compareTo(ShrinkingDistance other)
- Specified by:
compareToin interfacejava.lang.Comparable<ShrinkingDistance>
-
dimensions
@API(status=INTERNAL) public java.util.List<ShrinkingDistance> dimensions()
-
size
@API(status=INTERNAL) public int size()
-
plus
@API(status=INTERNAL) public ShrinkingDistance plus(ShrinkingDistance other)
-
append
@API(status=INTERNAL) public ShrinkingDistance append(ShrinkingDistance other)
-
-