1
2
3
4
5
6
7
8
9
10
11
12
13
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
76
77
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 }