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.92
92%
|
|
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.QedeqHandler
org.qedeq.kernel.xml.handler.module.QedeqHandler
|
0.0
|
0.90909094
90,9%
|
|
org.qedeq.kernel.xml.handler.module.HeaderHandler
org.qedeq.kernel.xml.handler.module.HeaderHandler
|
0.0
|
0.8888889
88,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.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.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.UsedByListHandler
org.qedeq.kernel.xml.handler.module.UsedByListHandler
|
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.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.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.78205127
78,2%
|
|
org.qedeq.kernel.visitor.AbstractModuleVisitor
org.qedeq.kernel.visitor.AbstractModuleVisitor
|
0.0
|
0.7714286
77,1%
|
|
org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler
org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler
|
0.0
|
0.76666665
76,7%
|
|
org.qedeq.kernel.bo.logic.wf.Predicate
org.qedeq.kernel.bo.logic.wf.Predicate
|
0.0
|
0.72727275
72,7%
|
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPath
org.qedeq.kernel.xml.mapper.Context2SimpleXPath
|
0.0
|
0.72440946
72,4%
|
|
org.qedeq.kernel.visitor.QedeqNotNullTraverser
org.qedeq.kernel.visitor.QedeqNotNullTraverser
|
0.0
|
0.71695405
71,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.parser.SaxDefaultHandler
org.qedeq.kernel.xml.parser.SaxDefaultHandler
|
0.0
|
0.67153287
67,2%
|
|
org.qedeq.kernel.xml.parser.SaxParser
org.qedeq.kernel.xml.parser.SaxParser
|
0.0
|
0.65882355
65,9%
|
|
org.qedeq.kernel.xml.handler.module.AxiomHandler
org.qedeq.kernel.xml.handler.module.AxiomHandler
|
0.0
|
0.6571429
65,7%
|
|
org.qedeq.kernel.bo.logic.FormulaChecker
org.qedeq.kernel.bo.logic.FormulaChecker
|
0.0
|
0.65501165
65,5%
|
|
org.qedeq.kernel.bo.service.QedeqVoBuilder
org.qedeq.kernel.bo.service.QedeqVoBuilder
|
0.0
|
0.64541835
64,5%
|
|
org.qedeq.base.utility.Enumerator
org.qedeq.base.utility.Enumerator
|
0.0
|
0.6
60%
|
|
org.qedeq.kernel.dto.list.DefaultAtom
org.qedeq.kernel.dto.list.DefaultAtom
|
0.0
|
0.6
60%
|
|
org.qedeq.kernel.xml.handler.module.RuleHandler
org.qedeq.kernel.xml.handler.module.RuleHandler
|
0.0
|
0.5882353
58,8%
|
|
org.qedeq.kernel.bo.module.ControlVisitor
org.qedeq.kernel.bo.module.ControlVisitor
|
0.0
|
0.58064514
58,1%
|
|
org.qedeq.kernel.bo.service.QedeqBoFormalLogicChecker
org.qedeq.kernel.bo.service.QedeqBoFormalLogicChecker
|
0.0
|
0.5771812
57,7%
|
|
org.qedeq.kernel.bo.module.DefaultExistenceChecker
org.qedeq.kernel.bo.module.DefaultExistenceChecker
|
0.0
|
0.5588235
55,9%
|
|
org.qedeq.kernel.bo.service.DefaultKernelQedeqBo
org.qedeq.kernel.bo.service.DefaultKernelQedeqBo
|
0.0
|
0.55279505
55,3%
|
|
org.qedeq.kernel.xml.handler.module.PropositionHandler
org.qedeq.kernel.xml.handler.module.PropositionHandler
|
0.0
|
0.54545456
54,5%
|
|
org.qedeq.kernel.common.ModuleLabels
org.qedeq.kernel.common.ModuleLabels
|
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.bo.service.LoadRequiredModules
org.qedeq.kernel.bo.service.LoadRequiredModules
|
0.0
|
0.4864865
48,6%
|
|
org.qedeq.kernel.xml.tracker.SimpleXPath
org.qedeq.kernel.xml.tracker.SimpleXPath
|
0.0
|
0.48
48%
|
|
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.dto.module.LatexVo
org.qedeq.kernel.dto.module.LatexVo
|
0.0
|
0.44444445
44,4%
|
|
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.dto.module.HeaderVo
org.qedeq.kernel.dto.module.HeaderVo
|
0.0
|
0.40298507
40,3%
|
|
org.qedeq.kernel.bo.service.ModuleLabelsCreator
org.qedeq.kernel.bo.service.ModuleLabelsCreator
|
0.0
|
0.4
40%
|
|
org.qedeq.kernel.dto.list.DefaultElementList
org.qedeq.kernel.dto.list.DefaultElementList
|
0.0
|
0.3955224
39,6%
|
|
org.qedeq.kernel.dto.module.SectionVo
org.qedeq.kernel.dto.module.SectionVo
|
0.0
|
0.39534885
39,5%
|
|
org.qedeq.kernel.dto.module.PredicateDefinitionVo
org.qedeq.kernel.dto.module.PredicateDefinitionVo
|
0.0
|
0.3846154
38,5%
|
|
org.qedeq.kernel.common.QedeqException
org.qedeq.kernel.common.QedeqException
|
0.0
|
0.375
37,5%
|
|
org.qedeq.base.utility.EqualsUtility
org.qedeq.base.utility.EqualsUtility
|
0.0
|
0.36363637
36,4%
|
|
org.qedeq.kernel.common.DependencyState
org.qedeq.kernel.common.DependencyState
|
0.0
|
0.36363637
36,4%
|
|
org.qedeq.kernel.bo.log.ModuleEventListenerLog
org.qedeq.kernel.bo.log.ModuleEventListenerLog
|
0.0
|
0.36363637
36,4%
|
|
org.qedeq.kernel.xml.parser.SimpleAttributes
org.qedeq.kernel.xml.parser.SimpleAttributes
|
0.0
|
0.3508772
35,1%
|
|
org.qedeq.base.io.TextInput
org.qedeq.base.io.TextInput
|
0.0
|
0.34366196
34,4%
|
|
org.qedeq.kernel.dto.module.LiteratureItemVo
org.qedeq.kernel.dto.module.LiteratureItemVo
|
0.0
|
0.33333334
33,3%
|
|
com.sun.syndication.io.XmlReader
com.sun.syndication.io.XmlReader
|
0.0
|
0.32380953
32,4%
|
|
org.qedeq.kernel.bo.service.KernelQedeqBoStorage
org.qedeq.kernel.bo.service.KernelQedeqBoStorage
|
0.0
|
0.32222223
32,2%
|
|
org.qedeq.kernel.bo.service.ModuleConstantsExistenceChecker
org.qedeq.kernel.bo.service.ModuleConstantsExistenceChecker
|
0.0
|
0.3220339
32,2%
|
|
org.qedeq.kernel.bo.service.LoadDirectlyRequiredModules
org.qedeq.kernel.bo.service.LoadDirectlyRequiredModules
|
0.0
|
0.3
30%
|
|
org.qedeq.kernel.dto.module.SubsectionVo
org.qedeq.kernel.dto.module.SubsectionVo
|
0.0
|
0.29545453
29,5%
|
|
org.qedeq.kernel.dto.module.LocationVo
org.qedeq.kernel.dto.module.LocationVo
|
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.list.ElementSet
org.qedeq.kernel.dto.list.ElementSet
|
0.0
|
0.27966103
28%
|
|
org.qedeq.kernel.bo.service.DefaultModuleAddress
org.qedeq.kernel.bo.service.DefaultModuleAddress
|
0.0
|
0.25974026
26%
|
|
org.qedeq.kernel.bo.log.ModuleEventLog
org.qedeq.kernel.bo.log.ModuleEventLog
|
0.0
|
0.2580645
25,8%
|
|
org.qedeq.kernel.bo.service.StateManager
org.qedeq.kernel.bo.service.StateManager
|
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.dto.module.RuleVo
org.qedeq.kernel.dto.module.RuleVo
|
0.0
|
0.23076923
23,1%
|
|
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.21301775
21,3%
|
|
org.qedeq.kernel.bo.log.QedeqLog
org.qedeq.kernel.bo.log.QedeqLog
|
0.0
|
0.20689656
20,7%
|
|
org.qedeq.kernel.dto.module.PropositionVo
org.qedeq.kernel.dto.module.PropositionVo
|
0.0
|
0.20754717
20,8%
|
|
org.qedeq.kernel.common.LogicalState
org.qedeq.kernel.common.LogicalState
|
0.0
|
0.2
20%
|
|
org.qedeq.kernel.common.LoadingState
org.qedeq.kernel.common.LoadingState
|
0.0
|
0.2
20%
|
|
org.qedeq.kernel.bo.module.KernelModuleReferenceList
org.qedeq.kernel.bo.module.KernelModuleReferenceList
|
0.0
|
0.16216215
16,2%
|
|
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.LocationListVo
org.qedeq.kernel.dto.module.LocationListVo
|
0.0
|
0.15686275
15,7%
|
|
org.qedeq.kernel.dto.module.UsedByListVo
org.qedeq.kernel.dto.module.UsedByListVo
|
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.bo.logic.wf.LogicalCheckExceptionList
org.qedeq.kernel.bo.logic.wf.LogicalCheckExceptionList
|
0.0
|
0.13636364
13,6%
|
|
org.qedeq.kernel.xml.handler.module.ProofHandler
org.qedeq.kernel.xml.handler.module.ProofHandler
|
0.0
|
0.13636364
13,6%
|
|
org.qedeq.kernel.xml.handler.module.TermHandler
org.qedeq.kernel.xml.handler.module.TermHandler
|
0.0
|
0.12
12%
|
|
org.qedeq.base.utility.StringUtility
org.qedeq.base.utility.StringUtility
|
0.0
|
0.112299465
11,2%
|
|
org.qedeq.kernel.xml.handler.module.ImportListHandler
org.qedeq.kernel.xml.handler.module.ImportListHandler
|
0.0
|
0.09090909
9,1%
|
|
org.qedeq.kernel.bo.service.DefaultInternalKernelServices
org.qedeq.kernel.bo.service.DefaultInternalKernelServices
|
0.0
|
0.09033614
9%
|
|
org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler
org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler
|
0.0
|
0.083333336
8,3%
|
|
org.qedeq.kernel.bo.context.KernelContext
org.qedeq.kernel.bo.context.KernelContext
|
0.0
|
0.07220217
7,2%
|
|
org.qedeq.kernel.common.DefaultSourceFileExceptionList
org.qedeq.kernel.common.DefaultSourceFileExceptionList
|
0.0
|
0.06818182
6,8%
|
|
org.qedeq.kernel.xml.dao.XmlQedeqFileDao
org.qedeq.kernel.xml.dao.XmlQedeqFileDao
|
0.0
|
0.054545455
5,5%
|
|
org.qedeq.base.io.IoUtility
org.qedeq.base.io.IoUtility
|
0.0
|
0.03440367
3,4%
|
|