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 |
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 |
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 |
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 |
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 |
from NamedElement |
hasQualifiedName |
Holds if this element has the qualified 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 |
from NamedElement |
toStringWithTypes |
Gets a textual representation of this variable including type information. |
from Variable |