Click or drag to resize

System.Diagnostics.Contracts Namespace

The System.Diagnostics.Contracts namespace contains static classes for representing program contracts such as preconditions, postconditions, and invariants.
Classes
  ClassDescription
Public classCovenant
A simple, lightweight, and partial implementation of the Microsoft Dev Labs Contract class.