|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A representation of the model object 'Protocol State Machine'. A protocol state machine is always defined in the context of a classifier. It specifies which operations of the classifier can be called in which state and under which condition, thus specifying the allowed call sequences on the classifier's operations. A protocol state machine presents the possible and permitted transitions on the instances of its context classifier, together with the operations which carry the transitions. In this manner, an instance lifecycle can be created for a classifier, by specifying the order in which the operations can be activated and the states through which an instance progresses during its existence.
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 |
EList |
getConformances()
Returns the value of the 'Conformance' containment reference list. |
boolean |
validateDeepOrShallowHistory(DiagnosticChain diagnostics,
Map context)
Protocol state machines cannot have deep or shallow history pseudostates. |
boolean |
validateEntryExitDo(DiagnosticChain diagnostics,
Map context)
The states of a protocol state machine cannot have entry, exit, or do activity actions. |
boolean |
validatePortsConnected(DiagnosticChain diagnostics,
Map context)
If two ports are connected, then the protocol state machine of the required interface (if defined) must be conformant to the protocol state machine of the provided interface (if defined). |
boolean |
validateProtocolTransitions(DiagnosticChain diagnostics,
Map context)
All transitions of a protocol state machine must be protocol transitions. |
Methods inherited from interface org.eclipse.uml2.uml.StateMachine |
ancestor, createConnectionPoint, createRegion, getConnectionPoint, getConnectionPoint, getConnectionPoints, getExtendedStateMachine, getExtendedStateMachine, getExtendedStateMachines, getRegion, getRegion, getRegions, getSubmachineState, getSubmachineState, getSubmachineStates, isRedefinitionContextValid, LCA, 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, getOwnedPorts |
Methods inherited from interface org.eclipse.uml2.uml.StructuredClassifier |
createOwnedAttribute, createOwnedAttribute, createOwnedAttribute, createOwnedConnector, getOwnedAttribute, getOwnedAttribute, getOwnedAttributes, getOwnedConnector, getOwnedConnector, getOwnedConnectors, getPart, getPart, getParts, getRole, getRole, getRoles, validateMultiplicities |
Methods inherited from interface org.eclipse.uml2.uml.NamedElement |
allNamespaces, allOwningPackages, createDependency, createNameExpression, 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.emf.ecore.EModelElement |
getEAnnotation, getEAnnotations |
Methods inherited from interface org.eclipse.emf.ecore.EObject |
eAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, 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.RedefinableElement |
getRedefinedElement, getRedefinedElement, getRedefinedElements, getRedefinitionContext, getRedefinitionContext, getRedefinitionContexts, isConsistentWith, isLeaf, isRedefinitionContextValid, setIsLeaf, validateRedefinitionConsistent, validateRedefinitionContextValid |
Methods inherited from interface org.eclipse.uml2.uml.Type |
conformsTo, createAssociation, getAssociations, getPackage, setPackage |
Methods inherited from interface org.eclipse.uml2.uml.ParameterableElement |
getOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameter |
Methods inherited from interface org.eclipse.uml2.uml.TemplateableElement |
createOwnedTemplateSignature, createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBinding, getTemplateBinding, getTemplateBindings, isTemplate, parameterableElements, setOwnedTemplateSignature |
Method Detail |
public EList getConformances()
ProtocolConformance
.
It is bidirectional and its opposite is 'Specific Machine
'.
Conformance between protocol state machines.
UMLPackage.getProtocolStateMachine_Conformance()
,
ProtocolConformance.getSpecificMachine()
public 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
.ProtocolStateMachine.getConformances()
public 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
.ProtocolStateMachine.getConformances()
public 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
.ProtocolStateMachine.getConformances()
public boolean validateProtocolTransitions(DiagnosticChain diagnostics, Map context)
public boolean validateEntryExitDo(DiagnosticChain diagnostics, Map context)
public boolean validateDeepOrShallowHistory(DiagnosticChain diagnostics, Map context)
public boolean validatePortsConnected(DiagnosticChain diagnostics, Map context)
|
Copyright 2003, 2006 IBM Corporation and others. All Rights Reserved. |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |