|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
QedeqNumbers | Line # 9 | 76 | 36 | 100% |
1.0
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
(110) | |||
Result | |||
0.87931037
|
org.qedeq.kernel.se.visitor.QedeqNumbersTest.testGetVisitPercentage org.qedeq.kernel.se.visitor.QedeqNumbersTest.testGetVisitPercentage | 1 PASS | |
0.7758621
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.7758621
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1 org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1 | 1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04 | 1 PASS | |
0.7413793
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration | 1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3 | 1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5 | 1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03 | 1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2 org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2 | 1 PASS | |
0.7413793
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4 | 1 PASS | |
0.7241379
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4 | 1 PASS | |
0.7241379
|
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1 org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1 | 1 PASS | |
0.7241379
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2 | 1 PASS | |
0.7241379
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02 | 1 PASS | |
0.69827586
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07 | 1 PASS | |
0.69827586
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05 | 1 PASS | |
0.69827586
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06 | 1 PASS | |
0.69827586
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08 | 1 PASS | |
0.6896552
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2 org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2 | 1 PASS | |
0.6896552
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6 | 1 PASS | |
0.6896552
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1 org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1 | 1 PASS | |
0.6896552
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1 | 1 PASS | |
0.6896552
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01 | 1 PASS | |
0.6810345
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2 org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2 | 1 PASS | |
0.6810345
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1 org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1 | 1 PASS | |
0.6810345
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003 org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003 | 1 PASS | |
0.6810345
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002 org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq1 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq1 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09 | 1 PASS | |
0.6465517
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03 | 1 PASS | |
0.62931037
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2 | 1 PASS | |
0.62931037
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2 org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2 | 1 PASS | |
0.62931037
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2 | 1 PASS | |
0.62931037
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2 org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2 | 1 PASS | |
0.61206895
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12 | 1 PASS | |
0.6034483
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4 org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4 | 1 PASS | |
0.6034483
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2 org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2 | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10 | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6 org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6 | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4 org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4 | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2 org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2 | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1 org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1 | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3 | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3 org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3 | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b | 1 PASS | |
0.5948276
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2 | 1 PASS | |
0.57758623
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11 | 1 PASS | |
0.57758623
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13 | 1 PASS | |
0.57758623
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01 | 1 PASS | |
0.5689655
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext org.qedeq.kernel.bo.module.VisitorContextTest.testContext | 1 PASS | |
0.5603448
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testQedeq org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testQedeq | 1 PASS | |
0.5344828
|
org.qedeq.kernel.se.visitor.QedeqNumbersTest.testHashCodeAndEquals org.qedeq.kernel.se.visitor.QedeqNumbersTest.testHashCodeAndEquals | 1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04 | 1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02 | 1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03 org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03 | 1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03 | 1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04 org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04 | 1 PASS | |
0.5258621
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02 org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02 | 1 PASS | |
0.5258621
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1 org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1 | 1 PASS | |
0.5258621
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2 org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2 | 1 PASS | |
0.51724136
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6 | 1 PASS | |
0.51724136
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5 | 1 PASS | |
0.35344827
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath07 org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath07 | 1 PASS | |
0.35344827
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath09 org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath09 | 1 PASS | |
0.35344827
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath06 org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath06 | 1 PASS | |
0.3448276
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06 | 1 PASS | |
0.3448276
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05 | 1 PASS | |
0.3448276
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3 | 1 PASS | |
0.3448276
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2 | 1 PASS | |
0.31896552
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath08 org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath08 | 1 PASS | |
0.30172414
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath05 org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath05 | 1 PASS | |
0.30172414
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath04 org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath04 | 1 PASS | |
0.30172414
|
org.qedeq.kernel.se.visitor.QedeqNumbersTest.testConstructor org.qedeq.kernel.se.visitor.QedeqNumbersTest.testConstructor | 1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_06 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_06 | 1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04 | 1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02 | 1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10 | 1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09 | 1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07 | 1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03 | 1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_01 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_01 | 1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_08 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_08 | 1 PASS | |
0.22413793
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_05 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_05 | 1 PASS | |
0.1724138
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath02 org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath02 | 1 PASS | |
0.060344826
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testAcceptors1 org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testAcceptors1 | 1 PASS | |
0.04310345
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testAcceptors2 org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testAcceptors2 | 1 PASS | |
0.02586207
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath03 org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath03 | 1 PASS | |
0.02586207
|
org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath01 org.qedeq.kernel.xml.mapper.Context2SimpleXPathTest.testGetXPath01 | 1 PASS | |
0.02586207
|
org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testQedeq2 org.qedeq.kernel.se.visitor.QedeqNotNullTraverserTest.testQedeq2 | 1 PASS | |
1 | package org.qedeq.kernel.se.visitor; | |
2 | ||
3 | ||
4 | /** | |
5 | * Contains various counter values for a {@link org.qedeq.kernel.se.base.module.Qedeq}. | |
6 | * | |
7 | * @author Michael Meyling | |
8 | */ | |
9 | public class QedeqNumbers { | |
10 | ||
11 | /** Number of imports. */ | |
12 | private int imports; | |
13 | ||
14 | /** Number of chapters. */ | |
15 | private int chapters; | |
16 | ||
17 | /** Number of subsections (within current chapter). */ | |
18 | private int sections; | |
19 | ||
20 | /** Number of subsections (within current section). */ | |
21 | private int subsectionsAndNodes; | |
22 | ||
23 | /** Import we currently work on (or lastly visited). */ | |
24 | private int importNumber; | |
25 | ||
26 | /** Chapter numbering currently on? */ | |
27 | private boolean chapterNumbering; | |
28 | ||
29 | /** Chapter number the node is within. */ | |
30 | private int chapterNumber; | |
31 | ||
32 | /** Absolute chapter number the node is within. Includes chapters with no numbers. */ | |
33 | private int absoluteChapterNumber; | |
34 | ||
35 | /** Section numbering currently on? */ | |
36 | private boolean sectionNumbering; | |
37 | ||
38 | /** Section number the node is within. */ | |
39 | private int sectionNumber; | |
40 | ||
41 | /** Absolute section number the node is within. Includes sections with no numbers. */ | |
42 | private int absoluteSectionNumber; | |
43 | ||
44 | /** Sub section number for section. */ | |
45 | private int subsectionNumber; | |
46 | ||
47 | /** Node number the node for section. */ | |
48 | private int nodeNumber; | |
49 | ||
50 | /** Axioms before node (including this one). */ | |
51 | private int axiomNumber; | |
52 | ||
53 | /** Function definitions before node (including this one). */ | |
54 | private int functionDefinitionNumber; | |
55 | ||
56 | /** Predicate definitions before node (including this one). */ | |
57 | private int predicateDefinitionNumber; | |
58 | ||
59 | /** Propositions before node (including this one). */ | |
60 | private int propositionNumber; | |
61 | ||
62 | /** Rule definitions before node (including this one). */ | |
63 | private int ruleNumber; | |
64 | ||
65 | /** No further numbering will be done. */ | |
66 | private boolean finished; | |
67 | ||
68 | /** | |
69 | * Constructor. | |
70 | * | |
71 | * @param imports Number of imported QEDEQ modules. | |
72 | * @param chapters Number of chapters in QEDEQ module. | |
73 | */ | |
74 | 137415 | public QedeqNumbers(final int imports, final int chapters) { |
75 | 137415 | this.imports = imports; |
76 | 137415 | this.chapters = chapters; |
77 | } | |
78 | ||
79 | /** | |
80 | * Copy constructor. | |
81 | * | |
82 | * @param original Original to copy values from. | |
83 | */ | |
84 | 91400 | public QedeqNumbers(final QedeqNumbers original) { |
85 | 91400 | imports = original.imports; |
86 | 91400 | chapters = original.chapters; |
87 | 91400 | sections = original.sections; |
88 | 91400 | subsectionsAndNodes = original.subsectionsAndNodes; |
89 | 91400 | importNumber = original.importNumber; |
90 | 91400 | chapterNumbering = original.chapterNumbering; |
91 | 91400 | chapterNumber = original.chapterNumber; |
92 | 91400 | absoluteChapterNumber = original.absoluteChapterNumber; |
93 | 91400 | sectionNumbering = original.sectionNumbering; |
94 | 91400 | nodeNumber = original.nodeNumber; |
95 | 91400 | sectionNumber = original.sectionNumber; |
96 | 91400 | absoluteSectionNumber = original.absoluteSectionNumber; |
97 | 91400 | subsectionNumber = original.subsectionNumber; |
98 | 91400 | axiomNumber = original.axiomNumber; |
99 | 91400 | functionDefinitionNumber = original.functionDefinitionNumber; |
100 | 91400 | predicateDefinitionNumber = original.predicateDefinitionNumber; |
101 | 91400 | propositionNumber = original.propositionNumber; |
102 | 91400 | ruleNumber = original.ruleNumber; |
103 | 91400 | finished = original.finished; |
104 | } | |
105 | ||
106 | /** | |
107 | * Last import number. | |
108 | * | |
109 | * @return Import number. | |
110 | */ | |
111 | 1461 | public int getImportNumber() { |
112 | 1461 | return importNumber; |
113 | } | |
114 | ||
115 | /** | |
116 | * Increase import number. | |
117 | */ | |
118 | 1528 | public void increaseImportNumber() { |
119 | 1528 | importNumber++; |
120 | } | |
121 | ||
122 | /** | |
123 | * Chapter number the node is within. | |
124 | * | |
125 | * @return Chapter number. | |
126 | */ | |
127 | 357463 | public int getChapterNumber() { |
128 | 357463 | return chapterNumber; |
129 | } | |
130 | ||
131 | /** | |
132 | * Increase chapter number. | |
133 | * | |
134 | * @param sections Number of subsections in new chapter. | |
135 | * @param chapterNumbering Chapter numbering on? | |
136 | */ | |
137 | 241650 | public void increaseChapterNumber(final int sections, final boolean chapterNumbering) { |
138 | 241650 | this.chapterNumbering = chapterNumbering; |
139 | 241650 | absoluteChapterNumber++; |
140 | 241650 | if (chapterNumbering) { |
141 | 149351 | chapterNumber++; |
142 | } | |
143 | 241650 | this.sections = sections; |
144 | 241650 | this.subsectionsAndNodes = 0; |
145 | 241650 | this.sectionNumber = 0; |
146 | 241650 | this.absoluteSectionNumber = 0; |
147 | 241650 | this.sectionNumbering = true; |
148 | 241650 | this.subsectionNumber = 0; |
149 | 241650 | this.nodeNumber = 0; |
150 | } | |
151 | ||
152 | /** | |
153 | * Is chapter numbering currently on? | |
154 | * | |
155 | * @return Chapter numbering is on. | |
156 | */ | |
157 | 449815 | public boolean isChapterNumbering() { |
158 | 449815 | return chapterNumbering; |
159 | } | |
160 | ||
161 | /** | |
162 | * Absolute chapter number the node is within. This includes chapters with no numbers. | |
163 | * | |
164 | * @return Chapter number. | |
165 | */ | |
166 | 555 | public int getAbsoluteChapterNumber() { |
167 | 555 | return absoluteChapterNumber; |
168 | } | |
169 | ||
170 | /** | |
171 | * Section number the node is within. | |
172 | * | |
173 | * @return Section number. | |
174 | */ | |
175 | 208103 | public int getSectionNumber() { |
176 | 208103 | return sectionNumber; |
177 | } | |
178 | ||
179 | /** | |
180 | * Increase chapter number. | |
181 | * | |
182 | * @param subsectionsAndNodes Number of subsections and nodes for current section. | |
183 | * @param sectionNumbering Should this section be numbered? | |
184 | */ | |
185 | 200337 | public void increaseSectionNumber(final int subsectionsAndNodes, |
186 | final boolean sectionNumbering) { | |
187 | 200337 | this.subsectionsAndNodes = subsectionsAndNodes; |
188 | 200337 | this.sectionNumbering = sectionNumbering; |
189 | 200337 | absoluteSectionNumber++; |
190 | 200337 | if (sectionNumbering) { |
191 | 199892 | sectionNumber++; |
192 | } | |
193 | 200337 | subsectionNumber = 0; |
194 | 200337 | nodeNumber = 0; |
195 | } | |
196 | ||
197 | /** | |
198 | * Absolute section number the node is within. This includes sections with no numbers. | |
199 | * | |
200 | * @return Section number. | |
201 | */ | |
202 | 2127 | public int getAbsoluteSectionNumber() { |
203 | 2127 | return absoluteSectionNumber; |
204 | } | |
205 | ||
206 | /** | |
207 | * Is section numbering currently on? | |
208 | * | |
209 | * @return Section numbering is on. | |
210 | */ | |
211 | 209023 | public boolean isSectionNumbering() { |
212 | 209023 | return sectionNumbering; |
213 | } | |
214 | ||
215 | /** | |
216 | * Sub section number within section. | |
217 | * | |
218 | * @return Sub section number. | |
219 | */ | |
220 | 22191 | public int getSubsectionNumber() { |
221 | 22191 | return subsectionNumber; |
222 | } | |
223 | ||
224 | /** | |
225 | * Increase subsection number. | |
226 | */ | |
227 | 10761 | public void increaseSubsectionNumber() { |
228 | 10761 | subsectionNumber++; |
229 | } | |
230 | ||
231 | /** | |
232 | * Node number within section. | |
233 | * | |
234 | * @return Node number. | |
235 | */ | |
236 | 13632 | public int getNodeNumber() { |
237 | 13632 | return nodeNumber; |
238 | } | |
239 | ||
240 | /** | |
241 | * Increase node number. | |
242 | */ | |
243 | 335230 | public void increaseNodeNumber() { |
244 | 335230 | nodeNumber++; |
245 | } | |
246 | ||
247 | /** | |
248 | * Get number of axioms before node (including this one). | |
249 | * | |
250 | * @return Number of axioms before node (including this one). | |
251 | */ | |
252 | 13156 | public int getAxiomNumber() { |
253 | 13156 | return axiomNumber; |
254 | } | |
255 | ||
256 | /** | |
257 | * Increase number of axioms before node (including this one). | |
258 | */ | |
259 | 14701 | public void increaseAxiomNumber() { |
260 | 14701 | axiomNumber++; |
261 | } | |
262 | ||
263 | /** | |
264 | * Get number of function definitions before node (including this one). | |
265 | * | |
266 | * @return Number function definitions before node (including this one). | |
267 | */ | |
268 | 11190 | public int getFunctionDefinitionNumber() { |
269 | 11190 | return functionDefinitionNumber; |
270 | } | |
271 | ||
272 | /** | |
273 | * Increase number of function definitions before node (including this one). | |
274 | */ | |
275 | 8680 | public void increaseFunctionDefinitionNumber() { |
276 | 8680 | functionDefinitionNumber++; |
277 | } | |
278 | ||
279 | /** | |
280 | * Get number of predicate definitions before node (including this one). | |
281 | * | |
282 | * @return Number of predicate definitions before node (including this one). | |
283 | */ | |
284 | 11190 | public int getPredicateDefinitionNumber() { |
285 | 11190 | return predicateDefinitionNumber; |
286 | } | |
287 | ||
288 | /** | |
289 | * Increase number of predicate definitions before node (including this one). | |
290 | */ | |
291 | 6925 | public void increasePredicateDefinitionNumber() { |
292 | 6925 | predicateDefinitionNumber++; |
293 | } | |
294 | ||
295 | /** | |
296 | * Get number of Propositions before node (including this one). | |
297 | * | |
298 | * @return Get number of Propositions before node (including this one). | |
299 | */ | |
300 | 66428 | public int getPropositionNumber() { |
301 | 66428 | return propositionNumber; |
302 | } | |
303 | ||
304 | /** | |
305 | * Increase number of predicate definitions before node (including this one). | |
306 | */ | |
307 | 68028 | public void increasePropositionNumber() { |
308 | 68028 | propositionNumber++; |
309 | } | |
310 | ||
311 | /** | |
312 | * Get number of rule definitions before node (including this one). | |
313 | * | |
314 | * @return Number of rule definitions before node (including this one). | |
315 | */ | |
316 | 7125 | public int getRuleNumber() { |
317 | 7125 | return ruleNumber; |
318 | } | |
319 | ||
320 | /** | |
321 | * Increase number of rule definitions before node (including this one). | |
322 | */ | |
323 | 9180 | public void increaseRuleNumber() { |
324 | 9180 | ruleNumber++; |
325 | } | |
326 | ||
327 | /** | |
328 | * Is there nothing more to be numbered? | |
329 | * | |
330 | * @return There will be no more number changes. | |
331 | */ | |
332 | 26050 | public boolean isFinished() { |
333 | 26050 | return finished; |
334 | } | |
335 | ||
336 | /** | |
337 | * Set if numbering has ended. | |
338 | * | |
339 | * @param finished Will there be no more number changes? | |
340 | */ | |
341 | 1699 | public void setFinished(final boolean finished) { |
342 | 1699 | this.finished = finished; |
343 | } | |
344 | ||
345 | /** | |
346 | * Get calculated visit percentage. | |
347 | * This is a monotonically nondecreasing visit function. | |
348 | * | |
349 | * @return Value between 0 and 100. | |
350 | */ | |
351 | 78139 | public double getVisitPercentage() { |
352 | 78139 | if (finished) { |
353 | 6 | return 100; |
354 | } | |
355 | 78133 | double result = (double) (importNumber) / (imports + 1) / (chapters + 3); |
356 | 78133 | result += (double) (absoluteChapterNumber) / (chapters + 3); |
357 | 78133 | result += (double) (absoluteSectionNumber) / (sections + 2) / (chapters + 3); |
358 | 78133 | result += (double) (subsectionNumber + nodeNumber) |
359 | / (subsectionsAndNodes + 2) / (sections + 2) / (chapters + 3); | |
360 | 78133 | return 100 * result; |
361 | } | |
362 | ||
363 | 52108 | public boolean equals(final Object compare) { |
364 | 52108 | if (!(compare instanceof QedeqNumbers)) { |
365 | 6 | return false; |
366 | } | |
367 | 52102 | final QedeqNumbers other = (QedeqNumbers) compare; |
368 | 52102 | return imports == other.imports && importNumber == other.importNumber |
369 | && chapterNumbering == other.chapterNumbering | |
370 | && absoluteChapterNumber == other.absoluteChapterNumber | |
371 | && sectionNumbering == other.sectionNumbering | |
372 | && sections == other.sections | |
373 | && absoluteSectionNumber == other.absoluteSectionNumber | |
374 | && subsectionNumber == other.subsectionNumber | |
375 | && nodeNumber == other.nodeNumber | |
376 | && axiomNumber == other.axiomNumber | |
377 | && propositionNumber == other.propositionNumber | |
378 | && predicateDefinitionNumber == other.predicateDefinitionNumber | |
379 | && functionDefinitionNumber == other.functionDefinitionNumber | |
380 | && ruleNumber == other.ruleNumber; | |
381 | } | |
382 | ||
383 | 104204 | public int hashCode() { |
384 | 104204 | return imports ^ (importNumber * 4) |
385 | ^ (chapters * 16) ^ (absoluteChapterNumber * 64) | |
386 | ^ (sections * 256) ^ (absoluteSectionNumber * 1024) | |
387 | ^ (subsectionsAndNodes * 4096) ^ (nodeNumber * 16384) ^ (subsectionNumber * 65536) | |
388 | ^ (axiomNumber * 262144) ^ (propositionNumber * 1048576) | |
389 | ^ (predicateDefinitionNumber * 4194304) | |
390 | ^ (functionDefinitionNumber * 16777216) ^ (ruleNumber * 67108864); | |
391 | } | |
392 | ||
393 | 52088 | public String toString() { |
394 | 52088 | return "(" + importNumber + "/" + imports + " I) " |
395 | + "(" + absoluteChapterNumber + "/" + chapters + " C) " | |
396 | + "(" + absoluteSectionNumber + "/" + sections + " S) " | |
397 | + "(" + (subsectionNumber + nodeNumber) + "/" + subsectionsAndNodes + ")"; | |
398 | } | |
399 | ||
400 | } |
|