XCSG:ControlFlowSwitchCondition

From AtlasWiki
Jump to: navigation, search

Specifications

Metaclass ControlFlowSwitchCondition
Extends ControlFlowCondition
Description A ControlFlow (Node) that represents the condition of a switch statement.
All Superkinds ControlFlowCondition, 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.