Software Disclaimer

Class UML 2.3::CombinedFragment

Description:

A combined fragment defines an expression of interaction fragments. A combined fragment is defined by an interaction operator and corresponding interaction operands. Through the use of combined fragments the user will be able to describe a number of traces in a compact and concise manner.

Direct Superclasses: InteractionFragment

Direct Subclasses: ConsiderIgnoreFragment

Class Precedence List: CombinedFragment, InteractionFragment, NamedElement, Element

Properties:

cfragmentGate : Gate (0 *); -- source CombinedFragment
interactionOperator : InteractionOperatorKind (1 1); -- source CombinedFragment
operand : InteractionOperand (1 *); -- source CombinedFragment
covered : Lifeline (0 *); -- source InteractionFragment
enclosingInteraction : Interaction (0 1); -- source InteractionFragment
enclosingOperand : InteractionOperand (0 1); -- source InteractionFragment
generalOrdering : GeneralOrdering (0 *); -- source InteractionFragment
clientDependency : Dependency (0 *); -- source NamedElement
name : String (0 1); -- source NamedElement
nameExpression : StringExpression (0 1); -- source NamedElement
namespace : Namespace (0 1); -- source NamedElement
qualifiedName : String (0 1); -- source NamedElement
visibility : VisibilityKind (0 1); -- source NamedElement
ownedComment : Comment (0 *); -- source Element
ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

Signature: opt_loop_break_neg() : Boolean;
Description: If the interactionOperator is opt, loop, break, assert or neg, there must be exactly one operand.
Expression: true

Signature: minint_and_maxint() : Boolean;
Description: The InteractionConstraint with minint and maxint only apply when attached to an InteractionOperand where the interactionOperator is loop.
Expression: true

Signature: consider_and_ignore() : Boolean;
Description: The interaction operators 'consider' and 'ignore' can only be used for the CombineIgnoreFragment subtype of CombinedFragment
The OCL used here is not normative.
Editor's notes: CombineIgnoreFragment not defined.
Expression: true
Original: ((interactionOperator = #consider) or (interactionOperator = #ignore)) implies oclsisTypeOf(CombineIgnoreFragment)

Signature: break() : Boolean;
Description: If the interactionOperator is break, the corresponding InteractionOperand must cover all Lifelines within the enclosing InteractionFragment.
Expression: true

Operations:

No additional operations.



Send questions or comments to [email protected].