Package com.sodius.mdw.metamodel.uml21

Interface Transition

    • Method Detail

      • setContainer

        void setContainer​(Region value)
        Sets the value of the 'Container' container reference.
        Parameters:
        value - the new value of the 'Container' container reference.
        See Also:
        getContainer()

      • setTarget

        void setTarget​(Vertex value)
        Sets the value of the 'Target' reference.
        Parameters:
        value - the new value of the 'Target' reference.
        See Also:
        getTarget()

      • getGuard

        Constraint getGuard()
        Returns the value of the 'Guard' reference. A guard is a constraint that provides a fine-grained control over the firing of the transition. The guard is evaluated when an event occurrence is dispatched by the state machine. If the guard is true at that time, the transition may be enabled, otherwise, it is disabled. Guards should be pure expressions without side effects. Guard expressions with side effects are ill formed.
        Returns:
        the value of the 'Guard' reference.
        See Also:
        setGuard(Constraint), UMLPackage.getTransition_Guard()

      • setGuard

        void setGuard​(Constraint value)
        Sets the value of the 'Guard' reference.
        Parameters:
        value - the new value of the 'Guard' reference.
        See Also:
        getGuard()

      • createGuard

        Constraint createGuard​(String name,
                       org.eclipse.emf.ecore.EClass eClass)
        Creates a new Constraint, with the specified 'Name', and sets the 'Guard ' reference.
        Parameters:
        name - The 'Name' for the new Constraint, or null.
        eClass - The Ecore class of the Constraint to create.
        Returns:
        The new Constraint.
        See Also:
        getGuard()

      • setEffect

        void setEffect​(Behavior value)
        Sets the value of the 'Effect' containment reference.
        Parameters:
        value - the new value of the 'Effect' containment reference.
        See Also:
        getEffect()

      • createEffect

        Behavior createEffect​(String name,
                      org.eclipse.emf.ecore.EClass eClass)
        Creates a new Behavior, with the specified 'Name', and sets the 'Effect' containment reference.
        Parameters:
        name - The 'Name' for the new Behavior, or null.
        eClass - The Ecore class of the Behavior to create.
        Returns:
        The new Behavior.
        See Also:
        getEffect()

      • getTriggers

        MDWEList<Trigger> getTriggers()
        Returns the value of the 'Trigger' containment reference list. The list contents are of type Trigger. Specifies the triggers that may fire the transition.
        Returns:
        the value of the 'Trigger' containment reference list.
        See Also:
        UMLPackage.getTransition_Trigger()

      • createTrigger

        Trigger createTrigger​(String name)
        Creates a new Trigger, with the specified 'Name', and appends it to the ' Trigger' containment reference list.
        Parameters:
        name - The 'Name' for the new Trigger, or null.
        Returns:
        The new Trigger.
        See Also:
        getTriggers()

      • getTrigger

        Trigger getTrigger​(String name)
        Retrieves the first Trigger with the specified 'Name' from the 'Trigger' containment reference list.
        Parameters:
        name - The 'Name' of the Trigger to retrieve, or null.
        Returns:
        The first Trigger with the specified 'Name', or null.
        See Also:
        getTriggers()

      • getTrigger

        Trigger getTrigger​(String name,
                   boolean ignoreCase,
                   boolean createOnDemand)
        Retrieves the first Trigger with the specified 'Name' from the 'Trigger' containment reference list.
        Parameters:
        name - The 'Name' of the Trigger to retrieve, or null.
        ignoreCase - Whether to ignore case in String comparisons.
        createOnDemand - Whether to create a Trigger on demand if not found.
        Returns:
        The first Trigger with the specified 'Name', or null.
        See Also:
        getTriggers()

      • setSource

        void setSource​(Vertex value)
        Sets the value of the 'Source' reference.
        Parameters:
        value - the new value of the 'Source' reference.
        See Also:
        getSource()

      • validateForkSegmentGuards

        boolean validateForkSegmentGuards​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  Map context)
        A fork segment must not have guards or triggers. (source.oclIsKindOf(Pseudostate) and source.kind = #fork) implies (guard->isEmpty() and trigger->isEmpty())

      • validateJoinSegmentGuards

        boolean validateJoinSegmentGuards​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  Map context)
        A join segment must not have guards or triggers. (target.oclIsKindOf(Pseudostate) and target.kind = #join) implies (guard->isEmpty() and trigger->isEmpty())

      • validateForkSegmentState

        boolean validateForkSegmentState​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 Map context)
        A fork segment must always target a state. (source.oclIsKindOf(Pseudostate) and source.kind = #fork) implies (target.oclIsKindOf(State))

      • validateJoinSegmentState

        boolean validateJoinSegmentState​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                 Map context)
        A join segment must always originate from a state. (target.oclIsKindOf(Pseudostate) and target.kind = #join) implies (source.oclIsKindOf(State))

      • validateOutgoingPseudostates

        boolean validateOutgoingPseudostates​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                     Map context)
        Transitions outgoing pseudostates may not have a trigger. source.oclIsKindOf(Pseudostate) and ((source.kind <> #junction) and (source.kind <> #join) and (source.kind <> #initial)) implies trigger->isEmpty()

      • validateInitialTransition

        boolean validateInitialTransition​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                  Map context)
        An initial transition at the topmost level (region of a statemachine) either has no trigger or it has a trigger with the stereotype <>. self.source.oclIsKindOf(Pseudostate) implies (self.source.oclAsType(Pseudostate).kind = #initial) implies (self.source.container = self.stateMachine.top) implies ((self.trigger->isEmpty) or (self.trigger.stereotype.name = 'create'))

      • validateSignaturesCompatible

        boolean validateSignaturesCompatible​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                     Map context)
        In case of more than one trigger, the signatures of these must be compatible in case the parameters of the signal are assigned to local variables/attributes. true

      • redefinitionContext

        Classifier redefinitionContext()
        The redefinition context of a transition is the nearest containing statemachine. result = let sm = containingStateMachine() in if sm.context->isEmpty() or sm.general->notEmpty() then sm else sm.context endif

      • containingStateMachine

        StateMachine containingStateMachine()
        The query containingStateMachine() returns the state machine that contains the transition either directly or transitively. result = container.containingStateMachine()