Uses of Interface
io.github.torand.javacommons.contract.Requirement

Packages that use Requirement

Package	Description
io.github.torand.javacommons.contract	Provides classes and interfaces for "Design by Contract" style coding.

Uses of Requirement in io.github.torand.javacommons.contract

Methods in io.github.torand.javacommons.contract with parameters of type Requirement

Modifier and Type	Method	Description
static void	Requires.precondition(Requirement requirement, String msg, Object... args)	Checks that the specified requirement is fulfilled.
static void	Requires.require(Requirement requirement, String msg, Object... args)	Checks that the specified requirement is fulfilled.