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.HeaderHandler
org.qedeq.kernel.xml.handler.module.HeaderHandler
|
0.0
|
0.9444444
94,4%
|
|
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.SpecificationHandler
org.qedeq.kernel.xml.handler.module.SpecificationHandler
|
0.0
|
0.8888889
88,9%
|
|
org.qedeq.kernel.xml.handler.module.ImportListHandler
org.qedeq.kernel.xml.handler.module.ImportListHandler
|
0.0
|
0.8787879
87,9%
|
|
org.qedeq.kernel.bo.service.latex.QedeqBoDuplicateLanguageChecker
org.qedeq.kernel.bo.service.latex.QedeqBoDuplicateLanguageChecker
|
0.0
|
0.875
87,5%
|
|
org.qedeq.kernel.bo.module.ControlVisitor
org.qedeq.kernel.bo.module.ControlVisitor
|
0.0
|
0.87096775
87,1%
|
|
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.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.FormulaHandler
org.qedeq.kernel.xml.handler.module.FormulaHandler
|
0.0
|
0.84
84%
|
|
org.qedeq.kernel.xml.handler.module.NodeHandler
org.qedeq.kernel.xml.handler.module.NodeHandler
|
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.xml.handler.module.PropositionHandler
org.qedeq.kernel.xml.handler.module.PropositionHandler
|
0.0
|
0.8181818
81,8%
|
|
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.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.PredicateDefinitionHandler
org.qedeq.kernel.xml.handler.module.PredicateDefinitionHandler
|
0.0
|
0.76666665
76,7%
|
|
org.qedeq.kernel.xml.handler.module.SubsectionListHandler
org.qedeq.kernel.xml.handler.module.SubsectionListHandler
|
0.0
|
0.7647059
76,5%
|
|
org.qedeq.kernel.visitor.AbstractModuleVisitor
org.qedeq.kernel.visitor.AbstractModuleVisitor
|
0.0
|
0.74285716
74,3%
|
|
org.qedeq.kernel.xml.handler.module.QedeqHandler
org.qedeq.kernel.xml.handler.module.QedeqHandler
|
0.0
|
0.72727275
72,7%
|
|
org.qedeq.kernel.bo.logic.wf.Predicate
org.qedeq.kernel.bo.logic.wf.Predicate
|
0.0
|
0.72727275
72,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.visitor.QedeqNotNullTraverser
org.qedeq.kernel.visitor.QedeqNotNullTraverser
|
0.0
|
0.6810345
68,1%
|
|
org.qedeq.kernel.bo.service.DefaultKernelQedeqBo
org.qedeq.kernel.bo.service.DefaultKernelQedeqBo
|
0.0
|
0.6708075
67,1%
|
|
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.common.ModuleLabels
org.qedeq.kernel.common.ModuleLabels
|
0.0
|
0.65384614
65,4%
|
|
org.qedeq.kernel.xml.tracker.XPathLocationParser
org.qedeq.kernel.xml.tracker.XPathLocationParser
|
0.0
|
0.65384614
65,4%
|
|
org.qedeq.kernel.bo.service.ModuleConstantsExistenceChecker
org.qedeq.kernel.bo.service.ModuleConstantsExistenceChecker
|
0.0
|
0.6440678
64,4%
|
|
org.qedeq.kernel.bo.service.QedeqVoBuilder
org.qedeq.kernel.bo.service.QedeqVoBuilder
|
0.0
|
0.63612217
63,6%
|
|
org.qedeq.kernel.bo.service.LoadRequiredModules
org.qedeq.kernel.bo.service.LoadRequiredModules
|
0.0
|
0.6216216
62,2%
|
|
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.0
|
0.5897436
59%
|
|
org.qedeq.kernel.bo.module.DefaultExistenceChecker
org.qedeq.kernel.bo.module.DefaultExistenceChecker
|
0.0
|
0.5882353
58,8%
|
|
org.qedeq.kernel.bo.service.QedeqBoFormalLogicChecker
org.qedeq.kernel.bo.service.QedeqBoFormalLogicChecker
|
0.0
|
0.5503356
55%
|
|
org.qedeq.kernel.bo.log.ModuleEventListenerLog
org.qedeq.kernel.bo.log.ModuleEventListenerLog
|
0.0
|
0.54545456
54,5%
|
|
org.qedeq.kernel.bo.service.ModuleLabelsCreator
org.qedeq.kernel.bo.service.ModuleLabelsCreator
|
0.0
|
0.51428574
51,4%
|
|
org.qedeq.kernel.bo.service.latex.LatexListDataException
org.qedeq.kernel.bo.service.latex.LatexListDataException
|
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.tracker.SimpleXPath
org.qedeq.kernel.xml.tracker.SimpleXPath
|
0.0
|
0.48
48%
|
|
org.qedeq.kernel.xml.dao.XmlQedeqFileDao
org.qedeq.kernel.xml.dao.XmlQedeqFileDao
|
0.0
|
0.47272727
47,3%
|
|
org.qedeq.kernel.common.ModuleDataException
org.qedeq.kernel.common.ModuleDataException
|
0.0
|
0.46875
46,9%
|
|
org.qedeq.kernel.xml.parser.SaxEntityResolver
org.qedeq.kernel.xml.parser.SaxEntityResolver
|
0.0
|
0.45945945
45,9%
|
|
org.qedeq.kernel.bo.service.DefaultModuleAddress
org.qedeq.kernel.bo.service.DefaultModuleAddress
|
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.ChapterVo
org.qedeq.kernel.dto.module.ChapterVo
|
0.0
|
0.4489796
44,9%
|
|
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.bo.service.KernelQedeqBoStorage
org.qedeq.kernel.bo.service.KernelQedeqBoStorage
|
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.ProofVo
org.qedeq.kernel.dto.module.ProofVo
|
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.xml.mapper.Context2SimpleXPath
org.qedeq.kernel.xml.mapper.Context2SimpleXPath
|
0.0
|
0.41732284
41,7%
|
|
org.qedeq.kernel.bo.module.KernelModuleReferenceList
org.qedeq.kernel.bo.module.KernelModuleReferenceList
|
0.0
|
0.4144144
41,4%
|
|
org.qedeq.kernel.dto.module.AuthorVo
org.qedeq.kernel.dto.module.AuthorVo
|
0.0
|
0.41379312
41,4%
|
|
org.qedeq.kernel.common.SourceArea
org.qedeq.kernel.common.SourceArea
|
0.0
|
0.4
40%
|
|
org.qedeq.kernel.dto.module.QedeqVo
org.qedeq.kernel.dto.module.QedeqVo
|
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.list.DefaultElementList
org.qedeq.kernel.dto.list.DefaultElementList
|
0.0
|
0.38059703
38,1%
|
|
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.dto.module.PredicateDefinitionVo
org.qedeq.kernel.dto.module.PredicateDefinitionVo
|
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.service.StateManager
org.qedeq.kernel.bo.service.StateManager
|
0.0
|
0.34210527
34,2%
|
|
com.sun.syndication.io.XmlReader
com.sun.syndication.io.XmlReader
|
0.0
|
0.32380953
32,4%
|
|
org.qedeq.kernel.dto.module.PropositionVo
org.qedeq.kernel.dto.module.PropositionVo
|
0.0
|
0.3018868
30,2%
|
|
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.common.DefaultSourceFileExceptionList
org.qedeq.kernel.common.DefaultSourceFileExceptionList
|
0.0
|
0.27272728
27,3%
|
|
org.qedeq.kernel.xml.parser.SaxErrorHandler
org.qedeq.kernel.xml.parser.SaxErrorHandler
|
0.0
|
0.25
25%
|
|
org.qedeq.base.io.TextInput
org.qedeq.base.io.TextInput
|
0.0
|
0.22253521
22,3%
|
|
org.qedeq.kernel.bo.service.DefaultInternalKernelServices
org.qedeq.kernel.bo.service.DefaultInternalKernelServices
|
0.0
|
0.22058824
22,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.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.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.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.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.kernel.xml.handler.module.LiteratureItemHandler
org.qedeq.kernel.xml.handler.module.LiteratureItemHandler
|
0.0
|
0.14285715
14,3%
|
|
org.qedeq.kernel.common.SourceFileException
org.qedeq.kernel.common.SourceFileException
|
0.0
|
0.14035088
14%
|
|
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.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.FunctionDefinitionHandler
org.qedeq.kernel.xml.handler.module.FunctionDefinitionHandler
|
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.context.KernelContext
org.qedeq.kernel.bo.context.KernelContext
|
0.0
|
0.07220217
7,2%
|
|
org.qedeq.base.io.IoUtility
org.qedeq.base.io.IoUtility
|
0.0
|
0.03440367
3,4%
|
|
org.qedeq.kernel.dto.module.SubsectionVo
org.qedeq.kernel.dto.module.SubsectionVo
|
0.0
|
0.022727273
2,3%
|
|