XCSG:ControlFlowBackEdge
From AtlasWiki
Specification
Metaclass | ControlFlowBackEdge |
---|---|
Extends | ControlFlow (Edge) |
Description | A ControlFlow edge representing a branch or jump to an earlier location in the same Function, due to a loop or goto. |
Permitted Connections | ||
---|---|---|
Predecessor | Multiplicity | Successor |
ControlFlow (Node) | ✱ ➞ ✱ | ControlFlow (Node) |