EMMA Coverage Report (generated Sun Feb 05 10:43:15 CET 2012)
[all classes][de.uka.ipd.sdq.pcmsolver.handler]

COVERAGE SUMMARY FOR SOURCE FILE [RecoveryBlockActionHandler.java]

nameclass, %method, %block, %line, %
RecoveryBlockActionHandler.java0%   (0/1)0%   (0/2)0%   (0/24)0%   (0/7)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class RecoveryBlockActionHandler0%   (0/1)0%   (0/2)0%   (0/24)0%   (0/7)
RecoveryBlockActionHandler (SeffVisitor): void 0%   (0/1)0%   (0/6)0%   (0/3)
handle (RecoveryAction): void 0%   (0/1)0%   (0/18)0%   (0/4)

1package de.uka.ipd.sdq.pcmsolver.handler;
2 
3import de.uka.ipd.sdq.pcm.seff.seff_reliability.RecoveryAction;
4import de.uka.ipd.sdq.pcm.seff.seff_reliability.RecoveryActionBehaviour;
5import de.uka.ipd.sdq.pcmsolver.visitors.SeffVisitor;
6 
7public class RecoveryBlockActionHandler {
8        private SeffVisitor visitor;
9 
10        public RecoveryBlockActionHandler(SeffVisitor seffVisitor) {
11                visitor = seffVisitor;
12        }
13 
14        public void handle(RecoveryAction recoveryAction) {
15                for (RecoveryActionBehaviour behaviour : recoveryAction
16                                .getRecoveryActionBehaviours__RecoveryAction()) {
17                        // Direct invocation as a workaround for the missing
18                        // case for RecoveryBlockAlternativeBehaviours:
19                        visitor.caseResourceDemandingBehaviour(behaviour);
20                }
21        }
22}

[all classes][de.uka.ipd.sdq.pcmsolver.handler]
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov