134 packages returned for Tags:"contract-resolver"

  • 300 total downloads
  • last updated 2/9/2019
  • Latest version:
  • DBC Contract
Library representing the desing by contract programing such as precondition, postconditions, and object invariants
NContract is a design by contract library that lets you write oneliners to verify parameters in constructors and methods instead of using more verbose if statements.