Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
../../../../../img/srcFileCovDistChart0.png 96% of files have more coverage
30   136   30   1
0   116   1   30
30     1  
1    
 
  DummyInternalKernelServices       Line # 35 30 30 0% 0.0
 
No Tests
 
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.io.Parameters;
22    import org.qedeq.kernel.bo.module.InternalKernelServices;
23    import org.qedeq.kernel.bo.module.InternalServiceCall;
24    import org.qedeq.kernel.bo.module.InternalServiceProcess;
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 loadModule(InternalServiceProcess 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(InternalServiceProcess process, KernelQedeqBo qedeq) {
105  0 return false;
106    }
 
107  0 toggle public boolean checkWellFormedness(InternalServiceProcess process, KernelQedeqBo qedeq) {
108  0 return false;
109    }
 
110  0 toggle public boolean checkFormallyProved(InternalServiceProcess process, KernelQedeqBo qedeq) {
111  0 return false;
112    }
 
113  0 toggle public Object executePlugin(InternalServiceProcess parent, String id, KernelQedeqBo qedeq, Object data) {
114  0 return null;
115    }
 
116  0 toggle public boolean lockModule(InternalServiceProcess process, KernelQedeqBo qedeq, Service service)
117    throws InterruptException {
118  0 return false;
119    }
 
120  0 toggle public boolean unlockModule(InternalServiceProcess process, KernelQedeqBo qedeq) {
121  0 return false;
122    }
 
123  0 toggle public InternalServiceProcess createServiceProcess(String action) {
124  0 return null;
125    }
 
126  0 toggle public InternalServiceCall createServiceCall(Service service, KernelQedeqBo qedeq,
127    Parameters configParameters, Parameters parameters,
128    InternalServiceProcess process, InternalServiceCall parent) {
129  0 return null;
130    }
 
131  0 toggle public KernelQedeqBo loadKernelModule(InternalServiceProcess process,
132    ModuleAddress address) throws InterruptException {
133  0 return null;
134    }
135   
136    }
 
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 .