A synthetic CFG node recording that some condition is known to hold at this point in the program.
Known direct subtypes
For internal use.
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.
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.
Gets a textual representation of this element.