Package org.palladiosimulator.pcm.seff

Interface BranchAction

All Superinterfaces:

AbstractAction, AbstractInternalControlFlowAction, org.eclipse.emf.cdo.CDOObject, org.eclipse.emf.cdo.common.id.CDOWithID, Entity, EObject, de.uka.ipd.sdq.identifier.Identifier, NamedElement, Notifier, PCMBaseClass, PCMClass

All Known Implementing Classes:

BranchActionImpl

public interface BranchAction
extends AbstractInternalControlFlowAction

A representation of the model object 'Branch Action'. The BranchAction splits the RDSEFF control flow with an XOR-semantic, meaning that the control flow continues on exactly one of its attached AbstractBranchTransitions. The RDSEFF supports two different kinds of branch transitions, GuardedBranchTransitions, and ProbabilisticBranchTransitions. RDSEFFs do not allow to use both kinds of transitions on a single BranchAction. Analysis or simulation tools must select exactly one transition based on the included guard or probability, before continuing at a BranchAction.

The following features are supported:

• Branches Branch

See Also:

• SeffPackage.getBranchAction()

Generated class or method.

EMF model class or method.

annotation="http://www.eclipse.org/emf/2002/Ecore constraints='eitherGuardedBranchesOrProbabilisiticBranchTransitions allProbabilisticBranchProbabilitiesMustSumUpTo1'" annotation="http://www.eclipse.org/emf/2002/Ecore/OCL/LPG eitherGuardedBranchesOrProbabilisiticBranchTransitions='self.branches_Branch->forAll(bt|bt.oclIsTypeOf(ProbabilisticBranchTransition)) \r\nor self.branches_Branch->forAll(bt|bt.oclIsTypeOf(GuardedBranchTransition))' allProbabilisticBranchProbabilitiesMustSumUpTo1='if self.branches_Branch->forAll(oclIsTypeOf(ProbabilisticBranchTransition)) then \r\n\tself.branches_Branch->select(pbt|pbt.oclIsTypeOf(ProbabilisticBranchTransition))->collect(pbt|pbt.oclAsType(ProbabilisticBranchTransition).branchProbability)->sum() > 0.9999 \r\n\tand self.branches_Branch->select(pbt|pbt.oclIsTypeOf(ProbabilisticBranchTransition))->collect(pbt|pbt.oclAsType(ProbabilisticBranchTransition).branchProbability)->sum() < 1.0001 \r\n\telse true \r\nendif'"

Field Summary

Fields

Modifier and Type	Field	Description
static final String	copyright

Method Summary

Modifier and Type	Method	Description
EList<AbstractBranchTransition>	getBranches_Branch()	Returns the value of the 'Branches Branch' containment reference list.

Methods inherited from interface org.palladiosimulator.pcm.seff.AbstractAction

getPredecessor_AbstractAction, getResourceDemandingBehaviour_AbstractAction, getSuccessor_AbstractAction, setPredecessor_AbstractAction, setResourceDemandingBehaviour_AbstractAction, setSuccessor_AbstractAction

Methods inherited from interface org.palladiosimulator.pcm.seff.AbstractInternalControlFlowAction

getInfrastructureCall__Action, getResourceCall__Action, getResourceDemand_Action

Methods inherited from interface org.eclipse.emf.cdo.CDOObject

cdoConflict, cdoDirectResource, cdoHistory, cdoID, cdoInvalid, cdoLockState, cdoPermission, cdoPrefetch, cdoReadLock, cdoReload, cdoResource, cdoRevision, cdoRevision, cdoState, cdoView, cdoWriteLock, cdoWriteOption

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 de.uka.ipd.sdq.identifier.Identifier

getId, setId

Methods inherited from interface org.palladiosimulator.pcm.core.entity.NamedElement

getEntityName, setEntityName

Methods inherited from interface org.eclipse.emf.common.notify.Notifier

eAdapters, eDeliver, eNotify, eSetDeliver

Field Details

copyright

static final String copyright

See Also:

• Constant Field Values

Generated class or method.

Method Details

getBranches_Branch

EList<AbstractBranchTransition> getBranches_Branch()

Returns the value of the 'Branches Branch' containment reference list. The list contents are of type AbstractBranchTransition. It is bidirectional and its opposite is 'Branch Action Abstract Branch Transition'.

Returns:

the value of the 'Branches Branch' containment reference list.

See Also:

• SeffPackage.getBranchAction_Branches_Branch()
• AbstractBranchTransition.getBranchAction_AbstractBranchTransition()

Generated class or method.

EMF model class or method.

opposite="branchAction_AbstractBranchTransition" containment="true" ordered="false"