Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
17,517   69,694   8,276   4.96
7,610   37,099   0.47   8.15
3,530   417   2.34   10.56
433   41  
433 classes, 23,073 / 28,657 elements
80.5% 0.8051436
img/classDistrubutionChart.png
img/classComplexityChart.png
1. 100% 1.0
org.qedeq.kernel.se.dto.module (949)
2. 76.8% 0.76775205
org.qedeq.kernel.bo.service.unicode (713)
3. 85.9% 0.85876286
org.qedeq.base.io (612)
4. 65.4% 0.65384614
org.qedeq.kernel.bo.service.internal (579)
5. 86.6% 0.86567163
org.qedeq.kernel.xml.handler.module (486)
1. 81.3% 0.8132482
Qedeq2LatexExecutor (309)
2. 97.7% 0.9769292
QedeqNotNullTraverser (299)
3. 81.5% 0.8148148
Qedeq2UnicodeVisitor (269)
4. 83.9% 0.83908045
Latex2UnicodeParser (262)
5. 80.3% 0.8033708
QedeqVoBuilder (222)
1,283 / 1,283 tests 20,173.12 secs
100%

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.removeAllModules() : boolean (8)
4. 0% DefaultInternalKernelServices.getSourceFileExceptionList(ModuleAddress) : String[] (8)
5. 0% SixDynamicModel.comprehension(Entity[]) : Entity (14)
6. 0% Term.getQedeqXml(int) : String (12)
7. 0% StateManager.getCurrentState() : AbstractState (10)
8. 0% XmlReader.calculateHttpEncoding(String,String,String,String,String,InputStream,boolean) : String (13)
9. 0% UrlUtility.saveQedeqFromWebToBufferApache(String,File,String,String,String,int,int,LoadingListener) : void (8)
10. 0% Qedeq2Utf8Executor.executePlugin(InternalModuleServiceCall,Object) : Object (8)
11. 0% SimpleXPath.matchesElementsBegining(SimpleXPath,SimpleXPath) : boolean (8)
12. 0% XmlReader.doLenientDetection(String,XmlReaderException) : void (8)
13. 0% XmlReader.getContentTypeEncoding(String) : String (10)
14. 0% DefaultInternalKernelServices.clearLocalBuffer() : boolean (6)
15. 0% StateManager.getLastSuccesfulState() : AbstractState (6)
16. 0% FormulaUtility.getPredicateVariables(Element) : ElementSet (5)
17. 0% TextInput.getPosition(SourcePosition) : int (5)
18. 0% DefaultInternalKernelServices.removeModule(ModuleAddress) : void (4)
19. 0% DynamicHeuristicCheckerExecutor.visitEnter(InitialFunctionDefinition) : void (4)
20. 0% XmlReader.XmlReader(URLConnection) (6)