nl.vpro.test.jqwik

Interface ComparableTest<E extends Comparable<E>>

All Superinterfaces:

BasicObjectTest<E>

public interface ComparableTest<E extends Comparable<E>>
extends BasicObjectTest<E>

Since:

2.22

Author:

Michiel Meeuwissen

Field Summary

Fields inherited from interface nl.vpro.test.jqwik.BasicObjectTest

DATAPOINTS, EQUAL_DATAPOINTS

Method Summary

Modifier and Type	Method and Description
default void	compareToNull(E x)
default void	equalsConsistentWithComparable(E x, E y)

Methods inherited from interface nl.vpro.test.jqwik.BasicObjectTest

datapoints, equalDatapoints, equalsIsConsistent, equalsIsReflexive, equalsIsSymmetric, equalsIsTransitive, equalsReturnFalseOnNull, hashCodeIsConsistentWithEquals, hashCodeIsSelfConsistent, toString

Method Detail

equalsConsistentWithComparable

@Property
default void equalsConsistentWithComparable(@ForAll(value="datapoints")
                                                      E x,
                                                      @ForAll(value="datapoints")
                                                      E y)

compareToNull

@Property
default void compareToNull(@ForAll(value="datapoints")
                                     E x)