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

COVERAGE SUMMARY FOR SOURCE FILE [SimpleMutEx.java]

nameclass, %method, %block, %line, %
SimpleMutEx.java0%   (0/1)0%   (0/1)0%   (0/4)0%   (0/2)

COVERAGE BREAKDOWN BY CLASS AND METHOD

nameclass, %method, %block, %line, %
     
class SimpleMutEx0%   (0/1)0%   (0/1)0%   (0/4)0%   (0/2)
SimpleMutEx (): void 0%   (0/1)0%   (0/4)0%   (0/2)

1package de.uka.ipd.sdq.probespec.framework.probes.example;
2 
3public class SimpleMutEx extends ASimplePassiveResource {
4 
5        public SimpleMutEx() {
6                super(1);
7        }
8        
9}

[all classes][de.uka.ipd.sdq.probespec.framework.probes.example]
EMMA 2.0.9414 (unsupported private build) (C) Vladimir Roubtsov