org.qedeq.kernel.common.QedeqException
org.qedeq.kernel.common.QedeqException
|
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.xml.handler.module.SpecificationHandler
org.qedeq.kernel.xml.handler.module.SpecificationHandler
|
0.0
|
0.8888889
88,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.FormulaHandler
org.qedeq.kernel.xml.handler.module.FormulaHandler
|
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.ChapterHandler
org.qedeq.kernel.xml.handler.module.ChapterHandler
|
0.0
|
0.82222223
82,2%
|
|
org.qedeq.kernel.xml.handler.module.SectionHandler
org.qedeq.kernel.xml.handler.module.SectionHandler
|
0.0
|
0.82222223
82,2%
|
|
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.ControlVisitor
org.qedeq.kernel.bo.module.ControlVisitor
|
0.0
|
0.7741935
77,4%
|
|
org.qedeq.kernel.xml.handler.module.SubsectionListHandler
org.qedeq.kernel.xml.handler.module.SubsectionListHandler
|
0.0
|
0.7647059
76,5%
|
|
org.qedeq.kernel.xml.handler.module.QedeqHandler
org.qedeq.kernel.xml.handler.module.QedeqHandler
|
0.0
|
0.72727275
72,7%
|
|
org.qedeq.kernel.xml.handler.module.HeaderHandler
org.qedeq.kernel.xml.handler.module.HeaderHandler
|
0.0
|
0.7222222
72,2%
|
|
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.xml.tracker.XPathLocationParser
org.qedeq.kernel.xml.tracker.XPathLocationParser
|
0.0
|
0.65384614
65,4%
|
|
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.bo.logic.FormulaChecker
org.qedeq.kernel.bo.logic.FormulaChecker
|
0.0046620048
0,5%
|
0.58275056
58,3%
|
|
org.qedeq.kernel.xml.handler.module.NodeHandler
org.qedeq.kernel.xml.handler.module.NodeHandler
|
0.0
|
0.56
56%
|
|
org.qedeq.kernel.bo.log.ModuleEventListenerLog
org.qedeq.kernel.bo.log.ModuleEventListenerLog
|
0.0
|
0.54545456
54,5%
|
|
org.qedeq.kernel.bo.service.DefaultKernelQedeqBo
org.qedeq.kernel.bo.service.DefaultKernelQedeqBo
|
0.0
|
0.5279503
52,8%
|
|
org.qedeq.kernel.common.DefaultSourceFileExceptionList
org.qedeq.kernel.common.DefaultSourceFileExceptionList
|
0.0
|
0.52272725
52,3%
|
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckException
org.qedeq.kernel.bo.logic.wf.FormulaCheckException
|
0.0
|
0.5
50%
|
|
org.qedeq.kernel.common.SourceArea
org.qedeq.kernel.common.SourceArea
|
0.0
|
0.5
50%
|
|
org.qedeq.kernel.common.ModuleLabels
org.qedeq.kernel.common.ModuleLabels
|
0.0
|
0.5
50%
|
|
org.qedeq.kernel.common.SourcePosition
org.qedeq.kernel.common.SourcePosition
|
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.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.common.SourceFileException
org.qedeq.kernel.common.SourceFileException
|
0.0
|
0.4385965
43,9%
|
|
org.qedeq.kernel.visitor.QedeqNotNullTraverser
org.qedeq.kernel.visitor.QedeqNotNullTraverser
|
0.0
|
0.43247128
43,2%
|
|
org.qedeq.kernel.visitor.AbstractModuleVisitor
org.qedeq.kernel.visitor.AbstractModuleVisitor
|
0.0
|
0.42857143
42,9%
|
|
org.qedeq.kernel.bo.service.QedeqVoBuilder
org.qedeq.kernel.bo.service.QedeqVoBuilder
|
0.0
|
0.41965473
42%
|
|
org.qedeq.kernel.dto.module.AuthorVo
org.qedeq.kernel.dto.module.AuthorVo
|
0.0
|
0.41379312
41,4%
|
|
org.qedeq.kernel.dto.module.ChapterVo
org.qedeq.kernel.dto.module.ChapterVo
|
0.0
|
0.40816328
40,8%
|
|
org.qedeq.kernel.dto.module.QedeqVo
org.qedeq.kernel.dto.module.QedeqVo
|
0.0
|
0.4
40%
|
|
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.xml.tracker.SimpleXPath
org.qedeq.kernel.xml.tracker.SimpleXPath
|
0.0
|
0.388
38,8%
|
|
org.qedeq.kernel.dto.list.ElementSet
org.qedeq.kernel.dto.list.ElementSet
|
0.0
|
0.38135594
38,1%
|
|
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.xml.dao.XmlQedeqFileDao
org.qedeq.kernel.xml.dao.XmlQedeqFileDao
|
0.0
|
0.36363637
36,4%
|
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPath
org.qedeq.kernel.xml.mapper.Context2SimpleXPath
|
0.0
|
0.35236222
35,2%
|
|
org.qedeq.kernel.dto.module.SectionVo
org.qedeq.kernel.dto.module.SectionVo
|
0.0
|
0.3488372
34,9%
|
|
com.sun.syndication.io.XmlReader
com.sun.syndication.io.XmlReader
|
0.0
|
0.32380953
32,4%
|
|
org.qedeq.kernel.bo.logic.wf.LogicalCheckExceptionList
org.qedeq.kernel.bo.logic.wf.LogicalCheckExceptionList
|
0.0
|
0.3181818
31,8%
|
|
org.qedeq.kernel.bo.logic.wf.LogicalCheckException
org.qedeq.kernel.bo.logic.wf.LogicalCheckException
|
0.0
|
0.3
30%
|
|
org.qedeq.kernel.bo.module.DefaultExistenceChecker
org.qedeq.kernel.bo.module.DefaultExistenceChecker
|
0.0
|
0.29411766
29,4%
|
|
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.common.ModuleDataException
org.qedeq.kernel.common.ModuleDataException
|
0.0
|
0.28125
28,1%
|
|
org.qedeq.kernel.xml.parser.SimpleAttributes
org.qedeq.kernel.xml.parser.SimpleAttributes
|
0.0
|
0.28070176
28,1%
|
|
org.qedeq.kernel.common.DependencyState
org.qedeq.kernel.common.DependencyState
|
0.0
|
0.27272728
27,3%
|
|
org.qedeq.kernel.bo.service.QedeqBoFormalLogicChecker
org.qedeq.kernel.bo.service.QedeqBoFormalLogicChecker
|
0.0
|
0.26845637
26,8%
|
|
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.xml.parser.SaxErrorHandler
org.qedeq.kernel.xml.parser.SaxErrorHandler
|
0.0
|
0.25
25%
|
|
org.qedeq.kernel.bo.service.ModuleConstantsExistenceChecker
org.qedeq.kernel.bo.service.ModuleConstantsExistenceChecker
|
0.0
|
0.23728813
23,7%
|
|
org.qedeq.base.io.TextInput
org.qedeq.base.io.TextInput
|
0.0
|
0.2169014
21,7%
|
|
org.qedeq.base.trace.Trace
org.qedeq.base.trace.Trace
|
0.0
|
0.21301775
21,3%
|
|
org.qedeq.kernel.bo.service.StateManager
org.qedeq.kernel.bo.service.StateManager
|
0.0
|
0.20394737
20,4%
|
|
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.dto.module.AxiomVo
org.qedeq.kernel.dto.module.AxiomVo
|
0.0
|
0.17948718
17,9%
|
|
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.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.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.xml.handler.module.LiteratureItemHandler
org.qedeq.kernel.xml.handler.module.LiteratureItemHandler
|
0.0
|
0.14285715
14,3%
|
|
org.qedeq.kernel.bo.log.QedeqLog
org.qedeq.kernel.bo.log.QedeqLog
|
0.0
|
0.13793103
13,8%
|
|
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.SubsectionHandler
org.qedeq.kernel.xml.handler.module.SubsectionHandler
|
0.0
|
0.13157895
13,2%
|
|
org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler
org.qedeq.kernel.xml.handler.module.LiteratureItemListHandler
|
0.0
|
0.12
12%
|
|
org.qedeq.kernel.xml.handler.module.TermHandler
org.qedeq.kernel.xml.handler.module.TermHandler
|
0.0
|
0.12
12%
|
|
org.qedeq.kernel.xml.handler.module.UsedByListHandler
org.qedeq.kernel.xml.handler.module.UsedByListHandler
|
0.0
|
0.12
12%
|
|
org.qedeq.kernel.xml.handler.module.VariableListHandler
org.qedeq.kernel.xml.handler.module.VariableListHandler
|
0.0
|
0.115384616
11,5%
|
|
org.qedeq.kernel.xml.handler.module.PropositionHandler
org.qedeq.kernel.xml.handler.module.PropositionHandler
|
0.0
|
0.11363637
11,4%
|
|
org.qedeq.kernel.xml.handler.module.ImportListHandler
org.qedeq.kernel.xml.handler.module.ImportListHandler
|
0.0
|
0.09090909
9,1%
|
|
org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler
org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler
|
0.0
|
0.083333336
8,3%
|
|
org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler
org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler
|
0.0
|
0.083333336
8,3%
|
|
org.qedeq.kernel.xml.handler.module.RuleHandler
org.qedeq.kernel.xml.handler.module.RuleHandler
|
0.0
|
0.078431375
7,8%
|
|
org.qedeq.kernel.bo.service.KernelQedeqBoStorage
org.qedeq.kernel.bo.service.KernelQedeqBoStorage
|
0.0
|
0.06666667
6,7%
|
|
org.qedeq.base.io.IoUtility
org.qedeq.base.io.IoUtility
|
0.0
|
0.050458714
5%
|
|
org.qedeq.kernel.bo.context.KernelContext
org.qedeq.kernel.bo.context.KernelContext
|
0.0
|
0.0433213
4,3%
|
|
org.qedeq.kernel.dto.module.SubsectionVo
org.qedeq.kernel.dto.module.SubsectionVo
|
0.0
|
0.022727273
2,3%
|
|
org.qedeq.kernel.bo.service.DefaultInternalKernelServices
org.qedeq.kernel.bo.service.DefaultInternalKernelServices
|
0.0
|
0.023109244
2,3%
|
|