CodeQL library for C#
Search

Class Field

A field.

Import path

import semmle.code.cil.Variable

Direct supertypes

Indirect supertypes

Predicates

getDeclaringType

Gets the type containing this declaration, if any.

getLocation
getName

Gets the name of this element.

getType

Gets the type of this variable.

toString
toStringWithTypes

Gets a textual representation of this variable including type information.

Inherited predicates

compiledFromSource

Holds if this element was compiled from source code that is also present in the database. That is, this element corresponds to another element from source.

from NamedElement
flowsTo

Holds if this node flows to sink in zero or more steps.

from DataFlowNode
fromLibrary

Holds if this element is from an assembly.

from Element
fromSource

Holds if this element is from source code.

from Element
getALocalFlowSucc

Holds if this node flows to sink in one step. tt is the tainting that occurs during this step.

from DataFlowNode
getALocation

Gets a location of this element, which can include locations in both DLLs and source files.

from Element
getAPrimaryQlClass

Gets the name of a primary CodeQL class to which this element belongs.

from Element
getARead

Gets a read access to this variable, if any.

from Variable
getAWrite

Gets a write access to this variable, if any.

from Variable
getAnAccess

Gets an access to this variable, if any.

from Variable
getAnAttribute

Gets an attribute (for example [Obsolete]) of this declaration, if any.

from Declaration
getCSharpDeclaration

Gets the C# declaration corresponding to this CIL declaration, if any. Note that this is only for source/unconstructed declarations.

from Declaration
getFile

Gets the file containing this element.

from Element
getLabel

Gets a unique string label for this element.

from NamedElement
getLanguage

Gets the “language” of this program element, as defined by the extension of the filename. For example, C# has language “cs”, and Visual Basic has language “vb”.

from Element
getMethod

Gets the method that contains this dataflow node.

from DataFlowNode
getQualifiedName

Gets the fully qualified name of this element, for example the fully qualified name of M on line 3 is N.C.M in

from NamedElement
getSourceDeclaration

DEPRECATED: Use getUnboundDeclaration() instaed.

from Declaration
getUnboundDeclaration

Gets the unbound version of this declaration, that is, the declaration where all type arguments have been removed. For example, in

from Declaration
getUndecoratedName

Gets the name of this declaration, without additional decoration such as <...>.

from Declaration
hasName

Holds if this element has name ‘name’.

from NamedElement
hasOptionalCustomModifier

Holds if this targeted type has modifier applied as modopt.

from CustomModifierReceiver
hasQualifiedName

Holds if this element has the qualified name qualifier.name.

from Declaration
hasQualifiedName

Holds if this element has qualified name qualifiedName, for example System.Console.WriteLine.

from NamedElement
hasRequiredCustomModifier

Holds if this targeted type has modifier applied as modreq.

from CustomModifierReceiver
hasSecurity

Holds if this member has a security attribute.

from Member
isAbstract

Holds if this member is abstract.

from Member
isInternal

Holds if this member is internal.

from Member
isPrivate

Holds if this member is private.

from Member
isProtected

Holds if this member is declared protected.

from Member
isPublic

Holds if this member is declared public.

from Member
isSealed

Holds if this member is sealed.

from Member
isSourceDeclaration

DEPRECATED: Use isUnboundDeclaration() instead.

from Declaration
isStatic

Holds if this member is static.

from Member
isUnboundDeclaration

Holds if this declaration is unbound.

from Declaration
matchesHandle

Holds if other has the same metadata handle in the same assembly.

from NamedElement