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.service.logic:
Stmts:	987	LOC:	3,072	Total cmp:	409	Stmts/Method:	7.65
Branches:	438	NCLOC:	2,222	Cmp density:	0.41	Methods/Class:	12.9
Methods:	129	Files:	10	Avg method cmp:	3.17
Classes:	10

Package

Files

Average Method Complexity

TOTAL Coverage

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

org.qedeq.kernel.bo.service.logic org.qedeq.kernel.bo.service.logic

10.0 10

3.1705427 3.17

0.7065637 70.7%

0.7065637

Class

Methods

Average Method Complexity

TOTAL Coverage

SimpleProofFinderExecutor SimpleProofFinderExecutor

19.0 19

2.2105262 2.21

0.48920864 48.9%

0.48920864

FormalProofCheckerExecutor FormalProofCheckerExecutor

27.0 27

3.0370371 3.04

0.5764331 57.6%

0.5764331

WellFormedCheckerExecutor WellFormedCheckerExecutor

23.0 23

7.304348 7.3

0.7147059 71.5%

0.7147059

FormalProofCheckerPlugin FormalProofCheckerPlugin

5.0 5

1.0 1

0.8 80%

0.8

WellFormedCheckerPlugin WellFormedCheckerPlugin

5.0 5

1.0 1

0.8 80%

0.8

DefaultExistenceChecker DefaultExistenceChecker

23.0 23

1.3043479 1.3

0.81914896 81.9%

0.81914896

ModuleConstantsExistenceCheckerImpl ModuleConstantsExistenceCheckerImpl

20.0 20

3.5 3.5

0.8727273 87.3%

0.8727273

SimpleProofFinderPlugin SimpleProofFinderPlugin

5.0 5

1.0 1

0.9285714 92.9%

0.9285714

CheckRequiredModuleException CheckRequiredModuleException

2.0 2

1.0 1

1.0 100%

1.0