Clover Coverage Report
Coverage timestamp: Sa Aug 2 2008 13:56:27 CEST
Overview   Package   File
    FRAMES   NO FRAMES     
0   591   0   -
0   103   -   0
0     -  
1    
 
  QedeqVisitor       Line # 61 0 0 - -1.0
 
No Tests
 
1    /* $Id: QedeqVisitor.java,v 1.1 2008/07/26 07:59:34 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.visitor;
19   
20    import org.qedeq.kernel.base.module.Author;
21    import org.qedeq.kernel.base.module.AuthorList;
22    import org.qedeq.kernel.base.module.Axiom;
23    import org.qedeq.kernel.base.module.Chapter;
24    import org.qedeq.kernel.base.module.ChapterList;
25    import org.qedeq.kernel.base.module.Formula;
26    import org.qedeq.kernel.base.module.FunctionDefinition;
27    import org.qedeq.kernel.base.module.Header;
28    import org.qedeq.kernel.base.module.Import;
29    import org.qedeq.kernel.base.module.ImportList;
30    import org.qedeq.kernel.base.module.Latex;
31    import org.qedeq.kernel.base.module.LatexList;
32    import org.qedeq.kernel.base.module.LinkList;
33    import org.qedeq.kernel.base.module.LiteratureItem;
34    import org.qedeq.kernel.base.module.LiteratureItemList;
35    import org.qedeq.kernel.base.module.Location;
36    import org.qedeq.kernel.base.module.LocationList;
37    import org.qedeq.kernel.base.module.Node;
38    import org.qedeq.kernel.base.module.PredicateDefinition;
39    import org.qedeq.kernel.base.module.Proof;
40    import org.qedeq.kernel.base.module.ProofList;
41    import org.qedeq.kernel.base.module.Proposition;
42    import org.qedeq.kernel.base.module.Qedeq;
43    import org.qedeq.kernel.base.module.Rule;
44    import org.qedeq.kernel.base.module.Section;
45    import org.qedeq.kernel.base.module.SectionList;
46    import org.qedeq.kernel.base.module.Specification;
47    import org.qedeq.kernel.base.module.Subsection;
48    import org.qedeq.kernel.base.module.SubsectionList;
49    import org.qedeq.kernel.base.module.SubsectionType;
50    import org.qedeq.kernel.base.module.Term;
51    import org.qedeq.kernel.base.module.UsedByList;
52    import org.qedeq.kernel.base.module.VariableList;
53    import org.qedeq.kernel.common.ModuleDataException;
54   
55    /**
56    * Here are all elements to visit assembled that can be visited within a QEDEQ module.
57    *
58    * @version $Revision: 1.1 $
59    * @author Michael Meyling
60    */
 
