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

Class ConstructedMethod

A constructed generic method.

Import path

import semmle.code.cil.Generics

Direct supertypes

Indirect supertypes

Predicates

getUnboundGeneric

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

Inherited predicates

canReturn

Holds if this callable can return expression e.

from Method
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
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
fromLibrary

Holds if this element is from an assembly.

from Element
fromSource

Holds if this element is from source code.

from Element
fromSource

Holds if this element is from source code.

from Element
getACallee

Gets a method called by this method.

from Method
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 Method
getAParameter

Gets a parameter, if any.

from Parameterizable
getAPrimaryQlClass

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

from Element
getAPrimaryQlClass

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

from Element
getARawParameter

Gets a raw parameter (including the qualifier), if any.

from Parameterizable
getATypeArgument

Gets a type argument.

from ConstructedGeneric
getAnAttribute

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

from Declaration
getAnAttribute

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

from Declaration
getAnImplementation

Gets a method implementation, if any. Note that there can be several implementations in different assemblies.

from Method
getAnOverrider

Gets a method that overrides this method, if any.

from Method
getCSharpDeclaration

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

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
getCallPopCount

Gets the number of stack items popped in a call to this method.

from Method
getCallPushCount

Gets the number of stack items pushed in a call to this method.

from Method
getDeclaringType

Gets the type containing this declaration, if any.

from Method
getFile

Gets the file containing this element.

from Element
getFile

Gets the file containing this element.

from Element
getImplementation

Gets the “best” implementation of this method, if any.

from Method
getLabel

Gets a unique string label for this element.

from Callable
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
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
getLocationfrom Method
getMethod

Gets the method that contains this dataflow node.

from Method
getName

Gets the name of this element.

from Method
getNumberOfParameters

Gets the number of parameters of this callable.

from Parameterizable
getNumberOfTypeArguments

Gets the total number of type arguments.

from ConstructedGeneric
getOverriddenMethod

Gets a method that is overridden, either in a base class or in an interface.

from Method
getParameter

Gets the ith parameter, excluding the this parameter.

from Method
getParent

Gets the parent of this type container, if any.

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

Gets raw parameter i, including the this parameter at index 0.

from Parameterizable
getReturnType

Gets the return type of this method.

from Method
getType

Gets the type of this data flow node.

from Method
getTypeArgument

Gets the ith type argument, if any.

from ConstructedGeneric
getUnboundDeclaration

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

from Method
getUnboundMethod

Gets the unbound declaration of this method, or the method itself.

from Method
getUndecoratedName

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

from Method
hasBody

Holds if this callable has a body or an implementation.

from Method
hasName

Holds if this element has name ‘name’.

from NamedElement
hasName

Holds if this element has name ‘name’.

from NamedElement
hasNoParameters

Holds if this declaration has no parameters.

from Parameterizable
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
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
hasUndecoratedName

Holds if this element has undecorated name ‘name’.

from Declaration
hasUndecoratedName

Holds if this element has undecorated name ‘name’.

from Declaration
isAbstract

Holds if this member is abstract.

from Member
isAdder

Holds if this method is an adder/add event accessor.

from Method
isConstructor

Holds if this method is a constructor (static or instance).

from Method
isConversion

Holds if this method is a conversion operator.

from Method
isExplicitConversion

Holds if this method is an explicit conversion operator.

from Method
isFinalizer

Holds if this method is a destructor/finalizer.

from Method
isGetter

Holds if this method is a getter.

from Method
isImplicitConversion

Holds if this method is an implicit conversion operator.

from Method
isInstanceConstructor

Holds if this method is an instance constructor.

from Method
isInternal

Holds if this member is internal.

from Member
isNew

Holds if the method does not override an existing method.

from Method
isOperator

Holds if this method is an operator.

from Method
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
isRemove

Holds if this method is a remover/remove event accessor.

from Method
isSealed

Holds if this member is sealed.

from Member
isSecureObject

Holds of this method is marked as secure.

from Method
isSetter

Holds if this method is a setter.

from Method
isSpecial

Holds if the name of this method is special, for example an operator.

from Method
isStatic

Holds if this member is static.

from Method
isStaticConstructor

Holds if this method is a static class constructor.

from Method
isUnboundDeclaration

Holds if this declaration is unbound.

from Declaration
isUnboundDeclaration

Holds if this declaration is unbound.

from Declaration
isVirtual

Holds if this method is virtual.

from Method
matchesHandle

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

from NamedElement
matchesHandle

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

from NamedElement
returnsVoid

Holds if the return type is void.

from Method
toStringfrom Method
toStringWithTypes

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

from TypeContainer
toStringWithTypes

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

from TypeContainer