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: StructuredActivityNodeDirect Subclasses: Class Precedence List: LoopNode,
StructuredActivityNode,
Action,
ExecutableNode,
ActivityNode,
RedefinableElement,
Namespace,
ActivityGroup,
NamedElement,
ElementProperties:
bodyOutput :
OutputPin (0 *); -- source
LoopNodeA list of output pins within the body fragment the values of which are
moved to the loop variable pins after completion of execution of the body,
before the next iteration of the loop begins or before the loop exits.
{
ordered}
bodyPart :
ExecutableNode (0 *); -- source
LoopNode decider :
OutputPin (1 1); -- source
LoopNodeAn output pin within the test fragment the value of which is examined after
execution of the test to determine whether to execute the loop body.
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
ExecutableNodeA set of exception handlers that are examined if an uncaught exception
propagates to the outer level of the executable node.
{
composite}
Subsets: Element.ownedElement
Opposite: ExceptionHandler.protectedNode
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
RedefinableElementReferences the contexts that this element may be redefined from.
{
readonly}
Derived union with sources: ()
elementImport :
ElementImport (0 *); -- source
Namespace importedMember :
PackageableElement (0 *); -- source
NamespaceReferences the PackageableElements that are members of this Namespace as
a result of either PackageImports or ElementImports.
{
readonly,
derived}
Subsets: Namespace.member
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
ElementConstraints:
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].