Difference between revisions of "XCSG:ControlFlowBackEdge"

From AtlasWiki
Jump to: navigation, search
(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...")
 
m (TheodoreMurdock moved page ControlFlowBackEdge to XCSG:ControlFlowBackEdge)
 
(No difference)

Latest revision as of 17:59, 11 June 2014

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)