Software Disclaimer

Class UML 2.4.1::Clause


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: Element

Direct Subclasses:

Class Precedence List: Clause, Element


body : ExecutableNode (0 *); -- source Clause
bodyOutput : OutputPin (0 *); -- source Clause

A list of output pins within the body fragment whose values are moved to the result pins of the containing conditional node after execution of the clause body.

decider : OutputPin (1 1); -- source Clause
predecessorClause : Clause (0 *); -- source Clause
successorClause : Clause (0 *); -- source Clause

A 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 Element
owner : Element (0 1); -- source Element

The Element that owns this element.
Derived union with sources: ()
Opposite: Element.ownedElement


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


No additional operations.

Send questions or comments to