SafeR Project

Printer-friendly versionPrinter-friendly version
Design by contract with safe references (containers)

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.

 


SWDES SafeR
Version 2.0
(build 41)
  ZIP  
This file / content is licensed as follows:
 

Contains the SWDES SafeR library and javadocs.

License text   License parameters   Licensor   Copyright laws      Additional information

SWDES SafeR (all)
Version 2.0
(build 41)
  ZIP  
This file / content is licensed as follows:
 

Contains the SWDES SafeR library, javadocs, sources and classes.

License text   License parameters   Licensor   Copyright laws      Additional information

SWDES SafeR-Demo (all)
Version 2.0
(build 13)
  ZIP  
This file / content is licensed as follows:
 

Contains the SWDES SafeR-Demo library, javadocs, sources and classes.

License text   License parameters   Licensor   Copyright laws      Additional information

SafeR-Demo Sample Log
From version 2.0
 
  LOG  
This file / content is licensed as follows:
 

A sample log file from the SWDES SafeR-Demo.

License text   License parameters   Licensor   Copyright laws      Additional information

SWDES Code Analyzer
Version 1.0 alpha
(build 8)        PoC  
  ZIP  
This file / content is licensed as follows:
 

Contains the SWDES Code Analyzer library and javadocs.

License text   License parameters   Licensor   Copyright laws      Additional information

 

Seiten

  • Seite
  • 1
  • 2
  • >
  • »
  • von 2