Class UML 2.4.1::Clause
Description:
A clause is an element that represents a single branch of a conditional
construct, including a test and a body section. The body section is executed
only if (but not necessarily if) the test section evaluates true.
Direct Superclasses: ElementDirect Subclasses: Class Precedence List: Clause,
ElementProperties:
body :
ExecutableNode (0 *); -- source
Clause bodyOutput :
OutputPin (0 *); -- source
Clause decider :
OutputPin (1 1); -- source
Clause predecessorClause :
Clause (0 *); -- source
Clause successorClause :
Clause (0 *); -- source
ClauseA set of clauses which may not be tested unless the current clause tests
false.
Opposite: Clause.predecessorClause
test :
ExecutableNode (1 *); -- source
Clause ownedComment :
Comment (0 *); -- source
Element ownedElement :
Element (0 *); -- source
ElementThe Elements owned by this element.
{
composite,
readonly}
Derived union with sources: (ownedComment)
Opposite: Element.owner
owner :
Element (0 1); -- source
ElementConstraints:
Signature: test_and_body() : Boolean;
Description: The test and body parts must be disjoint.
Expression: true
Signature: decider_output() : Boolean;
Description: The decider output pin must be for the test body or a node contained by
the test body as a structured node.
Expression: true
Signature: body_output_pins() : Boolean;
Description: The bodyOutput pins are output pins on actions in the body of the clause.
Expression: true
Operations:
No additional operations.
Send questions or comments to
[email protected].