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 |