public interface Transition extends Namespace, RedefinableElement
From package UML::StateMachines.
The following features are supported:
UMLPackage.getTransition()
SEPARATOR
Modifier and Type | Method and Description |
---|---|
StateMachine |
containingStateMachine()
The query containingStateMachine() returns the StateMachine that contains the Transition either directly or transitively.
|
Behavior |
createEffect(java.lang.String name,
org.eclipse.emf.ecore.EClass eClass)
Creates a new
Behavior , with the specified 'Name', and sets the 'Effect' containment reference |
Constraint |
createGuard(java.lang.String name)
Creates a new
Constraint ,with the specified 'Name', and sets the 'Guard' reference |
Constraint |
createGuard(java.lang.String name,
org.eclipse.emf.ecore.EClass eClass)
Creates a new
Constraint , with the specified 'Name', and sets the 'Guard' reference |
Trigger |
createTrigger(java.lang.String name)
Creates a new
Trigger , with the specified 'Name', and appends it to the 'Trigger' containment reference list |
Region |
getContainer()
Returns the value of the 'Container' container reference.
|
Behavior |
getEffect()
Returns the value of the 'Effect' containment reference.
|
Constraint |
getGuard()
Returns the value of the 'Guard' reference.
|
TransitionKind |
getKind()
Returns the value of the 'Kind' attribute.
|
Transition |
getRedefinedTransition()
Returns the value of the 'Redefined Transition' reference.
|
Vertex |
getSource()
Returns the value of the 'Source' reference
|
Vertex |
getTarget()
Returns the value of the 'Target' reference
|
Trigger |
getTrigger(java.lang.String name)
Retrieves the first
Trigger with the specified 'Name' from the 'Trigger' containment reference list |
Trigger |
getTrigger(java.lang.String name,
boolean ignoreCase,
boolean createOnDemand)
Retrieves the first
Trigger with the specified 'Name' from the 'Trigger' containment reference list |
org.eclipse.emf.common.util.EList<Trigger> |
getTriggers()
Returns the value of the 'Trigger' containment reference list.
|
Classifier |
redefinitionContext()
The redefinition context of a Transition is the nearest containing StateMachine.
|
void |
setContainer(Region value)
Sets the value of the '
Container ' container reference |
void |
setEffect(Behavior value)
Sets the value of the '
Effect ' containment reference |
void |
setGuard(Constraint value)
Sets the value of the '
Guard ' reference |
void |
setKind(TransitionKind value)
Sets the value of the '
Kind ' attribute |
void |
setRedefinedTransition(Transition value)
Sets the value of the '
Redefined Transition ' reference |
void |
setSource(Vertex value)
Sets the value of the '
Source ' reference |
void |
setTarget(Vertex value)
Sets the value of the '
Target ' reference |
boolean |
validateForkSegmentGuards(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A fork segment must not have Guards or Triggers.
|
boolean |
validateForkSegmentState(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A fork segment must always target a State.
|
boolean |
validateInitialTransition(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
An initial Transition at the topmost level Region of a StateMachine that has no Trigger.
|
boolean |
validateJoinSegmentGuards(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A join segment must not have Guards or Triggers.
|
boolean |
validateJoinSegmentState(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A join segment must always originate from a State.
|
boolean |
validateOutgoingPseudostates(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
Transitions outgoing Pseudostates may not have a Trigger.
|
boolean |
validateStateIsExternal(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A Transition with kind external can source any Vertex except entry points.
|
boolean |
validateStateIsInternal(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A Transition with kind internal must have a State as its source, and its source and target must be equal.
|
boolean |
validateStateIsLocal(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
A Transition with kind local must have a composite State or an entry point as its source.
|
createElementImport, createElementImport, createOwnedRule, createOwnedRule, createPackageImport, createPackageImport, excludeCollisions, getElementImport, getElementImport, getElementImports, getImportedElements, getImportedMember, getImportedMember, getImportedMembers, getImportedPackages, getMember, getMember, getMembers, getNamesOfMember, getOwnedMember, getOwnedMember, getOwnedMembers, getOwnedRule, getOwnedRule, getOwnedRules, getPackageImport, getPackageImport, getPackageImports, importMembers, membersAreDistinguishable, validateCannotImportOwnedMembers, validateCannotImportSelf, validateMembersDistinguishable
getRedefinedElement, getRedefinedElement, getRedefinedElements, getRedefinitionContext, getRedefinitionContext, getRedefinitionContexts, isConsistentWith, isLeaf, isRedefinitionContextValid, setIsLeaf, validateNonLeafRedefinition, validateRedefinitionConsistent, validateRedefinitionContextValid
allNamespaces, allOwningPackages, createDependency, createNameExpression, createUsage, getClientDependencies, getClientDependency, getClientDependency, getLabel, getLabel, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, isSetName, isSetVisibility, separator, setName, setNameExpression, setVisibility, unsetName, unsetVisibility, validateHasNoQualifiedName, validateHasQualifiedName, validateVisibilityNeedsOwnership
addKeyword, allOwnedElements, applyStereotype, createEAnnotation, createOwnedComment, destroy, getApplicableStereotype, getApplicableStereotypes, getAppliedStereotype, getAppliedStereotypes, getAppliedSubstereotype, getAppliedSubstereotypes, getKeywords, getModel, getNearestPackage, getOwnedComments, getOwnedElements, getOwner, getRelationships, getRelationships, getRequiredStereotype, getRequiredStereotypes, getSourceDirectedRelationships, getSourceDirectedRelationships, getStereotypeApplication, getStereotypeApplications, getTargetDirectedRelationships, getTargetDirectedRelationships, getValue, hasKeyword, hasValue, isStereotypeApplicable, isStereotypeApplied, isStereotypeRequired, mustBeOwned, removeKeyword, setValue, unapplyStereotype, validateHasOwner, validateNotOwnSelf
getEAnnotation, getEAnnotations
TransitionKind getKind()
"external"
.
The literals are from the enumeration TransitionKind
.
Indicates the precise type of the Transition.
From package UML::StateMachines.
TransitionKind
,
setKind(TransitionKind)
,
UMLPackage.getTransition_Kind()
void setKind(TransitionKind value)
Kind
' attribute.
value
- the new value of the 'Kind' attribute.TransitionKind
,
getKind()
Region getContainer()
Transition
'.
This feature subsets the following features:
Designates the Region that owns this Transition.From package UML::StateMachines.
setContainer(Region)
,
UMLPackage.getTransition_Container()
,
Region.getTransitions()
void setContainer(Region value)
Container
' container reference.
value
- the new value of the 'Container' container reference.getContainer()
boolean validateStateIsExternal(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
Vertex getTarget()
From package UML::StateMachines.
setTarget(Vertex)
,
UMLPackage.getTransition_Target()
void setTarget(Vertex value)
Target
' reference.
value
- the new value of the 'Target' reference.getTarget()
Transition getRedefinedTransition()
This feature subsets the following features:
The Transition that is redefined by this Transition.From package UML::StateMachines.
setRedefinedTransition(Transition)
,
UMLPackage.getTransition_RedefinedTransition()
void setRedefinedTransition(Transition value)
Redefined Transition
' reference.
value
- the new value of the 'Redefined Transition' reference.getRedefinedTransition()
Constraint getGuard()
This feature subsets the following features:
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 StateMachine. 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.From package UML::StateMachines.
setGuard(Constraint)
,
UMLPackage.getTransition_Guard()
void setGuard(Constraint value)
Guard
' reference.
value
- the new value of the 'Guard' reference.getGuard()
Constraint createGuard(java.lang.String name, org.eclipse.emf.ecore.EClass eClass)
Constraint
, with the specified 'Name', and sets the 'Guard' reference.
name
- The 'Name' for the new Constraint
, or null
.eClass
- The Ecore class of the Constraint
to create.Constraint
.getGuard()
Constraint createGuard(java.lang.String name)
Constraint
,with the specified 'Name', and sets the 'Guard' reference.
name
- The 'Name' for the new Constraint
, or null
.Constraint
.getGuard()
Behavior getEffect()
This feature subsets the following features:
Specifies an optional behavior to be performed when the Transition fires.From package UML::StateMachines.
setEffect(Behavior)
,
UMLPackage.getTransition_Effect()
void setEffect(Behavior value)
Effect
' containment reference.
value
- the new value of the 'Effect' containment reference.getEffect()
Behavior createEffect(java.lang.String name, org.eclipse.emf.ecore.EClass eClass)
Behavior
, with the specified 'Name', and sets the 'Effect' containment reference.
name
- The 'Name' for the new Behavior
, or null
.eClass
- The Ecore class of the Behavior
to create.Behavior
.getEffect()
org.eclipse.emf.common.util.EList<Trigger> getTriggers()
Trigger
.
This feature subsets the following features:
Specifies the Triggers that may fire the transition.From package UML::StateMachines.
UMLPackage.getTransition_Trigger()
Trigger createTrigger(java.lang.String name)
Trigger
, with the specified 'Name', and appends it to the 'Trigger' containment reference list.
name
- The 'Name' for the new Trigger
, or null
.Trigger
.getTriggers()
Trigger getTrigger(java.lang.String name)
Trigger
with the specified 'Name' from the 'Trigger' containment reference list.
name
- The 'Name' of the Trigger
to retrieve, or null
.Trigger
with the specified 'Name', or null
.getTriggers()
Trigger getTrigger(java.lang.String name, boolean ignoreCase, boolean createOnDemand)
Trigger
with the specified 'Name' from the 'Trigger' containment reference list.
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.Trigger
with the specified 'Name', or null
.getTriggers()
Vertex getSource()
From package UML::StateMachines.
setSource(Vertex)
,
UMLPackage.getTransition_Source()
void setSource(Vertex value)
Source
' reference.
value
- the new value of the 'Source' reference.getSource()
boolean validateForkSegmentGuards(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateJoinSegmentGuards(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateStateIsInternal(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateForkSegmentState(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateJoinSegmentState(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateOutgoingPseudostates(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateInitialTransition(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
boolean validateStateIsLocal(org.eclipse.emf.common.util.DiagnosticChain diagnostics, java.util.Map<java.lang.Object,java.lang.Object> context)
diagnostics
- The chain of diagnostics to which problems are to be appended.context
- The cache of context-specific information.
Classifier redefinitionContext()
From package UML::StateMachines.
StateMachine containingStateMachine()
From package UML::StateMachines.