Difference between revisions of "XCSG:ControlFlow (Node)"
From AtlasWiki
| Line 1: | Line 1: | ||
| + | A ControlFlow node represents a portion of a [[Method]], usually a simple statement or a portion of a compound statement (such as the initialization, condition, and update expressions of a for loop). | ||
| + | |||
== Specification == | == Specification == | ||
{{Node | {{Node | ||
| extends = Node | | extends = Node | ||
| − | | description = Represents a statement | + | | description = Represents a simple statement, or a portion of a compound statement that plays a role in the control flow of a [[Method]]. |
}} | }} | ||
Revision as of 17:21, 13 May 2014
A ControlFlow node represents a portion of a Method, usually a simple statement or a portion of a compound statement (such as the initialization, condition, and update expressions of a for loop).
Specification
| Metaclass | ControlFlow (Node) |
|---|---|
| Extends | Node |
| Description | Represents a simple statement, or a portion of a compound statement that plays a role in the control flow of a Method. |
| Direct Subkinds | Break, Continue, ControlFlowCondition, Loop |
|---|
| All Superkinds | Node, ModelElement |
|---|
| Specified In Edges | |||
|---|---|---|---|
| In Edge | Predecessor | Multiplicity | Description |
| HasControlFlow | Function | 1 | Connects a Function to any ControlFlow (Node)s it contains. |
| LoopChild | Loop | 0..1 | Connects a Loop node to ControlFlow (Node) |
| Known Possible In Edges | ||||
|---|---|---|---|---|
| In Edge | Predecessor | Multiplicity | Description | |
| 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.
| |
| Inherited From | In Edge | Predecessor | Multiplicity | Description |
| 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 | ||||
|---|---|---|---|---|
| Out Edge | Successor | Multiplicity | Description | |
| 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.
| |
| Inherited From | Out Edge | Successor | Multiplicity | Description |
| Node | Contains | Node | ✱ | Indicates that the predecessor contains the successor in a sense specified by the specific type of Contains edge. |
