Class SkipNode
A control-flow node that represents a no-op.
These control-flow nodes correspond to Go statements that have no runtime semantics other than
potentially influencing control flow: the branching statements continue, break,
fallthrough and goto; empty blocks; empty statements; and import and type declarations.
Import path
import semmle.go.controlflow.ControlFlowGraphImplDirect supertypes
Indirect supertypes
Fields
Predicates
| getRoot | Gets the innermost function or file to which this node belongs. |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column |
| toString | Gets a textual representation of this control flow node. |
Inherited predicates
| dominatesNode | Holds if this node dominates | from Node |
| getAPredecessor | Gets a node that directly precedes this one in the control-flow graph. | from Node |
| getASuccessor | Gets a node that directly follows this one in the control-flow graph. | from Node |
| getBasicBlock | Gets the basic block to which this node belongs. | from Node |
| getFile | Gets the file to which this node belongs. | from Node |
| isBranch | Holds if this is a node with more than one successor. | from Node |
| isEntryNode | Holds if this node is the (unique) entry node of a function or file. | from Node |
| isExitNode | Holds if this node is the (unique) exit node of a function or file. | from Node |
| isFirstNodeOf | Holds if this is the first control-flow node in | from Node |
| isJoin | Holds if this is a node with more than one predecessor. | from Node |