Top Description Interfaces Classes
module io.vavr.test

Package io.vavr.test

A property check framework built around io.vavr.test.Property which integrates well with unit test frameworks like junit.

Interface Summary

Modifier and TypeInterface and Description
public interface
Arbitrary<
The type of the arbitrary object.
T>

Represents an arbitrary object of type T.

public interface
Checkable

Interface for checkable properties, allowing composition via and(Checkable) and or(Checkable).

public interface
CheckResult

Represents the result of a property check which is

  • Satisfied, if all tests satisfied the given property
  • Falsified, if a counter-example could be discovered that falsified the given property
  • Erroneous, if an exception occurred executing the property check
public interface
Gen<
type of generated objects
T>

Generators are the building blocks for providing arbitrary objects.

pack-priv interface
GenModule

Class Summary

Modifier and TypeClass and Description
public class
Property

A property builder which provides a fluent API to build checkable properties.