Clover

Clover Test Report

Coverage timestamp: Sat Sep 18 2010 04:09:52 UTC

FRAMES NO FRAMES SHOW HELP

Test

Unique Coverage

Status

Start time

Time (seconds)

Message

testGeneration

10.6%

1 PASS

18 Sep 04:09:46

1.329

Target Class

Unique

Coverage contributed by testGeneration.

org.qedeq.kernel.xml.handler.module.NodeHandler org.qedeq.kernel.xml.handler.module.NodeHandler

0.0

0.96 96%

org.qedeq.kernel.xml.handler.module.HeaderHandler org.qedeq.kernel.xml.handler.module.HeaderHandler

0.0

0.9444444 94.4%

org.qedeq.kernel.xml.handler.module.SectionHandler org.qedeq.kernel.xml.handler.module.SectionHandler

0.0

0.9111111 91.1%

org.qedeq.kernel.xml.handler.module.ChapterHandler org.qedeq.kernel.xml.handler.module.ChapterHandler

0.0

0.9111111 91.1%

org.qedeq.kernel.xml.dao.Qedeq2Xml org.qedeq.kernel.xml.dao.Qedeq2Xml

0.9116945 91.2%

org.qedeq.kernel.xml.handler.module.PropositionHandler org.qedeq.kernel.xml.handler.module.PropositionHandler

0.0

0.90909094 90.9%

org.qedeq.kernel.xml.handler.module.QedeqHandler org.qedeq.kernel.xml.handler.module.QedeqHandler

0.0

0.90909094 90.9%

org.qedeq.kernel.xml.handler.module.SubsectionHandler org.qedeq.kernel.xml.handler.module.SubsectionHandler

0.0

0.8947368 89.5%

org.qedeq.kernel.xml.handler.module.SpecificationHandler org.qedeq.kernel.xml.handler.module.SpecificationHandler

0.0

0.8888889 88.9%

org.qedeq.kernel.bo.service.ModuleLabelsCreator org.qedeq.kernel.bo.service.ModuleLabelsCreator

0.0

0.8863636 88.6%

org.qedeq.kernel.xml.handler.module.SubsectionListHandler org.qedeq.kernel.xml.handler.module.SubsectionListHandler

0.0

0.88235295 88.2%

org.qedeq.kernel.xml.handler.module.ImportListHandler org.qedeq.kernel.xml.handler.module.ImportListHandler

0.0

0.8787879 87.9%

org.qedeq.kernel.xml.handler.module.AuthorHandler org.qedeq.kernel.xml.handler.module.AuthorHandler

0.0

0.8518519 85.2%

org.qedeq.kernel.xml.handler.module.VariableListHandler org.qedeq.kernel.xml.handler.module.VariableListHandler

0.0

0.84615386 84.6%

org.qedeq.kernel.xml.handler.module.AuthorListHandler org.qedeq.kernel.xml.handler.module.AuthorListHandler

0.0

0.84 84%

org.qedeq.kernel.xml.handler.module.FormulaHandler org.qedeq.kernel.xml.handler.module.FormulaHandler

0.0

0.84 84%

org.qedeq.kernel.xml.handler.module.TermHandler org.qedeq.kernel.xml.handler.module.TermHandler

0.0

0.84 84%

org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler

0.0

0.84 84%

org.qedeq.kernel.xml.handler.module.UsedByListHandler org.qedeq.kernel.xml.handler.module.UsedByListHandler

0.0

0.84 84%

org.qedeq.kernel.visitor.QedeqNotNullTraverser org.qedeq.kernel.visitor.QedeqNotNullTraverser

0.0

0.83477014 83.5%

org.qedeq.kernel.xml.handler.module.ProofHandler org.qedeq.kernel.xml.handler.module.ProofHandler

0.0

0.8181818 81.8%

org.qedeq.kernel.bo.service.QedeqVoBuilder org.qedeq.kernel.bo.service.QedeqVoBuilder

0.0

0.81673306 81.7%

org.qedeq.kernel.xml.handler.module.LiteratureItemHandler org.qedeq.kernel.xml.handler.module.LiteratureItemHandler

0.0

0.8095238 81%

org.qedeq.kernel.xml.handler.module.LatexListHandler org.qedeq.kernel.xml.handler.module.LatexListHandler

0.0

0.8064516 80.6%

org.qedeq.kernel.xml.handler.list.ElementHandler org.qedeq.kernel.xml.handler.list.ElementHandler

0.0

0.8 80%

org.qedeq.kernel.xml.handler.module.LatexHandler org.qedeq.kernel.xml.handler.module.LatexHandler

0.0

0.7941176 79.4%

org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler

0.0

0.76666665 76.7%

org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler

0.0

0.76666665 76.7%

org.qedeq.kernel.bo.module.ModuleLabels org.qedeq.kernel.bo.module.ModuleLabels

0.0

0.75 75%

org.qedeq.kernel.xml.parser.SaxDefaultHandler org.qedeq.kernel.xml.parser.SaxDefaultHandler

