Method Detail

• getConformances

  MDWEList<ProtocolConformance> getConformances()

  Returns the value of the 'Conformance' containment reference list. The list contents are of type ProtocolConformance. It is bidirectional and its opposite is 'Specific Machine'. Conformance between protocol state machines.

  Returns:

  the value of the 'Conformance' containment reference list.

  See Also:

  UMLPackage.getProtocolStateMachine_Conformance(), ProtocolConformance.getSpecificMachine()

• createConformance

  ProtocolConformance createConformance​(ProtocolStateMachine generalMachine)

  Creates a new ProtocolConformance, with the specified 'General Machine', and appends it to the 'Conformance' containment reference list.

  Parameters:

  generalMachine - The 'General Machine' for the new ProtocolConformance, or null.

  Returns:

  The new ProtocolConformance.

  See Also:

  getConformances()

• getConformance

  ProtocolConformance getConformance​(ProtocolStateMachine generalMachine)

  Retrieves the first ProtocolConformance with the specified 'General Machine' from the ' Conformance' containment reference list.

  Parameters:

  generalMachine - The 'General Machine' of the ProtocolConformance to retrieve, or null.

  Returns:

  The first ProtocolConformance with the specified 'General Machine', or null.

  See Also:

  getConformances()

• getConformance

  ProtocolConformance getConformance​(ProtocolStateMachine generalMachine,
                                     boolean createOnDemand)

  Retrieves the first ProtocolConformance with the specified 'General Machine' from the ' Conformance' containment reference list.

  Parameters:

  generalMachine - The 'General Machine' of the ProtocolConformance to retrieve, or null.

  createOnDemand - Whether to create a ProtocolConformance on demand if not found.

  Returns:

  The first ProtocolConformance with the specified 'General Machine', or null.

  See Also:

  getConformances()

• validateProtocolTransitions

  boolean validateProtocolTransitions​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                      Map context)

  All transitions of a protocol state machine must be protocol transitions. (transitions as extended by the ProtocolStateMachines package) region->forAll(r | r.transition->forAll(t | t.oclIsTypeOf(ProtocolTransition)))

• validateEntryExitDo

  boolean validateEntryExitDo​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                              Map context)

  The states of a protocol state machine cannot have entry, exit, or do activity actions. region->forAll(r | r.subvertex->forAll(v | v.oclIsKindOf(State) implies (v.entry->isEmpty() and v.exit->isEmpty() and v.doActivity->isEmpty())))

• validateDeepOrShallowHistory

  boolean validateDeepOrShallowHistory​(org.eclipse.emf.common.util.DiagnosticChain diagnostics,
                                       Map context)

  Protocol state machines cannot have deep or shallow history pseudostates. region->forAll (r | r.subvertex->forAll (v | v.oclIsKindOf(Psuedostate) implies ((v.kind <> #deepHistory) and (v.kind <> #shallowHistory)))))

• validatePortsConnected

  boolean validatePortsConnected​(org.eclipse.emf.common.util.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). true