1 | /* This file is part of the project "Hilbert II" - 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 | } |