A guard node recording that some condition is known to be truthy or falsy at this point in the program.
For internal use.
Holds if this guard dominates basic block
Gets a node preceding this node in the CFG.
Gets the primary QL class for the Locatable.
Gets a node succeeding this node in the CFG.
Gets the basic block this node belongs to.
Gets the function or toplevel to which this node belongs.
Gets the line on which this element ends.
Gets the file this program element comes from.
Gets this element’s location.
Gets the number of lines covered by this element.
Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.
Gets the line on which this element starts.
Gets the expression that this guard concerns.
Holds if this is a final node, that is, a CFG node where execution of a toplevel or function terminates.
Holds if this is a final node of
Holds if this is a node with more than one successor.
Holds if this is a node with more than one predecessor.
Holds if this is a start node, that is, the CFG node where execution of a toplevel or function begins.
Holds if this node is unreachable, that is, it has no predecessors in the CFG. Entry nodes are always considered reachable.