Class Stmt
A statement.
Either a block statement (BlockStmt
), an expression statement (ExprStmt
),
a selection statement (SelectionStmt
), a labeled statement (LabeledStmt
),
a loop statement (LoopStmt
), a jump statement (JumpStmt
), a try
statement
(TryStmt
), a catch
clause (CatchClause
), a checked
statement
(CheckedStmt
), an unchecked
statement (UncheckedStmt
), a lock
statement (LockStmt
), a using
statement (UsingStmt
), a local
variable declaration statement (LocalVariableDeclStmt
), an empty statement
(EmptyStmt
), an unsafe
statement (UnsafeStmt
), or a fixed
statement
(FixedStmt
).
Import path
import csharp
Direct supertypes
Indirect supertypes
Known direct subtypes
Predicates
getALocation |
Gets a location of this element, including sources and assemblies. |
getEnclosingCallable |
Gets the enclosing callable of this statement. |
isGlobal |
Holds if this statement is a global statement. |
stripSingletonBlocks |
Gets the singleton statement contained in this statement, by removing enclosing block statements. |
toString |
Gets a textual representation of this element. |
Inherited predicates
controlsBlock |
Holds if basic block |
from ControlFlowElement |
fromLibrary |
Holds if this element is from an assembly. |
from Element |
fromSource |
Holds if this element is from source code. |
from Element |
getAChild |
Gets a child of this element, if any. |
from Element |
getAChildExpr |
Gets a child expression of this element, if any. |
from ExprOrStmtParent |
getAChildStmt |
Gets a child statement of this element, if any. |
from ExprOrStmtParent |
getAControlFlowEntryNode |
Gets a first control flow node executed within this element. |
from ControlFlowElement |
getAControlFlowExitNode |
Gets a potential last control flow node executed within this element. |
from ControlFlowElement |
getAControlFlowNode |
Gets a control flow node for this element. That is, a node in the control flow graph that corresponds to this element. |
from ControlFlowElement |
getAPrimaryQlClass |
Gets the name of a primary CodeQL class to which this element belongs. |
from Element |
getAReachableElement |
Gets an element that is reachable from this element. |
from ControlFlowElement |
getAssembly |
Gets the assembly that this element was compiled into. |
from ControlFlowElement |
getChild |
Gets the |
from ExprOrStmtParent |
getChildExpr |
Gets the |
from ExprOrStmtParent |
getChildStmt |
Gets the |
from ExprOrStmtParent |
getFile |
Gets the file containing this element. |
from Element |
getIndex |
Gets the index of this element among its parent’s other children (zero-based). |
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 |
Gets the location of this element. Where an element has locations in source and assemblies, choose the source location. If there are multiple assembly locations, choose only one. |
from Element |
getNumberOfChildren |
Gets the number of children of this element. |
from Element |
getParent |
Gets the parent of this element, if any. |
from Element |
getPrimaryQlClasses |
Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. |
from Element |
isLive |
Holds if this element is live, that is this element can be reached from the entry point of its enclosing callable. |
from ControlFlowElement |
reachableFrom |
Holds if the current element is reachable from |
from ControlFlowElement |
toStringWithTypes |
Gets the full textual representation of this element, including type information. |
from Element |