Clover Coverage Report
Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
159   364   49   5,89
0   309   0,31   27
27     1,81  
1    
 
  DefaultKernelQedeqBoTest       Line # 47 159 49 67,2% 0.672043
 
  (5)
 
1    /* $Id: DefaultKernelQedeqBoTest.java,v 1.1 2008/07/26 07:59:18 m31 Exp $
2    *
3    * This file is part of the project "Hilbert II" - http://www.qedeq.org
4    *
5    * Copyright 2000-2008, Michael Meyling <mime@qedeq.org>.
6    *
7    * "Hilbert II" is free software; you can redistribute
8    * it and/or modify it under the terms of the GNU General Public
9    * License as published by the Free Software Foundation; either
10    * version 2 of the License, or (at your option) any later version.
11    *
12    * This program is distributed in the hope that it will be useful,
13    * but WITHOUT ANY WARRANTY; without even the implied warranty of
14    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15    * GNU General Public License for more details.
16    */
17   
18    package org.qedeq.kernel.bo.service;
19   
20    import java.io.File;
21    import java.io.IOException;
22    import java.io.InputStream;
23    import java.net.URL;
24   
25    import org.qedeq.base.test.QedeqTestCase;
26    import org.qedeq.kernel.base.module.Specification;
27    import org.qedeq.kernel.bo.QedeqBo;
28    import org.qedeq.kernel.bo.module.DefaultExistenceChecker;
29    import org.qedeq.kernel.bo.module.InternalKernelServices;
30    import org.qedeq.kernel.bo.module.KernelModuleReferenceList;
31    import org.qedeq.kernel.bo.module.KernelQedeqBo;
32    import org.qedeq.kernel.bo.module.QedeqFileDao;
33    import org.qedeq.kernel.common.DefaultSourceFileExceptionList;
34    import org.qedeq.kernel.common.DependencyState;
35    import org.qedeq.kernel.common.LoadingState;
36    import org.qedeq.kernel.common.ModuleAddress;
37    import org.qedeq.kernel.common.ModuleLabels;
38    import org.qedeq.kernel.common.SourceFileExceptionList;
39    import org.qedeq.kernel.dto.module.QedeqVo;
40   
41    /**
42    * Test class {@link org.qedeq.kernel.bo.module.QedeqBo}.
43    *
44    * @version $Revision: 1.1 $
45    * @author Michael Meyling
46    */
 
