CodeQL library for C#
codeql/csharp-all 0.8.12 (changelog, source)
Search

Class Property

A property.

Import path

import semmle.code.cil.Declaration

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

getAnAccessor

Gets an accessor of this property.

getDeclaringType

Gets the type containing this declaration, if any.

getGetter

Gets the getter of this property, if any.

getName

Gets the name of this element.

getSetter

Gets the setter of this property, if any.

getType

Gets the type of this property.

toString

Gets a textual representation of this element.

toStringWithTypes

Gets the full textual representation of this element, 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
fromLibrary

Holds if this element is from an assembly.

from Element
fromSource

Holds if this element is from source code.

from Element
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
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
getFullyQualifiedName

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
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
getLocation

Gets the location of this element.

from Member
getPrimaryQlClasses

Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.

from Element
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
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
hasFullyQualifiedName

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

from Declaration
hasFullyQualifiedName

Holds if this member has name name and is defined in type type with namespace namespace.

from Member
hasName

Holds if this element has name ‘name’.

from NamedElement
hasOptionalCustomModifier

Holds if this targeted type has modifier applied as modopt.

from CustomModifierReceiver
hasQualifiedName

DEPRECATED: Use hasFullyQualifiedName instead.

from Declaration
hasQualifiedName

DEPRECATED: Use hasFullyQualifiedName instead.

from Member
hasRequiredCustomModifier

Holds if this targeted type has modifier applied as modreq.

from CustomModifierReceiver
hasSecurity

Holds if this member has a security attribute.

from Member
hasUndecoratedName

Holds if this element has undecorated name ‘name’.

from Declaration
isAbstract

Holds if this member is abstract.

from Member
isFile

Holds if this member is declared file local.

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
isRequired

Holds if this member is declared required.

from Member
isSealed

Holds if this member is sealed.

from Member
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