Class Destructor

A destructor/finalizer.

Import path


                                import semmle.code.cil.Method

Direct supertypes

Indirect supertypes

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
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
getARawParameter	Gets a raw parameter (including the qualifier), if any.	from Parameterizable
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
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
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
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
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 `i`th parameter, excluding the `this` parameter.	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
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
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
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	DEPRECATED: Use `hasQualifiedName/2` instead. Holds if this element has qualified name `qualifiedName`, for example `System.Console.WriteLine`.	from NamedElement
hasQualifiedName	Holds if this member has name `name` and is defined in type `type` with namespace `namespace`.	from Member
hasQualifiedName	Holds if this element has the qualified name `qualifier`.`name`.	from Declaration
hasQualifiedName	DEPRECATED: Use `hasQualifiedName/2` instead. 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
isFile	Holds if this member is declared `file` local.	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 `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
isRequired	Holds if this member is declared `required`.	from Member
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
toString		from Method
toStringWithTypes	Gets the full textual representation of this element, including type information.	from TypeContainer

Charpred

Destructor