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

1 PASS

18 Sep 03:03:10

1455.359

Target Class

Unique

Coverage contributed by testGeneration.

org.qedeq.kernel.bo.service.latex.Element2Latex.Predvar org.qedeq.kernel.bo.service.latex.Element2Latex.Predvar

0.0

1.0 100%

org.qedeq.kernel.bo.service.latex.Element2Latex.BinaryLogical org.qedeq.kernel.bo.service.latex.Element2Latex.BinaryLogical

0.0

1.0 100%

org.qedeq.kernel.bo.service.latex.Element2Latex.Not org.qedeq.kernel.bo.service.latex.Element2Latex.Not

0.0

1.0 100%

org.qedeq.kernel.xml.mapper.LocationFoundException org.qedeq.kernel.xml.mapper.LocationFoundException

0.0

1.0 100%

org.qedeq.kernel.bo.service.latex.Element2Latex.Quantifier org.qedeq.kernel.bo.service.latex.Element2Latex.Quantifier

0.0

1.0 100%

org.qedeq.kernel.bo.service.latex.Element2Latex.Class org.qedeq.kernel.bo.service.latex.Element2Latex.Class

0.0

1.0 100%

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

0.0

0.9714286 97.1%

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.mapper.Context2SimpleXPath org.qedeq.kernel.xml.mapper.Context2SimpleXPath

0.0

0.9148515 91.5%

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.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.bo.service.latex.Element2Latex org.qedeq.kernel.bo.service.latex.Element2Latex

0.0

0.9076923 90.8%

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

0.0

0.8965517 89.7%

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

0.0

0.8947368 89.5%

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

0.0

0.8918919 89.2%

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.bo.service.latex.Qedeq2Latex org.qedeq.kernel.bo.service.latex.Qedeq2Latex

0.0

0.8495025 85%

org.qedeq.kernel.bo.service.LoadDirectlyRequiredModules org.qedeq.kernel.bo.service.LoadDirectlyRequiredModules

0.0

0.85 85%

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.bo.module.ModuleLabels org.qedeq.kernel.bo.module.ModuleLabels

0.0

0.8333333 83.3%

org.qedeq.kernel.bo.service.latex.Element2Latex.Funvar org.qedeq.kernel.bo.service.latex.Element2Latex.Funvar

0.0

0.8333333 83.3%

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

0.0

0.8233732 82.3%

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.latex.QedeqBoDuplicateLanguageChecker org.qedeq.kernel.bo.service.latex.QedeqBoDuplicateLanguageChecker

0.0

0.8125 81.2%

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.parser.SimpleHandler org.qedeq.kernel.xml.parser.SimpleHandler

0.0

0.7916667 79.2%

org.qedeq.kernel.bo.module.DefaultExistenceChecker org.qedeq.kernel.bo.module.DefaultExistenceChecker

0.0

0.7924528 79.2%

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.xml.parser.SaxDefaultHandler org.qedeq.kernel.xml.parser.SaxDefaultHandler

0.0

0.7322835 73.2%

org.qedeq.kernel.bo.service.QedeqBoFormalLogicChecker org.qedeq.kernel.bo.service.QedeqBoFormalLogicChecker

0.0

0.7290323 72.9%

org.qedeq.kernel.bo.logic.wf.Predicate org.qedeq.kernel.bo.logic.wf.Predicate

0.0

0.72727275 72.7%

org.qedeq.kernel.bo.logic.wf.Function org.qedeq.kernel.bo.logic.wf.Function

0.0

0.72727275 72.7%

org.qedeq.kernel.bo.module.PluginResults org.qedeq.kernel.bo.module.PluginResults

0.0

0.7222222 72.2%

org.qedeq.kernel.xml.tracker.XPathLocationParser org.qedeq.kernel.xml.tracker.XPathLocationParser

0.0

0.7091837 70.9%

org.qedeq.kernel.bo.logic.FormulaChecker org.qedeq.kernel.bo.logic.FormulaChecker

0.0

0.7016317 70.2%

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

0.0

0.6923077 69.2%

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

0.0

0.69148934 69.1%

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

0.0

0.6862745 68.6%

org.qedeq.kernel.bo.service.latex.Element2Latex.Predcon org.qedeq.kernel.bo.service.latex.Element2Latex.Predcon

0.0

0.67391306 67.4%

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.common.DependencyState org.qedeq.kernel.common.DependencyState

0.0

