We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 78f63a3 commit 374b0c0Copy full SHA for 374b0c0
csharp/ql/src/semmle/code/csharp/frameworks/system/diagnostics/Contracts.qll
@@ -13,7 +13,9 @@ class SystemDiagnosticsContractsNamespace extends Namespace {
13
14
/** A class in the `System.Diagnostics.Contracts` namespace. */
15
class SystemDiagnosticsContractsClass extends Class {
16
- SystemDiagnosticsContractsClass() { this.getNamespace() instanceof SystemDiagnosticsContractsNamespace }
+ SystemDiagnosticsContractsClass() {
17
+ this.getNamespace() instanceof SystemDiagnosticsContractsNamespace
18
+ }
19
}
20
21
/** The `System.Diagnostics.Contracts.Contract` class. */
0 commit comments