Code Contracts

suggest change




Code contracts allow for compile or runtime analysis of pre/post conditions of methods and invariant conditions for objects. These conditions may be used to ensure callers and return value match valid states for application processing. Other uses for Code Contracts include documentation generation.

Feedback about page:

Optional: your email if you want me to get back to you:

Table Of Contents