Package net.jqwik.api

Class ShrinkingDistance

java.lang.Object

net.jqwik.api.ShrinkingDistance

All Implemented Interfaces:

Comparable<ShrinkingDistance>

@API(status=STABLE,
     since="1.0")
public class ShrinkingDistance
extends Object
implements Comparable<ShrinkingDistance>

Field Summary

Fields

Modifier and Type	Field	Description
static final ShrinkingDistance	MAX

Method Summary

Modifier and Type	Method	Description
ShrinkingDistance	append(ShrinkingDistance other)
static <T> ShrinkingDistance	combine(List<Shrinkable<T>> shrinkables)
int	compareTo(ShrinkingDistance other)
List<ShrinkingDistance>	dimensions()
boolean	equals(Object o)
static <T> ShrinkingDistance	forCollection(Collection<Shrinkable<T>> elements)
int	hashCode()
static ShrinkingDistance	of(long... distances)
ShrinkingDistance	plus(ShrinkingDistance other)
int	size()
String	toString()

Methods inherited from class java.lang.Object

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

Field Details

MAX

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

Method Details

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(Collection<Shrinkable<T>> elements)

combine

@API(status=MAINTAINED,
     since="1.0")
public static <T> ShrinkingDistance combine(List<Shrinkable<T>> shrinkables)

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object

toString

public String toString()

Overrides:

toString in class Object

compareTo

public int compareTo(ShrinkingDistance other)

Specified by:

compareTo in interface Comparable<ShrinkingDistance>

dimensions

@API(status=INTERNAL)
public 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)