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