SafeR Project

A lightweight framework to apply a Design by Contract (DbC) coding style. Additionally, SafeR provides operations for checks which return a boolean value. SafeR supports DbC in two ways: with safe reference objects and with static operations. While the latter is the same approach as seen typically in "Assert" classes with static operations, the former is the preferred approach wherever possible. Safe reference objects can be seen as (immutable) containers or wrappers which assert that the references they contain are in the specified / expected state. By using the type of a safe reference class as parameter type or return type of an operation, the caller of the operation is forced to comply with the contract at compile time.

Please see also the examples how to use the SafeR framework.

More documentation is coming soon.

Downloads

Below you can download archives from this project. This project has no dependencies. Requires JSE 8+.

Please refer to the instructions how to use these Java software bundles.