Clover Coverage Report
Coverage timestamp: Fri May 24 2013 13:47:27 UTC
Overview   Package   File
    FRAMES   NO FRAMES     
48   205   34   1.41
0   140   0.71   34
34     1  
1    
 
  DefaultModuleEventListenerTest       Line # 43 48 34 34.1% 0.34146342
 
  (4)
 
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.log;
17   
18    import java.io.ByteArrayOutputStream;
19    import java.io.PrintStream;
20   
21    import org.apache.commons.lang.ArrayUtils;
22    import org.qedeq.kernel.bo.common.ModuleReferenceList;
23    import org.qedeq.kernel.bo.common.QedeqBo;
24    import org.qedeq.kernel.bo.module.KernelModuleReferenceList;
25    import org.qedeq.kernel.bo.test.QedeqBoTestCase;
26    import org.qedeq.kernel.se.base.module.Qedeq;
27    import org.qedeq.kernel.se.common.DefaultModuleAddress;
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.state.AbstractState;
32    import org.qedeq.kernel.se.state.DependencyState;
33    import org.qedeq.kernel.se.state.FormallyProvedState;
34    import org.qedeq.kernel.se.state.LoadingImportsState;
35    import org.qedeq.kernel.se.state.LoadingState;
36    import org.qedeq.kernel.se.state.WellFormedState;
37   
38    /**
39    * Test class.
40    *
41    * @author Michael Meyling
42    */
 
43    public class DefaultModuleEventListenerTest extends QedeqBoTestCase {
44   
45    private DefaultModuleEventListener listener;
46    private ByteArrayOutputStream out;
47    private QedeqBo qedeq;
48   
 
49  4 toggle protected void setUp() throws Exception {
50  4 super.setUp();
51  4 out = new ByteArrayOutputStream();
52  4 listener = new DefaultModuleEventListener(new PrintStream(out));
53  4 qedeq = new QedeqBo() {
54   
 
55  0 toggle public boolean isSupportedLanguage(String language) {
56  0 return false;
57    }
58   
 
59  0 toggle public boolean isLoaded() {
60  0 return false;
61    }
62   
 
63  0 toggle public boolean isWellFormed() {
64  0 return false;
65    }
66   
 
67  0 toggle public boolean isFullyFormallyProved() {
68  0 return false;
69    }
70   
 
71  0 toggle public boolean hasWarnings() {
72  0 return false;
73    }
74   
 
75  0 toggle public boolean hasLoadedRequiredModules() {
76  0 return false;
77    }
78   
 
79  0 toggle public boolean hasErrors() {
80  0 return false;
81    }
82   
 
83  0 toggle public boolean hasBasicFailures() {
84  0 return false;
85    }
86   
 
87  0 toggle public SourceFileExceptionList getWarnings() {
88  0 return new SourceFileExceptionList();
89    }
90   
 
91  4 toggle public String getUrl() {
92  4 return "dummy";
93    }
94   
 
95  0 toggle public String[] getSupportedLanguages() {
96  0 return ArrayUtils.EMPTY_STRING_ARRAY;
97    }
98   
 
99  1 toggle public String getStateDescription() {
100  1 return LoadingState.STATE_LOADING_INTO_MEMORY.getText();
101    }
102   
 
103  0 toggle public String getRuleVersion() {
104  0 return "1.00.00";
105    }
106   
 
107  0 toggle public ModuleReferenceList getRequiredModules() {
108  0 return new KernelModuleReferenceList();
109    }
110   
 
111  0 toggle public Qedeq getQedeq() {
112  0 return null;
113    }
114   
 
115  0 toggle public String getOriginalLanguage() {
116  0 return "en";
117    }
118   
 
119  0 toggle public String getName() {
120  0 return "dummy";
121    }
122   
 
123  0 toggle public ModuleAddress getModuleAddress() {
124  0 return new DefaultModuleAddress();
125    }
126   
 
127  0 toggle public WellFormedState getWellFormedState() {
128  0 return WellFormedState.STATE_UNCHECKED;
129    }
130   
 
131  0 toggle public LoadingState getLoadingState() {
132  0 return LoadingState.STATE_LOADING_INTO_MEMORY;
133    }
134   
 
135  0 toggle public int getLoadingCompleteness() {
136  0 return 0;
137    }
138   
 
139  0 toggle public SourceFileExceptionList getErrors() {
140  0 return new SourceFileExceptionList();
141    }
142   
 
143  0 toggle public DependencyState getDependencyState() {
144  0 return DependencyState.STATE_UNDEFINED;
145    }
146   
 
147  0 toggle public FormallyProvedState getFormallyProvedState() {
148  0 return FormallyProvedState.STATE_UNCHECKED;
149    }
150   
 
151  0 toggle public AbstractState getCurrentState() {
152  0 return LoadingState.STATE_LOADING_INTO_MEMORY;
153    }
154   
 
155  0 toggle public AbstractState getLastSuccessfulState() {
156  0 return LoadingState.STATE_UNDEFINED;
157    }
158   
 
159  0 toggle public Service getCurrentlyRunningService() {
160  0 return null;
161    }
162   
 
163  0 toggle public LoadingImportsState getLoadingImportsState() {
164  0 return null;
165    }
166   
 
167  0 toggle public boolean hasLoadedImports() {
168  0 return false;
169    }
170    };
171   
172    }
173   
 
174  1 toggle public void testAddModule() throws Exception {
175  1 listener.addModule(qedeq);
176    // System.out.println(out.toString("UTF-8"));
177  1 assertTrue(out.toString("UTF-8").trim().endsWith("dummy"));
178  1 assertTrue(0 <= out.toString("UTF-8").indexOf("Module added"));
179    }
180   
 
181  1 toggle public void testRemoveModule() throws Exception {
182  1 listener.removeModule(qedeq);
183    // System.out.println(out.toString("UTF-8"));
184  1 assertTrue(out.toString("UTF-8").trim().endsWith("dummy"));
185  1 assertTrue(0 <= out.toString("UTF-8").indexOf("Module removed"));
186    }
187   
 
188  1 toggle public void testStateChanged() throws Exception {
189  1 listener.stateChanged(qedeq);
190    // System.out.println(out.toString("UTF-8"));
191  1 assertTrue(out.toString("UTF-8").trim().endsWith("dummy"));
192  1 assertTrue(0 <= out.toString("UTF-8").indexOf("Module state changed"));
193    }
194   
 
195  1 toggle public void testSetPrintStream() throws Exception {
196  1 listener = new DefaultModuleEventListener();
197  1 ByteArrayOutputStream out2 = new ByteArrayOutputStream();
198  1 listener.setPrintStream(new PrintStream(out2));
199  1 listener.addModule(qedeq);
200    // System.out.println(out2.toString("UTF-8"));
201  1 assertTrue(out2.toString("UTF-8").trim().endsWith("dummy"));
202  1 assertTrue(0 <= out2.toString("UTF-8").indexOf("add"));
203    }
204   
205    }
 
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 .