Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../img/srcFileCovDistChart10.png 0% of files have more coverage
20   87   4   6.67
0   48   0.2   3
3     1.33  
1    
 
  KernelFacade       Line # 37 20 4 91.3% 0.9130435
 
  (95)
 
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.test;
17   
18    import java.io.File;
19    import java.io.IOException;
20   
21    import org.qedeq.base.test.QedeqTestCase;
22    import org.qedeq.kernel.bo.KernelContext;
23    import org.qedeq.kernel.bo.module.QedeqFileDao;
24    import org.qedeq.kernel.bo.service.control.DefaultInternalKernelServices;
25    import org.qedeq.kernel.bo.service.heuristic.HeuristicCheckerPlugin;
26    import org.qedeq.kernel.bo.service.logic.FormalProofCheckerPlugin;
27    import org.qedeq.kernel.se.config.QedeqConfig;
28    import org.qedeq.kernel.se.test.RigidContextChecker;
29    import org.qedeq.kernel.xml.dao.XmlQedeqFileDao;
30   
31   
32    /**
33    * This class provides static access methods for basic informations.
34    *
35    * @author Michael Meyling
36    */
 
37    public final class KernelFacade {
38   
39    private static KernelContext context;
40    // private static LogListener log;
41    // private static ModuleEventListener mod;
42   
 
43  471 toggle public static void startup() {
44    // log = new LogListenerImpl();
45    // QedeqLog.getInstance().addLog(log);
46  471 try {
47  471 final File dir = (new QedeqTestCase() {}).getOutdir();
48  471 final File cf = new File(dir, "config/org.qedeq.properties");
49  471 cf.getParentFile().mkdirs();
50  471 cf.createNewFile();
51  471 final QedeqConfig config = new QedeqConfig(
52    cf,
53    "This file is part of the project *Hilbert II* - http://www.qedeq.org",
54    dir);
55  471 config.setAutoReloadLastSessionChecked(false);
56  471 config.setServiceKeyValue(new FormalProofCheckerPlugin(), "checkerFactory",
57    TestingProofCheckerFactoryImpl.class.getName());
58  471 final QedeqFileDao loader = new XmlQedeqFileDao();
59  471 final DefaultInternalKernelServices services = new DefaultInternalKernelServices(
60    config, KernelContext.getInstance(), loader);
61  471 KernelContext.getInstance().init(config , services);
62    // mod = new ModuleEventListenerLog();
63    // ModuleEventLog.getInstance().addLog(mod);
64  471 KernelContext.getInstance().startup();
65  471 services.addPlugin(HeuristicCheckerPlugin.class.getName());
66  471 services.setContextChecker(new RigidContextChecker());
67  471 context = KernelContext.getInstance();
68    } catch (IOException e) {
69  0 e.printStackTrace();
70  0 throw new RuntimeException(e);
71    }
72    }
73   
 
74  483 toggle public static void shutdown() {
75  483 KernelContext.getInstance().shutdown();
76    // QedeqLog.getInstance().removeLog(log);
77    // ModuleEventLog.getInstance().removeLog(mod);
78  483 context = null;
79    // log = null;
80    // mod = null;
81    }
82   
 
83  60507 toggle public static KernelContext getKernelContext() {
84  60507 return context;
85    }
86   
87    }
 
CloverReport generated by Clover Code Coverage v3.1.10
Fri May 24 2013 13:47:32 UTC.		   Clover: Open Source License registered to qedeq.org .