EMMA Coverage Report

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

COVERAGE SUMMARY FOR SOURCE FILE [MarkovResourceState.java]

name	class, %	method, %	block, %	line, %
MarkovResourceState.java	0% (0/1)	0% (0/4)	0% (0/50)	0% (0/6)

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

class MarkovResourceState	0% (0/1)	0% (0/4)	0% (0/50)	0% (0/6)
<static initializer>		0% (0/1)	0% (0/24)	0% (0/5)
MarkovResourceState (String, int): void		0% (0/1)	0% (0/5)	0% (0/1)
valueOf (String): MarkovResourceState		0% (0/1)	0% (0/5)	0% (0/1)
values (): MarkovResourceState []		0% (0/1)	0% (0/16)	0% (0/1)

1	package de.uka.ipd.sdq.reliability.solver.pcm2markov;
2
3	/**
4	* Indicates the current state of a PCM processing resource.
5	*
6	* @author brosch
7	*
8	*/
9	public enum MarkovResourceState {
10
11	/**
12	* The resource is broken down.
13	*/
14	NA,
15
16	/**
17	* The resource is fully functional.
18	*/
19	OK,
20	}