C# (CSharp) Zephyr.DesignByContract Пространство имен

Классы

Имя Описание
AssertionException Exception raised when an assertion fails.
Check Design by Contract checks developed by http://www.codeproject.com/KB/cs/designbycontract.aspx. Each method generates an exception or a trace assertion statement if the contract is broken.
DesignByContractException Exception raised when a contract is broken. Catch this exception type if you wish to differentiate between any DesignByContract exception and other runtime exceptions.
InvariantException Exception raised when an invariant fails.
PostconditionException Exception raised when a postcondition fails.
PreconditionException Exception raised when a precondition fails.