|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
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 | } |
|