Software Disclaimer

Class UML 2.5::StateInvariant

Description:

A StateInvariant is a runtime constraint on the participants of the Interaction. It may be used to specify a variety of different kinds of Constraints, such as values of Attributes or Variables, internal or external States, and so on. A StateInvariant is an InteractionFragment and it is placed on a Lifeline.

Direct Superclasses: InteractionFragment

Direct Subclasses:

Class Precedence List: StateInvariant, InteractionFragment, NamedElement, Element

Properties:

covered : Lifeline (1 1); -- source StateInvariant
invariant : Constraint (1 1); -- source StateInvariant
enclosingInteraction : Interaction (0 1); -- source InteractionFragment

The Interaction enclosing this InteractionFragment.
Subsets: NamedElement.namespace
Opposite: Interaction.fragment

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

The StringExpression used to define the name of this NamedElement.
{composite}
Subsets: Element.ownedElement

namespace : Namespace (0 1); -- source NamedElement

Specifies the Namespace that owns the NamedElement.
{readonly}
Derived union with sources: (enclosingOperand, enclosingInteraction)
Subsets: Element.owner
Opposite: Namespace.ownedMember

qualifiedName : String (0 1); -- source NamedElement
visibility : VisibilityKind (0 1); -- source NamedElement
ownedComment : Comment (0 *); -- source Element

The Comments owned by this Element.
{composite}
Subsets: Element.ownedElement

ownedElement : Element (0 *); -- source Element
owner : Element (0 1); -- source Element

Constraints:

No additional constraints.

Operations:

No additional operations.



Send questions or comments to [email protected].