Clover

Clover Coverage Report

Coverage timestamp: Fri May 24 2013 13:47:27 UTC

FRAMES NO FRAMES SHOW HELP

Statistics for package org.qedeq.kernel.bo.logic.wf:
Stmts:	262		LOC:	1,141		Total cmp:	105		Stmts/Method:	7.49
Branches:	104		NCLOC:	590		Cmp density:	0.4		Methods/Class:	5.83
Methods:	35		Files:	6		Avg method cmp:	3
Classes:	6

Package

Files

Average Method Complexity

TOTAL Coverage

Cloud icon for org.qedeq.kernel.bo.logic.wf

org.qedeq.kernel.bo.logic.wf org.qedeq.kernel.bo.logic.wf

6.0 6

3.0 3

0.91022444 91%

0.91022444

Class

Methods

Average Method Complexity

TOTAL Coverage

ElementCheckException ElementCheckException

2.0 2

1.0 1

0.5 50%

0.5

FormulaCheckException FormulaCheckException

2.0 2

1.0 1

0.5 50%

0.5

TermCheckException TermCheckException

2.0 2

1.0 1

0.5 50%

0.5

EverythingExists EverythingExists

12.0 12

1.0 1

0.5652174 56.5%

0.5652174

FormulaCheckerImpl FormulaCheckerImpl

17.0 17

5.117647 5.12

0.9453552 94.5%

0.9453552