Clover coverage report -

Coverage timestamp: jeu. juin 15 2006 08:24:33 CEST

FRAMES NO FRAMES

file stats:	LOC:	23		Methods:	3
	NCLOC:	17		Classes:	1

Source file

Conditionals

Statements

Methods

TOTAL

ResultCode.java

1		package org.sat4j;
2
3		import java.awt.Color;
4
5		public enum ResultCode {
6		OK(1, Color.BLUE), KO(4, Color.RED), WARNING(3, Color.ORANGE), UPDATED(0, Color.GREEN), UNKNOWN(5, Color.BLACK);
7
8		private final transient Color c;
9		private final transient int value;
10
11	0	private ResultCode(final int value, final Color c) {
12	0	this.c = c;
13	0	this.value = value;
14		}
15
16	0	public final int getValue() {
17	0	return value;
18		}
19
20	0	public final Color getColor() {
21	0	return c;
22		}
23		}