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:	931	LOC:	4,933	Total cmp:	365	Stmts/Method:	2.92
Branches:	40	NCLOC:	2,944	Cmp density:	0.39	Methods/Class:	21.27
Methods:	319	Files:	15	Avg method cmp:	1.14
Classes:	15

Package

Files

Average Method Complexity

TOTAL Coverage

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

15.0 15

1.1442007 1.14

0.8581395 85.8%

0.8581395

Class

Methods

Average Method Complexity

TOTAL Coverage

TestFormulaCheckerImpl TestFormulaCheckerImpl

2.0 2

2.5 2.5

0.4375 43.8%

0.4375

FormulaCheckerGlobalTest FormulaCheckerGlobalTest

122.0 122

1.0 1

0.53571427 53.6%

0.53571427

AbstractFormulaChecker AbstractFormulaChecker

22.0 22

2.6363637 2.64

0.6935484 69.4%

0.6935484

FormulaCheckerContextTest FormulaCheckerContextTest

15.0 15

1.4666667 1.47

0.94827586 94.8%

0.94827586

FormulaCheckerClassTermTest FormulaCheckerClassTermTest

10.0 10

1.0 1

1.0 100%

1.0

FormulaCheckerFormulaTest FormulaCheckerFormulaTest

8.0 8

1.0 1

1.0 100%

1.0

FormulaCheckerFunctionTermTest FormulaCheckerFunctionTermTest

16.0 16

1.0 1

1.0 100%

1.0

FormulaCheckerLogicalConnectivesTest FormulaCheckerLogicalConnectivesTest

26.0 26

1.0 1

1.0 100%

1.0

FormulaCheckerNegationTest FormulaCheckerNegationTest

5.0 5

1.0 1

1.0 100%

1.0

FormulaCheckerPredicateFormulaTest FormulaCheckerPredicateFormulaTest

15.0 15

1.0 1

1.0 100%

1.0

FormulaCheckerQuantifiersTest FormulaCheckerQuantifiersTest

32.0 32

1.0 1

1.0 100%

1.0

FormulaCheckerSubjectVariableTest FormulaCheckerSubjectVariableTest

6.0 6

1.0 1

1.0 100%

1.0

FormulaCheckerTermTest FormulaCheckerTermTest

16.0 16

1.0 1

1.0 100%

1.0

FormulaCheckerTest FormulaCheckerTest

23.0 23

1.0 1

1.0 100%

1.0

TestFormulaCheckerFactoryImpl TestFormulaCheckerFactoryImpl

1.0 1

1.0 100%

1.0