EMMA Coverage Report (generated Wed May 26 19:42:49 CEST 2010)
[all classes][de.uka.ipd.sdq.pcm.seff.impl]

COVERAGE SUMMARY FOR CLASS [GuardedBranchTransitionImpl]

nameclass, %method, %block, %
GuardedBranchTransitionImpl0%   (0/1)0%   (0/11)0%   (0/174)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
GuardedBranchTransitionImpl (): void0%   (0/1)0%   (0/3)
basicSetBranchCondition_GuardedBranchTransition (PCMRandomVariable, Notificat...0%   (0/1)0%   (0/29)
eGet (int, boolean, boolean): Object0%   (0/1)0%   (0/11)
eInverseAdd (InternalEObject, int, NotificationChain): NotificationChain0%   (0/1)0%   (0/26)
eInverseRemove (InternalEObject, int, NotificationChain): NotificationChain0%   (0/1)0%   (0/13)
eIsSet (int): boolean0%   (0/1)0%   (0/13)
eSet (int, Object): void0%   (0/1)0%   (0/12)
eStaticClass (): EClass0%   (0/1)0%   (0/2)
eUnset (int): void0%   (0/1)0%   (0/10)
getBranchCondition_GuardedBranchTransition (): PCMRandomVariable0%   (0/1)0%   (0/3)
setBranchCondition_GuardedBranchTransition (PCMRandomVariable): void0%   (0/1)0%   (0/52)

[all classes][de.uka.ipd.sdq.pcm.seff.impl]
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov