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.836   Methods: 298
NCLOC: 1.802   Classes: 34
Files: 34  
 
 Package Conditionals Statements Methods TOTAL
org.qedeq.kernel.bo.module 97,8% 93,2% 89,3% 93,6%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
DuplicateLanguageEntryException - 0% 0% 0%
coverage
IllegalDataException - 0% 0% 0%
coverage
NullPointerListEntryException - 0% 0% 0%
coverage
QedeqBoState 50% 46,2% 28,6% 41,7%
coverage coverage
AxiomBo 100% 78,9% 66,7% 78,4%
coverage coverage
LatexListBo 75% 87,1% 100% 83,9%
coverage coverage
PropositionBo 100% 84,6% 73,3% 84,3%
coverage coverage
RuleBo 100% 86,2% 76,5% 86,2%
coverage coverage
DefinitionBo 100% 85,7% 80% 87,1%
coverage coverage
SpecificationBo 100% 80% 90,9% 88,2%
coverage coverage
ImportBo 100% 83,3% 88,9% 88,9%
coverage coverage
AuthorBo 100% 83,3% 88,9% 89,7%
coverage coverage
FormulaOrTermBo 100% 90,9% 85,7% 91,7%
coverage coverage
LocationBo 100% 90,9% 85,7% 91,7%
coverage coverage
QedeqBo 100% 95,5% 92,3% 95,3%
coverage coverage
AuthorListBo 100% 100% 100% 100%
coverage
ChapterBo 100% 100% 100% 100%
coverage
ChapterListBo 100% 100% 100% 100%
coverage
HeaderBo 100% 100% 100% 100%
coverage
ImportListBo 100% 100% 100% 100%
coverage
LatexBo 100% 100% 100% 100%
coverage
LinkListBo 100% 100% 100% 100%
coverage
LocationListBo 100% 100% 100% 100%
coverage
NodeBo 100% 100% 100% 100%
coverage
ProofBo 100% 100% 100% 100%
coverage
ProofListBo 100% 100% 100% 100%
coverage
SectionBo 100% 100% 100% 100%
coverage
SectionListBo 100% 100% 100% 100%
coverage
SubsectionBo 100% 100% 100% 100%
coverage
SubsectionListBo 100% 100% 100% 100%
coverage
UsedByListBo 100% 100% 100% 100%
coverage
VariableListBo 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.