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:	1,253		LOC:	6,478		Total cmp:	949		Stmts/Method:	2.14
Branches:	700		NCLOC:	3,344		Cmp density:	0.76		Methods/Class:	11.7
Methods:	585		Files:	50		Avg method cmp:	1.62
Classes:	50

Package

Files

Average Method Complexity

TOTAL Coverage

Cloud icon for org.qedeq.kernel.se.dto.module

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

50.0 50

1.6222222 1.62

1.0 100%

1.0

Class

Methods

Average Method Complexity

TOTAL Coverage

AddVo AddVo

10.0 10

1.4 1.4

1.0 100%

1.0

AuthorListVo AuthorListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

AuthorVo AuthorVo

9.0 9

1.4444444 1.44

1.0 100%

1.0

AxiomVo AxiomVo

17.0 17

1.2941177 1.29

1.0 100%

1.0

ChangedRuleListVo ChangedRuleListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

ChangedRuleVo ChangedRuleVo

10.0 10

1.4 1.4

1.0 100%

1.0

ChapterListVo ChapterListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

ChapterVo ChapterVo

13.0 13

1.4615384 1.46

1.0 100%

1.0

ConclusionVo ConclusionVo

10.0 10

1.4 1.4

1.0 100%

1.0

ConditionalProofVo ConditionalProofVo

17.0 17

1.7058823 1.71

1.0 100%

1.0

ExistentialVo ExistentialVo

12.0 12

1.75 1.75

1.0 100%

1.0

FormalProofLineListVo FormalProofLineListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

FormalProofLineVo FormalProofLineVo

12.0 12

1.4166666 1.42

1.0 100%

1.0

FormalProofListVo FormalProofListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

FormalProofVo FormalProofVo

11.0 11

1.6363636 1.64

1.0 100%

1.0

FormulaVo FormulaVo

7.0 7

1.4285715 1.43

1.0 100%

1.0

FunctionDefinitionVo FunctionDefinitionVo

21.0 21

1.2857143 1.29

1.0 100%

1.0

HeaderVo HeaderVo

18.0 18

1.5 1.5

1.0 100%

1.0

HypothesisVo HypothesisVo

10.0 10

1.4 1.4

1.0 100%

1.0

ImportListVo ImportListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

ImportVo ImportVo

9.0 9

1.3333334 1.33

1.0 100%

1.0

InitialFunctionDefinitionVo InitialFunctionDefinitionVo

21.0 21

1.2857143 1.29

1.0 100%

1.0

InitialPredicateDefinitionVo InitialPredicateDefinitionVo

21.0 21

1.2857143 1.29

1.0 100%

1.0

LatexListVo LatexListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

LatexVo LatexVo

9.0 9

1.3333334 1.33

1.0 100%

1.0

LinkListVo LinkListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

LiteratureItemListVo LiteratureItemListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

LiteratureItemVo LiteratureItemVo

8.0 8

1.375 1.38

1.0 100%

1.0

LocationListVo LocationListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

LocationVo LocationVo

7.0 7

1.4285715 1.43

1.0 100%

1.0

ModusPonensVo ModusPonensVo

12.0 12

1.9166666 1.92

1.0 100%

1.0

NodeVo NodeVo

20.0 20

1.4 1.4

1.0 100%

1.0

PredicateDefinitionVo PredicateDefinitionVo

21.0 21

1.2857143 1.29

1.0 100%

1.0

ProofListVo ProofListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

ProofVo ProofVo

10.0 10

1.4 1.4

1.0 100%

1.0

PropositionVo PropositionVo

21.0 21

1.3333334 1.33

1.0 100%

1.0

QedeqVo QedeqVo

11.0 11

1.4545455 1.45

1.0 100%

1.0

RenameVo RenameVo

16.0 16

2.0 2

1.0 100%

1.0

RuleVo RuleVo

26.0 26

1.3846154 1.38

1.0 100%

1.0

SectionListVo SectionListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

SectionVo SectionVo

12.0 12

1.4166666 1.42

1.0 100%

1.0

SpecificationVo SpecificationVo

11.0 11

1.3636364 1.36

1.0 100%

1.0

SubsectionListVo SubsectionListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0

SubsectionVo SubsectionVo

14.0 14

1.3571428 1.36

1.0 100%

1.0

SubstFreeVo SubstFreeVo

14.0 14

1.9285715 1.93

1.0 100%

1.0

SubstFuncVo SubstFuncVo

14.0 14

1.9285715 1.93

1.0 100%

1.0

SubstPredVo SubstPredVo

14.0 14

1.9285715 1.93

1.0 100%

1.0

TermVo TermVo

7.0 7

1.4285715 1.43

1.0 100%

1.0

UniversalVo UniversalVo

12.0 12

1.75 1.75

1.0 100%

1.0

UsedByListVo UsedByListVo

7.0 7

2.2857144 2.29

1.0 100%

1.0