View Javadoc

1   /* This file is part of the project "Hilbert II" - http://www.qedeq.org" target="alexandria_uri">http://www.qedeq.org
2    *
3    * Copyright 2000-2014,  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.se.visitor;
17  
18  import org.qedeq.kernel.se.base.list.Atom;
19  import org.qedeq.kernel.se.base.list.ElementList;
20  import org.qedeq.kernel.se.base.module.Add;
21  import org.qedeq.kernel.se.base.module.Author;
22  import org.qedeq.kernel.se.base.module.AuthorList;
23  import org.qedeq.kernel.se.base.module.Axiom;
24  import org.qedeq.kernel.se.base.module.ChangedRule;
25  import org.qedeq.kernel.se.base.module.ChangedRuleList;
26  import org.qedeq.kernel.se.base.module.Chapter;
27  import org.qedeq.kernel.se.base.module.ChapterList;
28  import org.qedeq.kernel.se.base.module.Conclusion;
29  import org.qedeq.kernel.se.base.module.ConditionalProof;
30  import org.qedeq.kernel.se.base.module.Existential;
31  import org.qedeq.kernel.se.base.module.FormalProof;
32  import org.qedeq.kernel.se.base.module.FormalProofLine;
33  import org.qedeq.kernel.se.base.module.FormalProofLineList;
34  import org.qedeq.kernel.se.base.module.FormalProofList;
35  import org.qedeq.kernel.se.base.module.Formula;
36  import org.qedeq.kernel.se.base.module.FunctionDefinition;
37  import org.qedeq.kernel.se.base.module.Header;
38  import org.qedeq.kernel.se.base.module.Hypothesis;
39  import org.qedeq.kernel.se.base.module.Import;
40  import org.qedeq.kernel.se.base.module.ImportList;
41  import org.qedeq.kernel.se.base.module.InitialFunctionDefinition;
42  import org.qedeq.kernel.se.base.module.InitialPredicateDefinition;
43  import org.qedeq.kernel.se.base.module.Latex;
44  import org.qedeq.kernel.se.base.module.LatexList;
45  import org.qedeq.kernel.se.base.module.LinkList;
46  import org.qedeq.kernel.se.base.module.LiteratureItem;
47  import org.qedeq.kernel.se.base.module.LiteratureItemList;
48  import org.qedeq.kernel.se.base.module.Location;
49  import org.qedeq.kernel.se.base.module.LocationList;
50  import org.qedeq.kernel.se.base.module.ModusPonens;
51  import org.qedeq.kernel.se.base.module.Node;
52  import org.qedeq.kernel.se.base.module.PredicateDefinition;
53  import org.qedeq.kernel.se.base.module.Proof;
54  import org.qedeq.kernel.se.base.module.ProofList;
55  import org.qedeq.kernel.se.base.module.Proposition;
56  import org.qedeq.kernel.se.base.module.Qedeq;
57  import org.qedeq.kernel.se.base.module.Reason;
58  import org.qedeq.kernel.se.base.module.Rename;
59  import org.qedeq.kernel.se.base.module.Rule;
60  import org.qedeq.kernel.se.base.module.Section;
61  import org.qedeq.kernel.se.base.module.SectionList;
62  import org.qedeq.kernel.se.base.module.Specification;
63  import org.qedeq.kernel.se.base.module.Subsection;
64  import org.qedeq.kernel.se.base.module.SubsectionList;
65  import org.qedeq.kernel.se.base.module.SubsectionType;
66  import org.qedeq.kernel.se.base.module.SubstFree;
67  import org.qedeq.kernel.se.base.module.SubstFunc;
68  import org.qedeq.kernel.se.base.module.SubstPred;
69  import org.qedeq.kernel.se.base.module.Term;
70  import org.qedeq.kernel.se.base.module.Universal;
71  import org.qedeq.kernel.se.base.module.UsedByList;
72  import org.qedeq.kernel.se.common.ModuleDataException;
73  
74  /**
75   * Basic visitor that makes nothing.
76   *
77   * @author  Michael Meyling
78   */
79  public abstract class AbstractModuleVisitor implements QedeqVisitor {
80  
81      public void visitEnter(final Atom atom) throws ModuleDataException {
82      }
83  
84      public void visitEnter(final ElementList list) throws ModuleDataException {
85      }
86  
87      public void visitEnter(final Author author) throws ModuleDataException {
88      }
89  
90      public void visitEnter(final AuthorList authorList) throws ModuleDataException {
91      }
92  
93      public void visitEnter(final Axiom axiom) throws ModuleDataException {
94      }
95  
96      public void visitEnter(final Chapter chapter) throws ModuleDataException {
97      }
98  
99      public void visitEnter(final ChapterList chapterList) throws ModuleDataException {
100     }
101 
102     public void visitEnter(final Formula formula) throws ModuleDataException {
103     }
104 
105     public void visitEnter(final InitialFunctionDefinition functionDefinition)
106             throws ModuleDataException {
107     }
108 
109     public void visitEnter(final FunctionDefinition functionDefinition) throws ModuleDataException {
110     }
111 
112     public void visitEnter(final Header header) throws ModuleDataException {
113     }
114 
115     public void visitEnter(final Import imp) throws ModuleDataException {
116     }
117 
118     public void visitEnter(final ImportList importList) throws ModuleDataException {
119     }
120 
121     public void visitEnter(final Latex latex) throws ModuleDataException {
122     }
123 
124     public void visitEnter(final LatexList latexList) throws ModuleDataException {
125     }
126 
127     public void visitEnter(final LinkList linkList) throws ModuleDataException {
128     }
129 
130     public void visitEnter(final LiteratureItem literatureItem) throws ModuleDataException {
131     }
132 
133     public void visitEnter(final LiteratureItemList literatureItemList) throws ModuleDataException {
134     }
135 
136     public void visitEnter(final Location location) throws ModuleDataException {
137     }
138 
139     public void visitEnter(final LocationList locationList) throws ModuleDataException {
140     }
141 
142     public void visitEnter(final Node node) throws ModuleDataException {
143     }
144 
145     public void visitEnter(final InitialPredicateDefinition predicateDefinition)
146             throws ModuleDataException {
147     }
148 
149     public void visitEnter(final PredicateDefinition predicateDefinition)
150             throws ModuleDataException {
151     }
152 
153     public void visitEnter(final FormalProofList proofList) throws ModuleDataException {
154     }
155 
156     public void visitEnter(final FormalProof proof) throws ModuleDataException {
157     }
158 
159     public void visitEnter(final FormalProofLine proofLine) throws ModuleDataException {
160     }
161 
162     public void visitEnter(final Reason reason) throws ModuleDataException {
163     }
164 
165     public void visitEnter(final ModusPonens reason) throws ModuleDataException {
166     }
167 
168     public void visitEnter(final Add reason) throws ModuleDataException {
169     }
170 
171     public void visitEnter(final Rename reason) throws ModuleDataException {
172     }
173 
174     public void visitEnter(final SubstFree reason) throws ModuleDataException {
175     }
176 
177     public void visitEnter(final SubstFunc reason) throws ModuleDataException {
178     }
179 
180     public void visitEnter(final SubstPred reason) throws ModuleDataException {
181     }
182 
183     public void visitEnter(final Existential reason) throws ModuleDataException {
184     }
185 
186     public void visitEnter(final Universal reason) throws ModuleDataException {
187     }
188 
189     public void visitEnter(final ConditionalProof reason) throws ModuleDataException {
190     }
191 
192     public void visitEnter(final Hypothesis hypothesis) throws ModuleDataException {
193     }
194 
195     public void visitEnter(final Conclusion conclusion) throws ModuleDataException {
196     }
197 
198     public void visitEnter(final FormalProofLineList proofLineList) throws ModuleDataException {
199     }
200 
201     public void visitEnter(final Proof proof) throws ModuleDataException {
202     }
203 
204     public void visitEnter(final ProofList proofList) throws ModuleDataException {
205     }
206 
207     public void visitEnter(final Proposition proposition) throws ModuleDataException {
208     }
209 
210     public void visitEnter(final Qedeq qedeq) throws ModuleDataException {
211     }
212 
213     public void visitEnter(final Rule rule) throws ModuleDataException {
214     }
215 
216     public void visitEnter(final ChangedRuleList rule) throws ModuleDataException {
217     }
218 
219     public void visitEnter(final ChangedRule rule) throws ModuleDataException {
220     }
221 
222     public void visitEnter(final Section section) throws ModuleDataException {
223     }
224 
225     public void visitEnter(final SectionList sectionList) throws ModuleDataException {
226     }
227 
228     public void visitEnter(final Specification specification) throws ModuleDataException {
229     }
230 
231     public void visitEnter(final Subsection subsection) throws ModuleDataException {
232     }
233 
234     public void visitEnter(final SubsectionList subsectionList) throws ModuleDataException {
235     }
236 
237     public void visitEnter(final SubsectionType subsectionType) throws ModuleDataException {
238     }
239 
240     public void visitEnter(final Term term) throws ModuleDataException {
241     }
242 
243     public void visitEnter(final UsedByList usedByList) throws ModuleDataException {
244     }
245 
246     public void visitLeave(final Author author) throws ModuleDataException {
247     }
248 
249     public void visitLeave(final AuthorList authorList) throws ModuleDataException {
250     }
251 
252     public void visitLeave(final Axiom axiom) throws ModuleDataException {
253     }
254 
255     public void visitLeave(final Chapter chapter) throws ModuleDataException {
256     }
257 
258     public void visitLeave(final ChapterList chapterList) throws ModuleDataException {
259     }
260 
261     public void visitLeave(final Formula formula) throws ModuleDataException {
262     }
263 
264     public void visitLeave(final InitialFunctionDefinition functionDefinition) throws ModuleDataException {
265     }
266 
267     public void visitLeave(final FunctionDefinition functionDefinition) throws ModuleDataException {
268     }
269 
270     public void visitLeave(final Header header) throws ModuleDataException {
271     }
272 
273     public void visitLeave(final Import imp) throws ModuleDataException {
274     }
275 
276     public void visitLeave(final ImportList importList) throws ModuleDataException {
277     }
278 
279     public void visitLeave(final Latex latex) throws ModuleDataException {
280     }
281 
282     public void visitLeave(final LatexList latexList) throws ModuleDataException {
283     }
284 
285     public void visitLeave(final LinkList linkList) throws ModuleDataException {
286     }
287 
288     public void visitLeave(final LiteratureItem literatureItem) throws ModuleDataException {
289     }
290 
291     public void visitLeave(final LiteratureItemList literatureItemList) throws ModuleDataException {
292     }
293 
294     public void visitLeave(final Location location) throws ModuleDataException {
295     }
296 
297     public void visitLeave(final LocationList locationList) throws ModuleDataException {
298     }
299 
300     public void visitLeave(final Node authorList) throws ModuleDataException {
301     }
302 
303     public void visitLeave(final InitialPredicateDefinition predicateDefinition)
304         throws ModuleDataException {
305     }
306 
307     public void visitLeave(final PredicateDefinition predicateDefinition)
308             throws ModuleDataException {
309     }
310 
311     public void visitLeave(final FormalProofList proofList) throws ModuleDataException {
312     }
313 
314     public void visitLeave(final FormalProof proof) throws ModuleDataException {
315     }
316 
317     public void visitLeave(final FormalProofLine proofLine) throws ModuleDataException {
318     }
319 
320     public void visitLeave(final Reason reason) throws ModuleDataException {
321     }
322 
323     public void visitLeave(final ModusPonens reason) throws ModuleDataException {
324     }
325 
326     public void visitLeave(final Add reason) throws ModuleDataException {
327     }
328 
329     public void visitLeave(final Rename reason) throws ModuleDataException {
330     }
331 
332     public void visitLeave(final SubstFree reason) throws ModuleDataException {
333     }
334 
335     public void visitLeave(final SubstFunc reason) throws ModuleDataException {
336     }
337 
338     public void visitLeave(final SubstPred reason) throws ModuleDataException {
339     }
340 
341     public void visitLeave(final Existential reason) throws ModuleDataException {
342     }
343 
344     public void visitLeave(final Universal reason) throws ModuleDataException {
345     }
346 
347     public void visitLeave(final ConditionalProof reason) throws ModuleDataException {
348     }
349 
350     public void visitLeave(final Hypothesis hypothesis) throws ModuleDataException {
351     }
352 
353     public void visitLeave(final Conclusion conclusion) throws ModuleDataException {
354     }
355 
356     public void visitLeave(final FormalProofLineList proofLineList) throws ModuleDataException {
357     }
358 
359     public void visitLeave(final Proof proof) throws ModuleDataException {
360     }
361 
362     public void visitLeave(final ProofList proofList) throws ModuleDataException {
363     }
364 
365     public void visitLeave(final Proposition proposition) throws ModuleDataException {
366     }
367 
368     public void visitLeave(final Qedeq qedeq) throws ModuleDataException {
369     }
370 
371     public void visitLeave(final Rule rule) throws ModuleDataException {
372     }
373 
374     public void visitLeave(final ChangedRuleList rule) throws ModuleDataException {
375     }
376 
377     public void visitLeave(final ChangedRule rule) throws ModuleDataException {
378     }
379 
380     public void visitLeave(final Section section) throws ModuleDataException {
381     }
382 
383     public void visitLeave(final SectionList sectionList) throws ModuleDataException {
384     }
385 
386     public void visitLeave(final Specification specification) throws ModuleDataException {
387     }
388 
389     public void visitLeave(final Subsection subsection) throws ModuleDataException {
390     }
391 
392     public void visitLeave(final SubsectionList subsectionList) throws ModuleDataException {
393     }
394 
395     public void visitLeave(final SubsectionType subsectionType) throws ModuleDataException {
396     }
397 
398     public void visitLeave(final Term term) throws ModuleDataException {
399     }
400 
401     public void visitLeave(final UsedByList usedByList) throws ModuleDataException {
402     }
403 
404     public void visitLeave(final Atom atom) throws ModuleDataException {
405     }
406 
407     public void visitLeave(final ElementList list) throws ModuleDataException {
408     }
409 }