Class Method
A method, which corresponds to any callable in C#, including constructors, destructors, operators, accessors and so on.
Import path
import semmle.code.cil.Method
Direct supertypes
Indirect supertypes
- @cil_custom_modifier_receiver
- @cil_dataflow_node
- @cil_declaration
- @cil_element
- @cil_member
- @cil_parameterizable
- @cil_type_container
- @dotnet_callable
- @dotnet_declaration
- @dotnet_element
- @dotnet_member
- @dotnet_named_element
- @dotnet_parameterizable
- Declaration
- Declaration
- Element
- Member
- NamedElement
- Parameterizable
Known direct subtypes
Predicates
canReturn |
Holds if this callable can return expression |
getACallee |
Gets a method called by this method. |
getALocation |
Gets a location of this element, which can include locations in both DLLs and source files. |
getAnImplementation |
Gets a method implementation, if any. Note that there can be several implementations in different assemblies. |
getAnOverrider |
Gets a method that overrides this method, if any. |
getCallPopCount |
Gets the number of stack items popped in a call to this method. |
getCallPushCount |
Gets the number of stack items pushed in a call to this method. |
getDeclaringType |
Gets the type containing this declaration, if any. |
getImplementation |
Gets the “best” implementation of this method, if any. |
getLocation | |
getMethod |
Gets the method that contains this dataflow node. |
getName |
Gets the name of this element. |
getOverriddenMethod |
Gets a method that is overridden, either in a base class or in an interface. |
getParameter |
Gets the |
getReturnType |
Gets the return type of this method. |
getType |
Gets the type of this data flow node. |
getUnboundDeclaration |
Gets the unbound version of this declaration, that is, the declaration where all type arguments have been removed. For example, in |
getUnboundMethod |
Gets the unbound declaration of this method, or the method itself. |
getUndecoratedName |
Gets the name of this declaration, without additional decoration such as |
hasBody |
Holds if this callable has a body or an implementation. |
isAdder |
Holds if this method is an adder/add event accessor. |
isConstructor |
Holds if this method is a constructor (static or instance). |
isConversion |
Holds if this method is a conversion operator. |
isExplicitConversion |
Holds if this method is an explicit conversion operator. |
isFinalizer |
Holds if this method is a destructor/finalizer. |
isGetter |
Holds if this method is a getter. |
isImplicitConversion |
Holds if this method is an implicit conversion operator. |
isInstanceConstructor |
Holds if this method is an instance constructor. |
isNew |
Holds if the method does not override an existing method. |
isOperator |
Holds if this method is an operator. |
isRemove |
Holds if this method is a remover/remove event accessor. |
isSecureObject |
Holds of this method is marked as secure. |
isSetter |
Holds if this method is a setter. |
isSpecial |
Holds if the name of this method is special, for example an operator. |
isStatic |
Holds if this member is |
isStaticConstructor |
Holds if this method is a static class constructor. |
isVirtual |
Holds if this method is |
returnsVoid |
Holds if the return type is |
toString |
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 |
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 |
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 |
from DataFlowNode |
fromLibrary |
Holds if this element is from an assembly. |
from Element |
fromLibrary |
Holds if this element is from an assembly. |
from Element |
fromLibrary |
Holds if this element is from an assembly. |
from Element |
fromLibrary |
Holds if this element is from an assembly. |
from Element |
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 |
fromSource |
Holds if this element is from source code. |
from Element |
fromSource |
Holds if this element is from source code. |
from Element |
fromSource |
Holds if this element is from source code. |
from Element |
fromSource |
Holds if this element is from source code. |
from Element |
getALocalFlowSucc |
Holds if this node flows to |
from DataFlowNode |
getAParameter |
Gets a parameter, if any. |
from Parameterizable |
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 |
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 |
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 |
getARawParameter |
Gets a raw parameter (including the qualifier), if any. |
from Parameterizable |
getAnAttribute |
Gets an attribute (for example |
from Declaration |
getAnAttribute |
Gets an attribute (for example |
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 |
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 |
getFile |
Gets the file containing this element. |
from Element |
getFile |
Gets the file containing this element. |
from Element |
getFile |
Gets the file containing this element. |
from Element |
getFile |
Gets the file containing this element. |
from Element |
getFile |
Gets the file containing this element. |
from Element |
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 |
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 |
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 |
getNumberOfParameters |
Gets the number of parameters of this callable. |
from Parameterizable |
getNumberOfParameters |
Gets the number of parameters of this callable. |
from Parameterizable |
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 |
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 |
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 |
from NamedElement |
getQualifiedName |
Gets the fully qualified name of this element, for example the fully qualified name of |
from NamedElement |
getQualifiedName |
Gets the fully qualified name of this element, for example the fully qualified name of |
from NamedElement |
getQualifiedName |
Gets the fully qualified name of this element, for example the fully qualified name of |
from NamedElement |
getQualifiedName |
Gets the fully qualified name of this element, for example the fully qualified name of |
from NamedElement |
getRawParameter |
Gets raw parameter |
from Parameterizable |
hasName |
Holds if this element has name ‘name’. |
from NamedElement |
hasName |
Holds if this element has name ‘name’. |
from NamedElement |
hasName |
Holds if this element has name ‘name’. |
from NamedElement |
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 |
hasNoParameters |
Holds if this declaration has no parameters. |
from Parameterizable |
hasOptionalCustomModifier |
Holds if this targeted type has |
from CustomModifierReceiver |
hasQualifiedName |
Holds if this element has the qualified name |
from Declaration |
hasQualifiedName |
DEPRECATED: Use |
from NamedElement |
hasQualifiedName |
Holds if this member has name |
from Member |
hasQualifiedName |
Holds if this element has the qualified name |
from Declaration |
hasQualifiedName |
DEPRECATED: Use |
from NamedElement |
hasQualifiedName |
DEPRECATED: Use |
from NamedElement |
hasQualifiedName |
Holds if this element has the qualified name |
from Declaration |
hasQualifiedName |
DEPRECATED: Use |
from NamedElement |
hasQualifiedName |
Holds if this element has the qualified name |
from Declaration |
hasQualifiedName |
DEPRECATED: Use |
from NamedElement |
hasRequiredCustomModifier |
Holds if this targeted type has |
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 |
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 |
from Member |
isFile |
Holds if this member is declared |
from Member |
isInternal |
Holds if this member is |
from Member |
isPrivate |
Holds if this member is |
from Member |
isProtected |
Holds if this member is declared |
from Member |
isPublic |
Holds if this member is declared |
from Member |
isRequired |
Holds if this member is declared |
from Member |
isSealed |
Holds if this member is |
from Member |
isUnboundDeclaration |
Holds if this declaration is unbound. |
from Declaration |
isUnboundDeclaration |
Holds if this declaration is unbound. |
from Declaration |
isUnboundDeclaration |
Holds if this declaration is unbound. |
from Declaration |
isUnboundDeclaration |
Holds if this declaration is unbound. |
from Declaration |
matchesHandle |
Holds if |
from NamedElement |
matchesHandle |
Holds if |
from NamedElement |
matchesHandle |
Holds if |
from NamedElement |
matchesHandle |
Holds if |
from NamedElement |
matchesHandle |
Holds if |
from NamedElement |
toStringWithTypes |
Gets the full textual representation of this element, including type information. |
from TypeContainer |