|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
KernelContext | Line # 46 | 186 | 133 | 91.5% |
0.91463417
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
(243) | |||
Result | |||
0.3262195
|
org.qedeq.kernel.bo.KernelContextTest.testStartup org.qedeq.kernel.bo.KernelContextTest.testStartup | 1 PASS | |
0.32012194
|
org.qedeq.kernel.bo.KernelContextTest.testShutdown org.qedeq.kernel.bo.KernelContextTest.testShutdown | 1 PASS | |
0.30182928
|
org.qedeq.kernel.bo.KernelContextTest.testInit org.qedeq.kernel.bo.KernelContextTest.testInit | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress3 org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress3 | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testLoadAllModulesFromQedeq org.qedeq.kernel.bo.KernelContextTest.testLoadAllModulesFromQedeq | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetServiceProcesses org.qedeq.kernel.bo.KernelContextTest.testGetServiceProcesses | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testLoadRequiredModules org.qedeq.kernel.bo.KernelContextTest.testLoadRequiredModules | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetSource org.qedeq.kernel.bo.KernelContextTest.testGetSource | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testRemoveModule org.qedeq.kernel.bo.KernelContextTest.testRemoveModule | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testClearAllPluginResults org.qedeq.kernel.bo.KernelContextTest.testClearAllPluginResults | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testClearLocalBuffer org.qedeq.kernel.bo.KernelContextTest.testClearLocalBuffer | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testLoadModule org.qedeq.kernel.bo.KernelContextTest.testLoadModule | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetAllLoadedModules org.qedeq.kernel.bo.KernelContextTest.testGetAllLoadedModules | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testStopAllPluginExecutions org.qedeq.kernel.bo.KernelContextTest.testStopAllPluginExecutions | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress2 org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress2 | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testExecutePlugin org.qedeq.kernel.bo.KernelContextTest.testExecutePlugin | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testCheckWellFormedness org.qedeq.kernel.bo.KernelContextTest.testCheckWellFormedness | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetRunningServiceProcesses org.qedeq.kernel.bo.KernelContextTest.testGetRunningServiceProcesses | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetQedeqBo org.qedeq.kernel.bo.KernelContextTest.testGetQedeqBo | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testRemoveAllModules org.qedeq.kernel.bo.KernelContextTest.testRemoveAllModules | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testCheckFormallyProved org.qedeq.kernel.bo.KernelContextTest.testCheckFormallyProved | 1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetPlugins org.qedeq.kernel.bo.KernelContextTest.testGetPlugins | 1 PASS | |
0.24390244
|
org.qedeq.kernel.bo.KernelContextTest.testGetConfig org.qedeq.kernel.bo.KernelContextTest.testGetConfig | 1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1 org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1 | 1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq4 | 1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq6 | 1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1 org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1 | 1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq5 | 1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2 org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2 | 1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2 org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2 | 1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq3 | 1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq2 | 1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2 org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2 | 1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4 org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4 | 1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6 org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6 | 1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind | 1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1 org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1 | 1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3 | 1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2 org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2 | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04 | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2 org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2 | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03 | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3 org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3 | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2 org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2 | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04 | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4 org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4 | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02 | 1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01 | 1 PASS | |
0.024390243
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04 org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04 | 1 PASS | |
0.024390243
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02 org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02 | 1 PASS | |
0.024390243
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02 | 1 PASS | |
0.024390243
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03 org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03 | 1 PASS | |
0.024390243
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm00 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm00 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003 org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_02 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_09 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_07 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2 org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration2 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_03 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration org.qedeq.kernel.bo.latex.GenerateLatexTest.testGeneration | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_01 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_01 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative05 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext org.qedeq.kernel.bo.module.VisitorContextTest.testContext | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_05 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_05 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002 org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative02 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_06 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_06 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2 org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative06 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1 org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_04 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_10 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule | 1 PASS | |
0.018292682
|
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse1 org.qedeq.kernel.xml.parser.QedeqParserTest.testParse1 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative08 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c | 1 PASS | |
0.018292682
|
org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration org.qedeq.kernel.xml.dao.GenerateXmlTest.testGeneration | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative04 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative07 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegativeGeneration2 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1 org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1 org.qedeq.kernel.xml.parser.CharsetParserTest.testParse1 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm00 org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm00 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testGetXPathLocation org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testGetXPathLocation | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_08 org.qedeq.kernel.bo.service.control.LoadRequiredModulesTest.testLoadRequiredModules_08 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5 org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm00 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm00 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2 org.qedeq.kernel.xml.parser.CharsetParserTest.testParse2 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03 org.qedeq.kernel.bo.service.control.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03 | 1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 org.qedeq.kernel.bo.latex.GenerateLatexTest.testNegative03 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException04 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException04 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm16 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm16 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm21 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm21 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm42 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm42 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm04 org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm04 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm02 org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm02 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm24 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm24 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm06 org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm06 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm01 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm01 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm20 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm20 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm15 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm15 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm40 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm40 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm05 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm05 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException01 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException01 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm14 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm14 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm49 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm49 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm01 org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm01 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm03 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm03 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm17 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm17 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm20 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm20 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm22 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm22 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm26 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm26 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm33 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm33 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm18 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm18 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm47 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm47 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm30 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm30 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq1 org.qedeq.kernel.bo.service.control.QedeqBoFactoryTest.testCreateStringQedeq1 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm18 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm18 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk2 org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk2 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm34 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm34 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm06 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm06 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm07 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm07 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm46 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm46 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm27 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm27 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm11 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm11 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException03 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException03 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative00 org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative00 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm23 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm23 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm28 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm28 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm03 org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm03 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm39 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm39 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm15 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm15 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm48 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm48 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testFileNotOk org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testFileNotOk | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm01 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm01 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm36 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm36 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException05 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException05 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm21 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm21 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm10 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm10 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm27 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm27 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm06 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm06 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm19 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm19 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm25 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm25 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm19 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm19 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm02 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm02 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2 org.qedeq.kernel.xml.parser.QedeqParserTest.testParse2 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm02 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm02 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm43 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm43 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm07 org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm07 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm31 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm31 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm12 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm12 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm35 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm35 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative01 org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative01 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm03 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm03 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.KernelContextTest.testIsRuleVersionSupported org.qedeq.kernel.bo.KernelContextTest.testIsRuleVersionSupported | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm12 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm12 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm50 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm50 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm09 org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm09 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testXPathNotOk | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm22 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm22 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm10 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm10 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm29 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm29 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative00 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative00 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm08 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm08 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testTagNotFound org.qedeq.kernel.xml.tracker.XPathLocationFinderTest.testTagNotFound | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm13 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm13 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm04 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm04 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm05 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm05 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm28 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm28 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm09 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm09 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm41 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm41 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm45 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm45 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm32 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm32 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm17 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm17 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm16 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm16 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException00 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException00 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm09 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm09 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm37 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm37 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm04 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm04 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm08 org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm08 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm23 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm23 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm24 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm24 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm08 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm08 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm14 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm14 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException06 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException06 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm26 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm26 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm13 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm13 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm38 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm38 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm07 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm07 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException02 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException02 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative01 org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative01 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm05 org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm05 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm44 org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm44 | 1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm11 org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm11 | 1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testIsSetReadTimeoutSupported org.qedeq.kernel.bo.KernelContextTest.testIsSetReadTimeoutSupported | 1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetMaximalRuleVersion org.qedeq.kernel.bo.KernelContextTest.testGetMaximalRuleVersion | 1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetBuildId org.qedeq.kernel.bo.KernelContextTest.testGetBuildId | 1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetKernelCodeName org.qedeq.kernel.bo.KernelContextTest.testGetKernelCodeName | 1 PASS | |
0.0060975607
|
org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested org.qedeq.base.test.EachClassHasATestCase.testIfEveryClassIsTested | 3 FAIL | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetKernelVersionDirectory org.qedeq.kernel.bo.KernelContextTest.testGetKernelVersionDirectory | 1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetDescriptiveKernelVersion org.qedeq.kernel.bo.KernelContextTest.testGetDescriptiveKernelVersion | 1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetKernelVersion org.qedeq.kernel.bo.KernelContextTest.testGetKernelVersion | 1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testIsSetConnectionTimeOutSupported org.qedeq.kernel.bo.KernelContextTest.testIsSetConnectionTimeOutSupported | 1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetDedicationVersion org.qedeq.kernel.bo.KernelContextTest.testGetDedicationVersion | 1 PASS | |
1 | /* This file is part of the project "Hilbert II" - http://www.qedeq.org | |
2 | * | |
3 | * Copyright 2000-2013, Michael Meyling <mime@qedeq.org>. | |
4 | * | |
5 | * "Hilbert II" is free software; you can redistribute | |
6 | * it and/or modify it under the terms of the GNU General Public | |
7 | * License as published by the Free Software Foundation; either | |
8 | * version 2 of the License, or (at your option) any later version. | |
9 | * | |
10 | * This program is distributed in the hope that it will be useful, | |
11 | * but WITHOUT ANY WARRANTY; without even the implied warranty of | |
12 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
13 | * GNU General Public License for more details. | |
14 | */ | |
15 | ||
16 | package org.qedeq.kernel.bo; | |
17 | ||
18 | import java.io.File; | |
19 | import java.io.FileOutputStream; | |
20 | import java.io.IOException; | |
21 | import java.net.URL; | |
22 | import java.nio.channels.FileLock; | |
23 | ||
24 | import org.qedeq.base.io.IoUtility; | |
25 | import org.qedeq.base.trace.Trace; | |
26 | import org.qedeq.base.utility.StringUtility; | |
27 | import org.qedeq.kernel.bo.common.BasicKernel; | |
28 | import org.qedeq.kernel.bo.common.KernelProperties; | |
29 | import org.qedeq.kernel.bo.common.KernelServices; | |
30 | import org.qedeq.kernel.bo.common.KernelState; | |
31 | import org.qedeq.kernel.bo.common.QedeqBo; | |
32 | import org.qedeq.kernel.bo.common.ServiceModule; | |
33 | import org.qedeq.kernel.bo.common.ServiceProcess; | |
34 | import org.qedeq.kernel.bo.log.QedeqLog; | |
35 | import org.qedeq.kernel.se.common.ModuleAddress; | |
36 | import org.qedeq.kernel.se.common.Plugin; | |
37 | import org.qedeq.kernel.se.config.QedeqConfig; | |
38 | import org.qedeq.kernel.se.visitor.InterruptException; | |
39 | ||
40 | ||
41 | /** | |
42 | * This class provides static access methods for the kernel. | |
43 | * | |
44 | * @author Michael Meyling | |
45 | */ | |
46 | public final class KernelContext implements KernelProperties, KernelServices { | |
47 | ||
48 | /** Message for non started kernel. */ | |
49 | private static final String KERNEL_NOT_STARTED = "Kernel not started"; | |
50 | ||
51 | /** Message for non initialized kernel. */ | |
52 | private static final String KERNEL_NOT_INITIALIZED = "Kernel not initialized"; | |
53 | ||
54 | /** This class. */ | |
55 | private static final Class CLASS = KernelContext.class; | |
56 | ||
57 | /** One and only instance of this class. */ | |
58 | private static final KernelContext INSTANCE = new KernelContext(); | |
59 | ||
60 | /** Lock file. */ | |
61 | private File lockFile; | |
62 | ||
63 | /** Lock file stream. */ | |
64 | private FileOutputStream lockStream; | |
65 | ||
66 | /** Initial kernel state. */ | |
67 | private final KernelState initialState = new KernelState() { | |
68 | ||
69 | 499 | public void init(final QedeqConfig config, final ServiceModule moduleServices, final KernelProperties basic) |
70 | throws IOException { | |
71 | 499 | if (config == null) { |
72 | 1 | throw new NullPointerException("QedeqConfig is null"); |
73 | } | |
74 | 498 | if (moduleServices == null) { |
75 | 1 | throw new NullPointerException("ServiceModule is null"); |
76 | } | |
77 | 497 | if (basic == null) { |
78 | 0 | throw new NullPointerException("KernelProperties is null"); |
79 | } | |
80 | 497 | KernelContext.this.config = config; |
81 | 497 | KernelContext.this.basic = basic; |
82 | 497 | Trace.setTraceOn(config.isTraceOn()); |
83 | 497 | checkJavaVersion(); |
84 | 497 | createAllNecessaryDirectories(); |
85 | 497 | checkIfApplicationIsAlreadyRunningAndLockFile(); |
86 | 497 | KernelContext.this.services = moduleServices; |
87 | 497 | QedeqLog.getInstance().logMessage("--------------------------------------------------" |
88 | + "---------------------------------------"); | |
89 | 497 | QedeqLog.getInstance().logMessage("This is " |
90 | + KernelContext.getInstance().getDescriptiveKernelVersion()); | |
91 | 497 | QedeqLog.getInstance().logMessage(" see \"http://www.qedeq.org\" for more " |
92 | + "information"); | |
93 | 497 | QedeqLog.getInstance().logMessage(" supports rules till version " |
94 | + KernelContext.getInstance().getMaximalRuleVersion()); | |
95 | 497 | QedeqLog.getInstance().logMessage(" Java version: " |
96 | + StringUtility.alignRight(System.getProperty("java.version", "unknown"), 10)); | |
97 | 497 | QedeqLog.getInstance().logMessage(" used memory: " |
98 | + StringUtility.alignRight(Runtime.getRuntime().totalMemory() | |
99 | - Runtime.getRuntime().freeMemory(), 10)); | |
100 | 497 | QedeqLog.getInstance().logMessage(" free memory: " |
101 | + StringUtility.alignRight(Runtime.getRuntime().freeMemory(), 10)); | |
102 | 497 | QedeqLog.getInstance().logMessage(" total memory: " |
103 | + StringUtility.alignRight(Runtime.getRuntime().totalMemory(), 10)); | |
104 | 497 | QedeqLog.getInstance().logMessage(" max. memory: " |
105 | + StringUtility.alignRight(Runtime.getRuntime().maxMemory(), 10)); | |
106 | 497 | QedeqLog.getInstance().logMessage(" processors/cores: " |
107 | + StringUtility.alignRight(Runtime.getRuntime().availableProcessors(), 6)); | |
108 | 497 | currentState = initializedState; |
109 | } | |
110 | ||
111 | 2 | public void startup() { |
112 | 2 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
113 | } | |
114 | ||
115 | 558 | public void shutdown() { |
116 | 558 | currentState = initialState; |
117 | // close stream and associated channel | |
118 | 558 | IoUtility.close(lockStream); |
119 | 558 | lockStream = null; |
120 | 558 | config = null; |
121 | 558 | services = null; |
122 | } | |
123 | ||
124 | 1 | public void removeAllModules() { |
125 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
126 | } | |
127 | ||
128 | 1 | public void removeModule(final ModuleAddress address) { |
129 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
130 | } | |
131 | ||
132 | 1 | public boolean clearLocalBuffer() { |
133 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
134 | } | |
135 | ||
136 | 1 | public QedeqBo loadModule(final ModuleAddress address) { |
137 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
138 | } | |
139 | ||
140 | 1 | public boolean loadAllModulesFromQedeq() { |
141 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
142 | } | |
143 | ||
144 | 1 | public boolean loadRequiredModules(final ModuleAddress address) { |
145 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
146 | } | |
147 | ||
148 | 1 | public ModuleAddress[] getAllLoadedModules() { |
149 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
150 | } | |
151 | ||
152 | 1 | public QedeqBo getQedeqBo(final ModuleAddress address) { |
153 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
154 | } | |
155 | ||
156 | 1 | public ModuleAddress getModuleAddress(final URL url) { |
157 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
158 | } | |
159 | ||
160 | 1 | public ModuleAddress getModuleAddress(final String url) { |
161 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
162 | } | |
163 | ||
164 | 1 | public ModuleAddress getModuleAddress(final File file) { |
165 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
166 | } | |
167 | ||
168 | 1 | public String getSource(final ModuleAddress address) { |
169 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
170 | } | |
171 | ||
172 | 1 | public boolean checkWellFormedness(final ModuleAddress address) { |
173 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
174 | } | |
175 | ||
176 | 1 | public boolean checkFormallyProved(final ModuleAddress address) { |
177 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
178 | } | |
179 | ||
180 | 1 | public Plugin[] getPlugins() { |
181 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
182 | } | |
183 | ||
184 | 1 | public Object executePlugin(final String pluginName, final ModuleAddress address, |
185 | final Object data) { | |
186 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
187 | } | |
188 | ||
189 | 1 | public void clearAllPluginResults(final ModuleAddress address) { |
190 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
191 | } | |
192 | ||
193 | 1 | public ServiceProcess[] getServiceProcesses() { |
194 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
195 | } | |
196 | ||
197 | 1 | public ServiceProcess[] getRunningServiceProcesses() { |
198 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
199 | } | |
200 | ||
201 | 1 | public void stopAllPluginExecutions() { |
202 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
203 | } | |
204 | ||
205 | }; | |
206 | ||
207 | /** Initial kernel state. */ | |
208 | private final KernelState initializedState = new KernelState() { | |
209 | ||
210 | 1 | public void init(final QedeqConfig config, final ServiceModule moduleServices, |
211 | final KernelProperties basic) throws IOException { | |
212 | 1 | throw new IllegalStateException("Kernel is already initialized"); |
213 | } | |
214 | ||
215 | 493 | public void startup() { |
216 | 493 | services.startupServices(); |
217 | 493 | currentState = readyState; |
218 | 493 | QedeqLog.getInstance().logMessage("QEDEQ kernel opened."); |
219 | } | |
220 | ||
221 | 497 | public void shutdown() { |
222 | 497 | services.shutdownServices(); |
223 | 497 | KernelContext.this.services = null; |
224 | 497 | initialState.shutdown(); |
225 | 497 | QedeqLog.getInstance().logMessage("QEDEQ Kernel closed."); |
226 | } | |
227 | ||
228 | 1 | public void removeAllModules() { |
229 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
230 | } | |
231 | ||
232 | 1 | public void removeModule(final ModuleAddress address) { |
233 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
234 | } | |
235 | ||
236 | 1 | public boolean clearLocalBuffer() { |
237 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
238 | } | |
239 | ||
240 | 1 | public QedeqBo loadModule(final ModuleAddress address) { |
241 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
242 | } | |
243 | ||
244 | 1 | public boolean loadAllModulesFromQedeq() { |
245 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
246 | } | |
247 | ||
248 | 1 | public boolean loadRequiredModules(final ModuleAddress address) { |
249 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
250 | } | |
251 | ||
252 | 1 | public ModuleAddress[] getAllLoadedModules() { |
253 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
254 | } | |
255 | ||
256 | 1 | public QedeqBo getQedeqBo(final ModuleAddress address) { |
257 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
258 | } | |
259 | ||
260 | 1 | public ModuleAddress getModuleAddress(final URL url) { |
261 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
262 | } | |
263 | ||
264 | 1 | public ModuleAddress getModuleAddress(final String url) { |
265 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
266 | } | |
267 | ||
268 | 1 | public ModuleAddress getModuleAddress(final File file) { |
269 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
270 | } | |
271 | ||
272 | 1 | public String getSource(final ModuleAddress address) { |
273 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
274 | } | |
275 | ||
276 | 1 | public boolean checkWellFormedness(final ModuleAddress address) { |
277 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
278 | } | |
279 | ||
280 | 1 | public boolean checkFormallyProved(final ModuleAddress address) { |
281 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
282 | } | |
283 | ||
284 | 1 | public Plugin[] getPlugins() { |
285 | 1 | return services.getPlugins(); |
286 | } | |
287 | ||
288 | 1 | public Object executePlugin(final String pluginName, final ModuleAddress address, |
289 | final Object data) { | |
290 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
291 | } | |
292 | ||
293 | 1 | public void clearAllPluginResults(final ModuleAddress address) { |
294 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
295 | } | |
296 | ||
297 | 1 | public ServiceProcess[] getServiceProcesses() { |
298 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
299 | } | |
300 | ||
301 | 1 | public ServiceProcess[] getRunningServiceProcesses() { |
302 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
303 | } | |
304 | ||
305 | 1 | public void stopAllPluginExecutions() { |
306 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
307 | } | |
308 | ||
309 | }; | |
310 | ||
311 | /** State for ready kernel. */ | |
312 | private final KernelState readyState = new KernelState() { | |
313 | ||
314 | 0 | public void init(final QedeqConfig config, final ServiceModule moduleServices, |
315 | final KernelProperties basic) throws IOException { | |
316 | // we are already ready | |
317 | } | |
318 | ||
319 | 0 | public void startup() { |
320 | // we are already ready | |
321 | } | |
322 | ||
323 | 493 | public void shutdown() { |
324 | 493 | try { |
325 | 493 | final ModuleAddress[] addresses = services.getAllLoadedModules(); |
326 | 493 | if (addresses != null) { |
327 | 471 | final String[] buffer = new String[addresses.length]; |
328 | 1038 | for (int i = 0; i < addresses.length; i++) { |
329 | 567 | buffer[i] = addresses[i].toString(); |
330 | } | |
331 | 471 | getConfig().setPreviouslyLoadedModules(buffer); |
332 | 471 | getConfig().store(); |
333 | 471 | QedeqLog.getInstance().logMessage("Current config file successfully saved."); |
334 | } | |
335 | } catch (IOException e) { | |
336 | 0 | Trace.trace(CLASS, this, "shutdown()", e); |
337 | 0 | QedeqLog.getInstance().logMessage("Saving current config file failed."); |
338 | } | |
339 | 493 | initializedState.shutdown(); |
340 | } | |
341 | ||
342 | 1 | public void removeAllModules() { |
343 | 1 | services.removeAllModules(); |
344 | } | |
345 | ||
346 | 1 | public void removeModule(final ModuleAddress address) { |
347 | 1 | services.removeModule(address); |
348 | } | |
349 | ||
350 | 1 | public boolean clearLocalBuffer() { |
351 | 1 | return services.clearLocalBuffer(); |
352 | } | |
353 | ||
354 | 5 | public QedeqBo loadModule(final ModuleAddress address) { |
355 | 5 | return services.loadModule(address); |
356 | } | |
357 | ||
358 | 1 | public boolean loadAllModulesFromQedeq() { |
359 | 1 | return services.loadAllModulesFromQedeq(); |
360 | } | |
361 | ||
362 | 21 | public boolean loadRequiredModules(final ModuleAddress address) { |
363 | 21 | return services.loadRequiredModules(address); |
364 | } | |
365 | ||
366 | 1 | public ModuleAddress[] getAllLoadedModules() { |
367 | 1 | return services.getAllLoadedModules(); |
368 | } | |
369 | ||
370 | 43892 | public QedeqBo getQedeqBo(final ModuleAddress address) { |
371 | 43892 | return services.getQedeqBo(address); |
372 | } | |
373 | ||
374 | 21 | public ModuleAddress getModuleAddress(final URL url) throws IOException { |
375 | 21 | return services.getModuleAddress(url); |
376 | } | |
377 | ||
378 | 1 | public ModuleAddress getModuleAddress(final String url) throws IOException { |
379 | 1 | return services.getModuleAddress(url); |
380 | } | |
381 | ||
382 | 1 | public ModuleAddress getModuleAddress(final File file) throws IOException { |
383 | 1 | return services.getModuleAddress(file); |
384 | } | |
385 | ||
386 | 1 | public String getSource(final ModuleAddress address) throws IOException { |
387 | 1 | return services.getSource(address); |
388 | } | |
389 | ||
390 | 27 | public boolean checkWellFormedness(final ModuleAddress address) { |
391 | 27 | return services.checkWellFormedness(address); |
392 | } | |
393 | ||
394 | 1 | public boolean checkFormallyProved(final ModuleAddress address) { |
395 | 1 | return services.checkFormallyProved(address); |
396 | } | |
397 | ||
398 | 1 | public Plugin[] getPlugins() { |
399 | 1 | return services.getPlugins(); |
400 | } | |
401 | ||
402 | 1 | public Object executePlugin(final String pluginName, final ModuleAddress address, |
403 | final Object data) throws InterruptException { | |
404 | 1 | return services.executePlugin(pluginName, address, data); |
405 | } | |
406 | ||
407 | 1 | public void clearAllPluginResults(final ModuleAddress address) { |
408 | 1 | services.clearAllPluginResults(address); |
409 | } | |
410 | ||
411 | 1 | public ServiceProcess[] getServiceProcesses() { |
412 | 1 | return services.getServiceProcesses(); |
413 | } | |
414 | ||
415 | 1 | public ServiceProcess[] getRunningServiceProcesses() { |
416 | 1 | return services.getRunningServiceProcesses(); |
417 | } | |
418 | ||
419 | 1 | public void stopAllPluginExecutions() { |
420 | 1 | services.stopAllPluginExecutions(); |
421 | } | |
422 | ||
423 | }; | |
424 | ||
425 | /** Kernel configuration. */ | |
426 | private QedeqConfig config; | |
427 | ||
428 | /** Initial kernel state. */ | |
429 | private KernelState currentState = initialState; | |
430 | ||
431 | /** For basic kernel informations. */ | |
432 | private KernelProperties basic; | |
433 | ||
434 | /** This object can service QEDEQ modules. */ | |
435 | private ServiceModule services; | |
436 | ||
437 | /** | |
438 | * Constructor. | |
439 | */ | |
440 | 48 | private KernelContext() { |
441 | 48 | basic = new BasicKernel(); |
442 | } | |
443 | ||
444 | /** | |
445 | * Get instance of kernel context. | |
446 | * | |
447 | * @return Singleton, which is responsible for the kernel access. | |
448 | */ | |
449 | 9483 | public static final KernelContext getInstance() { |
450 | 9483 | return INSTANCE; |
451 | } | |
452 | ||
453 | 1 | public String getBuildId() { |
454 | 1 | return basic.getBuildId(); |
455 | } | |
456 | ||
457 | 1 | public final String getKernelVersion() { |
458 | 1 | return basic.getKernelVersion(); |
459 | } | |
460 | ||
461 | 1 | public final String getKernelCodeName() { |
462 | 1 | return basic.getKernelCodeName(); |
463 | } | |
464 | ||
465 | 1803 | public final String getKernelVersionDirectory() { |
466 | 1803 | return basic.getKernelVersionDirectory(); |
467 | } | |
468 | ||
469 | 509 | public final String getDescriptiveKernelVersion() { |
470 | 509 | return basic.getDescriptiveKernelVersion(); |
471 | } | |
472 | ||
473 | 1 | public final String getDedication() { |
474 | 1 | return basic.getDedication(); |
475 | } | |
476 | ||
477 | 499 | public final String getMaximalRuleVersion() { |
478 | 499 | return basic.getMaximalRuleVersion(); |
479 | } | |
480 | ||
481 | 3 | public final boolean isRuleVersionSupported(final String ruleVersion) { |
482 | 3 | return basic.isRuleVersionSupported(ruleVersion); |
483 | } | |
484 | ||
485 | 1 | public boolean isSetConnectionTimeOutSupported() { |
486 | 1 | return basic.isSetConnectionTimeOutSupported(); |
487 | } | |
488 | ||
489 | 1 | public boolean isSetReadTimeoutSupported() { |
490 | 1 | return basic.isSetReadTimeoutSupported(); |
491 | } | |
492 | ||
493 | 4900 | public QedeqConfig getConfig() { |
494 | 4900 | return config; |
495 | } | |
496 | ||
497 | /** | |
498 | * Init the kernel. | |
499 | * | |
500 | * @param config Configuration access. Must not be <code>null</code>. | |
501 | * @param moduleServices Services for the kernel. Must not be <code>null</code>. | |
502 | * @throws IllegalStateException Kernel is already initialized. | |
503 | * @throws IOException Initialization failure. | |
504 | */ | |
505 | 500 | public void init(final QedeqConfig config, final ServiceModule moduleServices) throws IOException { |
506 | 500 | currentState.init(config, moduleServices, basic); |
507 | } | |
508 | ||
509 | /** | |
510 | * Startup the kernel. | |
511 | */ | |
512 | 495 | public void startup() { |
513 | 495 | currentState.startup(); |
514 | } | |
515 | ||
516 | /** | |
517 | * Shutdown the kernel. | |
518 | */ | |
519 | 558 | public void shutdown() { |
520 | 558 | currentState.shutdown(); |
521 | } | |
522 | ||
523 | 3 | public void removeAllModules() { |
524 | 3 | currentState.removeAllModules(); |
525 | } | |
526 | ||
527 | 3 | public void removeModule(final ModuleAddress address) { |
528 | 3 | currentState.removeModule(address); |
529 | } | |
530 | ||
531 | 3 | public boolean clearLocalBuffer() { |
532 | 3 | return currentState.clearLocalBuffer(); |
533 | } | |
534 | ||
535 | 7 | public QedeqBo loadModule(final ModuleAddress address) { |
536 | 7 | return currentState.loadModule(address); |
537 | } | |
538 | ||
539 | 3 | public boolean loadAllModulesFromQedeq() { |
540 | 3 | return currentState.loadAllModulesFromQedeq(); |
541 | } | |
542 | ||
543 | 23 | public boolean loadRequiredModules(final ModuleAddress address) { |
544 | 23 | return currentState.loadRequiredModules(address); |
545 | } | |
546 | ||
547 | 3 | public ModuleAddress[] getAllLoadedModules() { |
548 | 3 | return currentState.getAllLoadedModules(); |
549 | } | |
550 | ||
551 | 43894 | public QedeqBo getQedeqBo(final ModuleAddress address) { |
552 | 43894 | return currentState.getQedeqBo(address); |
553 | } | |
554 | ||
555 | 23 | public ModuleAddress getModuleAddress(final URL url) throws IOException { |
556 | 23 | return currentState.getModuleAddress(url); |
557 | } | |
558 | ||
559 | 3 | public ModuleAddress getModuleAddress(final String url) throws IOException { |
560 | 3 | return currentState.getModuleAddress(url); |
561 | } | |
562 | ||
563 | 3 | public ModuleAddress getModuleAddress(final File file) throws IOException { |
564 | 3 | return currentState.getModuleAddress(file); |
565 | } | |
566 | ||
567 | 3 | public String getSource(final ModuleAddress address) throws IOException { |
568 | 3 | return currentState.getSource(address); |
569 | } | |
570 | ||
571 | 29 | public boolean checkWellFormedness(final ModuleAddress address) { |
572 | 29 | return currentState.checkWellFormedness(address); |
573 | } | |
574 | ||
575 | 3 | public boolean checkFormallyProved(final ModuleAddress address) { |
576 | 3 | return currentState.checkFormallyProved(address); |
577 | } | |
578 | ||
579 | 3 | public Plugin[] getPlugins() { |
580 | 3 | return currentState.getPlugins(); |
581 | } | |
582 | ||
583 | 3 | public Object executePlugin(final String pluginName, final ModuleAddress address, |
584 | final Object data) throws InterruptException { | |
585 | 3 | return currentState.executePlugin(pluginName, address, data); |
586 | } | |
587 | ||
588 | 3 | public void clearAllPluginResults(final ModuleAddress address) { |
589 | 3 | currentState.clearAllPluginResults(address); |
590 | } | |
591 | ||
592 | 3 | public ServiceProcess[] getServiceProcesses() { |
593 | 3 | return currentState.getServiceProcesses(); |
594 | } | |
595 | ||
596 | 3 | public ServiceProcess[] getRunningServiceProcesses() { |
597 | 3 | return currentState.getRunningServiceProcesses(); |
598 | } | |
599 | ||
600 | 3 | public void stopAllPluginExecutions() { |
601 | 3 | currentState.stopAllPluginExecutions(); |
602 | } | |
603 | ||
604 | /** | |
605 | * Check java version. We want to be sure that the kernel is run at least with java 1.4.2 | |
606 | * | |
607 | * @throws IOException Application is running below java 1.4.2. | |
608 | */ | |
609 | 497 | private void checkJavaVersion() throws IOException { |
610 | 497 | final String method = "checkJavaVersion"; |
611 | 497 | Trace.info(CLASS, this, method, "running on java version " |
612 | + System.getProperty("java.version")); | |
613 | 497 | final int[] versions = IoUtility.getJavaVersion(); |
614 | 497 | if (versions == null) { |
615 | 0 | Trace.fatal(CLASS, this, method, "running java version unknown", null); |
616 | // we try to continue | |
617 | 0 | return; |
618 | } | |
619 | 497 | final StringBuffer version = new StringBuffer(); |
620 | 1988 | for (int i = 0; i < versions.length; i++) { |
621 | 1491 | if (i > 0) { |
622 | 994 | version.append("."); |
623 | } | |
624 | 1491 | version.append(versions[i]); |
625 | } | |
626 | 497 | Trace.paramInfo(CLASS, this, method, "version", version); |
627 | // >= 1 | |
628 | 497 | if (versions.length < 1 || versions[0] < 1) { |
629 | 0 | throw new IOException("This application requires at least Java 1.4.2 but we got " |
630 | + version); | |
631 | } | |
632 | 497 | if (versions[0] == 1) { // further checking |
633 | // >= 1.4 | |
634 | 497 | if (versions.length < 2 || versions[1] < 4) { |
635 | 0 | throw new IOException("This application requires at least Java 1.4.2 but we got " |
636 | + version); | |
637 | } | |
638 | 497 | if (versions[1] == 4) { // further checking |
639 | // >=1.4.2 | |
640 | 0 | if (versions.length < 3 || versions[2] < 2) { |
641 | 0 | throw new IOException( |
642 | "This application requires at least Java 1.4.2 but we got " | |
643 | + version); | |
644 | } | |
645 | } | |
646 | } | |
647 | } | |
648 | ||
649 | /** | |
650 | * Create all necessary directories for the kernel. | |
651 | * | |
652 | * @throws IOException Creation was not possible. | |
653 | */ | |
654 | 497 | void createAllNecessaryDirectories() throws IOException { |
655 | // log directory | |
656 | 497 | final File logFile = getConfig().getLogFile(); |
657 | 497 | final File logDir = logFile.getParentFile(); |
658 | 497 | if (!logDir.exists() && !logDir.mkdirs()) { |
659 | 0 | throw new IOException("can't create directory: " + logDir.getAbsolutePath()); |
660 | } | |
661 | // buffer directory | |
662 | 497 | final File bufferDir = getConfig().getBufferDirectory(); |
663 | 497 | if (!bufferDir.exists() && !bufferDir.mkdirs()) { |
664 | 0 | throw new IOException("can't create directory: " + bufferDir.getAbsolutePath()); |
665 | } | |
666 | // generation directory | |
667 | 497 | final File generationDir = getConfig().getGenerationDirectory(); |
668 | 497 | if (!generationDir.exists() && !generationDir.mkdirs()) { |
669 | 0 | throw new IOException("can't create directory: " + generationDir.getAbsolutePath()); |
670 | } | |
671 | } | |
672 | ||
673 | /** | |
674 | * Checks if the application is already running. To check that we create a file in the | |
675 | * buffer directory, open a stream and write something into it. The stream is not closed | |
676 | * until kernel shutdown. | |
677 | * | |
678 | * @throws IOException Application is already running. | |
679 | */ | |
680 | 497 | private void checkIfApplicationIsAlreadyRunningAndLockFile() |
681 | throws IOException { | |
682 | 497 | lockFile = new File(getConfig().getBufferDirectory(), "qedeq_lock.lck"); |
683 | 497 | FileLock fl = null; |
684 | 497 | try { |
685 | 497 | lockStream = new FileOutputStream(lockFile); |
686 | 497 | lockStream.write("LOCKED".getBytes("UTF8")); |
687 | 497 | lockStream.flush(); |
688 | 497 | fl = lockStream.getChannel().tryLock(); |
689 | } catch (IOException e) { | |
690 | 0 | throw new IOException("It seems the application is already running.\n" |
691 | + "At least accessing the file \"" + lockFile.getAbsolutePath() + "\" failed."); | |
692 | } | |
693 | 497 | if (fl == null) { |
694 | 0 | throw new IOException("It seems the application is already running.\n" |
695 | + "At least locking the file \"" + lockFile.getAbsolutePath() + "\" failed."); | |
696 | } | |
697 | } | |
698 | ||
699 | } |
|