A design-by-contract (DBC) framework for Java 1.5 which uses annotations to declare preconditions, postconditions, etc. Unlike other design-by-contract frameworks, requires no precompilation, making code portable across build systems, IDEs, and platforms
30 Day SummaryFeb 3 2020 — Mar 4 2020
|
12 Month SummaryMar 4 2019 — Mar 4 2020
|