Module Assertions
Provides classes for assertions.
Import path
import semmle.code.csharp.commons.Assertions
Predicates
isExprInAssertion |
Holds if expression |
Classes
AssertMethod |
An assertion method. |
Assertion |
An assertion, that is, a call to an assertion method. |
AssertionFailure |
An entity that describes how an assertion may fail. |
BooleanAssertMethod |
A Boolean assertion method. |
FailingAssertion |
A trivially failing assertion, for example |
ForwarderAssertMethod |
A method that forwards to another assertion method. |
ForwarderBooleanAssertMethod |
A method that forwards to a Boolean assertion method. |
ForwarderNullnessAssertMethod |
A method that forwards to a nullness assertion method. |
NUnitAssertFalseMethod |
An NUnit negated assertion method. |
NUnitAssertMethod |
An NUnit assertion method. |
NUnitAssertNonNullMethod |
An NUnit non- |
NUnitAssertNullMethod |
An NUnit |
NUnitAssertTrueMethod |
An NUnit assertion method. |
NullnessAssertMethod |
A nullness assertion method. |
SystemDiagnosticsCodeAnalysisDoesNotReturnIfAnnotatedAssertFalseMethod |
A method with a parameter that is annotated with |
SystemDiagnosticsCodeAnalysisDoesNotReturnIfAnnotatedAssertTrueMethod |
A method with a parameter that is annotated with |
SystemDiagnosticsContractAssertTrueMethod |
A |
SystemDiagnosticsDebugAssertTrueMethod |
A |
VSTestAssertFalseMethod |
A Visual Studio negated assertion method. |
VSTestAssertNonNullMethod |
A Visual Studio non- |
VSTestAssertNullMethod |
A Visual Studio |
VSTestAssertTrueMethod |
A Visual Studio assertion method. |