Class LocalVariable

A local variable.

Each method in CIL has a number of typed local variables, in addition to the evaluation stack.

Import path


                                import semmle.code.cil.Variable

Direct supertypes

Indirect supertypes

Predicates

getImplementation	Gets the method implementation defining this local variable.
getIndex	Gets the index number of this local variable. This is not usually significant.
getLocation
getMethod	Gets the method that contains this dataflow node.
getType	Gets the type of this variable.
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
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
fromSource	Holds if this element is from source code.	from Element
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 Element
getAPrimaryQlClass	Gets the name of a primary CodeQL class to which this element belongs.	from Element
getARead	Gets a read access to this variable, if any.	from Variable
getAWrite	Gets a write access to this variable, if any.	from Variable
getAnAccess	Gets an access to this variable, if any.	from Variable
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
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
getName	Gets the name of this element.	from NamedElement
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
getUndecoratedName	Gets the name of this declaration, without additional decoration such as `<...>`.	from Declaration
hasName	Holds if this element has name ‘name’.	from NamedElement
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 element has the qualified name `qualifier`.`name`.	from StackVariable
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
toStringWithTypes	Gets a textual representation of this variable including type information.	from Variable