Tiny JavaScript library for preconditions, postconditions and invariants, intended for use with Contractual.
npm install obligations
Tiny JavaScript library for preconditions, postconditions and invariants), intended for use with Contractual.
``
npm install obligations
`js
var obligations = require('obligations');
obligations.precondition(1 > 0); // always ok
obligations.precondition(false); // throws a PreconditionError
obligations.precondition(0 > 1, "The world has ended!"); // throws a PreconditionError with a custom message
obligations.postcondition(1 > 0); // always ok
obligations.postcondition(false); // throws a PostconditionError
obligations.postcondition(0 > 1, "The world has ended!"); // throws a PostconditionError with a custom message
obligations.invariant(1 > 0); // always ok
obligations.invariant(false); // throws an InvariantError
obligations.invariant(0 > 1, "The world has ended!"); // throws a InvariantError with a custom message
``
MIT, see LICENSE.md.