Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Do Jan 11 2007 09:03:50 CET
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 3.923   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
 
CloverReport generated by Clover Code Coverage v1.3.10
Do Jan 11 2007 09:22:29 CET.		   Open Source License registered to the Hilbert II Project. This license of Clover is provided to support the development of Hilbert II only.