Clover

Clover Coverage Report

Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST

FRAMES NO FRAMES SHOW HELP

Statistics for package org.qedeq.kernel.bo.logic.wf:
Stmts:	910	LOC:	4.843	Total cmp:	350	Stmts/Method:	2,95
Branches:	36	NCLOC:	2.861	Cmp density:	0,38	Methods/Class:	22
Methods:	308	Files:	14	Avg method cmp:	1,14
Classes:	14

Package

Files

Average Method Complexity

TOTAL Coverage

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

14.0 14

1.1363636 1,14

0.87081337 87,1%

0.87081337

Class

Methods

Average Method Complexity

TOTAL Coverage

FormulaCheckerGlobalTest FormulaCheckerGlobalTest

122.0 122

1.0 1

0.53405017 53,4%

0.53405017

AbstractFormulaChecker AbstractFormulaChecker

16.0 16

3.0 3

0.8269231 82,7%

0.8269231

TestParser TestParser

3.0 3

2.6666667 2,67

0.84782606 84,8%

0.84782606

CheckLogicTest CheckLogicTest

10.0 10

1.5 1,5

0.91566265 91,6%

0.91566265

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