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: 2.090   Methods: 108
NCLOC: 1.007   Classes: 21
Files: 21  
 
 Package Conditionals Statements Methods TOTAL
org.qedeq.kernel.xml.handler.module 79,5% 86,2% 100% 85,6%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
AxiomHandler 50% 66,7% 100% 65,7%
coverage coverage
RuleHandler 60% 69,2% 100% 68,6%
coverage coverage
DefinitionHandler 68,2% 78,1% 100% 76,7%
coverage coverage
LatexHandler 66,7% 78,6% 100% 78,1%
coverage coverage
LatexListHandler 70% 76,9% 100% 79,3%
coverage coverage
ProofHandler 50% 81,8% 100% 80%
coverage coverage
AuthorListHandler 75% 83,3% 100% 84%
coverage coverage
FormulaOrTermHandler 75% 83,3% 100% 84%
coverage coverage
UsedByListHandler 75% 83,3% 100% 84%
coverage coverage
VariableListHandler 75% 84,6% 100% 84,6%
coverage coverage
AuthorHandler 75% 85,7% 100% 85,2%
coverage coverage
ImportListHandler 75% 85,7% 100% 85,2%
coverage coverage
SubsectionListHandler 83,3% 88,2% 100% 88,2%
coverage coverage
QedeqHandler 83,3% 88,9% 100% 88,6%
coverage coverage
SubsectionHandler 83,3% 90,5% 100% 89,5%
coverage coverage
SpecificationHandler 87,5% 90,5% 100% 90,5%
coverage coverage
PropositionHandler 87,5% 91,3% 100% 90,9%
coverage coverage
ChapterHandler 87,5% 91,7% 100% 91,1%
coverage coverage
SectionHandler 87,5% 91,7% 100% 91,1%
coverage coverage
HeaderHandler 92,9% 94,7% 100% 94,4%
coverage coverage
NodeHandler 94,4% 96% 100% 95,6%
coverage 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.