0.6363636 63.6%

org.qedeq.kernel.bo.service.LoadRequiredModules org.qedeq.kernel.bo.service.LoadRequiredModules

0.0

0.6216216 62.2%

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

0.0

0.6 60%

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

0.0

0.58778626 58.8%

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

0.0

0.5846154 58.5%

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.bo.module.ControlVisitor org.qedeq.kernel.bo.module.ControlVisitor

0.0

0.5192308 51.9%

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

0.0

0.5174825 51.7%

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.common.LogicalState org.qedeq.kernel.common.LogicalState

0.0

0.5 50%

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

0.0

0.4774775 47.7%

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

0.0

0.475 47.5%

org.qedeq.kernel.xml.tracker.SimpleXPath org.qedeq.kernel.xml.tracker.SimpleXPath

0.0

0.47345132 47.3%

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.base.io.TextOutput org.qedeq.base.io.TextOutput

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.bo.service.StateManager org.qedeq.kernel.bo.service.StateManager

0.0

0.4506329 45.1%

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.bo.service.KernelQedeqBoStorage org.qedeq.kernel.bo.service.KernelQedeqBoStorage

0.0

0.43333334 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.base.io.SourceArea org.qedeq.base.io.SourceArea

0.0

0.4 40%

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

0.0

0.3962264 39.6%

org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin org.qedeq.kernel.bo.service.latex.Qedeq2LatexPlugin

0.0

0.39506173 39.5%

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

0.0

0.39534885 39.5%

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

0.0

0.3955224 39.6%

org.qedeq.base.io.TextInput org.qedeq.base.io.TextInput

0.0

0.39012346 39%

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

0.0

0.38636363 38.6%

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

0.0

0.3846154 38.5%

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

0.0

0.3846154 38.5%

org.qedeq.kernel.bo.service.ModuleConstantsExistenceChecker org.qedeq.kernel.bo.service.ModuleConstantsExistenceChecker

0.0

0.37748346 37.7%

org.qedeq.kernel.common.QedeqException org.qedeq.kernel.common.QedeqException

0.0

0.375 37.5%

org.qedeq.kernel.bo.service.latex.Element2Latex.Funcon org.qedeq.kernel.bo.service.latex.Element2Latex.Funcon

0.0

0.36956522 37%

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.RuleVo org.qedeq.kernel.dto.module.RuleVo

0.0

0.33846155 33.8%

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

0.0

0.33333334 33.3%

org.qedeq.base.utility.Enumerator org.qedeq.base.utility.Enumerator

0.0

0.33333334 33.3%

com.sun.syndication.io.XmlReader com.sun.syndication.io.XmlReader

0.0

0.32380953 32.4%

org.qedeq.base.utility.EqualsUtility org.qedeq.base.utility.EqualsUtility

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.dto.module.TermVo org.qedeq.kernel.dto.module.TermVo

0.0

0.29166666 29.2%

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

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.xml.parser.SaxErrorHandler org.qedeq.kernel.xml.parser.SaxErrorHandler

0.0

0.2857143 28.6%

org.qedeq.kernel.dto.list.ElementSet org.qedeq.kernel.dto.list.ElementSet

0.0

0.27966103 28%

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

0.0

0.2589438 25.9%

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

0.0

0.23076923 23.1%

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

0.0

0.2173913 21.7%

org.qedeq.kernel.bo.service.latex.Element2Latex.Var org.qedeq.kernel.bo.service.latex.Element2Latex.Var

0.0

0.2 20%

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

0.0

0.1762295 17.6%

org.qedeq.kernel.config.QedeqConfig org.qedeq.kernel.config.QedeqConfig

0.0

0.168 16.8%

org.qedeq.base.io.SourcePosition org.qedeq.base.io.SourcePosition

0.0

0.16666667 16.7%

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.15116279 15.1%

org.qedeq.kernel.bo.logic.wf.LogicalCheckExceptionList org.qedeq.kernel.bo.logic.wf.LogicalCheckExceptionList

0.0

0.13636364 13.6%

org.qedeq.kernel.common.ModuleDataException org.qedeq.kernel.common.ModuleDataException

0.0

0.11627907 11.6%

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

0.0

0.10776545 10.8%

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

0.0

0.09665427 9.7%

org.qedeq.kernel.config.ConfigAccess org.qedeq.kernel.config.ConfigAccess

0.0

0.04494382 4.5%

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

0.0

0.03773585 3.8%