|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
KernelContext | Line # 46 | 186 | 133 | 91.5% |
0.91463417
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
(247) | |||
Result | |||
0.3262195
|
org.qedeq.kernel.bo.KernelContextTest.testStartup
![]() |
1 PASS | |
0.32012194
|
org.qedeq.kernel.bo.KernelContextTest.testShutdown
![]() |
1 PASS | |
0.30182928
|
org.qedeq.kernel.bo.KernelContextTest.testInit
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testClearAllPluginResults
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetPlugins
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testCheckFormallyProved
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testLoadAllModulesFromQedeq
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testLoadRequiredModules
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetAllLoadedModules
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress2
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testClearLocalBuffer
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetSource
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testRemoveAllModules
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetModuleAddress3
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testExecutePlugin
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testStopAllPluginExecutions
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetRunningServiceProcesses
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testRemoveModule
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetQedeqBo
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testLoadModule
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testGetServiceProcesses
![]() |
1 PASS | |
0.28658536
|
org.qedeq.kernel.bo.KernelContextTest.testCheckWellFormedness
![]() |
1 PASS | |
0.24390244
|
org.qedeq.kernel.bo.KernelContextTest.testGetConfig
![]() |
1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript1
![]() |
1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq4
![]() |
1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
![]() |
1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
![]() |
1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript1
![]() |
1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq3
![]() |
1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq2
![]() |
1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqLogicScript2
![]() |
1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq6
![]() |
1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq5
![]() |
1 PASS | |
0.067073174
|
org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPluginTest.testQedeqSetTheoryScript2
![]() |
1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind
![]() |
1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck6
![]() |
1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind3
![]() |
1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck4
![]() |
1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.checker.ProofCheckerTest.testCheck1
![]() |
1 PASS | |
0.042682927
|
org.qedeq.kernel.bo.logic.proof.finder.ProofFinderImplTest.testFind2
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative04
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPluginFast
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive04
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive01
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin3
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin4
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive02
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03b
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive03
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.SimpleProofFinderPluginTest.testPlugin2
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin2
![]() |
1 PASS | |
0.030487806
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testPlugin
![]() |
1 PASS | |
0.024390243
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative03
![]() |
1 PASS | |
0.024390243
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative03
![]() |
1 PASS | |
0.024390243
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative02
![]() |
1 PASS | |
0.024390243
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative04
![]() |
1 PASS | |
0.024390243
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative02
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_03
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_12
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration7
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_04
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration4
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative03
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v1
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.module.VisitorContextTest.testContext
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_11
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm00
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_10
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_01
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration5
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09b
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive05
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L001_v2
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerTest.testCheckModule
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_06
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L002
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative02
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative02
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_11
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration6
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration2
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_10
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration2
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration1b
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_02
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative04
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative07
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative03
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_06
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_09
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09d
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.Qedeq2LatexTest.testQ2L003
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegativeGeneration2
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_03
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_04
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_02
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3c
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_08
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.logic.FormalProofCheckerPluginTest.testProof_003
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testPositive06
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_07
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative08
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative06
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm00
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_13
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_07
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testGeneration
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_01
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_08
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.heuristic.DynamicHeuristicCheckerPluginTest.testQedeqSampleScript1
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_05
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration5
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3c
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration3b
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration2
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm00
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.LoadRequiredModulesTest.testLoadRequiredModules_09c
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.GenerateUtf8Test.testGeneration1b
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative04
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3b
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.latex.GenerateLatexTest.testNegative05
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration4
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration6
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.unicode.Qedeq2UnicodeTextExecutorTest.testGeneration3
![]() |
1 PASS | |
0.018292682
|
org.qedeq.kernel.bo.service.basis.ModuleConstantsExistenceCheckerTest.testModuleConstantsExistenceChecker_05
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm05
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm50
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm40
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm16
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm17
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm10
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm01
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm42
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm21
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm36
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm06
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm07
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm15
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm38
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm04
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm02
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm20
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException02
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm14
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm11
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm24
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm07
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm46
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException04
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm13
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm02
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm13
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm16
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm23
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm48
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AbstractParserTestCase.testAllTogether
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm18
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm05
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm43
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm05
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException05
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm06
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm19
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm10
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm23
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm32
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm30
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException01
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm31
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm11
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm07
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.service.basis.QedeqBoFactoryTest.testCreateStringQedeq1
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm01
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm24
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm09
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException00
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm41
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm27
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm04
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative00
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm08
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm02
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm19
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm15
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm12
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm18
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm08
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative01
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm03
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm28
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm26
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm49
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm12
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.logic.wf.FormulaCheckerContextTest.testNegative00
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm03
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.service.logic.QedeqBoFormalLogicCheckerDirectTest.testNegative01
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm25
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm03
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm39
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm22
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm28
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm14
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm44
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm21
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException06
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm22
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm37
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.KernelContextTest.testIsRuleVersionSupported
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm29
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm01
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm09
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm26
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm17
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm45
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm35
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm04
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.LatexMathParserTest.testReadMaximalTerm08
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testException03
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm33
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm20
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm06
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm47
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm09
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.AsciiMathParserTest.testReadMaximalTerm34
![]() |
1 PASS | |
0.0121951215
|
org.qedeq.kernel.bo.parser.SimpleMathParserTest.testReadMaximalTerm27
![]() |
1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetDedicationVersion
![]() |
1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetDescriptiveKernelVersion
![]() |
1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetKernelVersionDirectory
![]() |
1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetBuildId
![]() |
1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetKernelVersion
![]() |
1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetKernelCodeName
![]() |
1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testGetMaximalRuleVersion
![]() |
1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testIsSetConnectionTimeOutSupported
![]() |
1 PASS | |
0.0060975607
|
org.qedeq.kernel.bo.KernelContextTest.testIsSetReadTimeoutSupported
![]() |
1 PASS | |
1 | /* This file is part of the project "Hilbert II" - http://www.qedeq.org | |
2 | * | |
3 | * Copyright 2000-2014, 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.Kernel; | |
33 | import org.qedeq.kernel.bo.common.ServiceJob; | |
34 | import org.qedeq.kernel.bo.log.QedeqLog; | |
35 | import org.qedeq.kernel.se.common.ModuleAddress; | |
36 | import org.qedeq.kernel.se.common.ModuleService; | |
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 | 504 |
![]() |
70 | throws IOException { | |
71 | 504 | if (config == null) { |
72 | 1 | throw new NullPointerException("QedeqConfig is null"); |
73 | } | |
74 | 503 | if (moduleServices == null) { |
75 | 1 | throw new NullPointerException("ServiceModule is null"); |
76 | } | |
77 | 502 | if (basic == null) { |
78 | 0 | throw new NullPointerException("KernelProperties is null"); |
79 | } | |
80 | 502 | KernelContext.this.config = config; |
81 | 502 | KernelContext.this.basic = basic; |
82 | 502 | Trace.setTraceOn(config.isTraceOn()); |
83 | 502 | checkJavaVersion(); |
84 | 502 | createAllNecessaryDirectories(); |
85 | 502 | checkIfApplicationIsAlreadyRunningAndLockFile(); |
86 | 502 | KernelContext.this.services = moduleServices; |
87 | 502 | QedeqLog.getInstance().logMessage("--------------------------------------------------" |
88 | + "---------------------------------------"); | |
89 | 502 | QedeqLog.getInstance().logMessage("This is " |
90 | + KernelContext.getInstance().getDescriptiveKernelVersion()); | |
91 | 502 | QedeqLog.getInstance().logMessage(" see \"http://www.qedeq.org\" for more " |
92 | + "information"); | |
93 | 502 | QedeqLog.getInstance().logMessage(" supports rules till version " |
94 | + KernelContext.getInstance().getMaximalRuleVersion()); | |
95 | 502 | QedeqLog.getInstance().logMessage(" Java version: " |
96 | + StringUtility.alignRight(System.getProperty("java.version", "unknown"), 10)); | |
97 | 502 | QedeqLog.getInstance().logMessage(" used memory: " |
98 | + StringUtility.alignRight(Runtime.getRuntime().totalMemory() | |
99 | - Runtime.getRuntime().freeMemory(), 10)); | |
100 | 502 | QedeqLog.getInstance().logMessage(" free memory: " |
101 | + StringUtility.alignRight(Runtime.getRuntime().freeMemory(), 10)); | |
102 | 502 | QedeqLog.getInstance().logMessage(" total memory: " |
103 | + StringUtility.alignRight(Runtime.getRuntime().totalMemory(), 10)); | |
104 | 502 | QedeqLog.getInstance().logMessage(" max. memory: " |
105 | + StringUtility.alignRight(Runtime.getRuntime().maxMemory(), 10)); | |
106 | 502 | QedeqLog.getInstance().logMessage(" processors/cores: " |
107 | + StringUtility.alignRight(Runtime.getRuntime().availableProcessors(), 6)); | |
108 | 502 | currentState = initializedState; |
109 | } | |
110 | ||
111 | 2 |
![]() |
112 | 2 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
113 | } | |
114 | ||
115 | 563 |
![]() |
116 | 563 | currentState = initialState; |
117 | // close stream and associated channel | |
118 | 563 | IoUtility.close(lockStream); |
119 | 563 | lockStream = null; |
120 | 563 | config = null; |
121 | 563 | services = null; |
122 | } | |
123 | ||
124 | 1 |
![]() |
125 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
126 | } | |
127 | ||
128 | 1 |
![]() |
129 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
130 | } | |
131 | ||
132 | 1 |
![]() |
133 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
134 | } | |
135 | ||
136 | 1 |
![]() |
137 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
138 | } | |
139 | ||
140 | 1 |
![]() |
141 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
142 | } | |
143 | ||
144 | 1 |
![]() |
145 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
146 | } | |
147 | ||
148 | 1 |
![]() |
149 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
150 | } | |
151 | ||
152 | 1 |
![]() |
153 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
154 | } | |
155 | ||
156 | 1 |
![]() |
157 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
158 | } | |
159 | ||
160 | 1 |
![]() |
161 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
162 | } | |
163 | ||
164 | 1 |
![]() |
165 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
166 | } | |
167 | ||
168 | 1 |
![]() |
169 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
170 | } | |
171 | ||
172 | 1 |
![]() |
173 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
174 | } | |
175 | ||
176 | 1 |
![]() |
177 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
178 | } | |
179 | ||
180 | 1 |
![]() |
181 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
182 | } | |
183 | ||
184 | 1 |
![]() |
185 | final Object data) { | |
186 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
187 | } | |
188 | ||
189 | 1 |
![]() |
190 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
191 | } | |
192 | ||
193 | 1 |
![]() |
194 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
195 | } | |
196 | ||
197 | 1 |
![]() |
198 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
199 | } | |
200 | ||
201 | 1 |
![]() |
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 |
![]() |
211 | final KernelProperties basic) throws IOException { | |
212 | 1 | throw new IllegalStateException("Kernel is already initialized"); |
213 | } | |
214 | ||
215 | 498 |
![]() |
216 | 498 | services.startupServices(); |
217 | 498 | currentState = readyState; |
218 | 498 | QedeqLog.getInstance().logMessage("QEDEQ kernel opened."); |
219 | } | |
220 | ||
221 | 502 |
![]() |
222 | 502 | services.shutdownServices(); |
223 | 502 | KernelContext.this.services = null; |
224 | 502 | initialState.shutdown(); |
225 | 502 | QedeqLog.getInstance().logMessage("QEDEQ Kernel closed."); |
226 | } | |
227 | ||
228 | 1 |
![]() |
229 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
230 | } | |
231 | ||
232 | 1 |
![]() |
233 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
234 | } | |
235 | ||
236 | 1 |
![]() |
237 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
238 | } | |
239 | ||
240 | 1 |
![]() |
241 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
242 | } | |
243 | ||
244 | 1 |
![]() |
245 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
246 | } | |
247 | ||
248 | 1 |
![]() |
249 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
250 | } | |
251 | ||
252 | 1 |
![]() |
253 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
254 | } | |
255 | ||
256 | 1 |
![]() |
257 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
258 | } | |
259 | ||
260 | 1 |
![]() |
261 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
262 | } | |
263 | ||
264 | 1 |
![]() |
265 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
266 | } | |
267 | ||
268 | 1 |
![]() |
269 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
270 | } | |
271 | ||
272 | 1 |
![]() |
273 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
274 | } | |
275 | ||
276 | 1 |
![]() |
277 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
278 | } | |
279 | ||
280 | 1 |
![]() |
281 | 1 | throw new IllegalStateException(KERNEL_NOT_INITIALIZED); |
282 | } | |
283 | ||
284 | 1 |
![]() |
285 | 1 | return services.getPlugins(); |
286 | } | |
287 | ||
288 | 1 |
![]() |
289 | final Object data) { | |
290 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
291 | } | |
292 | ||
293 | 1 |
![]() |
294 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
295 | } | |
296 | ||
297 | 1 |
![]() |
298 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
299 | } | |
300 | ||
301 | 1 |
![]() |
302 | 1 | throw new IllegalStateException(KERNEL_NOT_STARTED); |
303 | } | |
304 | ||
305 | 1 |
![]() |
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 |
![]() |
315 | final KernelProperties basic) throws IOException { | |
316 | // we are already ready | |
317 | } | |
318 | ||
319 | 0 |
![]() |
320 | // we are already ready | |
321 | } | |
322 | ||
323 | 498 |
![]() |
324 | 498 | try { |
325 | 498 | final ModuleAddress[] addresses = services.getAllLoadedModules(); |
326 | 498 | if (addresses != null) { |
327 | 476 | final String[] buffer = new String[addresses.length]; |
328 | 974 | for (int i = 0; i < addresses.length; i++) { |
329 | 498 | buffer[i] = addresses[i].toString(); |
330 | } | |
331 | 476 | getConfig().setPreviouslyLoadedModules(buffer); |
332 | 476 | getConfig().store(); |
333 | 476 | 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 | 498 | initializedState.shutdown(); |
340 | } | |
341 | ||
342 | 1 |
![]() |
343 | 1 | return services.removeAllModules(); |
344 | } | |
345 | ||
346 | 1 |
![]() |
347 | 1 | services.removeModule(address); |
348 | } | |
349 | ||
350 | 1 |
![]() |
351 | 1 | return services.clearLocalBuffer(); |
352 | } | |
353 | ||
354 | 5 |
![]() |
355 | 5 | return services.loadModule(address); |
356 | } | |
357 | ||
358 | 1 |
![]() |
359 | 1 | return services.loadAllModulesFromQedeq(); |
360 | } | |
361 | ||
362 | 22 |
![]() |
363 | 22 | return services.loadRequiredModules(address); |
364 | } | |
365 | ||
366 | 1 |
![]() |
367 | 1 | return services.getAllLoadedModules(); |
368 | } | |
369 | ||
370 | 43893 |
![]() |
371 | 43893 | return services.getQedeqBo(address); |
372 | } | |
373 | ||
374 | 22 |
![]() |
375 | 22 | return services.getModuleAddress(url); |
376 | } | |
377 | ||
378 | 1 |
![]() |
379 | 1 | return services.getModuleAddress(url); |
380 | } | |
381 | ||
382 | 1 |
![]() |
383 | 1 | return services.getModuleAddress(file); |
384 | } | |
385 | ||
386 | 1 |
![]() |
387 | 1 | return services.getSource(address); |
388 | } | |
389 | ||
390 | 28 |
![]() |
391 | 28 | return services.checkWellFormedness(address); |
392 | } | |
393 | ||
394 | 1 |
![]() |
395 | 1 | return services.checkFormallyProved(address); |
396 | } | |
397 | ||
398 | 1 |
![]() |
399 | 1 | return services.getPlugins(); |
400 | } | |
401 | ||
402 | 1 |
![]() |
403 | final Object data) throws InterruptException { | |
404 | 1 | return services.executePlugin(pluginName, address, data); |
405 | } | |
406 | ||
407 | 1 |
![]() |
408 | 1 | services.clearAllPluginResults(address); |
409 | } | |
410 | ||
411 | 1 |
![]() |
412 | 1 | return services.getServiceProcesses(); |
413 | } | |
414 | ||
415 | 1 |
![]() |
416 | 1 | return services.getRunningServiceProcesses(); |
417 | } | |
418 | ||
419 | 1 |
![]() |
420 | 1 | services.terminateAllServiceProcesses(); |
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 Kernel services; | |
436 | ||
437 | /** | |
438 | * Constructor. | |
439 | */ | |
440 | 45 |
![]() |
441 | 45 | 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 | 8703 |
![]() |
450 | 8703 | return INSTANCE; |
451 | } | |
452 | ||
453 | 1 |
![]() |
454 | 1 | return basic.getBuildId(); |
455 | } | |
456 | ||
457 | 1 |
![]() |
458 | 1 | return basic.getKernelVersion(); |
459 | } | |
460 | ||
461 | 1 |
![]() |
462 | 1 | return basic.getKernelCodeName(); |
463 | } | |
464 | ||
465 | 1531 |
![]() |
466 | 1531 | return basic.getKernelVersionDirectory(); |
467 | } | |
468 | ||
469 | 503 |
![]() |
470 | 503 | return basic.getDescriptiveKernelVersion(); |
471 | } | |
472 | ||
473 | 1 |
![]() |
474 | 1 | return basic.getDedication(); |
475 | } | |
476 | ||
477 | 504 |
![]() |
478 | 504 | return basic.getMaximalRuleVersion(); |
479 | } | |
480 | ||
481 | 3 |
![]() |
482 | 3 | return basic.isRuleVersionSupported(ruleVersion); |
483 | } | |
484 | ||
485 | 1 |
![]() |
486 | 1 | return basic.isSetConnectionTimeOutSupported(); |
487 | } | |
488 | ||
489 | 1 |
![]() |
490 | 1 | return basic.isSetReadTimeoutSupported(); |
491 | } | |
492 | ||
493 | 4419 |
![]() |
494 | 4419 | 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 | 505 |
![]() |
506 | 505 | currentState.init(config, moduleServices, basic); |
507 | } | |
508 | ||
509 | /** | |
510 | * Startup the kernel. | |
511 | */ | |
512 | 500 |
![]() |
513 | 500 | currentState.startup(); |
514 | } | |
515 | ||
516 | /** | |
517 | * Shutdown the kernel. | |
518 | */ | |
519 | 563 |
![]() |
520 | 563 | currentState.shutdown(); |
521 | } | |
522 | ||
523 | 3 |
![]() |
524 | 3 | return currentState.removeAllModules(); |
525 | } | |
526 | ||
527 | 3 |
![]() |
528 | 3 | currentState.removeModule(address); |
529 | } | |
530 | ||
531 | 3 |
![]() |
532 | 3 | return currentState.clearLocalBuffer(); |
533 | } | |
534 | ||
535 | 7 |
![]() |
536 | 7 | return currentState.loadModule(address); |
537 | } | |
538 | ||
539 | 3 |
![]() |
540 | 3 | return currentState.loadAllModulesFromQedeq(); |
541 | } | |
542 | ||
543 | 24 |
![]() |
544 | 24 | return currentState.loadRequiredModules(address); |
545 | } | |
546 | ||
547 | 3 |
![]() |
548 | 3 | return currentState.getAllLoadedModules(); |
549 | } | |
550 | ||
551 | 43895 |
![]() |
552 | 43895 | return currentState.getQedeqBo(address); |
553 | } | |
554 | ||
555 | 24 |
![]() |
556 | 24 | return currentState.getModuleAddress(url); |
557 | } | |
558 | ||
559 | 3 |
![]() |
560 | 3 | return currentState.getModuleAddress(url); |
561 | } | |
562 | ||
563 | 3 |
![]() |
564 | 3 | return currentState.getModuleAddress(file); |
565 | } | |
566 | ||
567 | 3 |
![]() |
568 | 3 | return currentState.getSource(address); |
569 | } | |
570 | ||
571 | 30 |
![]() |
572 | 30 | return currentState.checkWellFormedness(address); |
573 | } | |
574 | ||
575 | 3 |
![]() |
576 | 3 | return currentState.checkFormallyProved(address); |
577 | } | |
578 | ||
579 | 3 |
![]() |
580 | 3 | return currentState.getPlugins(); |
581 | } | |
582 | ||
583 | 3 |
![]() |
584 | final Object data) throws InterruptException { | |
585 | 3 | return currentState.executePlugin(pluginName, address, data); |
586 | } | |
587 | ||
588 | 3 |
![]() |
589 | 3 | currentState.clearAllPluginResults(address); |
590 | } | |
591 | ||
592 | 3 |
![]() |
593 | 3 | return currentState.getServiceProcesses(); |
594 | } | |
595 | ||
596 | 3 |
![]() |
597 | 3 | return currentState.getRunningServiceProcesses(); |
598 | } | |
599 | ||
600 | 3 |
![]() |
601 | 3 | currentState.terminateAllServiceProcesses(); |
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 | 502 |
![]() |
610 | 502 | final String method = "checkJavaVersion"; |
611 | 502 | Trace.info(CLASS, this, method, "running on java version " |
612 | + System.getProperty("java.version")); | |
613 | 502 | final int[] versions = IoUtility.getJavaVersion(); |
614 | 502 | 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 | 502 | final StringBuffer version = new StringBuffer(); |
620 | 2008 | for (int i = 0; i < versions.length; i++) { |
621 | 1506 | if (i > 0) { |
622 | 1004 | version.append("."); |
623 | } | |
624 | 1506 | version.append(versions[i]); |
625 | } | |
626 | 502 | Trace.paramInfo(CLASS, this, method, "version", version); |
627 | // >= 1 | |
628 | 502 | 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 | 502 | if (versions[0] == 1) { // further checking |
633 | // >= 1.4 | |
634 | 502 | 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 | 502 | 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 | 502 |
![]() |
655 | // log directory | |
656 | 502 | final File logFile = getConfig().getLogFile(); |
657 | 502 | final File logDir = logFile.getParentFile(); |
658 | 502 | if (!logDir.exists() && !logDir.mkdirs()) { |
659 | 0 | throw new IOException("can't create directory: " + logDir.getAbsolutePath()); |
660 | } | |
661 | // buffer directory | |
662 | 502 | final File bufferDir = getConfig().getBufferDirectory(); |
663 | 502 | if (!bufferDir.exists() && !bufferDir.mkdirs()) { |
664 | 0 | throw new IOException("can't create directory: " + bufferDir.getAbsolutePath()); |
665 | } | |
666 | // generation directory | |
667 | 502 | final File generationDir = getConfig().getGenerationDirectory(); |
668 | 502 | 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 | 502 |
![]() |
681 | throws IOException { | |
682 | 502 | lockFile = new File(getConfig().getBufferDirectory(), "qedeq_lock.lck"); |
683 | 502 | FileLock fl = null; |
684 | 502 | try { |
685 | 502 | lockStream = new FileOutputStream(lockFile); |
686 | 502 | lockStream.write("LOCKED".getBytes("UTF8")); |
687 | 502 | lockStream.flush(); |
688 | 502 | 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 | 502 | 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 | } |
|