public interface ProtocolStateMachine extends StateMachine
The following features are supported:
UMLPackage.getProtocolStateMachine()SEPARATOR| Modifier and Type | Method and Description |
|---|---|
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 |
MDWEList<ProtocolConformance> |
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.
|
ancestor, createConnectionPoint, createRegion, getConnectionPoint, getConnectionPoint, getConnectionPoints, getExtendedStateMachine, getExtendedStateMachine, getExtendedStateMachines, getRegion, getRegion, getRegions, getSubmachineState, getSubmachineState, getSubmachineStates, isRedefinitionContextValid, LCA, validateClassifierContext, validateConnectionPoints, validateContextClassifier, validateMethodcreateOwnedParameter, createOwnedParameterSet, createPostcondition, createPostcondition, createPrecondition, createPrecondition, getContext, getOwnedParameter, getOwnedParameter, getOwnedParameters, getOwnedParameterSet, getOwnedParameterSet, getOwnedParameterSets, getPostcondition, getPostcondition, getPostconditions, getPrecondition, getPrecondition, getPreconditions, getRedefinedBehavior, getRedefinedBehavior, getRedefinedBehaviors, getSpecification, isReentrant, setIsReentrant, setSpecification, validateFeatureOfContextClassifier, validateMostOneBehaviour, validateMustRealize, validateParametersMatchcreateNestedClassifier, createOwnedOperation, createOwnedOperation, createOwnedReception, getExtension, getExtension, getExtensions, getNestedClassifier, getNestedClassifier, getNestedClassifiers, getOwnedOperation, getOwnedOperation, getOwnedOperations, getOwnedReception, getOwnedReception, getOwnedReceptions, getSuperClass, getSuperClass, getSuperClasses, isActive, isMetaclass, setIsActive, validatePassiveClasscreateOwnedPort, getOwnedPort, getOwnedPort, getOwnedPortscreateOwnedAttribute, createOwnedAttribute, createOwnedAttribute, createOwnedConnector, getOwnedAttribute, getOwnedAttribute, getOwnedAttributes, getOwnedConnector, getOwnedConnector, getOwnedConnectors, getPart, getPart, getParts, getRole, getRole, getRoles, validateMultiplicitiesallFeatures, allParents, conformsTo, createCollaborationUse, createGeneralization, createOwnedUseCase, createRepresentation, createSubstitution, getAllAttributes, getAllOperations, getAllUsedInterfaces, getAttribute, getAttribute, getAttributes, getCollaborationUse, getCollaborationUse, getCollaborationUses, getFeature, getFeature, getFeatures, getGeneral, getGeneral, getGeneralization, getGeneralization, getGeneralizations, getGenerals, getInheritedMember, getInheritedMember, getInheritedMembers, getOperation, getOperation, getOperations, getOwnedUseCase, getOwnedUseCase, getOwnedUseCases, getPowertypeExtent, getPowertypeExtent, getPowertypeExtents, getRedefinedClassifier, getRedefinedClassifier, getRedefinedClassifiers, getRepresentation, getSubstitution, getSubstitution, getSubstitutions, getUseCase, getUseCase, getUseCases, getUsedInterfaces, hasVisibilityOf, inherit, inheritableMembers, isAbstract, isFinalSpecialization, maySpecializeType, parents, setIsAbstract, setIsFinalSpecialization, setRepresentation, validateGeneralizationHierarchies, validateMapsToGeneralizationSet, validateNoCyclesInGeneralization, validateSpecializeTypecreateElementImport, createElementImport, createOwnedDiagram, createOwnedRule, createOwnedRule, createPackageImport, createPackageImport, excludeCollisions, getElementImport, getElementImport, getElementImports, getImportedElements, getImportedMember, getImportedMember, getImportedMembers, getImportedPackages, getMember, getMember, getMembers, getNamesOfMember, getOwnedDiagrams, getOwnedDiagrams, getOwnedMember, getOwnedMember, getOwnedMembers, getOwnedRule, getOwnedRule, getOwnedRules, getPackageImport, getPackageImport, getPackageImports, importMembers, membersAreDistinguishable, validateMembersDistinguishablegetRedefinedElement, getRedefinedElement, getRedefinedElements, getRedefinitionContext, getRedefinitionContext, getRedefinitionContexts, isConsistentWith, isLeaf, isRedefinitionContextValid, setIsLeaf, validateRedefinitionConsistent, validateRedefinitionContextValidconformsTo, createAssociation, getAssociations, getPackage, setPackageallNamespaces, allOwningPackages, createDependency, createNameExpression, getClientDependencies, getClientDependency, getClientDependency, getLabel, getLabel, getName, getNameExpression, getNamespace, getQualifiedName, getVisibility, isDistinguishableFrom, isSetName, isSetVisibility, separator, setName, setNameExpression, setVisibility, unsetName, unsetVisibility, validateHasNoQualifiedName, validateHasQualifiedName, validateVisibilityNeedsOwnershipgetOwningTemplateParameter, getTemplateParameter, isCompatibleWith, isTemplateParameter, setOwningTemplateParameter, setTemplateParameteraddKeyword, 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, validateNotOwnSelfcompareTo, eExtendedClass, eIsInstanceOf, eIsInstanceOf, eIsProfiled, eIsRemoved, eMetamodel, eMetaTypeName, eModel, eRemove, eSetUniqueID, eUniqueID, superScript, superScript, toBoolean, toBoolean, toByte, toByte, toChar, toChar, toDouble, toDouble, toFloat, toFloat, toInt, toInt, toList, toList, toList, toList, toList, toLong, toLong, toObject, toObject, toSet, toSet, toShort, toShort, toString, toStringgetEAnnotation, getEAnnotationseAllContents, eClass, eContainer, eContainingFeature, eContainmentFeature, eContents, eCrossReferences, eGet, eGet, eInvoke, eIsProxy, eIsSet, eResource, eSet, eUnseteAdapters, eDeliver, eNotify, eSetDelivercreateOwnedTemplateSignature, createOwnedTemplateSignature, createTemplateBinding, getOwnedTemplateSignature, getTemplateBinding, getTemplateBinding, getTemplateBindings, isTemplate, parameterableElements, setOwnedTemplateSignaturecreateClassifierBehavior, createInterfaceRealization, createOwnedBehavior, createOwnedTrigger, getAllImplementedInterfaces, getClassifierBehavior, getImplementedInterfaces, getInterfaceRealization, getInterfaceRealization, getInterfaceRealizations, getOwnedBehavior, getOwnedBehavior, getOwnedBehaviors, getOwnedTrigger, getOwnedTrigger, getOwnedTriggers, setClassifierBehavior, validateClassBehaviorMDWEList<ProtocolConformance> getConformances()
ProtocolConformance.
It is bidirectional and its opposite is 'Specific Machine
'.
Conformance between protocol state machines.
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(DiagnosticChain diagnostics, Map context)
boolean validateEntryExitDo(DiagnosticChain diagnostics, Map context)
boolean validateDeepOrShallowHistory(DiagnosticChain diagnostics, Map context)
boolean validatePortsConnected(DiagnosticChain diagnostics, Map context)