|
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%
|
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%
|
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%
|
|