Class Destructor
A destructor/finalizer.
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_method
- @cil_parameterizable
- @cil_type_container
- @dotnet_callable
- @dotnet_declaration
- @dotnet_element
- @dotnet_member
- @dotnet_named_element
- @dotnet_parameterizable
- Callable
- CustomModifierReceiver
- DataFlowNode
- Declaration
- Declaration
- Element
- Element
- Member
- Member
- NamedElement
- Parameterizable
- Parameterizable
- TypeContainer
Inherited predicates
canReturn |
Holds if this callable can return expression |
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 |
flowsTo |
Holds if this node flows to |
from DataFlowNode |
fromLibrary |
Holds if this element is from an assembly. |
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 |
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 |
getARawParameter |
Gets a raw parameter (including the qualifier), if any. |
from Parameterizable |
getAnAttribute |
Gets an attribute (for example |
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 |
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 |
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 |
getLocation | from 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 |
getOverriddenMethod |
Gets a method that is overridden, either in a base class or in an interface. |
from Method |
getParameter |
Gets the |
from Method |
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 |
from NamedElement |
getRawParameter |
Gets raw parameter |
from Parameterizable |
getReturnType |
Gets the return type of this method. |
from Method |
getType |
Gets the type of this data flow node. |
from Method |
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 |
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 |
Holds if this member has name |
from Member |
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 |
isAbstract |
Holds if this member is |
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 |
isFile |
Holds if this member is declared |
from Member |
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 |
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 |
from Member |
isProtected |
Holds if this member is declared |
from Member |
isPublic |
Holds if this member is declared |
from Member |
isRemove |
Holds if this method is a remover/remove event accessor. |
from Method |
isRequired |
Holds if this member is declared |
from Member |
isSealed |
Holds if this member is |
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 |
from Method |
isStaticConstructor |
Holds if this method is a static class constructor. |
from Method |
isUnboundDeclaration |
Holds if this declaration is unbound. |
from Declaration |
isVirtual |
Holds if this method is |
from Method |
matchesHandle |
Holds if |
from NamedElement |
returnsVoid |
Holds if the return type is |
from Method |
toString | from Method | |
toStringWithTypes |
Gets the full textual representation of this element, including type information. |
from TypeContainer |