Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Do Dez 29 2005 18:38:29 CET
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 3.362   Methods: 282
NCLOC: 1.657   Classes: 28
Files: 28  
 
 Package Conditionals Statements Methods TOTAL
org.qedeq.kernel.dto.module 100% 97,9% 95,4% 97,9%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
AxiomVo 100% 84,2% 75% 83,8%
coverage coverage
RuleVo 100% 87,1% 77,8% 87,3%
coverage coverage
PropositionVo 100% 88,5% 80% 88,2%
coverage coverage
DefinitionVo 100% 89,3% 85% 90,3%
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
FormulaOrTermVo 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
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
UsedByListVo 100% 100% 100% 100%
coverage
VariableListVo 100% 100% 100% 100%
coverage
 
CloverReport generated by Clover Code Coverage v1.3.8
Do Dez 29 2005 18:39:59 CET.		   Open Source License registered to the Hilbert II Project. This license of Clover is provided to support the development of Hilbert II only.