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