Class UML 2.4.1::LoopNode

Description:

A loop node is a structured activity node that represents a loop with setup, test, and body sections.

Direct Superclasses: StructuredActivityNode

Direct Subclasses:

Class Precedence List: LoopNode, StructuredActivityNode, Action, ExecutableNode, ActivityNode, RedefinableElement, Namespace, ActivityGroup, NamedElement, Element

Properties:

bodyOutput : OutputPin (0 *); -- source LoopNode
bodyPart : ExecutableNode (0 *); -- source LoopNode
decider : OutputPin (1 1); -- source LoopNode
isTestedFirst : Boolean (1 1); -- source LoopNode
loopVariable : OutputPin (0 *); -- source LoopNode
loopVariableInput : InputPin (0 *); -- source LoopNode
result : OutputPin (0 *); -- source LoopNode
setupPart : ExecutableNode (0 *); -- source LoopNode
test : ExecutableNode (1 *); -- source LoopNode
activity : Activity (0 1); -- source StructuredActivityNode
edge : ActivityEdge (0 *); -- source StructuredActivityNode
mustIsolate : Boolean (1 1); -- source StructuredActivityNode
node : ActivityNode (0 *); -- source StructuredActivityNode
variable : Variable (0 *); -- source StructuredActivityNode
context : Classifier (0 1); -- source Action
input : InputPin (0 *); -- source Action
isLocallyReentrant : Boolean (1 1); -- source Action
localPostcondition : Constraint (0 *); -- source Action
localPrecondition : Constraint (0 *); -- source Action
output : OutputPin (0 *); -- source Action
handler : ExceptionHandler (0 *); -- source ExecutableNode
inGroup : ActivityGroup (0 *); -- source ActivityNode
inInterruptibleRegion : InterruptibleActivityRegion (0 *); -- source ActivityNode
inPartition : ActivityPartition (0 *); -- source ActivityNode
inStructuredNode : StructuredActivityNode (0 1); -- source ActivityNode
incoming : ActivityEdge (0 *); -- source ActivityNode
outgoing : ActivityEdge (0 *); -- source ActivityNode
redefinedNode : ActivityNode (0 *); -- source ActivityNode
isLeaf : Boolean (1 1); -- source RedefinableElement
redefinedElement : RedefinableElement (0 *); -- source RedefinableElement
redefinitionContext : Classifier (0 *); -- source RedefinableElement
elementImport : ElementImport (0 *); -- source Namespace
importedMember : PackageableElement (0 *); -- source Namespace
member : NamedElement (0 *); -- source Namespace
ownedMember : NamedElement (0 *); -- source Namespace
ownedRule : Constraint (0 *); -- source Namespace
packageImport : PackageImport (0 *); -- source Namespace
containedEdge : ActivityEdge (0 *); -- source ActivityGroup
containedNode : ActivityNode (0 *); -- source ActivityGroup
subgroup : ActivityGroup (0 *); -- source ActivityGroup
superGroup : ActivityGroup (0 1); -- source ActivityGroup
clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement
nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement
qualifiedName : String (0 1); -- source NamedElement
visibility : VisibilityKind (0 1); -- source NamedElement
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

Signature: result_no_incoming() : Boolean;
Description: The result output pins have no incoming edges.
Expression: true

Signature: input_edges() : Boolean;
Description: Loop variable inputs must not have outgoing edges.
Expression: true

Signature: executable_nodes() : Boolean;
Description: The union of the ExecutableNodes in the setupPart, test and bodyPart of a LoopNode must be the same as the subset of nodes contained in the LoopNode (considered as a StructuredActivityNode) that are ExecutableNodes.
Expression: true

Signature: body_output_pins() : Boolean;
Description: The bodyOutput pins are output pins on actions in the body of the loop node.
Expression: true

Operations:

No additional operations.

---

Send questions or comments to [email protected].