Crate dbc

Design-by-Contract for Rust

Design by Contract is a programming methodology which binds the caller and the function called to a contract. The contract is represented using Hoare Triple: {P} C {Q}, where {P} is the precondition before executing command C, and {Q} is the postcondition.

Like debug_assert!, dbc macros are only enabled in non optimized builds by default. An optimized build will omit all dbc macro statements unless -C debug-assertions is passed to the compiler.

See Also

• http://en.wikipedia.org/wiki/Design_by_contract
• http://en.wikipedia.org/wiki/Hoare_logic
• https://dlang.org/spec/contracts.html

Note

This library is similar to my godbc for Golang.

Macros

• ensure
  Postcondition tests
• formatvar
  Stringify one or more variables and their values
• invariant
  Invariant condition assertion
• require
  Precondondition tests

Traits

• Invariant
  The Invariant trait allows for asserting an object