CodeQL library for C#

codeql/csharp-all 7.0.0 (changelog, source)

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

Assertion

Class Assertion

Predicates

getAssertMethod

Inherited predicates

getAControlFlowNode

getAPrimaryQlClass

getAReachableElement

getARuntimeArgument

getARuntimeTarget

getAnnotatedType

getArgumentForName

getArgumentForParameter

getControlFlowNode

getEnclosingCallable

getEnclosingStmt

getExplicitArgumentName

getLateBoundTargetName

getNumberOfArguments

getNumberOfChildren

getNumberOfRuntimeArguments

getPrimaryQlClasses

getQualifiedDeclaration

getRuntimeArgument

getRuntimeArgumentForName

getRuntimeArgumentForParameter

getTargetAccessor

hasImplicitThisQualifier

hasMaybeNullFlowState

hasNoRuntimeArguments

hasNotNullFlowState

hasThisQualifier

stripImplicitCasts

targetIsLocalInstance

targetIsOverridableOrImplementable

targetIsThisInstance

toStringWithTypes

Charpred

Characteristic predicate Assertion::Assertion

Assertion()

Copyright 2026 GitHub Software UK Ltd.Privacy Statement