A loop where the body is guaranteed to be executed at least once, and hence can be unrolled in the control flow graph, or where the body is guaranteed to never be executed, and hence can be removed from the control flow graph.
Known direct subtypes
Holds if the body is guaranteed to be executed at least once. If not, the body is guaranteed to never be executed.
Holds if any step
Holds if the step
Holds if the step
Holds if basic block
Holds if this element is from an assembly.
Holds if this element is from source code.
Gets a child of this element, if any.
Gets a child expression of this element, if any.
Gets a child statement of this element, if any.
Gets a first control flow node executed within this element.
Gets a potential last control flow node executed within this element.
Gets a control flow node for this element. That is, a node in the control flow graph that corresponds to this element.
Gets a location of this element, including sources and assemblies.
Gets the name of a primary CodeQL class to which this element belongs.
Gets an element that is reachable from this element.
Gets the assembly that this element was compiled into.
Gets the body of this loop statement.
Gets the condition of this loop statement, if any.
Gets the enclosing callable of this statement.
Gets the file containing this element.
Gets the index of this element among its parent’s other children (zero-based).
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”.
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.
Gets the number of children of this element.
Gets the parent of this element, if any.
Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.
Holds if this statement is a global statement.
Holds if this element is live, that is this element can be reached from the entry point of its enclosing callable.
Holds if the current element is reachable from
Gets the singleton statement contained in this statement, by removing enclosing block statements.
Gets a textual representation of this element.
Gets the full textual representation of this element, including type information.