0.0

0.7322835 73.2%

org.qedeq.kernel.xml.parser.SimpleHandler org.qedeq.kernel.xml.parser.SimpleHandler

0.0

0.7083333 70.8%

org.qedeq.kernel.xml.handler.module.RuleHandler org.qedeq.kernel.xml.handler.module.RuleHandler

0.0

0.6862745 68.6%

org.qedeq.kernel.visitor.AbstractModuleVisitor org.qedeq.kernel.visitor.AbstractModuleVisitor

0.0

0.6857143 68.6%

org.qedeq.kernel.xml.parser.SaxParser org.qedeq.kernel.xml.parser.SaxParser

0.0

0.67021275 67%

org.qedeq.kernel.xml.handler.module.AxiomHandler org.qedeq.kernel.xml.handler.module.AxiomHandler

0.0

0.6571429 65.7%

org.qedeq.kernel.xml.parser.AbstractSimpleHandler org.qedeq.kernel.xml.parser.AbstractSimpleHandler

0.0

0.65384614 65.4%

org.qedeq.kernel.bo.module.KernelNodeNumbers org.qedeq.kernel.bo.module.KernelNodeNumbers

0.0

0.6216216 62.2%

org.qedeq.kernel.xml.dao.Xml2Xml org.qedeq.kernel.xml.dao.Xml2Xml

0.61702126 61.7%

org.qedeq.base.io.TextOutput org.qedeq.base.io.TextOutput

0.0

0.59090906 59.1%

org.qedeq.kernel.common.ModuleContext org.qedeq.kernel.common.ModuleContext

0.0

0.5625 56.2%

org.qedeq.kernel.bo.log.ModuleEventListenerLog org.qedeq.kernel.bo.log.ModuleEventListenerLog

0.0

0.54545456 54.5%

org.qedeq.kernel.common.LoadingState org.qedeq.kernel.common.LoadingState

0.0

0.5 50%

org.qedeq.kernel.dto.module.SpecificationVo org.qedeq.kernel.dto.module.SpecificationVo

0.0

0.5 50%

org.qedeq.kernel.dto.module.QedeqVo org.qedeq.kernel.dto.module.QedeqVo

0.0

0.475 47.5%

org.qedeq.kernel.dto.module.ChapterVo org.qedeq.kernel.dto.module.ChapterVo

0.0

0.46938777 46.9%

org.qedeq.kernel.xml.parser.SaxEntityResolver org.qedeq.kernel.xml.parser.SaxEntityResolver

0.0

0.45945945 45.9%

org.qedeq.kernel.common.DependencyState org.qedeq.kernel.common.DependencyState

0.0

0.45454547 45.5%

org.qedeq.kernel.bo.log.ModuleEventLog org.qedeq.kernel.bo.log.ModuleEventLog

0.0

0.4516129 45.2%

org.qedeq.kernel.dto.module.ImportVo org.qedeq.kernel.dto.module.ImportVo

0.0

0.44444445 44.4%

org.qedeq.kernel.dto.module.LatexVo org.qedeq.kernel.dto.module.LatexVo

0.0

0.44444445 44.4%

org.qedeq.kernel.dto.module.ProofVo org.qedeq.kernel.dto.module.ProofVo

0.0

0.43333334 43.3%

org.qedeq.kernel.dto.module.HeaderVo org.qedeq.kernel.dto.module.HeaderVo

0.0

0.43283582 43.3%

org.qedeq.kernel.dto.module.NodeVo org.qedeq.kernel.dto.module.NodeVo

0.0

0.42647058 42.6%

org.qedeq.kernel.dto.module.AuthorVo org.qedeq.kernel.dto.module.AuthorVo

0.0

0.41379312 41.4%

org.qedeq.kernel.common.LogicalState org.qedeq.kernel.common.LogicalState

0.0

0.4 40%

org.qedeq.kernel.dto.module.SectionVo org.qedeq.kernel.dto.module.SectionVo

0.0

0.39534885 39.5%

org.qedeq.kernel.dto.module.SubsectionVo org.qedeq.kernel.dto.module.SubsectionVo

0.0

0.38636363 38.6%

org.qedeq.kernel.bo.module.KernelNodeBo org.qedeq.kernel.bo.module.KernelNodeBo

0.0

0.3846154 38.5%

org.qedeq.kernel.dto.module.PredicateDefinitionVo org.qedeq.kernel.dto.module.PredicateDefinitionVo

0.0

0.35384616 35.4%

org.qedeq.kernel.dto.module.FunctionDefinitionVo org.qedeq.kernel.dto.module.FunctionDefinitionVo

0.0

0.35384616 35.4%

org.qedeq.kernel.xml.parser.SimpleAttributes org.qedeq.kernel.xml.parser.SimpleAttributes

0.0

0.3508772 35.1%

org.qedeq.kernel.bo.log.QedeqLog org.qedeq.kernel.bo.log.QedeqLog

0.0

0.3448276 34.5%

org.qedeq.kernel.dto.module.PropositionVo org.qedeq.kernel.dto.module.PropositionVo