47    public class DefaultKernelQedeqBoTest extends QedeqTestCase {
48   
49    final InternalKernelServices services = new InternalKernelServices() {
 
50  0 toggle public File getBufferDirectory() {
51  0 return null;
52    }
 
53  0 toggle public File getGenerationDirectory() {
54  0 return null;
55    }
 
56  0 toggle public File getLocalFilePath(ModuleAddress address) {
57  0 return null;
58    }
 
59  0 toggle public void startup() {
60    }
 
61  0 toggle public void removeAllModules() {
62    }
 
63  0 toggle public void clearLocalBuffer() throws IOException {
64    }
 
65  0 toggle public QedeqBo loadModule(ModuleAddress address) {
66  0 return null;
67    }
 
68  0 toggle public void loadRequiredModules(ModuleAddress address) throws SourceFileExceptionList {
69    }
 
70  0 toggle public boolean loadAllModulesFromQedeq() {
71  0 return false;
72    }
 
73  0 toggle public void removeModule(ModuleAddress address) {
74    }
 
75  0 toggle public ModuleAddress[] getAllLoadedModules() {
76  0 return null;
77    }
 
78  0 toggle public QedeqBo getQedeqBo(ModuleAddress address) {
79  0 return null;
80    }
 
81  0 toggle public String getSource(ModuleAddress address) throws IOException {
82  0 return null;
83    }
 
84  0 toggle public ModuleAddress getModuleAddress(URL url) throws IOException {
85  0 return null;
86    }
 
87  0 toggle public ModuleAddress getModuleAddress(String url) throws IOException {
88  0 return null;
89    }
 
90  0 toggle public ModuleAddress getModuleAddress(File file) throws IOException {
91  0 return null;
92    }
 
93  0 toggle public boolean checkModule(ModuleAddress address) {
94  0 return false;
95    }
 
96  0 toggle public InputStream createLatex(ModuleAddress address, String language, String level) throws DefaultSourceFileExceptionList, IOException {
97  0 return null;
98    }
 
99  0 toggle public String generateLatex(ModuleAddress address, String language, String level) throws DefaultSourceFileExceptionList, IOException {
100  0 return null;
101    }
 
102  0 toggle public QedeqFileDao getQedeqFileDao() {
103  0 return null;
104    }
 
105  0 toggle public KernelQedeqBo getKernelQedeqBo(ModuleAddress address) {
106  0 return null;
107    }
 
108  0 toggle public KernelQedeqBo loadModule(ModuleAddress parent, Specification spec) throws SourceFileExceptionList {
109  0 return null;
110    }};
111   
 
112  1 toggle public void testConstructor() throws Exception {
113  1 try {
114  1 new DefaultKernelQedeqBo(null, null);
115  0 fail("RuntimeException expected");
116    } catch (RuntimeException e) {
117    // expected
118    }
119  1 new DefaultKernelQedeqBo(services, new DefaultModuleAddress("qedeq.org/text.xml"));
120    }
121   
 
122  1 toggle public void testHasFailures() throws Exception {
123  1 DefaultKernelQedeqBo bo;
124  1 bo = new DefaultKernelQedeqBo(services, new DefaultModuleAddress("qedeq.org/test.xml"));
125  1 assertFalse(bo.hasFailures());
126  1 bo.setLoadingFailureState(LoadingState.STATE_LOADING_FROM_BUFFER_FAILED,
127    new DefaultSourceFileExceptionList(new NullPointerException()));
128  1 assertTrue(bo.hasFailures());
129  1 bo.setLoaded(new QedeqVo(), new ModuleLabels());
130  1 assertFalse(bo.hasFailures());
131  1 bo = new DefaultKernelQedeqBo(services, new DefaultModuleAddress("qedeq.org/test.xml"));
132  1 bo.setLoaded(new QedeqVo(), new ModuleLabels());
133  1 bo.setDependencyFailureState(DependencyState.STATE_LOADING_REQUIRED_MODULES_FAILED,
134    new DefaultSourceFileExceptionList(new NullPointerException()));
135  1 assertTrue(bo.hasFailures());
136  1 bo.setLoadedRequiredModules(new KernelModuleReferenceList());
137  1 assertFalse(bo.hasFailures());
138  1 bo.setChecked(new DefaultExistenceChecker());
139  1 assertFalse(bo.hasFailures());
140    }
141   
 
142  1 toggle public void testSetLoadingFailureState() throws Exception {
143  1 DefaultKernelQedeqBo bo;
144  1 bo = new DefaultKernelQedeqBo(services, new DefaultModuleAddress("qedeq.org/test.xml"));
145  1 assertFalse(bo.hasFailures());
146  1 assertNull(bo.getException());
147  1 try {
148  1 bo.setLoadingFailureState(LoadingState.STATE_LOADING_FROM_BUFFER_FAILED,
149    null);
150  0 fail("NullPointerException expected");
151    } catch (NullPointerException e) {
152    // expected
153    }
154  1 final DefaultSourceFileExceptionList defaultSourceFileExceptionList
155    = new DefaultSourceFileExceptionList(new NullPointerException());
156  1 try {
157  1 bo.setLoadingFailureState(null,
158    defaultSourceFileExceptionList);
159  0 fail("NullPointerException expected");
160    } catch (NullPointerException e) {
161    // expected
162    }
163  1 bo.setLoadingFailureState(LoadingState.STATE_LOADING_FROM_BUFFER_FAILED,
164    defaultSourceFileExceptionList);
165  1 assertEquals(LoadingState.STATE_LOADING_FROM_BUFFER_FAILED,
166    bo.getLoadingState());
167  1 assertEquals(defaultSourceFileExceptionList, bo.getException());
168  1 bo.setLoadingFailureState(LoadingState.STATE_LOADING_INTO_MEMORY_FAILED,
169    defaultSourceFileExceptionList);
170  1 assertEquals(LoadingState.STATE_LOADING_INTO_MEMORY_FAILED,
171    bo.getLoadingState());
172  1 bo.setLoadingFailureState(LoadingState.STATE_LOADING_FROM_WEB_FAILED,
173    defaultSourceFileExceptionList);
174  1 assertEquals(LoadingState.STATE_LOADING_FROM_WEB_FAILED,
175    bo.getLoadingState());
176  1 try {
177  1 bo.setLoadingFailureState(LoadingState.STATE_LOADED,
178    defaultSourceFileExceptionList);
179  0 fail("IllegalArgumentException expected");
180    } catch (IllegalArgumentException e) {
181    // expected
182    }
183  1 try {
184  1 bo.setLoadingFailureState(LoadingState.STATE_LOADING_FROM_BUFFER,
185    defaultSourceFileExceptionList);
186  0 fail("IllegalArgumentException expected");
187    } catch (IllegalArgumentException e) {
188    // expected
189    }
190  1 try {
191  1 bo.setLoadingFailureState(LoadingState.STATE_LOADING_FROM_WEB,
192    defaultSourceFileExceptionList);
193  0 fail("IllegalArgumentException expected");
194    } catch (IllegalArgumentException e) {
195    // expected
196    }
197  1 try {
198  1 bo.setLoadingFailureState(LoadingState.STATE_LOADING_INTO_MEMORY,
199    defaultSourceFileExceptionList);
200  0 fail("IllegalArgumentException expected");
201    } catch (IllegalArgumentException e) {
202    // expected
203    }
204  1 try {
205  1 bo.setLoadingFailureState(LoadingState.STATE_LOCATING_WITHIN_WEB,
206    defaultSourceFileExceptionList);
207  0 fail("IllegalArgumentException expected");
208    } catch (IllegalArgumentException e) {
209    // expected
210    }
211  1 try {
212  1 bo.setLoadingFailureState(LoadingState.STATE_UNDEFINED,
213    defaultSourceFileExceptionList);
214  0 fail("IllegalArgumentException expected");
215    } catch (IllegalArgumentException e) {
216    // expected
217    }
218    }
219   
 
220  1 toggle public void testSetLoadingProgressState() throws Exception {
221  1 DefaultKernelQedeqBo bo;
222  1 bo = new DefaultKernelQedeqBo(services, new DefaultModuleAddress("qedeq.org/test.xml"));
223  1 assertFalse(bo.hasFailures());
224  1 assertFalse(bo.isLoaded());
225  1 assertEquals(LoadingState.STATE_UNDEFINED, bo.getLoadingState());
226  1 try {
227  1 bo.setLoadingProgressState(null);
228  0 fail("NullPointerException expected");
229    } catch (NullPointerException e) {
230    // expected
231    }
232  1 try {
233  1 bo.setLoadingProgressState(LoadingState.STATE_LOADING_FROM_BUFFER_FAILED);
234  0 fail("IllegalArgumentException expected");
235    } catch (IllegalArgumentException e) {
236    // expected
237    }
238  1 try {
239  1 bo.setLoadingProgressState(LoadingState.STATE_LOADING_FROM_WEB_FAILED);
240  0 fail("IllegalArgumentException expected");
241    } catch (IllegalArgumentException e) {
242    // expected
243    }
244  1 try {
245  1 bo.setLoadingProgressState(LoadingState.STATE_LOADING_INTO_MEMORY_FAILED);
246  0 fail("IllegalArgumentException expected");
247    } catch (IllegalArgumentException e) {
248    // expected
249    }
250  1 bo.setLoadingProgressState(LoadingState.STATE_UNDEFINED);
251  1 assertEquals(LoadingState.STATE_UNDEFINED, bo.getLoadingState());
252  1 bo.setLoadingProgressState(LoadingState.STATE_LOADING_FROM_BUFFER);
253  1 assertEquals(LoadingState.STATE_LOADING_FROM_BUFFER, bo.getLoadingState());
254  1 bo.setLoadingProgressState(LoadingState.STATE_LOADING_FROM_WEB);
255  1 assertEquals(LoadingState.STATE_LOADING_FROM_WEB, bo.getLoadingState());
256  1 bo.setLoadingProgressState(LoadingState.STATE_LOADING_FROM_WEB);
257  1 assertEquals(LoadingState.STATE_LOADING_FROM_WEB, bo.getLoadingState());
258  1 bo.setLoadingProgressState(LoadingState.STATE_LOADING_INTO_MEMORY);
259  1 assertEquals(LoadingState.STATE_LOADING_INTO_MEMORY, bo.getLoadingState());
260  1 bo.setLoadingProgressState(LoadingState.STATE_LOCATING_WITHIN_WEB);
261  1 assertEquals(LoadingState.STATE_LOCATING_WITHIN_WEB, bo.getLoadingState());
262  1 bo.setLoadingProgressState(LoadingState.STATE_UNDEFINED);
263  1 assertEquals(LoadingState.STATE_UNDEFINED, bo.getLoadingState());
264  1 try {
265  1 bo.setLoadingProgressState(LoadingState.STATE_LOADED);
266  0 fail("IllegalArgumentException expected");
267    } catch (IllegalArgumentException e) {
268    // expected
269    }
270    }
271   
 
272  1 toggle public void testSetDependencyFailureState() throws Exception {
273  1 DefaultKernelQedeqBo bo;
274  1 bo = new DefaultKernelQedeqBo(services, new DefaultModuleAddress("qedeq.org/test.xml"));
275  1 assertFalse(bo.hasFailures());
276  1 assertNull(bo.getException());
277  1 bo.setLoaded(new QedeqVo(), new ModuleLabels());
278  1 assertTrue(bo.isLoaded());
279  1 assertNull(bo.getException());
280  1 try {
281  1 bo.setDependencyFailureState(DependencyState.STATE_LOADING_REQUIRED_MODULES_FAILED,
282    null);
283  0 fail("NullPointerException expected");
284    } catch (NullPointerException e) {
285    // expected
286    }
287  1 final DefaultSourceFileExceptionList defaultSourceFileExceptionList
288    = new DefaultSourceFileExceptionList(new NullPointerException());
289  1 try {
290  1 bo.setLoadingFailureState(null,
291    defaultSourceFileExceptionList);
292  0 fail("NullPointerException expected");
293    } catch (NullPointerException e) {
294    // expected
295    }
296  1 bo.setLoadingProgressState(LoadingState.STATE_UNDEFINED);
297  1 assertNull(bo.getException());
298  1 try {
299  1 bo.setDependencyFailureState(DependencyState.STATE_LOADING_REQUIRED_MODULES_FAILED,
300    defaultSourceFileExceptionList);
301  0 fail("IllegalStateException expected");
302    } catch (IllegalStateException e) {
303    // expected
304    }
305  1 bo.setLoadingFailureState(LoadingState.STATE_LOADING_FROM_BUFFER_FAILED,
306    defaultSourceFileExceptionList);
307  1 try {
308  1 bo.setDependencyFailureState(DependencyState.STATE_LOADING_REQUIRED_MODULES_FAILED,
309    defaultSourceFileExceptionList);
310  0 fail("IllegalStateException expected");
311    } catch (IllegalStateException e) {
312    // expected
313    }
314  1 bo.setLoaded(new QedeqVo(), new ModuleLabels());
315  1 assertTrue(bo.isLoaded());
316  1 assertNull(bo.getException());
317  1 bo.setDependencyFailureState(DependencyState.STATE_LOADING_REQUIRED_MODULES_FAILED,
318    defaultSourceFileExceptionList);
319  1 assertEquals(DependencyState.STATE_LOADING_REQUIRED_MODULES_FAILED,
320    bo.getDependencyState());
321  1 assertEquals(defaultSourceFileExceptionList, bo.getException());
322  1 bo.setLoaded(new QedeqVo(), new ModuleLabels());
323  1 assertTrue(bo.isLoaded());
324  1 assertNull(bo.getException());
325  1 bo.setDependencyProgressState(DependencyState.STATE_UNDEFINED);
326  1 try {
327  1 bo.setDependencyFailureState(DependencyState.STATE_UNDEFINED,
328    defaultSourceFileExceptionList);
329  0 fail("IllegalArgumentException expected");
330    } catch (IllegalArgumentException e) {
331    // expected
332    }
333  1 assertEquals(DependencyState.STATE_UNDEFINED, bo.getDependencyState());
334  1 assertNull(bo.getException());
335  1 try {
336  1 bo.setDependencyFailureState(DependencyState.STATE_LOADING_REQUIRED_MODULES,
337    defaultSourceFileExceptionList);
338  0 fail("IllegalArgumentException expected");
339    } catch (IllegalArgumentException e) {
340    // expected
341    }
342  1 assertEquals(DependencyState.STATE_UNDEFINED, bo.getDependencyState());
343  1 assertNull(bo.getException());
344  1 try {
345  1 bo.setDependencyFailureState(DependencyState.STATE_LOADED_REQUIRED_MODULES,
346    defaultSourceFileExceptionList);
347  0 fail("IllegalArgumentException expected");
348    } catch (IllegalArgumentException e) {
349    // expected
350    }
351  1 assertEquals(DependencyState.STATE_UNDEFINED, bo.getDependencyState());
352  1 assertNull(bo.getException());
353  1 try {
354  1 bo.setDependencyFailureState(DependencyState.STATE_LOADED_REQUIRED_MODULES,
355    defaultSourceFileExceptionList);
356  0 fail("IllegalArgumentException expected");
357    } catch (IllegalArgumentException e) {
358    // expected
359    }
360  1 assertEquals(DependencyState.STATE_UNDEFINED, bo.getDependencyState());
361  1 assertNull(bo.getException());
362    }
363   
364    }
 
CloverReport generated by Clover Code Coverage v2.3.1
Sa Aug 2 2008 13:56:32 CEST.		   Clover: Open Source License registered to qedeq.org .