obligate

Obligate aims to provide a simple way to apply contracts to service interfaces. A contract is a series of rules, normally at least a pre-condition or post-condition on a service method call, these are the rules that MUST be true or the call should fail