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.xml.handler.module:
Stmts:	839	LOC:	3,910	Total cmp:	484	Stmts/Method:	4.07
Branches:	554	NCLOC:	1,948	Cmp density:	0.58	Methods/Class:	5.15
Methods:	206	Files:	40	Avg method cmp:	2.35
Classes:	40

Package

Files

Average Method Complexity

TOTAL Coverage

Cloud icon for org.qedeq.kernel.xml.handler.module

org.qedeq.kernel.xml.handler.module org.qedeq.kernel.xml.handler.module

40.0 40

2.3495145 2.35

0.84177613 84.2%

0.84177613

Class

Methods

Average Method Complexity

TOTAL Coverage

InitialFunctionDefinitionHandler InitialFunctionDefinitionHandler

6.0 6

2.5 2.5

0.0 0%

0.0

AxiomHandler AxiomHandler

5.0 5

2.2 2.2

0.6666667 66.7%

0.6666667

FunctionDefinitionHandler FunctionDefinitionHandler

6.0 6

2.5 2.5

0.7254902 72.5%

0.7254902

InitialPredicateDefinitionHandler InitialPredicateDefinitionHandler

6.0 6

2.5 2.5

0.7254902 72.5%

0.7254902

PredicateDefinitionHandler PredicateDefinitionHandler

6.0 6

2.5 2.5

0.7254902 72.5%

0.7254902

AddHandler AddHandler

5.0 5

1.4 1.4

0.7647059 76.5%

0.7647059

ModusPonensHandler ModusPonensHandler

5.0 5

1.4 1.4

0.7647059 76.5%

0.7647059

LatexHandler LatexHandler

6.0 6

2.0 2

0.7941176 79.4%

0.7941176

LatexListHandler LatexListHandler

6.0 6

1.8333334 1.83

0.8064516 80.6%

0.8064516

LiteratureItemHandler LiteratureItemHandler

5.0 5

1.4 1.4

0.8095238 81%

0.8095238

ProofHandler ProofHandler

5.0 5

1.4 1.4

0.8181818 81.8%

0.8181818

AuthorListHandler AuthorListHandler

5.0 5

1.8 1.8

0.84 84%

0.84

FormulaHandler FormulaHandler

5.0 5

1.8 1.8

0.84 84%

0.84

LiteratureItemListHandler LiteratureItemListHandler

5.0 5

1.8 1.8

0.84 84%

0.84

TermHandler TermHandler

5.0 5

1.8 1.8

0.84 84%

0.84

UsedByListHandler UsedByListHandler

5.0 5

1.8 1.8

0.84 84%

0.84

FormalProofHandler FormalProofHandler

5.0 5

1.8 1.8

0.84615386 84.6%

0.84615386

RuleHandler RuleHandler

5.0 5

3.6 3.6

0.84615386 84.6%

0.84615386

AuthorHandler AuthorHandler

5.0 5

1.8 1.8

0.8518519 85.2%

0.8518519

ConclusionHandler ConclusionHandler

5.0 5

1.8 1.8

0.8518519 85.2%

0.8518519

HypothesisHandler HypothesisHandler

5.0 5

1.8 1.8

0.8518519 85.2%

0.8518519

ChangedRuleHandler ChangedRuleHandler

5.0 5

1.8 1.8

0.86206895 86.2%

0.86206895

ExistentialHandler ExistentialHandler

5.0 5

1.8 1.8

0.86206895 86.2%

0.86206895

UniversalHandler UniversalHandler

5.0 5

1.8 1.8

0.86206895 86.2%

0.86206895

ImportListHandler ImportListHandler

5.0 5

2.2 2.2

0.8787879 87.9%

0.8787879

SubsectionListHandler SubsectionListHandler

5.0 5

2.2 2.2

0.88235295 88.2%

0.88235295

RenameHandler RenameHandler

5.0 5

2.8 2.8

0.88372093 88.4%

0.88372093

SpecificationHandler SpecificationHandler

5.0 5

2.2 2.2

0.8888889 88.9%

0.8888889

SubsectionHandler SubsectionHandler

5.0 5

2.2 2.2

0.8947368 89.5%

0.8947368

ConditionalProofHandler ConditionalProofHandler

5.0 5

2.6 2.6

0.902439 90.2%

0.902439

SubstFreevarHandler SubstFreevarHandler

5.0 5

2.4 2.4

0.902439 90.2%

0.902439

SubstFuncvarHandler SubstFuncvarHandler

5.0 5

2.4 2.4

0.902439 90.2%

0.902439

SubstPredvarHandler SubstPredvarHandler

5.0 5

2.4 2.4

0.902439 90.2%

0.902439

ChapterHandler ChapterHandler

5.0 5

2.6 2.6

0.9111111 91.1%

0.9111111

SectionHandler SectionHandler

5.0 5

2.6 2.6

0.9111111 91.1%

0.9111111

PropositionHandler PropositionHandler

5.0 5

3.0 3

0.9245283 92.5%

0.9245283

HeaderHandler HeaderHandler

5.0 5

3.8 3.8

0.9444444 94.4%

0.9444444

NodeHandler NodeHandler

5.0 5

5.4 5.4

0.96330273 96.3%

0.96330273

FormalProofLineListHandler FormalProofLineListHandler

5.0 5

5.8 5.8

0.96581197 96.6%

0.96581197

QedeqHandler QedeqHandler

5.0 5

2.6 2.6

1.0 100%

1.0