There is no summary.

Assembly: Sasa.CodeContracts
Collapse/Expand Public Classes
  Name Description
Public Class Static CodeContract Microsoft-compatible CodeContracts class.
Public Class CodeContract.AssertException Exception thrown by Assert* functions.
Public Class CodeContract.AssumeException Exception thrown by Assume* functions.
Public Class CodeContract.EnsuresException Exception thrown by Ensures* functions.
Public Class CodeContract.InvariantException Exception thrown by Invariant* functions.
Public Class CodeContract.RequiresException Exception thrown by Requires* functions.
Public Class ContractInvariantMethodAttribute Marks a method as an object invariant. When IL rewriting is supported, this method will be called at the end of every public method and getter.
Public Class PureAttribute Marks a method as being "pure", with no side-effects.
Public Class RuntimeContractsAttribute This assembly-level attribute is added to an assembly after the rewriter has processed it.
Top