Class UML 2.5::FinalState
Description:
A special kind of State, which, when entered, signifies that the enclosing
Region has completed. If the enclosing Region is directly contained in
a StateMachine and all other Regions in that StateMachine also are completed,
then it means that the entire StateMachine behavior is completed.
Direct Superclasses: StateDirect Subclasses: Class Precedence List: FinalState,
State,
RedefinableElement,
Namespace,
Vertex,
NamedElement,
ElementProperties:
connection :
ConnectionPointReference (0 *); -- source
State connectionPoint :
Pseudostate (0 *); -- source
State deferrableTrigger :
Trigger (0 *); -- source
State doActivity :
Behavior (0 1); -- source
State entry :
Behavior (0 1); -- source
State exit :
Behavior (0 1); -- source
State isComposite : Boolean (1 1); -- source
State isOrthogonal : Boolean (1 1); -- source
State isSimple : Boolean (1 1); -- source
State isSubmachineState : Boolean (1 1); -- source
State redefinedState :
State (0 1); -- source
State redefinitionContext :
Classifier (1 1); -- source
State region :
Region (0 *); -- source
State stateInvariant :
Constraint (0 1); -- source
StateSpecifies conditions that are always true when this State is the current
State. In ProtocolStateMachines state invariants are additional conditions
to the preconditions of the outgoing Transitions, and to the postcondition
of the incoming Transitions.
{
composite}
Subsets: Namespace.ownedRule
submachine :
StateMachine (0 1); -- source
State isLeaf : Boolean (1 1); -- source
RedefinableElement redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement elementImport :
ElementImport (0 *); -- source
Namespace importedMember :
PackageableElement (0 *); -- source
Namespace member :
NamedElement (0 *); -- source
Namespace ownedMember :
NamedElement (0 *); -- source
Namespace ownedRule :
Constraint (0 *); -- source
Namespace packageImport :
PackageImport (0 *); -- source
Namespace container :
Region (0 1); -- source
Vertex incoming :
Transition (0 *); -- source
Vertex outgoing :
Transition (0 *); -- source
Vertex 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
ElementConstraints:
No additional constraints.
Operations:
No additional operations.
Send questions or comments to
[email protected].