Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Do Mai 10 2007 03:16:40 CEST
package stats: LOC: 3.922   Methods: 335
NCLOC: 1.931   Classes: 32
Files: 32  
 
 Package Conditionals Statements Methods TOTAL
org.qedeq.kernel.dto.module 100% 97,2% 94% 97,3%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
AxiomVo 100% 80% 69,2% 79,5%
coverage coverage
PropositionVo 100% 85,2% 75% 84,9%
coverage coverage
FunctionDefinitionVo 100% 86,7% 81% 87,7%
coverage coverage
PredicateDefinitionVo 100% 86,7% 81% 87,7%
coverage coverage
RuleVo 100% 87,5% 78,9% 87,7%
coverage coverage
AuthorListVo 100% 100% 100% 100%
coverage
AuthorVo 100% 100% 100% 100%
coverage
ChapterListVo 100% 100% 100% 100%
coverage
ChapterVo 100% 100% 100% 100%
coverage
FormulaVo 100% 100% 100% 100%
coverage
HeaderVo 100% 100% 100% 100%
coverage
ImportListVo 100% 100% 100% 100%
coverage
ImportVo 100% 100% 100% 100%
coverage
LatexListVo 100% 100% 100% 100%
coverage
LatexVo 100% 100% 100% 100%
coverage
LinkListVo 100% 100% 100% 100%
coverage
LiteratureItemListVo 100% 100% 100% 100%
coverage
LiteratureItemVo 100% 100% 100% 100%
coverage
LocationListVo 100% 100% 100% 100%
coverage
LocationVo 100% 100% 100% 100%
coverage
NodeVo 100% 100% 100% 100%
coverage
ProofListVo 100% 100% 100% 100%
coverage
ProofVo 100% 100% 100% 100%
coverage
QedeqVo 100% 100% 100% 100%
coverage
SectionListVo 100% 100% 100% 100%
coverage
SectionVo 100% 100% 100% 100%
coverage
SpecificationVo 100% 100% 100% 100%
coverage
SubsectionListVo 100% 100% 100% 100%
coverage
SubsectionVo 100% 100% 100% 100%
coverage
TermVo 100% 100% 100% 100%
coverage
UsedByListVo 100% 100% 100% 100%
coverage
VariableListVo 100% 100% 100% 100%
coverage