EMMA Coverage Report

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 [ASimplePassiveResource.java]

name	class, %	method, %	block, %	line, %
ASimplePassiveResource.java	0% (0/1)	0% (0/6)	0% (0/36)	0% (0/11)

name	class, %	method, %	block, %	line, %

class ASimplePassiveResource	0% (0/1)	0% (0/6)	0% (0/36)	0% (0/11)
ASimplePassiveResource (int): void		0% (0/1)	0% (0/9)	0% (0/4)
acquire (): void		0% (0/1)	0% (0/7)	0% (0/2)
canAcquire (): boolean		0% (0/1)	0% (0/7)	0% (0/1)
getFree (): int		0% (0/1)	0% (0/3)	0% (0/1)
getSize (): int		0% (0/1)	0% (0/3)	0% (0/1)
release (): void		0% (0/1)	0% (0/7)	0% (0/2)

1	package de.uka.ipd.sdq.probespec.framework.probes.example;
2
3	public abstract class ASimplePassiveResource {
4
5	private int size;
6
7	private int free;
8
9	public ASimplePassiveResource(int size) {
10	this.size = size;
11	this.free = size;
12	}
13
14	public void acquire() {
15	--free;
16	}
17
18	public void release() {
19	++free;
20	}
21
22	public boolean canAcquire() {
23	return free > 0;
24	}
25
26	public int getSize() {
27	return size;
28	}
29
30	public int getFree() {
31	return free;
32	}
33
34	}