Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
17,487   69,884   8,282   4.94
7,588   37,136   0.47   8.1
3,538   419   2.34   11.21
437   39  
437 classes, 22,761 / 28,613 elements
79.5% 0.79547757
img/classDistrubutionChart.png
img/classComplexityChart.png
1. 100% 1.0
org.qedeq.kernel.se.dto.module (949)
2. 67.7% 0.67699116
org.qedeq.kernel.bo.service.control (943)
3. 74.7% 0.74733937
org.qedeq.kernel.bo.service.unicode (710)
4. 86.2% 0.8624091
org.qedeq.base.io (609)
5. 84.2% 0.84177613
org.qedeq.kernel.xml.handler.module (484)
1. 80.2% 0.802075
Qedeq2LatexExecutor (309)
2. 97.7% 0.9769292
QedeqNotNullTraverser (299)
3. 77.8% 0.7777778
Qedeq2UnicodeVisitor (269)
4. 84.1% 0.84108526
Latex2UnicodeParser (259)
5. 77.7% 0.77715355
QedeqVoBuilder (222)
1,248 / 1,254 tests 21,939.89 secs
99.5%

Generating Coverage Tree Map. Please wait...

Loading Treemap

1. 0% ProofChecker2Impl.check(SubstFunc,int,Element) : boolean (14)
2. 0% ProofChecker2Impl.check(Existential,int,Element) : boolean (9)
3. 0% DefaultInternalKernelServices.getSourceFileExceptionList(ModuleAddress) : String[] (8)
4. 0% SixDynamicModel.comprehension(Entity[]) : Entity (14)
5. 0% Term.getQedeqXml(int) : String (12)
6. 0% StateManager.getCurrentState() : AbstractState (10)
7. 0% XmlReader.calculateHttpEncoding(String,String,String,String,String,InputStream,boolean) : String (13)
8. 0% UrlUtility.saveQedeqFromWebToBufferApache(String,File,String,String,String,int,int,LoadingListener) : void (8)
9. 0% QedeqVoBuilder.create(InitialFunctionDefinition) : InitialFunctionDefinitionVo (7)
10. 0% Qedeq2Utf8Executor.executePlugin(InternalServiceCall,Object) : Object (8)
11. 0% SimpleXPath.matchesElementsBegining(SimpleXPath,SimpleXPath) : boolean (8)
12. 0% Qedeq2UnicodeVisitor.visitEnter(InitialFunctionDefinition) : void (6)
13. 0% XmlReader.doLenientDetection(String,XmlReaderException) : void (8)
14. 0% DefaultInternalKernelServices.removeModule(ModuleAddress) : void (5)
15. 0% XmlReader.getContentTypeEncoding(String) : String (10)
16. 0% StateManager.getLastSuccesfulState() : AbstractState (6)
17. 0% FormulaUtility.getPredicateVariables(Element) : ElementSet (5)
18. 0% DynamicHeuristicCheckerExecutor.visitEnter(InitialFunctionDefinition) : void (4)
19. 0% InitialFunctionDefinitionHandler.startElement(String,SimpleAttributes) : void (5)
20. 0% WellFormedCheckerExecutor.visitEnter(InitialFunctionDefinition) : void (4)
 
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .