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.se.dto.module:
Stmts:	455	LOC:	2,500	Total cmp:	133	Stmts/Method:	3.42
Branches:	0	NCLOC:	1,037	Cmp density:	0.29	Methods/Class:	2.61
Methods:	133	Files:	51	Avg method cmp:	1
Classes:	51

Package

Files

Average Method Complexity

TOTAL Coverage

org.qedeq.kernel.se.dto.module org.qedeq.kernel.se.dto.module

51.0 51

1.0 1

1.0 100%

1.0

Class

Methods

Average Method Complexity

TOTAL Coverage

AbstractVoModuleTestCase AbstractVoModuleTestCase

2.0 2

1.0 1

1.0 100%

1.0

AddVoTest AddVoTest

5.0 5

1.0 1

1.0 100%

1.0

AuthorListVoTest AuthorListVoTest

1.0 1

1.0 100%

1.0

AuthorVoTest AuthorVoTest

2.0 2

1.0 1

1.0 100%

1.0

AxiomVoTest AxiomVoTest

3.0 3

1.0 1

1.0 100%

1.0

ChangedRuleListVoTest ChangedRuleListVoTest

1.0 1

1.0 100%

1.0

ChangedRuleVoTest ChangedRuleVoTest

1.0 1

1.0 100%

1.0

ChapterListVoTest ChapterListVoTest

1.0 1

1.0 100%

1.0

ChapterVoTest ChapterVoTest

1.0 1

1.0 100%

1.0

ConclusionVoTest ConclusionVoTest

6.0 6

1.0 1

1.0 100%

1.0

ConditionalProofVoTest ConditionalProofVoTest

5.0 5

1.0 1

1.0 100%

1.0

ExistentialVoTest ExistentialVoTest

5.0 5

1.0 1

1.0 100%

1.0

FormalProofLineListVoTest FormalProofLineListVoTest

1.0 1

1.0 100%

1.0

FormalProofLineVoTest FormalProofLineVoTest

2.0 2

1.0 1

1.0 100%

1.0

FormalProofListVoTest FormalProofListVoTest

1.0 1

1.0 100%

1.0

FormalProofVoTest FormalProofVoTest

2.0 2

1.0 1

1.0 100%

1.0

FormulaVoTest FormulaVoTest

1.0 1

1.0 100%

1.0

FunctionDefinitionVoTest FunctionDefinitionVoTest

3.0 3

1.0 1

1.0 100%

1.0

HeaderVoTest HeaderVoTest

1.0 1

1.0 100%

1.0

HypothesisVoTest HypothesisVoTest

4.0 4

1.0 1

1.0 100%

1.0

ImportListVoTest ImportListVoTest

1.0 1

1.0 100%

1.0

ImportVoTest ImportVoTest

2.0 2

1.0 1

1.0 100%

1.0

InitialFunctionDefinitionVoTest InitialFunctionDefinitionVoTest

3.0 3

1.0 1

1.0 100%

1.0

InitialPredicateDefinitionVoTest InitialPredicateDefinitionVoTest

3.0 3

1.0 1

1.0 100%

1.0

LatexListVoTest LatexListVoTest

1.0 1

1.0 100%

1.0

LatexVoTest LatexVoTest

1.0 1

1.0 100%

1.0

LinkListVoTest LinkListVoTest

1.0 1

1.0 100%

1.0

LiteratureItemListVoTest LiteratureItemListVoTest

1.0 1

1.0 100%

1.0

LiteratureItemVoTest LiteratureItemVoTest

1.0 1

1.0 100%

1.0

LocationListVoTest LocationListVoTest

1.0 1

1.0 100%

1.0

LocationVoTest LocationVoTest

1.0 1

1.0 100%

1.0

ModusPonensVoTest ModusPonensVoTest

7.0 7

1.0 1

1.0 100%

1.0

NodeVoTest NodeVoTest

13.0 13

1.0 1

1.0 100%

1.0

PredicateDefinitionVoTest PredicateDefinitionVoTest

3.0 3

1.0 1

1.0 100%

1.0

ProofListVoTest ProofListVoTest

1.0 1

1.0 100%

1.0

ProofVoTest ProofVoTest

1.0 1

1.0 100%

1.0

PropositionVoTest PropositionVoTest

3.0 3

1.0 1

1.0 100%

1.0

QedeqVoTest QedeqVoTest

1.0 1

1.0 100%

1.0

RenameVoTest RenameVoTest

5.0 5

1.0 1

1.0 100%

1.0

RuleVoTest RuleVoTest

3.0 3

1.0 1

1.0 100%

1.0

SectionListVoTest SectionListVoTest

1.0 1

1.0 100%

1.0

SectionVoTest SectionVoTest

1.0 1

1.0 100%

1.0

SpecificationVoTest SpecificationVoTest

1.0 1

1.0 100%

1.0

SubsectionListVoTest SubsectionListVoTest

1.0 1

1.0 100%

1.0

SubsectionVoTest SubsectionVoTest

4.0 4

1.0 1

1.0 100%

1.0

SubstFreeVoTest SubstFreeVoTest

5.0 5

1.0 1

1.0 100%

1.0

SubstFuncVoTest SubstFuncVoTest

5.0 5

1.0 1

1.0 100%

1.0

SubstPredVoTest SubstPredVoTest

5.0 5

1.0 1

1.0 100%

1.0

TermVoTest TermVoTest

3.0 3

1.0 1

1.0 100%

1.0

UniversalVoTest UniversalVoTest

5.0 5

1.0 1

1.0 100%

1.0

UsedByListVoTest UsedByListVoTest

1.0 1

1.0 100%

1.0