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 |
| SystemDiagnosticsContractsContractClass |
The |
| SystemDiagnosticsContractsNamespace |
The |