Software Disclaimer

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

Direct Subclasses:

Class Precedence List: Clause, Element

Properties:

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

An output pin within the test fragment the value of which is examined after execution of the test to determine whether the body should be executed.

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

Constraints:

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].