An expression guarded by a
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 an expression that guards this expression. That is, this expression is only reached when the returned expression has abstract value
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 a (non-trivial) SSA definition corresponding to the longest qualifier chain of this expression, if any.
Gets the annotated type of this expression.
Gets the assembly that this element was compiled into.
Gets the enclosing callable of this expression, if any.
Gets the enclosing statement of this expression, if any.
Gets the explicit parameter name used to pass this expression as an argument for, if any. For example, if this expression is
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 a comma-separated list of the names of the primary CodeQL classes to which this element belongs.
Gets the target of this expression.
Gets the type of this expression.
Gets the value of this expression, if any
Holds if the nullable flow state of this expression may be null.
Holds if the nullable flow state of this expression is not null.
Holds if this expression has a value.
Holds if this expression is guarded by expression
Holds if this expression is generated by the compiler and does not appear explicitly in the source code.
Holds if this element is live, that is this element can be reached from the entry point of its enclosing callable.
Holds if this expression must have abstract value
Holds if the current element is reachable from
Gets an expression that is the result of stripping (recursively) all implicit and explicit casts from this expression, if any. For example, the result is
Gets an expression that is the result of stripping (recursively) all implicit casts from this expression, if any.
Gets a textual representation of this element.
Gets the full textual representation of this element, including type information.