XCSG:Continue
From AtlasWiki
Revision as of 16:26, 23 October 2015 by Dgriffen (Talk | contribs) (Created page with "== Specifications == {{Node | extends = ControlFlow (Node) | description = Represents a continue statement or a set of statements ending in a continue statement. }}")
Specifications
Metaclass | Continue |
---|---|
Extends | ControlFlow (Node) |
Description | Represents a continue statement or a set of statements ending in a continue statement. |
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) |
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. |