Clover Coverage Report
Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
56   399   55   1,02
0   340   0,98   55
55     1  
1    
 
  AsciiMathParserTest       Line # 9 56 55 100% 1.0
 
  (51)
 
1    package org.qedeq.kernel.bo.parser;
2   
3    import java.io.File;
4    import java.util.List;
5   
6    import org.qedeq.base.io.TextInput;
7    import org.qedeq.kernel.xml.handler.parser.LoadXmlOperatorListUtility;
8   
 
9    public class AsciiMathParserTest extends AbstractParserTest {
10   
11    private static String[][] test = new String[][] {
12    { // 00
13    "set(x) <-> Ey x in y",
14    "EQUI(isSet(x), EXISTS(y, IN(x, y)))"
15    }, { // 01
16    "Ex Ay(y in x <-> set(y) & P(y))",
17    "EXISTS(x, ALL(y, EQUI(IN(y, x), AND(isSet(y), PREDVAR_1(y)))))"
18    }, { // 02
19    "x = y <-> Az(z in x <-> z in y)",
20    "EQUI(EQUAL(x, y), ALL(z, EQUI(IN(z, x), IN(z, y))))"
21    }, { // 03
22    "x = x\n",
23    "EQUAL(x, x)"
24    }, { // 04
25    "a in x <-> a in x",
26    "EQUI(IN(a, x), IN(a, x))"
27    }, { // 05
28    "Az(z in x <-> z in x)",
29    "ALL(z, EQUI(IN(z, x), IN(z, x)))"
30    }, { // 06
31    "x = y -> y = x",
32    "IMPL(EQUAL(x, y), EQUAL(y, x))"
33    }, { // 07
34    "x = y",
35    "EQUAL(x, y)"
36    }, { // 08
37    "Az(z in x <-> z in y)",
38    "ALL(z, EQUI(IN(z, x), IN(z, y)))"
39    }, { // 09
40    "Az(z in y <-> z in x)",
41    "ALL(z, EQUI(IN(z, y), IN(z, x)))"
42    }, { // 10
43    "y = x",
44    "EQUAL(y, x)"
45    }, { // 11
46    "x = y -> y = x",
47    "IMPL(EQUAL(x, y), EQUAL(y, x))"
48    }, { // 12
49    "x = y & y = z -> x = z",
50    "IMPL(AND(EQUAL(x, y), EQUAL(y, z)), EQUAL(x, z))"
51    }, { // 13
52    "x = y & y = z",
53    "AND(EQUAL(x, y), EQUAL(y, z))"
54    }, { // 14
55    "Au(u in x <-> u in y) & Au(u in y <-> u in z)",
56    "AND(ALL(u, EQUI(IN(u, x), IN(u, y))), ALL(u, EQUI(IN(u, y), IN(u, z))))"
57    }, { // 15
58    "Au((u in x <-> u in y) & (u in y <-> u in z))",
59    "ALL(u, AND(EQUI(IN(u, x), IN(u, y)), EQUI(IN(u, y), IN(u, z))))"
60    }, { // 16
61    "(a in x <-> a in y) & (a in y <-> a in z)",
62    "AND(EQUI(IN(a, x), IN(a, y)), EQUI(IN(a, y), IN(a, z)))"
63    }, { // 17
64    "a in x <-> a in z",
65    "EQUI(IN(a, x), IN(a, z))"
66    }, { // 18
67    "Au(u in x <-> u in z)",
68    "ALL(u, EQUI(IN(u, x), IN(u, z)))"
69    }, { // 19
70    "x = z",
71    "EQUAL(x, z)"
72    }, { // 20
73    "x = y & z in x -> z in y",
74    "IMPL(AND(EQUAL(x, y), IN(z, x)), IN(z, y))"
75    }, { // 21
76    "x = y & z in x",
77    "AND(EQUAL(x, y), IN(z, x))"
78    }, { // 22
79    "z in x",
80    "IN(z, x)"
81    }, { // 23
82    "x = y",
83    "EQUAL(x, y)"
84    }, { // 24
85    "Au(u in x <-> u in y)",
86    "ALL(u, EQUI(IN(u, x), IN(u, y)))"
87    }, { // 25
88    "z in x <-> z in y",
89    "EQUI(IN(z, x), IN(z, y))"
90    }, { // 26
91    "z in y",
92    "IN(z, y)"
93    }, { // 27
94    "x = y & x in z -> y in z",
95    "IMPL(AND(EQUAL(x, y), IN(x, z)), IN(y, z))"
96    }, { // 28
97    "x in {y | P(y)} <-> set(x) & P(x)",
98    "EQUI(IN(x, SETDEF(y, PREDVAR_1(y))), AND(isSet(x), PREDVAR_1(x)))"
99    }, { // 29
100    "{y | P(y)} in x <-> Ez(Ay((set(y) & P(y)) <-> y in z) & z in x)",
101    "EQUI(IN(SETDEF(y, PREDVAR_1(y)), x), EXISTS(z, AND(ALL(y, EQUI(AND(isSet(y), PREDVAR_1(y)), IN(y, z))), IN(z, x))))"
102    }, { // 30
103    "{y | P(y)} in x <-> Ez(z = {y | P(y)} & z in x)",
104    "EQUI(IN(SETDEF(y, PREDVAR_1(y)), x), EXISTS(z, AND(EQUAL(z, SETDEF(y, PREDVAR_1(y))), IN(z, x))))"
105    }, { // 31
106    "{y | P(y)} in x <-> {y | P(y)} in x",
107    "EQUI(IN(SETDEF(y, PREDVAR_1(y)), x), IN(SETDEF(y, PREDVAR_1(y)), x))"
108    }, { // 32
109    "Ez(Ay((set(y) & P(y)) <-> y in z) & z in x)",
110    "EXISTS(z, AND(ALL(y, EQUI(AND(isSet(y), PREDVAR_1(y)), IN(y, z))), IN(z, x)))"
111    }, { // 33
112    "Ez(Au((set(u) & P(u)) <-> u in z) & z in x)",
113    "EXISTS(z, AND(ALL(u, EQUI(AND(isSet(u), PREDVAR_1(u)), IN(u, z))), IN(z, x)))"
114    }, { // 34
115    "Ez(Au(u in z <-> (set(u) & P(u))) & z in x)",
116    "EXISTS(z, AND(ALL(u, EQUI(IN(u, z), AND(isSet(u), PREDVAR_1(u)))), IN(z, x)))"
117    }, { // 35
118    "Ez(Au(u in z <-> u in {y | P(y)}) & z in x)",
119    "EXISTS(z, AND(ALL(u, EQUI(IN(u, z), IN(u, SETDEF(y, PREDVAR_1(y))))), IN(z, x)))"
120    }, { // 36
121    "Ez(z = {y | P(y)} & z in x)",
122    "EXISTS(z, AND(EQUAL(z, SETDEF(y, PREDVAR_1(y))), IN(z, x)))"
123    }, { // 37
124    "({y | P(y)} in x <-> {y | P(y)} in x)"
125    + "<-> (Ez(Ay((set(y) & P(y)) <-> y in z) & z in x))"
126    + "<-> (Ez(Au((set(u) & P(u)) <-> u in z) & z in x))"
127    + "<-> (Ez(Au(u in z <-> (set(u) & P(u))) & z in x))"
128    + "<-> (Ez(Au(u in z <-> u in {y | P(y)}) & z in x))"
129    + "<-> (Ez(z = {y | P(y)} & z in x))",
130    "EQUI(EQUI(IN(SETDEF(y, PREDVAR_1(y)), x), IN(SETDEF(y, PREDVAR_1(y)), x)),"
131    + " EXISTS(z, AND(ALL(y, EQUI(AND(isSet(y), PREDVAR_1(y)), IN(y, z))), IN(z, x))),"
132    + " EXISTS(z, AND(ALL(u, EQUI(AND(isSet(u), PREDVAR_1(u)), IN(u, z))), IN(z, x))),"
133    + " EXISTS(z, AND(ALL(u, EQUI(IN(u, z), AND(isSet(u), PREDVAR_1(u)))), IN(z, x))),"
134    + " EXISTS(z, AND(ALL(u, EQUI(IN(u, z), IN(u, SETDEF(y, PREDVAR_1(y))))), IN(z, x))),"
135    + " EXISTS(z, AND(EQUAL(z, SETDEF(y, PREDVAR_1(y))), IN(z, x))))"
136    }, { // 38
137    "{x | P(x)} = {x | Q(x)} <-> (Ax(set(x) -> (P(x) <-> Q(x))))",
138    "EQUI(EQUAL(SETDEF(x, PREDVAR_1(x)), SETDEF(x, PREDVAR_2(x))), ALL(x, IMPL(isSet(x), EQUI(PREDVAR_1(x), PREDVAR_2(x)))))"
139    }, { // 39
140    "{x | P(x)} = {x | Q(x)}",
141    "EQUAL(SETDEF(x, PREDVAR_1(x)), SETDEF(x, PREDVAR_2(x)))"
142    }, { // 40
143    "Ay(y in {x | P(x)} <-> y in {x | Q(x)})",
144    "ALL(y, EQUI(IN(y, SETDEF(x, PREDVAR_1(x))), IN(y, SETDEF(x, PREDVAR_2(x)))))"
145    }, { // 41
146    "Ay((set(y) & P(y)) <-> (set(y) & Q(y)))",
147    "ALL(y, EQUI(AND(isSet(y), PREDVAR_1(y)), AND(isSet(y), PREDVAR_2(y))))"
148    }, { // 42
149    "Ay(((set(y) & P(y)) -> (set(y) & Q(y))) & ((set(y) & Q(y)) -> (set(y) & P(y))))",
150    "ALL(y, AND(IMPL(AND(isSet(y), PREDVAR_1(y)), AND(isSet(y), PREDVAR_2(y))), IMPL(AND(isSet(y), PREDVAR_2(y)), AND(isSet(y), PREDVAR_1(y)))))"
151    }, { // 43
152    "Ay(((set(y) & P(y)) -> Q(y)) & ((set(y) & Q(y)) -> P(y)))",
153    "ALL(y, AND(IMPL(AND(isSet(y), PREDVAR_1(y)), PREDVAR_2(y)), IMPL(AND(isSet(y), PREDVAR_2(y)), PREDVAR_1(y))))"
154    }, { // 44
155    "Ay((set(y) -> (P(y) -> Q(y))) & (set(y) -> (Q(y) -> P(y))))",
156    "ALL(y, AND(IMPL(isSet(y), IMPL(PREDVAR_1(y), PREDVAR_2(y))), IMPL(isSet(y), IMPL(PREDVAR_2(y), PREDVAR_1(y)))))"
157    }, { // 45
158    "Ay(set(y) -> ((P(y) -> Q(y)) & (Q(y) -> P(y))))",
159    "ALL(y, IMPL(isSet(y), AND(IMPL(PREDVAR_1(y), PREDVAR_2(y)), IMPL(PREDVAR_2(y), PREDVAR_1(y)))))"
160    }, { // 46
161    "Ay(set(y) -> (P(y) <-> Q(y)))",
162    "ALL(y, IMPL(isSet(y), EQUI(PREDVAR_1(y), PREDVAR_2(y))))"
163    }, { // 47
164    "(x union y) <-> {z | z in x v z in y}",
165    "EQUI(UNION(x, y), SETDEF(z, OR(IN(z, x), IN(z, y))))"
166    }, { // 48
167    "(x inter y) <-> {z | z in x & z in y}",
168    "EQUI(INTER(x, y), SETDEF(z, AND(IN(z, x), IN(z, y))))"
169    }, { // 49
170    "z in (x union y) <-> z in x v z in y",
171    "EQUI(IN(z, UNION(x, y)), OR(IN(z, x), IN(z, y)))"
172    }, { // 50
173    "z in {x, y} <-> z = x v z = y",
174    "EQUI(IN(z, SET(x, y)), OR(EQUAL(z, x), EQUAL(z, y)))"
175    }
176    };
177   
 
178  51 toggle public AsciiMathParserTest(String arg0) {
179  51 super(arg0);
180    }
181   
 
182  51 toggle protected void setUp() throws Exception {
183  51 super.setUp();
184    }
185   
 
186  51 toggle protected void tearDown() throws Exception {
187  51 super.tearDown();
188    }
189   
 
190  254 toggle protected String[][] getTest() {
191  254 return test;
192    }
193   
 
194  51 toggle protected MathParser createParser(final TextInput input) throws Exception {
195  51 final List operators = LoadXmlOperatorListUtility.getOperatorList(new File(getIndir(),
196    "parser/asciiMathOperators.xml"));
197  51 return new AsciiMathParser(input, operators);
198    }
199   
 
200  1 toggle public void testReadMaximalTerm00() throws Exception {
201  1 internalTest(0);
202    }
203   
 
204  1 toggle public void testReadMaximalTerm01() throws Exception {
205  1 internalTest(1);
206    }
207   
 
208  1 toggle public void testReadMaximalTerm02() throws Exception {
209  1 internalTest(2);
210    }
211   
 
212  1 toggle public void testReadMaximalTerm03() throws Exception {
213  1 internalTest(3);
214    }
215   
 
216  1 toggle public void testReadMaximalTerm04() throws Exception {
217  1 internalTest(4);
218    }
219   
 
220  1 toggle public void testReadMaximalTerm05() throws Exception {
221  1 internalTest(5);
222    }
223   
 
224  1 toggle public void testReadMaximalTerm06() throws Exception {
225  1 internalTest(6);
226    }
227   
 
228  1 toggle public void testReadMaximalTerm07() throws Exception {
229  1 internalTest(7);
230    }
231   
 
232  1 toggle public void testReadMaximalTerm08() throws Exception {
233  1 internalTest(8);
234    }
235   
 
236  1 toggle public void testReadMaximalTerm09() throws Exception {
237  1 internalTest(9);
238    }
239   
 
240  1 toggle public void testReadMaximalTerm10() throws Exception {
241  1 internalTest(10);
242    }
243   
 
244  1 toggle public void testReadMaximalTerm11() throws Exception {
245  1 internalTest(11);
246    }
247   
 
248  1 toggle public void testReadMaximalTerm12() throws Exception {
249  1 internalTest(12);
250    }
251   
 
252  1 toggle public void testReadMaximalTerm13() throws Exception {
253  1 internalTest(13);
254    }
255   
 
256  1 toggle public void testReadMaximalTerm14() throws Exception {
257  1 internalTest(14);
258    }
259   
 
260  1 toggle public void testReadMaximalTerm15() throws Exception {
261  1 internalTest(15);
262    }
263   
 
264  1 toggle public void testReadMaximalTerm16() throws Exception {
265  1 internalTest(16);
266    }
267   
 
268  1 toggle public void testReadMaximalTerm17() throws Exception {
269  1 internalTest(17);
270    }
271   
 
272  1 toggle public void testReadMaximalTerm18() throws Exception {
273  1 internalTest(18);
274    }
275   
 
276  1 toggle public void testReadMaximalTerm19() throws Exception {
277  1 internalTest(19);
278    }
279   
 
280  1 toggle public void testReadMaximalTerm20() throws Exception {
281  1 internalTest(20);
282    }
283   
 
284  1 toggle public void testReadMaximalTerm21() throws Exception {
285  1 internalTest(21);
286    }
287   
 
288  1 toggle public void testReadMaximalTerm22() throws Exception {
289  1 internalTest(22);
290    }
291   
 
292  1 toggle public void testReadMaximalTerm23() throws Exception {
293  1 internalTest(23);
294    }
295   
 
296  1 toggle public void testReadMaximalTerm24() throws Exception {
297  1 internalTest(24);
298    }
299   
 
300  1 toggle public void testReadMaximalTerm26() throws Exception {
301  1 internalTest(26);
302    }
303   
 
304  1 toggle public void testReadMaximalTerm27() throws Exception {
305  1 internalTest(27);
306    }
307   
 
308  1 toggle public void testReadMaximalTerm28() throws Exception {
309  1 internalTest(28);
310    }
311   
 
312  1 toggle public void testReadMaximalTerm29() throws Exception {
313  1 internalTest(29);
314    }
315   
 
316  1 toggle public void testReadMaximalTerm30() throws Exception {
317  1 internalTest(30);
318    }
319   
 
320  1 toggle public void testReadMaximalTerm31() throws Exception {
321  1 internalTest(31);
322    }
323   
 
324  1 toggle public void testReadMaximalTerm32() throws Exception {
325  1 internalTest(32);
326    }
327   
 
328  1 toggle public void testReadMaximalTerm33() throws Exception {
329  1 internalTest(33);
330    }
331   
 
332  1 toggle public void testReadMaximalTerm34() throws Exception {
333  1 internalTest(34);
334    }
335   
 
336  1 toggle public void testReadMaximalTerm35() throws Exception {
337  1 internalTest(35);
338    }
339   
 
340  1 toggle public void testReadMaximalTerm36() throws Exception {
341  1 internalTest(36);
342    }
343   
 
344  1 toggle public void testReadMaximalTerm37() throws Exception {
345  1 internalTest(37);
346    }
347   
 
348  1 toggle public void testReadMaximalTerm38() throws Exception {
349  1 internalTest(38);
350    }
351   
 
352  1 toggle public void testReadMaximalTerm39() throws Exception {
353  1 internalTest(39);
354    }
355   
 
356  1 toggle public void testReadMaximalTerm40() throws Exception {
357  1 internalTest(40);
358    }
359   
 
360  1 toggle public void testReadMaximalTerm41() throws Exception {
361  1 internalTest(41);
362    }
363   
 
364  1 toggle public void testReadMaximalTerm42() throws Exception {
365  1 internalTest(42);
366    }
367   
 
368  1 toggle public void testReadMaximalTerm43() throws Exception {
369  1 internalTest(43);
370    }
371   
 
372  1 toggle public void testReadMaximalTerm44() throws Exception {
373  1 internalTest(44);
374    }
375   
 
376  1 toggle public void testReadMaximalTerm45() throws Exception {
377  1 internalTest(45);
378    }
379   
 
380  1 toggle public void testReadMaximalTerm46() throws Exception {
381  1 internalTest(46);
382    }
383   
 
384  1 toggle public void testReadMaximalTerm47() throws Exception {
385  1 internalTest(47);
386    }
387   
 
388  1 toggle public void testReadMaximalTerm48() throws Exception {
389  1 internalTest(48);
390    }
391   
 
392  1 toggle public void testReadMaximalTerm49() throws Exception {
393  1 internalTest(49);
394    }
395   
 
396  1 toggle public void testReadMaximalTerm50() throws Exception {
397  1 internalTest(50);
398    }
399    }
 
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 .