Interface ILoopNode
The public interface for LoopNode
[DefaultImplementationType(typeof(LoopNode))]
[XmlDefaultImplementationType(typeof(LoopNode))]
[ModelRepresentationClass("http://www.eclipse.org/uml2/5.0.0/UML#//LoopNode")]
public interface ILoopNode : IStructuredActivityNode, IActivityGroup, INamespace, IAction, IExecutableNode, IActivityNode, IActivityContent, IRedefinableElement, INamedElement, IElement, IEModelElement, IModelElement, INotifyPropertyChanged, INotifyPropertyChanging- Inherited Members
Properties
BodyOutput
The OutputPins on Actions within the bodyPart, the values of which are moved to the loopVariable OutputPins after the completion of each execution of the bodyPart, before the next iteration of the loop begins or before the loop exits. <p>From package UML::Actions.</p>
[XmlElementName("bodyOutput")]
[XmlAttribute(true)]
IOrderedSetExpression<IOutputPin> BodyOutput { get; }Property Value
BodyPart
The set of ExecutableNodes that perform the repetitive computations of the loop. The bodyPart is executed as long as the test section produces a true value. <p>From package UML::Actions.</p>
[XmlElementName("bodyPart")]
[XmlAttribute(true)]
ISetExpression<IExecutableNode> BodyPart { get; }Property Value
Decider
An OutputPin on an Action in the test section whose Boolean value determines whether to continue executing the loop bodyPart. <p>From package UML::Actions.</p>
[XmlElementName("decider")]
[XmlAttribute(true)]
IOutputPin Decider { get; set; }Property Value
IsTestedFirst
If true, the test is performed before the first execution of the bodyPart. If false, the bodyPart is executed once before the test is performed. <p>From package UML::Actions.</p>
[TypeConverter(typeof(LowercaseBooleanConverter))]
[XmlElementName("isTestedFirst")]
[XmlAttribute(true)]
bool IsTestedFirst { get; set; }Property Value
LoopVariable
A list of OutputPins that hold the values of the loop variables during an execution of the loop. When the test fails, the values are moved to the result OutputPins of the loop. <p>From package UML::Actions.</p>
[Browsable(false)]
[XmlElementName("loopVariable")]
[XmlAttribute(false)]
[Containment]
IOrderedSetExpression<IOutputPin> LoopVariable { get; }Property Value
LoopVariableInput
A list of InputPins whose values are moved into the loopVariable Pins before the first iteration of the loop. <p>From package UML::Actions.</p>
[Browsable(false)]
[XmlElementName("loopVariableInput")]
[XmlAttribute(false)]
[Containment]
IOrderedSetExpression<IInputPin> LoopVariableInput { get; }Property Value
Result
A list of OutputPins that receive the loopVariable values after the last iteration of the loop and constitute the output of the LoopNode. <p>From package UML::Actions.</p>
[Browsable(false)]
[XmlElementName("result")]
[XmlAttribute(false)]
[Containment]
IOrderedSetExpression<IOutputPin> Result { get; }Property Value
SetupPart
The set of ExecutableNodes executed before the first iteration of the loop, in order to initialize values or perform other setup computations. <p>From package UML::Actions.</p>
[XmlElementName("setupPart")]
[XmlAttribute(true)]
ISetExpression<IExecutableNode> SetupPart { get; }Property Value
Test
The set of ExecutableNodes executed in order to provide the test result for the loop. <p>From package UML::Actions.</p>
[LowerBound(1)]
[XmlElementName("test")]
[XmlAttribute(true)]
ISetExpression<IExecutableNode> Test { get; }Property Value
Methods
Body_output_pins(object, object)
The bodyOutput pins are OutputPins on Actions in the body of the LoopNode. bodyPart.oclAsType(Action).allActions().output->includesAll(bodyOutput)
bool Body_output_pins(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Executable_nodes(object, object)
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. setupPart->union(test)->union(bodyPart)=node->select(oclIsKindOf(ExecutableNode)).oclAsType(ExecutableNode)->asSet()
bool Executable_nodes(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Input_edges(object, object)
The loopVariableInputs must not have outgoing edges. loopVariableInput.outgoing->isEmpty()
bool Input_edges(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Loop_variable_outgoing(object, object)
All ActivityEdges outgoing from loopVariable OutputPins must have targets within the LoopNode. allOwnedNodes()->includesAll(loopVariable.outgoing.target)
bool Loop_variable_outgoing(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Matching_loop_variables(object, object)
A LoopNode must have the same number of loopVariableInputs and loopVariables, and they must match in type, uniqueness and multiplicity. loopVariableInput->size()=loopVariable->size() and loopVariableInput.type=loopVariable.type and loopVariableInput.isUnique=loopVariable.isUnique and loopVariableInput.lower=loopVariable.lower and loopVariableInput.upper=loopVariable.upper
bool Matching_loop_variables(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Matching_output_pins(object, object)
A LoopNode must have the same number of bodyOutput Pins as loopVariables, and each bodyOutput Pin must be compatible with the corresponding loopVariable (by positional order) in type, multiplicity, ordering and uniqueness. bodyOutput->size()=loopVariable->size() and Sequence{1..loopVariable->size()}->forAll(i | bodyOutput->at(i).type.conformsTo(loopVariable->at(i).type) and bodyOutput->at(i).isOrdered = loopVariable->at(i).isOrdered and bodyOutput->at(i).isUnique = loopVariable->at(i).isUnique and loopVariable->at(i).includesMultiplicity(bodyOutput->at(i)))
bool Matching_output_pins(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Matching_result_pins(object, object)
A LoopNode must have the same number of result OutputPins and loopVariables, and they must match in type, uniqueness and multiplicity. result->size()=loopVariable->size() and result.type=loopVariable.type and result.isUnique=loopVariable.isUnique and result.lower=loopVariable.lower and result.upper=loopVariable.upper
bool Matching_result_pins(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Result_no_incoming(object, object)
The result OutputPins have no incoming edges. result.incoming->isEmpty()
bool Result_no_incoming(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.
Returns
Setup_test_and_body(object, object)
The test and body parts of a ConditionalNode must be disjoint with each other. setupPart->intersection(test)->isEmpty() and setupPart->intersection(bodyPart)->isEmpty() and test->intersection(bodyPart)->isEmpty()
bool Setup_test_and_body(object diagnostics, object context)Parameters
diagnosticsobjectThe chain of diagnostics to which problems are to be appended.
contextobjectThe cache of context-specific information.