Class ConditionGuardNode
A guard node recording that some condition is known to be truthy or falsy at this point in the program.
Import path
import javascriptDirect supertypes
Indirect supertypes
Predicates
| getOutcome | Gets the value recorded for the condition. |
| toString | Gets a textual representation of this element. |
Inherited predicates
| describeControlFlowNode | For internal use. | from ControlFlowNode |
| dominates | Holds if this guard dominates basic block | from GuardControlFlowNode |
| getAPredecessor | Gets a node preceding this node in the CFG. | from ControlFlowNode |
| getAPrimaryQlClass | Gets the primary QL class for the Locatable. | from Locatable |
| getASuccessor | Gets a node succeeding this node in the CFG. | from ControlFlowNode |
| getBasicBlock | Gets the basic block this node belongs to. | from ControlFlowNode |
| getContainer | Gets the function or toplevel to which this node belongs. | from NodeInStmtContainer |
| getEndLine | Gets the line on which this element ends. | from Locatable |
| getFile | Gets the file this program element comes from. | from Locatable |
| getLocation | Gets this element’s location. | from Locatable |
| getNumLines | Gets the number of lines covered by this element. | from Locatable |
| getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from Locatable |
| getStartLine | Gets the line on which this element starts. | from Locatable |
| getTest | Gets the expression that this guard concerns. | from GuardControlFlowNode |
| isAFinalNode | Holds if this is a final node, that is, a CFG node where execution of a toplevel or function terminates. | from ControlFlowNode |
| isAFinalNodeOfContainer | Holds if this is a final node of | from ControlFlowNode |
| isBranch | Holds if this is a node with more than one successor. | from ControlFlowNode |
| isJoin | Holds if this is a node with more than one predecessor. | from ControlFlowNode |
| isStart | Holds if this is a start node, that is, the CFG node where execution of a toplevel or function begins. | from ControlFlowNode |
| isUnreachable | Holds if this node is unreachable, that is, it has no predecessors in the CFG. Entry nodes are always considered reachable. | from ControlFlowNode |