Interface FinalState

  • All Superinterfaces:
    Comparable<Object>, Element, org.eclipse.emf.ecore.EModelElement, org.eclipse.emf.ecore.EObject, MDWEObject, MDWObject, NamedElement, Namespace, org.eclipse.emf.common.notify.Notifier, RedefinableElement, State, Vertex

    public interface FinalState
    extends State
    A representation of the model object 'Final State'. 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.
    See Also:
    UMLPackage.getFinalState()
    • Method Detail

      • validateNoOutgoingTransitions

        boolean validateNoOutgoingTransitions​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                              Map context)
        A final state cannot have any outgoing transitions. self.outgoing->size() = 0
      • validateNoRegions

        boolean validateNoRegions​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  Map context)
        A final state cannot have regions. self.region->size() = 0
      • validateCannotReferenceSubmachine

        boolean validateCannotReferenceSubmachine​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                                  Map context)
        A final state cannot reference a submachine. self.submachine->isEmpty()
      • validateNoEntryBehavior

        boolean validateNoEntryBehavior​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        Map context)
        A final state has no entry behavior. self.entry->isEmpty()
      • validateNoExitBehavior

        boolean validateNoExitBehavior​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       Map context)
        A final state has no exit behavior. self.exit->isEmpty()
      • validateNoStateBehavior

        boolean validateNoStateBehavior​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                        Map context)
        A final state has no state (doActivity) behavior. self.doActivity->isEmpty()