|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ProtocolStateMachine
A representation of the model object 'Protocol State Machine'. A ProtocolStateMachine is always defined in the context of a Classifier. It specifies which BehavioralFeatures of the Classifier can be called in which State and under which conditions, thus specifying the allowed invocation sequences on the Classifier's BehavioralFeatures. A ProtocolStateMachine specifies the possible and permitted Transitions on the instances of its context Classifier, together with the BehavioralFeatures that carry the Transitions. In this manner, an instance lifecycle can be specified for a Classifier, by defining the order in which the BehavioralFeatures can be activated and the States through which an instance progresses during its existence.
From package UML::StateMachines.
The following features are supported:
UMLPackage.getProtocolStateMachine()
Field Summary |
---|
Fields inherited from interface org.eclipse.uml2.uml.NamedElement |
---|
SEPARATOR |
Method Summary | |
---|---|
ProtocolConformance |
createConformance(ProtocolStateMachine generalMachine)
Creates a new ProtocolConformance , with the specified 'General Machine', and appends it to the 'Conformance' containment reference list |
ProtocolConformance |
getConformance(ProtocolStateMachine generalMachine)
Retrieves the first ProtocolConformance with the specified 'General Machine' from the 'Conformance' containment reference list |
ProtocolConformance |
getConformance(ProtocolStateMachine generalMachine,
boolean createOnDemand)
Retrieves the first ProtocolConformance with the specified 'General Machine' from the 'Conformance' containment reference list |
org.eclipse.emf.common.util.EList<ProtocolConformance> |
getConformances()
Returns the value of the 'Conformance' containment reference list. |
boolean |
validateDeepOrShallowHistory(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
ProtocolStateMachines cannot have deep or shallow history Pseudostates. |
boolean |
validateEntryExitDo(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
The states of a ProtocolStateMachine cannot have entry, exit, or do activity Behaviors. |
boolean |
validateProtocolTransitions(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
java.util.Map<java.lang.Object,java.lang.Object> context)
All Transitions of a ProtocolStateMachine must be ProtocolTransitions. |
Methods inherited from interface org.eclipse.uml2.uml.StateMachine |
---|
ancestor, createConnectionPoint, createRegion, getConnectionPoint, getConnectionPoint, getConnectionPoints, getExtendedStateMachine, getExtendedStateMachine, getExtendedStateMachines, getRegion, getRegion, getRegions, getSubmachineState, getSubmachineState, getSubmachineStates, LCA, LCAState, validateClassifierContext, validateConnectionPoints, validateContextClassifier, validateMethod |
Methods inherited from interface org.eclipse.uml2.uml.Class |
---|
createNestedClassifier, createOwnedOperation, createOwnedOperation, createOwnedReception, getExtension, getExtension, getExtensions, getNestedClassifier, getNestedClassifier, getNestedClassifiers, getOwnedOperation, getOwnedOperation, getOwnedOperations, getOwnedReception, getOwnedReception, getOwnedReceptions, getSuperClass, getSuperClass, getSuperClasses, isActive, isMetaclass, setIsActive, validatePassiveClass |
Methods inherited from interface org.eclipse.uml2.uml.EncapsulatedClassifier |
---|
createOwnedPort, getOwnedPort, getOwnedPort, getOwnedPort, getOwnedPorts |
Methods inherited from interface org.eclipse.uml2.uml.StructuredClassifier |
---|
allRoles, createOwnedAttribute, createOwnedAttribute, createOwnedAttribute, createOwnedConnector, getOwnedAttribute, getOwnedAttribute, getOwnedAttributes, getOwnedConnector, getOwnedConnector, getOwnedConnectors, getPart, getPart, getParts, getRole, getRole, getRoles |
Methods inherited from interface org.eclipse.uml2.uml.RedefinableElement |
---|
getRedefinedElement, getRedefinedElement, getRedefinedElements, getRedefinitionContext, getRedefinitionContext, getRedefinitionContexts, isConsistentWith, isLeaf, isRedefinitionContextValid, setIsLeaf, validateNonLeafRedefinition, validateRedefinitionConsistent, validateRedefinitionContextValid |
Methods inherited from interface org.eclipse.uml2.uml.Type |
---|
conformsTo, createAssociation, getAssociations, getPackage, setPackage |
Methods inherited from interface org.eclipse.uml2.uml.PackageableElement |
---|
validateNamespaceNeedsVisibility |
Methods inherited from interface org.eclipse.uml2.uml.NamedElement |
---|
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 |
Methods inherited from interface org.eclipse.uml2.uml.ParameterableElement |
---|
getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter |
Methods inherited from interface org.eclipse.emf.ecore.EModelElement |
---|
getEAnnotation, getEAnnotations |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
---|
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnset |
Methods inherited from interface org.eclipse.emf.common.notify.Notifier |
---|
eAdapters, eDeliver, eNotify, eSetDeliver |
Methods inherited from interface org.eclipse.uml2.uml.TemplateableElement |
---|
createOwnedTemplateSignature, createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBinding, getTemplateBinding, getTemplateBindings, isTemplate, parameterableElements, setOwnedTemplateSignature |
Methods inherited from interface org.eclipse.uml2.uml.BehavioredClassifier |
---|
createClassifierBehavior, createInterfaceRealization, createOwnedBehavior, getAllImplementedInterfaces, getClassifierBehavior, getImplementedInterfaces, getInterfaceRealization, getInterfaceRealization, getInterfaceRealizations, getOwnedBehavior, getOwnedBehavior, getOwnedBehaviors, setClassifierBehavior, validateClassBehavior |
Method Detail |
---|
org.eclipse.emf.common.util.EList<ProtocolConformance> getConformances()
ProtocolConformance
.
It is bidirectional and its opposite is 'Specific Machine
'.
This feature subsets the following features:
Conformance between ProtocolStateMachineFrom package UML::StateMachines.
UMLPackage.getProtocolStateMachine_Conformance()
,
ProtocolConformance.getSpecificMachine()
ProtocolConformance createConformance(ProtocolStateMachine generalMachine)
ProtocolConformance
, with the specified 'General Machine', and appends it to the 'Conformance' containment reference list.
generalMachine
- The 'General Machine' for the new ProtocolConformance
, or null
.
ProtocolConformance
.getConformances()
ProtocolConformance getConformance(ProtocolStateMachine generalMachine)
ProtocolConformance
with the specified 'General Machine' from the 'Conformance' containment reference list.
generalMachine
- The 'General Machine' of the ProtocolConformance
to retrieve, or null
.
ProtocolConformance
with the specified 'General Machine', or null
.getConformances()
ProtocolConformance getConformance(ProtocolStateMachine generalMachine, boolean createOnDemand)
ProtocolConformance
with the specified 'General Machine' from the 'Conformance' containment reference list.
generalMachine
- The 'General Machine' of the ProtocolConformance
to retrieve, or null
.createOnDemand
- Whether to create a ProtocolConformance
on demand if not found.
ProtocolConformance
with the specified 'General Machine', or null
.getConformances()
boolean validateProtocolTransitions(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 validateEntryExitDo(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 validateDeepOrShallowHistory(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.
|
Copyright 2003, 2014 IBM Corporation, CEA, and others. All Rights Reserved. |
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |