Class UML 2.4.1::FinalState
Description:
A special kind of state signifying that the enclosing region is completed.
If the enclosing region is directly contained in a state machine and all
other regions in the state machine also are completed, then it means that
the entire state machine is completed.
Direct Superclasses: StateDirect Subclasses: Class Precedence List: FinalState,
State,
Namespace,
RedefinableElement,
Vertex,
NamedElement,
ElementProperties:
![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
connection :
ConnectionPointReference (0 *); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
connectionPoint :
Pseudostate (0 *); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
deferrableTrigger :
Trigger (0 *); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
doActivity :
Behavior (0 1); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
entry :
Behavior (0 1); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
exit :
Behavior (0 1); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
isComposite : Boolean (1 1); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
isOrthogonal : Boolean (1 1); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
isSimple : Boolean (1 1); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
isSubmachineState : Boolean (1 1); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
redefinedState :
State (0 1); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
redefinitionContext :
Classifier (1 1); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
region :
Region (0 *); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
stateInvariant :
Constraint (0 1); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
submachine :
StateMachine (0 1); -- source
State![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
elementImport :
ElementImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
importedMember :
PackageableElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
member :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
ownedMember :
NamedElement (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
ownedRule :
Constraint (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
packageImport :
PackageImport (0 *); -- source
Namespace![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
isLeaf : Boolean (1 1); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
redefinedElement :
RedefinableElement (0 *); -- source
RedefinableElement![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
container :
Region (0 1); -- source
Vertex![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
incoming :
Transition (0 *); -- source
Vertex![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
outgoing :
Transition (0 *); -- source
Vertex![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
clientDependency :
Dependency (0 *); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
name : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
nameExpression :
StringExpression (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
namespace :
Namespace (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
qualifiedName : String (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
visibility :
VisibilityKind (0 1); -- source
NamedElement![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
ownedComment :
Comment (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
ownedElement :
Element (0 *); -- source
Element![](/se-interop/image/down-arrow.png?hunchentoot-session=173931%3AE29EBF003F827B7DEB4E7C9C8A6259E0)
owner :
Element (0 1); -- source
ElementConstraints:
Signature: no_state_behavior() : Boolean;
Description: A final state has no state (doActivity) behavior.
Expression: self.doActivity->isEmpty()
Signature: no_regions() : Boolean;
Description: A final state cannot have regions.
Expression: self.region->size() = 0
Signature: no_outgoing_transitions() : Boolean;
Description: A final state cannot have any outgoing transitions.
Expression: self.outgoing->size() = 0
Signature: no_exit_behavior() : Boolean;
Description: A final state has no exit behavior.
Expression: self.exit->isEmpty()
Signature: no_entry_behavior() : Boolean;
Description: A final state has no entry behavior.
Expression: self.entry->isEmpty()
Signature: cannot_reference_submachine() : Boolean;
Description: A final state cannot reference a submachine.
Expression: self.submachine->isEmpty()
Operations:
No additional operations.
Send questions or comments to
[email protected].