0.0

0.33962265 34%

org.qedeq.kernel.dto.module.LiteratureItemVo org.qedeq.kernel.dto.module.LiteratureItemVo

0.0

0.33333334 33.3%

org.qedeq.kernel.bo.module.ControlVisitor org.qedeq.kernel.bo.module.ControlVisitor

0.0

0.32692307 32.7%

org.qedeq.kernel.dto.module.RuleVo org.qedeq.kernel.dto.module.RuleVo

0.0

0.30769232 30.8%

org.qedeq.kernel.bo.log.LogListenerImpl org.qedeq.kernel.bo.log.LogListenerImpl

0.0

0.3 30%

org.qedeq.kernel.common.DefaultModuleAddress org.qedeq.kernel.common.DefaultModuleAddress

0.0

0.2937063 29.4%

org.qedeq.kernel.dto.module.TermVo org.qedeq.kernel.dto.module.TermVo

0.0

0.29166666 29.2%

org.qedeq.kernel.dto.module.FormulaVo org.qedeq.kernel.dto.module.FormulaVo

0.0

0.29166666 29.2%

org.qedeq.kernel.dto.module.LocationVo org.qedeq.kernel.dto.module.LocationVo

0.0

0.29166666 29.2%

org.qedeq.kernel.bo.service.DefaultKernelQedeqBo org.qedeq.kernel.bo.service.DefaultKernelQedeqBo

0.0

0.29007635 29%

org.qedeq.kernel.xml.parser.SaxErrorHandler org.qedeq.kernel.xml.parser.SaxErrorHandler

0.0

0.2857143 28.6%

org.qedeq.kernel.dto.list.DefaultAtom org.qedeq.kernel.dto.list.DefaultAtom

0.0

0.26666668 26.7%

org.qedeq.kernel.bo.service.StateManager org.qedeq.kernel.bo.service.StateManager

0.0

0.25316456 25.3%

org.qedeq.kernel.xml.dao.XmlQedeqFileDao org.qedeq.kernel.xml.dao.XmlQedeqFileDao

0.0

0.22916667 22.9%

org.qedeq.base.trace.Trace org.qedeq.base.trace.Trace

0.0

0.19565217 19.6%

org.qedeq.kernel.dto.list.DefaultElementList org.qedeq.kernel.dto.list.DefaultElementList

0.0

0.18656716 18.7%

org.qedeq.kernel.bo.service.PluginResultManager org.qedeq.kernel.bo.service.PluginResultManager

0.0

0.18461539 18.5%

org.qedeq.kernel.dto.module.AxiomVo org.qedeq.kernel.dto.module.AxiomVo

0.0

0.17948718 17.9%

org.qedeq.kernel.dto.module.UsedByListVo org.qedeq.kernel.dto.module.UsedByListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.dto.module.SubsectionListVo org.qedeq.kernel.dto.module.SubsectionListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.dto.module.LatexListVo org.qedeq.kernel.dto.module.LatexListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.dto.module.VariableListVo org.qedeq.kernel.dto.module.VariableListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.dto.module.LocationListVo org.qedeq.kernel.dto.module.LocationListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.dto.module.ChapterListVo org.qedeq.kernel.dto.module.ChapterListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.dto.module.ProofListVo org.qedeq.kernel.dto.module.ProofListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.dto.module.LinkListVo org.qedeq.kernel.dto.module.LinkListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.dto.module.SectionListVo org.qedeq.kernel.dto.module.SectionListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.dto.module.ImportListVo org.qedeq.kernel.dto.module.ImportListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.dto.module.AuthorListVo org.qedeq.kernel.dto.module.AuthorListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.dto.module.LiteratureItemListVo org.qedeq.kernel.dto.module.LiteratureItemListVo

0.0

0.15686275 15.7%

org.qedeq.kernel.common.DefaultSourceFileExceptionList org.qedeq.kernel.common.DefaultSourceFileExceptionList

0.0

0.12790698 12.8%

org.qedeq.base.io.IoUtility org.qedeq.base.io.IoUtility

0.0

0.118858956 11.9%

org.qedeq.kernel.bo.service.DefaultInternalKernelServices org.qedeq.kernel.bo.service.DefaultInternalKernelServices

0.0

0.11584327 11.6%

org.qedeq.kernel.bo.module.KernelModuleReferenceList org.qedeq.kernel.bo.module.KernelModuleReferenceList

0.0

0.09009009 9%

org.qedeq.kernel.bo.service.KernelQedeqBoStorage org.qedeq.kernel.bo.service.KernelQedeqBoStorage

0.0

0.06666667 6.7%

org.qedeq.base.utility.StringUtility org.qedeq.base.utility.StringUtility

0.0

0.06147541 6.1%

org.qedeq.kernel.bo.context.KernelContext org.qedeq.kernel.bo.context.KernelContext

0.0

0.044609666 4.5%

org.qedeq.base.utility.DateUtility org.qedeq.base.utility.DateUtility

0.0

0.03773585 3.8%