CodeQL library for C#

codeql/csharp-all 7.1.1 (changelog, source)

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

.

isSealed

Class Modifiable

Predicates

isEffectivelyInternal

isEffectivelyPrivate

isEffectivelyPublic

Inherited predicates

getAPrimaryQlClass

getDeclaringType

getFullyQualifiedName

getFullyQualifiedNameDebug

getFullyQualifiedNameWithTypes

getNumberOfChildren

getPrimaryQlClasses

getUnboundDeclaration

getUndecoratedName

hasFullyQualifiedName

hasUndecoratedName

isCompilerGenerated

isSourceDeclaration

isUnboundDeclaration

toStringWithTypes

Member predicate Modifiable::isSealed

Holds if this declaration is sealed.

predicate isSealed()

Copyright 2026 GitHub Software UK Ltd.Privacy Statement