Contract4J is a DbC implementation for Java that uses annotations and aspects to implement the preconditions, postconditions and invariants one has come to grow and love.
Outward L👀king
Outward L👀king
Contract4J is a DbC implementation for Java that uses annotations and aspects to implement the preconditions, postconditions and invariants one has come to grow and love.