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) |
