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

COVERAGE SUMMARY FOR CLASS [CoreValidator]

nameclass, %method, %block, %
CoreValidator0%   (0/1)0%   (0/7)0%   (0/121)

COVERAGE BREAKDOWN BY METHOD

namemethod, %block, %
<static initializer>0%   (0/1)0%   (0/5)
CoreValidator (): void0%   (0/1)0%   (0/3)
getEPackage (): EPackage0%   (0/1)0%   (0/2)
getResourceLocator (): ResourceLocator0%   (0/1)0%   (0/3)
validate (int, Object, DiagnosticChain, Map): boolean0%   (0/1)0%   (0/11)
validatePCMRandomVariable (PCMRandomVariable, DiagnosticChain, Map): boolean0%   (0/1)0%   (0/92)
validatePCMRandomVariable_SpecificationMustNotBeNULL (PCMRandomVariable, Diag...0%   (0/1)0%   (0/5)

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