Clover Coverage Report
Coverage timestamp: Fri Feb 14 2014 07:28:57 UTC
../../../../../img/srcFileCovDistChart0.png 97% of files have more coverage
28   133   30   0.93
0   113   1.07   30
30     1  
1    
 
  DummyInternalKernelServices       Line # 35 28 30 0% 0.0
 
No Tests
 
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.test;
17   
18    import java.io.File;
19    import java.io.IOException;
20   
21    import org.qedeq.base.io.Parameters;
22    import org.qedeq.kernel.bo.module.InternalKernelServices;
23    import org.qedeq.kernel.bo.module.InternalModuleServiceCall;
24    import org.qedeq.kernel.bo.module.InternalServiceJob;
25    import org.qedeq.kernel.bo.module.KernelQedeqBo;
26    import org.qedeq.kernel.bo.module.QedeqFileDao;
27    import org.qedeq.kernel.se.base.module.Specification;
28    import org.qedeq.kernel.se.common.ModuleAddress;
29    import org.qedeq.kernel.se.common.Service;
30    import org.qedeq.kernel.se.common.SourceFileExceptionList;
31    import org.qedeq.kernel.se.config.QedeqConfig;
32    import org.qedeq.kernel.se.visitor.ContextChecker;
33    import org.qedeq.kernel.se.visitor.InterruptException;
34   
 
35    public class DummyInternalKernelServices implements InternalKernelServices {
36   
 
37  0 toggle public File getBufferDirectory() {
38  0 return null;
39    }
 
40  0 toggle public File getGenerationDirectory() {
41  0 return null;
42    }
 
43  0 toggle public File getLocalFilePath(ModuleAddress address) {
44  0 return null;
45    }
 
46  0 toggle public QedeqFileDao getQedeqFileDao() {
47  0 return null;
48    }
 
49  0 toggle public KernelQedeqBo getKernelQedeqBo(ModuleAddress address) {
50  0 return null;
51    }
 
52  0 toggle public KernelQedeqBo loadKernelModule(InternalServiceJob proc, ModuleAddress parent,
53    Specification spec) throws SourceFileExceptionList {
54  0 return null;
55    }
 
56  0 toggle public SourceFileExceptionList createSourceFileExceptionList(int code, String message, String address,
57    IOException e) {
58  0 return null;
59    }
 
60  0 toggle public SourceFileExceptionList createSourceFileExceptionList(int code, String message, String address,
61    Exception e) {
62  0 return null;
63    }
 
64  0 toggle public SourceFileExceptionList createSourceFileExceptionList(int code, String message, String address,
65    RuntimeException e) {
66  0 return null;
67    }
 
68  0 toggle public String getBuildId() {
69  0 return null;
70    }
 
71  0 toggle public QedeqConfig getConfig() {
72  0 return null;
73    }
 
74  0 toggle public String getDedication() {
75  0 return null;
76    }
 
77  0 toggle public String getDescriptiveKernelVersion() {
78  0 return null;
79    }
 
80  0 toggle public String getKernelCodeName() {
81  0 return null;
82    }
 
83  0 toggle public String getKernelVersion() {
84  0 return null;
85    }
 
86  0 toggle public String getKernelVersionDirectory() {
87  0 return null;
88    }
 
89  0 toggle public String getMaximalRuleVersion() {
90  0 return null;
91    }
 
92  0 toggle public boolean isRuleVersionSupported(String ruleVersion) {
93  0 return false;
94    }
 
95  0 toggle public boolean isSetConnectionTimeOutSupported() {
96  0 return false;
97    }
 
98  0 toggle public boolean isSetReadTimeoutSupported() {
99  0 return false;
100    }
 
101  0 toggle public ContextChecker getContextChecker() {
102  0 return null;
103    }
 
104  0 toggle public boolean loadRequiredModules(InternalServiceJob process, KernelQedeqBo qedeq) {
105  0 return false;
106    }
 
107  0 toggle public boolean checkWellFormedness(InternalServiceJob process, KernelQedeqBo qedeq) {
108  0 return false;
109    }
 
110  0 toggle public boolean checkFormallyProved(InternalServiceJob process, KernelQedeqBo qedeq) {
111  0 return false;
112    }
 
113  0 toggle public Object executePlugin(InternalServiceJob parent, String id, KernelQedeqBo qedeq, Object data) {
114  0 return null;
115    }
 
116  0 toggle public InternalServiceJob createServiceProcess(String action) {
117  0 return null;
118    }
 
119  0 toggle public InternalModuleServiceCall createServiceCall(Service service, KernelQedeqBo qedeq,
120    Parameters configParameters, Parameters parameters,
121    InternalServiceJob process, InternalModuleServiceCall parent) {
122  0 return null;
123    }
 
124  0 toggle public KernelQedeqBo loadKernelModule(InternalServiceJob process,
125    ModuleAddress address) throws InterruptException {
126  0 return null;
127    }
 
128  0 toggle public void lockModule(InternalModuleServiceCall call) throws InterruptException {
129    }
 
130  0 toggle public void unlockModule(InternalModuleServiceCall call) {
131    }
132   
133    }