CodeQL library for C#
codeql/csharp-all 0.4.4 (changelog, source)
Search

Module Contracts

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

Import path

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

Imports

Type

Provides classes for types.

Classes

SystemDiagnosticsContractsClass

A class in the System.Diagnostics.Contracts namespace.

SystemDiagnosticsContractsContractClass

The System.Diagnostics.Contracts.Contract class.

SystemDiagnosticsContractsNamespace

The System.Diagnostics.Contracts namespace.