Class Rdseff2Lqn
java.lang.Object
org.eclipse.emf.ecore.util.Switch<T>
org.palladiosimulator.pcm.seff.util.SeffSwitch<String>
org.palladiosimulator.solver.transformations.pcm2lqn.Rdseff2Lqn
Visits one SEFF. An
Rdseff2Lqn
instance creates a new
Rdseff2Lqn
instance when visiting an external call, this new one
is responsible for the other SEFF.
Thus, only information local to this SEFF could be stored as member variables here.
Each visitor method (case*) returns the id of the first generated LQN model element,
so that it can be used by the handler of the previous model element
to connect itself to this successor.-
Field Summary
Fields inherited from class org.palladiosimulator.pcm.seff.util.SeffSwitch
copyright, modelPackage
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptioncaseAcquireAction
(org.palladiosimulator.pcm.seff.AcquireAction object) Does nothing yet, is ignored and the visitor continues with the successor.caseBranchAction
(org.palladiosimulator.pcm.seff.BranchAction object) caseCollectionIteratorAction
(org.palladiosimulator.pcm.seff.CollectionIteratorAction object) caseExternalCallAction
(org.palladiosimulator.pcm.seff.ExternalCallAction object) caseForkAction
(org.palladiosimulator.pcm.seff.ForkAction object) caseForkActionOld
(org.palladiosimulator.pcm.seff.ForkAction object) caseInternalAction
(org.palladiosimulator.pcm.seff.InternalAction object) caseLoopAction
(org.palladiosimulator.pcm.seff.LoopAction object) caseReleaseAction
(org.palladiosimulator.pcm.seff.ReleaseAction object) Does nothing yet, is ignored and the visitor continues with the successor.caseResourceDemandingBehaviour
(org.palladiosimulator.pcm.seff.ResourceDemandingBehaviour object) caseResourceDemandingSEFF
(org.palladiosimulator.pcm.seff.ResourceDemandingSEFF object) caseSetVariableAction
(org.palladiosimulator.pcm.seff.SetVariableAction object) caseStartAction
(org.palladiosimulator.pcm.seff.StartAction object) caseStopAction
(org.palladiosimulator.pcm.seff.StopAction object) Methods inherited from class org.palladiosimulator.pcm.seff.util.SeffSwitch
caseAbstractAction, caseAbstractBranchTransition, caseAbstractInternalControlFlowAction, caseAbstractLoopAction, caseCallAction, caseCallReturnAction, caseEmitEventAction, caseEntity, caseFailureHandlingEntity, caseForkedBehaviour, caseGuardedBranchTransition, caseIdentifier, caseInternalCallAction, caseNamedElement, casePCMBaseClass, casePCMClass, caseProbabilisticBranchTransition, caseResourceDemandingInternalBehaviour, caseServiceEffectSpecification, caseSynchronisationPoint, defaultCase, doSwitch, isSwitchFor
-
Constructor Details
-
Rdseff2Lqn
-
-
Method Details
-
caseAcquireAction
Does nothing yet, is ignored and the visitor continues with the successor. Can be implemented with a Semaphore task in LQN. Excerpt from LQN 4.3 documentation: Semaphore Task: Semaphore tasks are used to model passive resources such as buffers. They always have two entries which are used to signal and wait the semaphore. The wait entry must be called using a synchronous request whereas the signal entry can be called using any type of request. Once a request is accepted by the wait entry, no further requests will be accepted until a request is processed by the signal entry. The signal and wait entries do not have to called from a common task. However, the two entries must share a common call graph, and the call graph must be deterministic. The entries themselves can be defined using phases or activies and can make requests to other tasks. Counting semaphores can be modeled using a multiserver.- Overrides:
caseAcquireAction
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseReleaseAction
Does nothing yet, is ignored and the visitor continues with the successor.- Overrides:
caseReleaseAction
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseResourceDemandingSEFF
public String caseResourceDemandingSEFF(org.palladiosimulator.pcm.seff.ResourceDemandingSEFF object) - Overrides:
caseResourceDemandingSEFF
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseLoopAction
- Overrides:
caseLoopAction
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseCollectionIteratorAction
public String caseCollectionIteratorAction(org.palladiosimulator.pcm.seff.CollectionIteratorAction object) - Overrides:
caseCollectionIteratorAction
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseResourceDemandingBehaviour
public String caseResourceDemandingBehaviour(org.palladiosimulator.pcm.seff.ResourceDemandingBehaviour object) - Overrides:
caseResourceDemandingBehaviour
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseStartAction
- Overrides:
caseStartAction
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseBranchAction
- Overrides:
caseBranchAction
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseSetVariableAction
- Overrides:
caseSetVariableAction
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseExternalCallAction
- Overrides:
caseExternalCallAction
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseInternalAction
- Overrides:
caseInternalAction
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseStopAction
- Overrides:
caseStopAction
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-
caseForkActionOld
-
caseForkAction
- Overrides:
caseForkAction
in classorg.palladiosimulator.pcm.seff.util.SeffSwitch<String>
-