com.github.cowwoc.requirements:java (maven): A fluent API for enforcing design contracts with automatic message generation
Keywords: design-by-contract|invariants|java|postconditions|preconditions