[This documentation is for preview only, and is subject to change in later releases. Blank topics are included as placeholders.]

 Classes

	Class	Description
	Contract	Contains static methods for representing program contracts such as preconditions, postconditions, and invariants.
	ContractClassAttribute	Specifies that a separate type contains the code contracts for this type.
	ContractClassForAttribute	Specifies that a class is a contract for a type.
	ContractFailedEventArgs	Provides methods and data for the ContractFailed event.
	ContractInvariantMethodAttribute	Marks a method as being the invariant method for a class.
	ContractPublicPropertyNameAttribute	Specifies that a field is to be used in method contracts when the field has less visibility than the method.
	ContractReferenceAssemblyAttribute	Specifies that an assembly is a reference assembly that contains contracts.
	ContractRuntimeIgnoredAttribute	Identifies a member that has no run-time behavior.
	ContractVerificationAttribute	Instructs analysis tools to assume the correctness of an assembly, type, or member without performing verification.
	PureAttribute	Indicates that a type or method is pure, that is, it does not make any visible state changes.

 Enumerations

	Enumeration	Description
	ContractFailureKind	Specifies the type of contract that failed.