61    public interface QedeqVisitor extends ListVisitor {
62   
63    /**
64    * Visit certain element. Begin of visit.
65    *
66    * @param author Begin visit of this element.
67    * @throws ModuleDataException Major problem occurred.
68    */
69    public void visitEnter(Author author) throws ModuleDataException;
70   
71    /**
72    * Visit certain element. Begin of visit.
73    *
74    * @param authorList Begin visit of this element.
75    * @throws ModuleDataException Major problem occurred.
76    */
77    public void visitEnter(AuthorList authorList) throws ModuleDataException;
78   
79    /**
80    * Visit certain element. Begin of visit.
81    *
82    * @param axiom Begin visit of this element.
83    * @throws ModuleDataException Major problem occurred.
84    */
85    public void visitEnter(Axiom axiom) throws ModuleDataException;
86   
87    /**
88    * Visit certain element. Begin of visit.
89    *
90    * @param chapter Begin visit of this element.
91    * @throws ModuleDataException Major problem occurred.
92    */
93    public void visitEnter(Chapter chapter) throws ModuleDataException;
94   
95    /**
96    * Visit certain element. Begin of visit.
97    *
98    * @param chapterList Begin visit of this element.
99    * @throws ModuleDataException Major problem occurred.
100    */
101    public void visitEnter(ChapterList chapterList) throws ModuleDataException;
102   
103    /**
104    * Visit certain element. Begin of visit.
105    *
106    * @param formula Begin visit of this element.
107    * @throws ModuleDataException Major problem occurred.
108    */
109    public void visitEnter(Formula formula) throws ModuleDataException;
110   
111    /**
112    * Visit certain element. Begin of visit.
113    *
114    * @param functionDefinition Begin visit of this element.
115    * @throws ModuleDataException Major problem occurred.
116    */
117    public void visitEnter(FunctionDefinition functionDefinition) throws ModuleDataException;
118   
119    /**
120    * Visit certain element. Begin of visit.
121    *
122    * @param header Begin visit of this element.
123    * @throws ModuleDataException Major problem occurred.
124    */
125    public void visitEnter(Header header) throws ModuleDataException;
126   
127    /**
128    * Visit certain element. Begin of visit.
129    *
130    * @param imp Begin visit of this element.
131    * @throws ModuleDataException Major problem occurred.
132    */
133    public void visitEnter(Import imp) throws ModuleDataException;
134   
135    /**
136    * Visit certain element. Begin of visit.
137    *
138    * @param importList Begin visit of this element.
139    * @throws ModuleDataException Major problem occurred.
140    */
141    public void visitEnter(ImportList importList) throws ModuleDataException;
142   
143    /**
144    * Visit certain element. Begin of visit.
145    *
146    * @param latex Begin visit of this element.
147    * @throws ModuleDataException Major problem occurred.
148    */
149    public void visitEnter(Latex latex) throws ModuleDataException;
150   
151    /**
152    * Visit certain element. Begin of visit.
153    *
154    * @param latexList Begin visit of this element.
155    * @throws ModuleDataException Major problem occurred.
156    */
157    public void visitEnter(LatexList latexList) throws ModuleDataException;
158   
159    /**
160    * Visit certain element. Begin of visit.
161    *
162    * @param linkList Begin visit of this element.
163    * @throws ModuleDataException Major problem occurred.
164    */
165    public void visitEnter(LinkList linkList) throws ModuleDataException;
166   
167    /**
168    * Visit certain element. Begin of visit.
169    *
170    * @param literatureItem Begin visit of this element.
171    * @throws ModuleDataException Major problem occurred.
172    */
173    public void visitEnter(LiteratureItem literatureItem) throws ModuleDataException;
174   
175    /**
176    * Visit certain element. Begin of visit.
177    *
178    * @param literatureItemList Begin visit of this element.
179    * @throws ModuleDataException Major problem occurred.
180    */
181    public void visitEnter(LiteratureItemList literatureItemList) throws ModuleDataException;
182   
183    /**
184    * Visit certain element. Begin of visit.
185    *
186    * @param location Begin visit of this element.
187    * @throws ModuleDataException Major problem occurred.
188    */
189    public void visitEnter(Location location) throws ModuleDataException;
190   
191    /**
192    * Visit certain element. Begin of visit.
193    *
194    * @param locationList Begin visit of this element.
195    * @throws ModuleDataException Major problem occurred.
196    */
197    public void visitEnter(LocationList locationList) throws ModuleDataException;
198   
199    /**
200    * Visit certain element. Begin of visit.
201    *
202    * @param node Begin visit of this element.
203    * @throws ModuleDataException Major problem occurred.
204    */
205    public void visitEnter(Node node) throws ModuleDataException;
206   
207    /**
208    * Visit certain element. Begin of visit.
209    *
210    * @param predicateDefinition Begin visit of this element.
211    * @throws ModuleDataException Major problem occurred.
212    */
213    public void visitEnter(PredicateDefinition predicateDefinition) throws ModuleDataException;
214   
215    /**
216    * Visit certain element. Begin of visit.
217    *
218    * @param proof Begin visit of this element.
219    * @throws ModuleDataException Major problem occurred.
220    */
221    public void visitEnter(Proof proof) throws ModuleDataException;
222   
223    /**
224    * Visit certain element. Begin of visit.
225    *
226    * @param proofList Begin visit of this element.
227    * @throws ModuleDataException Major problem occurred.
228    */
229    public void visitEnter(ProofList proofList) throws ModuleDataException;
230   
231    /**
232    * Visit certain element. Begin of visit.
233    *
234    * @param proposition Begin visit of this element.
235    * @throws ModuleDataException Major problem occurred.
236    */
237    public void visitEnter(Proposition proposition) throws ModuleDataException;
238   
239    /**
240    * Visit certain element. Begin of visit.
241    *
242    * @param qedeq Begin visit of this element.
243    * @throws ModuleDataException Major problem occurred.
244    */
245    public void visitEnter(Qedeq qedeq) throws ModuleDataException;
246   
247    /**
248    * Visit certain element. Begin of visit.
249    *
250    * @param rule Begin visit of this element.
251    * @throws ModuleDataException Major problem occurred.
252    */
253    public void visitEnter(Rule rule) throws ModuleDataException;
254   
255    /**
256    * Visit certain element. Begin of visit.
257    *
258    * @param section Begin visit of this element.
259    * @throws ModuleDataException Major problem occurred.
260    */
261    public void visitEnter(Section section) throws ModuleDataException;
262   
263    /**
264    * Visit certain element. Begin of visit.
265    *
266    * @param sectionList Begin visit of this element.
267    * @throws ModuleDataException Major problem occurred.
268    */
269    public void visitEnter(SectionList sectionList) throws ModuleDataException;
270   
271    /**
272    * Visit certain element. Begin of visit.
273    *
274    * @param specification Begin visit of this element.
275    * @throws ModuleDataException Major problem occurred.
276    */
277    public void visitEnter(Specification specification) throws ModuleDataException;
278   
279    /**
280    * Visit certain element. Begin of visit.
281    *
282    * @param subsection Begin visit of this element.
283    * @throws ModuleDataException Major problem occurred.
284    */
285    public void visitEnter(Subsection subsection) throws ModuleDataException;
286   
287    /**
288    * Visit certain element. Begin of visit.
289    *
290    * @param subsectionList Begin visit of this element.
291    * @throws ModuleDataException Major problem occurred.
292    */
293    public void visitEnter(SubsectionList subsectionList) throws ModuleDataException;
294   
295    /**
296    * Visit certain element. Begin of visit.
297    *
298    * @param subsectionType Begin visit of this element.
299    * @throws ModuleDataException Major problem occurred.
300    */
301    public void visitEnter(SubsectionType subsectionType) throws ModuleDataException;
302   
303    /**
304    * Visit certain element. Begin of visit.
305    *
306    * @param term Begin visit of this element.
307    * @throws ModuleDataException Major problem occurred.
308    */
309    public void visitEnter(Term term) throws ModuleDataException;
310   
311    /**
312    * Visit certain element. Begin of visit.
313    *
314    * @param usedByList Begin visit of this element.
315    * @throws ModuleDataException Major problem occurred.
316    */
317    public void visitEnter(UsedByList usedByList) throws ModuleDataException;
318   
319    /**
320    * Visit certain element. Begin of visit.
321    *
322    * @param variableList Begin visit of this element.
323    * @throws ModuleDataException Major problem occurred.
324    */
325    public void visitEnter(VariableList variableList) throws ModuleDataException;
326   
327    /**
328    * Visit certain element. End of visit.
329    *
330    * @param author End visit of this element.
331    * @throws ModuleDataException Major problem occurred.
332    */
333    public void visitLeave(Author author) throws ModuleDataException;
334   
335    /**
336    * Visit certain element. End of visit.
337    *
338    * @param authorList End visit of this element.
339    * @throws ModuleDataException Major problem occurred.
340    */
341    public void visitLeave(AuthorList authorList) throws ModuleDataException;
342   
343    /**
344    * Visit certain element. End of visit.
345    *
346    * @param axiom End visit of this element.
347    * @throws ModuleDataException Major problem occurred.
348    */
349    public void visitLeave(Axiom axiom) throws ModuleDataException;
350   
351    /**
352    * Visit certain element. End of visit.
353    *
354    * @param chapter End visit of this element.
355    * @throws ModuleDataException Major problem occurred.
356    */
357    public void visitLeave(Chapter chapter) throws ModuleDataException;
358   
359    /**
360    * Visit certain element. End of visit.
361    *
362    * @param chapterList End visit of this element.
363    * @throws ModuleDataException Major problem occurred.
364    */
365    public void visitLeave(ChapterList chapterList) throws ModuleDataException;
366   
367    /**
368    * Visit certain element. End of visit.
369    *
370    * @param formula End visit of this element.
371    * @throws ModuleDataException Major problem occurred.
372    */
373    public void visitLeave(Formula formula) throws ModuleDataException;
374   
375    /**
376    * Visit certain element. End of visit.
377    *
378    * @param functionDefinition End visit of this element.
379    * @throws ModuleDataException Major problem occurred.
380    */
381    public void visitLeave(FunctionDefinition functionDefinition) throws ModuleDataException;
382   
383    /**
384    * Visit certain element. End of visit.
385    *
386    * @param header End visit of this element.
387    * @throws ModuleDataException Major problem occurred.
388    */
389    public void visitLeave(Header header) throws ModuleDataException;
390   
391    /**
392    * Visit certain element. End of visit.
393    *
394    * @param imp End visit of this element.
395    * @throws ModuleDataException Major problem occurred.
396    */
397    public void visitLeave(Import imp) throws ModuleDataException;
398   
399    /**
400    * Visit certain element. End of visit.
401    *
402    * @param importList End visit of this element.
403    * @throws ModuleDataException Major problem occurred.
404    */
405    public void visitLeave(ImportList importList) throws ModuleDataException;
406   
407    /**
408    * Visit certain element. End of visit.
409    *
410    * @param latex End visit of this element.
411    * @throws ModuleDataException Major problem occurred.
412    */
413    public void visitLeave(Latex latex) throws ModuleDataException;
414   
415    /**
416    * Visit certain element. End of visit.
417    *
418    * @param latexList End visit of this element.
419    * @throws ModuleDataException Major problem occurred.
420    */
421    public void visitLeave(LatexList latexList) throws ModuleDataException;
422   
423    /**
424    * Visit certain element. End of visit.
425    *
426    * @param linkList End visit of this element.
427    * @throws ModuleDataException Major problem occurred.
428    */
429    public void visitLeave(LinkList linkList) throws ModuleDataException;
430   
431    /**
432    * Visit certain element. End of visit.
433    *
434    * @param literatureItem End visit of this element.
435    * @throws ModuleDataException Major problem occurred.
436    */
437    public void visitLeave(LiteratureItem literatureItem) throws ModuleDataException;
438   
439    /**
440    * Visit certain element. End of visit.
441    *
442    * @param literatureItemList End visit of this element.
443    * @throws ModuleDataException Major problem occurred.
444    */
445    public void visitLeave(LiteratureItemList literatureItemList) throws ModuleDataException;
446   
447    /**
448    * Visit certain element. End of visit.
449    *
450    * @param location End visit of this element.
451    * @throws ModuleDataException Major problem occurred.
452    */
453    public void visitLeave(Location location) throws ModuleDataException;
454   
455    /**
456    * Visit certain element. End of visit.
457    *
458    * @param locationList End visit of this element.
459    * @throws ModuleDataException Major problem occurred.
460    */
461    public void visitLeave(LocationList locationList) throws ModuleDataException;
462   
463    /**
464    * Visit certain element. End of visit.
465    *
466    * @param authorList End visit of this element.
467    * @throws ModuleDataException Major problem occurred.
468    */
469    public void visitLeave(Node authorList) throws ModuleDataException;
470   
471    /**
472    * Visit certain element. End of visit.
473    *
474    * @param predicateDefinition End visit of this element.
475    * @throws ModuleDataException Major problem occurred.
476    */
477    public void visitLeave(PredicateDefinition predicateDefinition) throws ModuleDataException;
478   
479    /**
480    * Visit certain element. End of visit.
481    *
482    * @param proof End visit of this element.
483    * @throws ModuleDataException Major problem occurred.
484    */
485    public void visitLeave(Proof proof) throws ModuleDataException;
486   
487    /**
488    * Visit certain element. End of visit.
489    *
490    * @param proofList End visit of this element.
491    * @throws ModuleDataException Major problem occurred.
492    */
493    public void visitLeave(ProofList proofList) throws ModuleDataException;
494   
495    /**
496    * Visit certain element. End of visit.
497    *
498    * @param proposition End visit of this element.
499    * @throws ModuleDataException Major problem occurred.
500    */
501    public void visitLeave(Proposition proposition) throws ModuleDataException;
502   
503    /**
504    * Visit certain element. End of visit.
505    *
506    * @param qedeq End visit of this element.
507    * @throws ModuleDataException Major problem occurred.
508    */
509    public void visitLeave(Qedeq qedeq) throws ModuleDataException;
510   
511    /**
512    * Visit certain element. End of visit.
513    *
514    * @param rule End visit of this element.
515    * @throws ModuleDataException Major problem occurred.
516    */
517    public void visitLeave(Rule rule) throws ModuleDataException;
518   
519    /**
520    * Visit certain element. End of visit.
521    *
522    * @param section End visit of this element.
523    * @throws ModuleDataException Major problem occurred.
524    */
525    public void visitLeave(Section section) throws ModuleDataException;
526   
527    /**
528    * Visit certain element. End of visit.
529    *
530    * @param sectionList End visit of this element.
531    * @throws ModuleDataException Major problem occurred.
532    */
533    public void visitLeave(SectionList sectionList) throws ModuleDataException;
534   
535    /**
536    * Visit certain element. End of visit.
537    *
538    * @param specification End visit of this element.
539    * @throws ModuleDataException Major problem occurred.
540    */
541    public void visitLeave(Specification specification) throws ModuleDataException;
542   
543    /**
544    * Visit certain element. End of visit.
545    *
546    * @param subsection End visit of this element.
547    * @throws ModuleDataException Major problem occurred.
548    */
549    public void visitLeave(Subsection subsection) throws ModuleDataException;
550   
551    /**
552    * Visit certain element. End of visit.
553    *
554    * @param subsectionList End visit of this element.
555    * @throws ModuleDataException Major problem occurred.
556    */
557    public void visitLeave(SubsectionList subsectionList) throws ModuleDataException;
558   
559    /**
560    * Visit certain element. End of visit.
561    *
562    * @param subsectionType End visit of this element.
563    * @throws ModuleDataException Major problem occurred.
564    */
565    public void visitLeave(SubsectionType subsectionType) throws ModuleDataException;
566   
567    /**
568    * Visit certain element. End of visit.
569    *
570    * @param term End visit of this element.
571    * @throws ModuleDataException Major problem occurred.
572    */
573    public void visitLeave(Term term) throws ModuleDataException;
574   
575    /**
576    * Visit certain element. End of visit.
577    *
578    * @param usedByList End visit of this element.
579    * @throws ModuleDataException Major problem occurred.
580    */
581    public void visitLeave(UsedByList usedByList) throws ModuleDataException;
582   
583    /**
584    * Visit certain element. End of visit.
585    *
586    * @param variableList End visit of this element.
587    * @throws ModuleDataException Major problem occurred.
588    */
589    public void visitLeave(VariableList variableList) throws ModuleDataException;
590   
591    }
 
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 .