Module Contracts

Provides definitions related to the namespace System.Diagnostics.Contracts.

Import path

import semmle.code.csharp.frameworks.system.diagnostics.Contracts

Type	Provides classes for types.

SystemDiagnosticsContractsClass	A class in the `System.Diagnostics.Contracts` namespace.
SystemDiagnosticsContractsContractClass	The `System.Diagnostics.Contracts.Contract` class.
SystemDiagnosticsContractsNamespace	The `System.Diagnostics.Contracts` namespace.