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

Class ConstructedGeneric

A constructed generic type or method.

Import path

import semmle.code.cil.Generics

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

getTypeArgument

Gets the ith type argument, if any.

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
getATypeArgument

Gets a type argument.

from ConstructedGeneric
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
getDeclaringType

Gets the type containing this declaration, if any.

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 Element
getName

Gets the name of this element.

from NamedElement
getNumberOfTypeArguments

Gets the total number of type arguments.

from ConstructedGeneric
getParent

Gets the parent of this type container, if any.

from TypeContainer
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
getUnboundGeneric

Gets the unbound generic declaration from which this declaration was constructed.

from ConstructedGeneric
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
hasName

Holds if this element has name ‘name’.

from NamedElement
hasQualifiedName

DEPRECATED: Use hasFullyQualifiedName instead.

from Declaration
hasUndecoratedName

Holds if this element has undecorated name ‘name’.

from Declaration
isUnboundDeclaration

Holds if this declaration is unbound.

from Declaration
matchesHandle

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

from NamedElement
toString

Gets a textual representation of this element.

from NamedElement
toStringWithTypes

Gets the full textual representation of this element, including type information.

from TypeContainer

Charpred