Clover

Clover Test Report

Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST

FRAMES NO FRAMES SHOW HELP

Test

Unique Coverage

Status

Start time

Time (seconds)

Message

testContext

1 PASS

2 Aug 12:56:26

3532.375

Target Class

Unique

Coverage contributed by testContext.

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

0.0

1.0 100%

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.ChapterHandler org.qedeq.kernel.xml.handler.module.ChapterHandler

0.0

0.9111111 91,1%

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.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.SpecificationHandler org.qedeq.kernel.xml.handler.module.SpecificationHandler

0.0

0.8888889 88,9%

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

0.0

0.88235295 88,2%

org.qedeq.kernel.xml.mapper.Context2SimpleXPath org.qedeq.kernel.xml.mapper.Context2SimpleXPath

0.0

0.87992126 88%

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.visitor.QedeqNotNullTraverser org.qedeq.kernel.visitor.QedeqNotNullTraverser

0.0

0.8448276 84,5%

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.LiteratureItemListHandler org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler

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.AuthorListHandler org.qedeq.kernel.xml.handler.module.AuthorListHandler

0.0

0.84 84%

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

0.0

0.8333333 83,3%

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

0.0

0.8181818 81,8%

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.xml.handler.module.SubsectionHandler org.qedeq.kernel.xml.handler.module.SubsectionHandler

0.0

0.7894737 78,9%

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

0.0

0.7692308 76,9%

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

0.0

0.76666665 76,7%

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

0.0

0.76666665 76,7%

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

0.0

0.71428573 71,4%

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

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

0.0

0.67058825 67,1%

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

0.0

0.67153287 67,2%

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

0.0

0.6571429 65,7%

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

0.0

0.6 60%

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

0.0

0.48 48%

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

0.0

0.45945945 45,9%

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

0.0

0.425 42,5%

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

0.0

0.3877551 38,8%

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

0.0

0.375 37,5%

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

0.0

0.37313432 37,3%

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

0.0

0.36764705 36,8%

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

0.0

0.36363637 36,4%

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

0.0

0.35849056 35,8%

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

0.0

0.3508772 35,1%

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

0.0

0.3488372 34,9%

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

0.0

0.34084508 34,1%

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

0.0

0.31746033 31,7%

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

0.0

0.3 30%

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

0.0

0.2923077 29,2%

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

0.0

0.2923077 29,2%

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

0.0

0.2769231 27,7%

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

0.0

0.25925925 25,9%

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

0.0

0.25 25%

org.qedeq.kernel.common.SourcePosition org.qedeq.kernel.common.SourcePosition

0.0

0.25 25%

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

0.0

0.25 25%

org.qedeq.kernel.bo.service.DefaultModuleAddress org.qedeq.kernel.bo.service.DefaultModuleAddress

0.0

0.23376623 23,4%

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

0.0

0.23076923 23,1%

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

0.0

0.22222222 22,2%

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

0.0

0.18656716 18,7%

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

0.0

0.18518518 18,5%

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

0.0

0.1764706 17,6%

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

0.0

0.1724138 17,2%

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

0.0

0.16666667 16,7%

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

0.0

0.16666667 16,7%

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

0.0

0.15686275 15,7%

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

0.0

0.15625 15,6%

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

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

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

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.base.trace.Trace org.qedeq.base.trace.Trace

0.0

0.14201184 14,2%

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

0.0

0.12 12%

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

0.0

0.112299465 11,2%

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

0.0

0.11111111 11,1%

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

0.0

0.083333336 8,3%

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

0.0

0.06818182 6,8%

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

0.0

0.039711192 4%

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

0.0

0.028571429 2,9%

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

0.0

0.018348623 1,8%