Module io.github.cowwoc.requirements13.java

module io.github.cowwoc.requirements13.java

Classes used to verify preconditions, postconditions and invariants of core Java types.

Packages

Exports

Package	Description
io.github.cowwoc.requirements13.java
io.github.cowwoc.requirements13.java.validator
io.github.cowwoc.requirements13.java.validator.component

Indirect Exports

From

Packages

io.github.cowwoc.requirements13.annotation

io.github.cowwoc.requirements13.annotation

Modules

Requires

Modifier

Module

Description

transitive

io.github.cowwoc.requirements13.annotation

Annotations used by the library.