EMMA Coverage Report (generated Tue Nov 23 11:59:29 CET 2010)
[all classes][de.uka.ipd.sdq.reliability.solver.pcm2markov]

COVERAGE SUMMARY FOR CLASS [ProcessingResourceDescriptor]

nameclass, %method, %block, %
ProcessingResourceDescriptor0%   (0/1)0%   (0/14)0%   (0/93)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
ProcessingResourceDescriptor (): void0%   (0/1)0%   (0/32)
getCurrentState (): MarkovProcessingResourceState0%   (0/1)0%   (0/3)
getDefaultState (): MarkovProcessingResourceState0%   (0/1)0%   (0/2)
getResourceContainerId (): String0%   (0/1)0%   (0/3)
getResourceContainerName (): String0%   (0/1)0%   (0/3)
getStateProbability (MarkovProcessingResourceState): Double0%   (0/1)0%   (0/6)
getType (): MarkovProcessingResourceType0%   (0/1)0%   (0/3)
setContainerId (String): void0%   (0/1)0%   (0/4)
setContainerName (String): void0%   (0/1)0%   (0/4)
setCurrentState (MarkovProcessingResourceState): void0%   (0/1)0%   (0/4)
setId (String): void0%   (0/1)0%   (0/5)
setName (String): void0%   (0/1)0%   (0/5)
setStateProbability (MarkovProcessingResourceState, Double): void0%   (0/1)0%   (0/7)
switchState (): void0%   (0/1)0%   (0/12)

[all classes][de.uka.ipd.sdq.reliability.solver.pcm2markov]
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov