Difference between revisions of "XCSG:Loop"
From AtlasWiki
Line 1: | Line 1: | ||
== Specification == | == Specification == | ||
{{Node | {{Node | ||
− | | extends = ControlFlow | + | | extends = ControlFlow (Node) |
| description = Represents an explicit loop in control flow, and indicates the contents of the loop via [[LoopChild]] edges. | | description = Represents an explicit loop in control flow, and indicates the contents of the loop via [[LoopChild]] edges. | ||
}} | }} |
Latest revision as of 16:22, 23 October 2015
Specification
Metaclass | Loop |
---|---|
Extends | ControlFlow (Node) |
Description | Represents an explicit loop in control flow, and indicates the contents of the loop via LoopChild edges. |
All Superkinds | ControlFlow (Node), Node, ModelElement |
---|
Specified In Edges
| ||||
---|---|---|---|---|
Inherited From | In Edge | Predecessor | Multiplicity | Description |
ControlFlow (Node) | HasControlFlow | Function | 1 | Connects a Function to any ControlFlow (Node)s it contains.
|
LoopChild | Loop | 0..1 | Connects a Loop node to ControlFlow (Node) |
Specified Out Edges | |||
---|---|---|---|
Out Edge | Successor | Multiplicity | Description |
LoopChild | ControlFlow (Node) | ✱ | Connects a Loop node to ControlFlow (Node) |
Known Possible In Edges
| ||||
---|---|---|---|---|
Inherited From | In Edge | Predecessor | Multiplicity | Description |
ControlFlow (Node) | ControlFlow (Edge) | ControlFlow (Node) | ✱ | Links Control Flow nodes to other ControlFlow nodes that follow them in the program order of a Function declaration. Multiple edges from the same ControlFlow node indicate branching of control flow.
|
ControlFlowBackEdge | ControlFlow (Node) | ✱ | A ControlFlow edge representing a branch or jump to an earlier location in the same Function, due to a loop or goto. | |
Node | Contains | Node | 1 | Indicates that the predecessor contains the successor in a sense specified by the specific type of Contains edge. |
Known Possible Out Edges
| ||||
---|---|---|---|---|
Inherited From | Out Edge | Successor | Multiplicity | Description |
ControlFlow (Node) | ControlFlow (Edge) | ControlFlow (Node) | ✱ | Links Control Flow nodes to other ControlFlow nodes that follow them in the program order of a Function declaration. Multiple edges from the same ControlFlow node indicate branching of control flow.
|
ControlFlowBackEdge | ControlFlow (Node) | ✱ | A ControlFlow edge representing a branch or jump to an earlier location in the same Function, due to a loop or goto. | |
Node | Contains | Node | ✱ | Indicates that the predecessor contains the successor in a sense specified by the specific type of Contains edge. |