Software Disclaimer

Class UML 2.3::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
decider : OutputPin (1 1); -- source Clause
predecessorClause : Clause (0 *); -- source Clause
successorClause : Clause (0 *); -- source Clause
test : ExecutableNode (1 *); -- source Clause
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element


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 [email protected].