XCSG:ControlFlowBackEdge

From AtlasWiki
Revision as of 20:03, 13 May 2014 by TheodoreMurdock (Talk | contribs) (Created page with "== Specification == {{Edge | extends = ControlFlow (Edge) | description = A ControlFlow edge representing a branch or jump to an earlier location in the same Function, due...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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)