Contract pre-conditions, post-conditions, invariants matching Microsoft's Code Contracts API.
Microsoft-compatible Contracts class.
Designated a class that contains the contracts for this type.
The event arguments in case of contract failure.
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.
Set contract options.
Designates fields that can be used in method contracts.
Designates a reference assembly that contains contracts.
Marks a member as having no runtime behaviour.
Indicates a type or assembly requires no verification and is to be assumed correct.
Marks a method as being "pure", with no side-effects.
This assembly-level attribute is added to an assembly after the rewriter has processed it.
Some standard runtime failure methods to use.
The action to trigger runtime failure.
An enumeration describing the possible contract failures.