Clover coverage report - QedeqKernelSe Coverage Report
Coverage timestamp: Sa Jan 26 2008 14:11:34 CET
Overview   Package   File
    FRAMES   NO FRAMES  
package stats: LOC: 2.346   Methods: 85
NCLOC: 976   Classes: 19
Files: 19  
 
 Package Conditionals Statements Methods TOTAL
org.qedeq.kernel.bo.logic 66,7% 73,6% 62,4% 70,3%
coverage coverage
 
 Classes Conditionals Statements Methods TOTAL
EqualFormula - 0% 0% 0%
coverage
EqualFormulaSet 0% 0% 0% 0%
coverage
LogicalEquivalence 0% 0% 0% 0%
coverage
LogicalCheckException - 33,3% 25% 30%
coverage coverage
ElementCheckException - 50% 50% 50%
coverage coverage
FormulaCheckException - 50% 50% 50%
coverage coverage
TermCheckException - 50% 50% 50%
coverage coverage
Function 50% 80% 83,3% 72,7%
coverage coverage
Predicate 50% 80% 83,3% 72,7%
coverage coverage
EverythingExists - 75% 77,8% 76,5%
coverage coverage
DefaultExistenceChecker 62,5% 86% 88,2% 83,8%
coverage coverage
FormulaChecker 92,4% 95,8% 100% 94,9%
coverage coverage
 
CloverReport generated by Clover Code Coverage v1.3.10
Sa Jan 26 2008 15:40:52 CET.		   Open Source License registered to the Hilbert II Project. This license of Clover is provided to support the development of Hilbert II only.