001 /* This file is part of the project "Hilbert II" - http://www.qedeq.org
002 *
003 * Copyright 2000-2011, Michael Meyling <mime@qedeq.org>.
004 *
005 * "Hilbert II" is free software; you can redistribute
006 * it and/or modify it under the terms of the GNU General Public
007 * License as published by the Free Software Foundation; either
008 * version 2 of the License, or (at your option) any later version.
009 *
010 * This program is distributed in the hope that it will be useful,
011 * but WITHOUT ANY WARRANTY; without even the implied warranty of
012 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
013 * GNU General Public License for more details.
014 */
015
016 package org.qedeq.kernel.se.visitor;
017
018 import org.qedeq.kernel.se.base.list.Atom;
019 import org.qedeq.kernel.se.base.list.ElementList;
020 import org.qedeq.kernel.se.base.module.Add;
021 import org.qedeq.kernel.se.base.module.Author;
022 import org.qedeq.kernel.se.base.module.AuthorList;
023 import org.qedeq.kernel.se.base.module.Axiom;
024 import org.qedeq.kernel.se.base.module.ChangedRule;
025 import org.qedeq.kernel.se.base.module.ChangedRuleList;
026 import org.qedeq.kernel.se.base.module.Chapter;
027 import org.qedeq.kernel.se.base.module.ChapterList;
028 import org.qedeq.kernel.se.base.module.Conclusion;
029 import org.qedeq.kernel.se.base.module.ConditionalProof;
030 import org.qedeq.kernel.se.base.module.Existential;
031 import org.qedeq.kernel.se.base.module.FormalProof;
032 import org.qedeq.kernel.se.base.module.FormalProofLine;
033 import org.qedeq.kernel.se.base.module.FormalProofLineList;
034 import org.qedeq.kernel.se.base.module.FormalProofList;
035 import org.qedeq.kernel.se.base.module.Formula;
036 import org.qedeq.kernel.se.base.module.FunctionDefinition;
037 import org.qedeq.kernel.se.base.module.Header;
038 import org.qedeq.kernel.se.base.module.Hypothesis;
039 import org.qedeq.kernel.se.base.module.Import;
040 import org.qedeq.kernel.se.base.module.ImportList;
041 import org.qedeq.kernel.se.base.module.InitialFunctionDefinition;
042 import org.qedeq.kernel.se.base.module.InitialPredicateDefinition;
043 import org.qedeq.kernel.se.base.module.Latex;
044 import org.qedeq.kernel.se.base.module.LatexList;
045 import org.qedeq.kernel.se.base.module.LinkList;
046 import org.qedeq.kernel.se.base.module.LiteratureItem;
047 import org.qedeq.kernel.se.base.module.LiteratureItemList;
048 import org.qedeq.kernel.se.base.module.Location;
049 import org.qedeq.kernel.se.base.module.LocationList;
050 import org.qedeq.kernel.se.base.module.ModusPonens;
051 import org.qedeq.kernel.se.base.module.Node;
052 import org.qedeq.kernel.se.base.module.PredicateDefinition;
053 import org.qedeq.kernel.se.base.module.Proof;
054 import org.qedeq.kernel.se.base.module.ProofList;
055 import org.qedeq.kernel.se.base.module.Proposition;
056 import org.qedeq.kernel.se.base.module.Qedeq;
057 import org.qedeq.kernel.se.base.module.Reason;
058 import org.qedeq.kernel.se.base.module.Rename;
059 import org.qedeq.kernel.se.base.module.Rule;
060 import org.qedeq.kernel.se.base.module.Section;
061 import org.qedeq.kernel.se.base.module.SectionList;
062 import org.qedeq.kernel.se.base.module.Specification;
063 import org.qedeq.kernel.se.base.module.Subsection;
064 import org.qedeq.kernel.se.base.module.SubsectionList;
065 import org.qedeq.kernel.se.base.module.SubsectionType;
066 import org.qedeq.kernel.se.base.module.SubstFree;
067 import org.qedeq.kernel.se.base.module.SubstFunc;
068 import org.qedeq.kernel.se.base.module.SubstPred;
069 import org.qedeq.kernel.se.base.module.Term;
070 import org.qedeq.kernel.se.base.module.Universal;
071 import org.qedeq.kernel.se.base.module.UsedByList;
072 import org.qedeq.kernel.se.base.module.VariableList;
073 import org.qedeq.kernel.se.common.ModuleDataException;
074
075 /**
076 * Basic visitor that makes nothing.
077 *
078 * @author Michael Meyling
079 */
080 public abstract class AbstractModuleVisitor implements QedeqVisitor {
081
082 public void visitEnter(final Atom atom) throws ModuleDataException {
083 }
084
085 public void visitEnter(final ElementList list) throws ModuleDataException {
086 }
087
088 public void visitEnter(final Author author) throws ModuleDataException {
089 }
090
091 public void visitEnter(final AuthorList authorList) throws ModuleDataException {
092 }
093
094 public void visitEnter(final Axiom axiom) throws ModuleDataException {
095 }
096
097 public void visitEnter(final Chapter chapter) throws ModuleDataException {
098 }
099
100 public void visitEnter(final ChapterList chapterList) throws ModuleDataException {
101 }
102
103 public void visitEnter(final Formula formula) throws ModuleDataException {
104 }
105
106 public void visitEnter(final InitialFunctionDefinition functionDefinition)
107 throws ModuleDataException {
108 }
109
110 public void visitEnter(final FunctionDefinition functionDefinition) throws ModuleDataException {
111 }
112
113 public void visitEnter(final Header header) throws ModuleDataException {
114 }
115
116 public void visitEnter(final Import imp) throws ModuleDataException {
117 }
118
119 public void visitEnter(final ImportList importList) throws ModuleDataException {
120 }
121
122 public void visitEnter(final Latex latex) throws ModuleDataException {
123 }
124
125 public void visitEnter(final LatexList latexList) throws ModuleDataException {
126 }
127
128 public void visitEnter(final LinkList linkList) throws ModuleDataException {
129 }
130
131 public void visitEnter(final LiteratureItem literatureItem) throws ModuleDataException {
132 }
133
134 public void visitEnter(final LiteratureItemList literatureItemList) throws ModuleDataException {
135 }
136
137 public void visitEnter(final Location location) throws ModuleDataException {
138 }
139
140 public void visitEnter(final LocationList locationList) throws ModuleDataException {
141 }
142
143 public void visitEnter(final Node node) throws ModuleDataException {
144 }
145
146 public void visitEnter(final InitialPredicateDefinition predicateDefinition)
147 throws ModuleDataException {
148 }
149
150 public void visitEnter(final PredicateDefinition predicateDefinition)
151 throws ModuleDataException {
152 }
153
154 public void visitEnter(final FormalProofList proofList) throws ModuleDataException {
155 }
156
157 public void visitEnter(final FormalProof proof) throws ModuleDataException {
158 }
159
160 public void visitEnter(final FormalProofLine proofLine) throws ModuleDataException {
161 }
162
163 public void visitEnter(final Reason reason) throws ModuleDataException {
164 }
165
166 public void visitEnter(final ModusPonens reason) throws ModuleDataException {
167 }
168
169 public void visitEnter(final Add reason) throws ModuleDataException {
170 }
171
172 public void visitEnter(final Rename reason) throws ModuleDataException {
173 }
174
175 public void visitEnter(final SubstFree reason) throws ModuleDataException {
176 }
177
178 public void visitEnter(final SubstFunc reason) throws ModuleDataException {
179 }
180
181 public void visitEnter(final SubstPred reason) throws ModuleDataException {
182 }
183
184 public void visitEnter(final Existential reason) throws ModuleDataException {
185 }
186
187 public void visitEnter(final Universal reason) throws ModuleDataException {
188 }
189
190 public void visitEnter(final ConditionalProof reason) throws ModuleDataException {
191 }
192
193 public void visitEnter(final Hypothesis hypothesis) throws ModuleDataException {
194 }
195
196 public void visitEnter(final Conclusion conclusion) throws ModuleDataException {
197 }
198
199 public void visitEnter(final FormalProofLineList proofLineList) throws ModuleDataException {
200 }
201
202 public void visitEnter(final Proof proof) throws ModuleDataException {
203 }
204
205 public void visitEnter(final ProofList proofList) throws ModuleDataException {
206 }
207
208 public void visitEnter(final Proposition proposition) throws ModuleDataException {
209 }
210
211 public void visitEnter(final Qedeq qedeq) throws ModuleDataException {
212 }
213
214 public void visitEnter(final Rule rule) throws ModuleDataException {
215 }
216
217 public void visitEnter(final ChangedRuleList rule) throws ModuleDataException {
218 }
219
220 public void visitEnter(final ChangedRule rule) throws ModuleDataException {
221 }
222
223 public void visitEnter(final Section section) throws ModuleDataException {
224 }
225
226 public void visitEnter(final SectionList sectionList) throws ModuleDataException {
227 }
228
229 public void visitEnter(final Specification specification) throws ModuleDataException {
230 }
231
232 public void visitEnter(final Subsection subsection) throws ModuleDataException {
233 }
234
235 public void visitEnter(final SubsectionList subsectionList) throws ModuleDataException {
236 }
237
238 public void visitEnter(final SubsectionType subsectionType) throws ModuleDataException {
239 }
240
241 public void visitEnter(final Term term) throws ModuleDataException {
242 }
243
244 public void visitEnter(final UsedByList usedByList) throws ModuleDataException {
245 }
246
247 public void visitEnter(final VariableList variableList) throws ModuleDataException {
248 }
249
250 public void visitLeave(final Author author) throws ModuleDataException {
251 }
252
253 public void visitLeave(final AuthorList authorList) throws ModuleDataException {
254 }
255
256 public void visitLeave(final Axiom axiom) throws ModuleDataException {
257 }
258
259 public void visitLeave(final Chapter chapter) throws ModuleDataException {
260 }
261
262 public void visitLeave(final ChapterList chapterList) throws ModuleDataException {
263 }
264
265 public void visitLeave(final Formula formula) throws ModuleDataException {
266 }
267
268 public void visitLeave(final InitialFunctionDefinition functionDefinition) throws ModuleDataException {
269 }
270
271 public void visitLeave(final FunctionDefinition functionDefinition) throws ModuleDataException {
272 }
273
274 public void visitLeave(final Header header) throws ModuleDataException {
275 }
276
277 public void visitLeave(final Import imp) throws ModuleDataException {
278 }
279
280 public void visitLeave(final ImportList importList) throws ModuleDataException {
281 }
282
283 public void visitLeave(final Latex latex) throws ModuleDataException {
284 }
285
286 public void visitLeave(final LatexList latexList) throws ModuleDataException {
287 }
288
289 public void visitLeave(final LinkList linkList) throws ModuleDataException {
290 }
291
292 public void visitLeave(final LiteratureItem literatureItem) throws ModuleDataException {
293 }
294
295 public void visitLeave(final LiteratureItemList literatureItemList) throws ModuleDataException {
296 }
297
298 public void visitLeave(final Location location) throws ModuleDataException {
299 }
300
301 public void visitLeave(final LocationList locationList) throws ModuleDataException {
302 }
303
304 public void visitLeave(final Node authorList) throws ModuleDataException {
305 }
306
307 public void visitLeave(final InitialPredicateDefinition predicateDefinition)
308 throws ModuleDataException {
309 }
310
311 public void visitLeave(final PredicateDefinition predicateDefinition)
312 throws ModuleDataException {
313 }
314
315 public void visitLeave(final FormalProofList proofList) throws ModuleDataException {
316 }
317
318 public void visitLeave(final FormalProof proof) throws ModuleDataException {
319 }
320
321 public void visitLeave(final FormalProofLine proofLine) throws ModuleDataException {
322 }
323
324 public void visitLeave(final Reason reason) throws ModuleDataException {
325 }
326
327 public void visitLeave(final ModusPonens reason) throws ModuleDataException {
328 }
329
330 public void visitLeave(final Add reason) throws ModuleDataException {
331 }
332
333 public void visitLeave(final Rename reason) throws ModuleDataException {
334 }
335
336 public void visitLeave(final SubstFree reason) throws ModuleDataException {
337 }
338
339 public void visitLeave(final SubstFunc reason) throws ModuleDataException {
340 }
341
342 public void visitLeave(final SubstPred reason) throws ModuleDataException {
343 }
344
345 public void visitLeave(final Existential reason) throws ModuleDataException {
346 }
347
348 public void visitLeave(final Universal reason) throws ModuleDataException {
349 }
350
351 public void visitLeave(final ConditionalProof reason) throws ModuleDataException {
352 }
353
354 public void visitLeave(final Hypothesis hypothesis) throws ModuleDataException {
355 }
356
357 public void visitLeave(final Conclusion conclusion) throws ModuleDataException {
358 }
359
360 public void visitLeave(final FormalProofLineList proofLineList) throws ModuleDataException {
361 }
362
363 public void visitLeave(final Proof proof) throws ModuleDataException {
364 }
365
366 public void visitLeave(final ProofList proofList) throws ModuleDataException {
367 }
368
369 public void visitLeave(final Proposition proposition) throws ModuleDataException {
370 }
371
372 public void visitLeave(final Qedeq qedeq) throws ModuleDataException {
373 }
374
375 public void visitLeave(final Rule rule) throws ModuleDataException {
376 }
377
378 public void visitLeave(final ChangedRuleList rule) throws ModuleDataException {
379 }
380
381 public void visitLeave(final ChangedRule rule) throws ModuleDataException {
382 }
383
384 public void visitLeave(final Section section) throws ModuleDataException {
385 }
386
387 public void visitLeave(final SectionList sectionList) throws ModuleDataException {
388 }
389
390 public void visitLeave(final Specification specification) throws ModuleDataException {
391 }
392
393 public void visitLeave(final Subsection subsection) throws ModuleDataException {
394 }
395
396 public void visitLeave(final SubsectionList subsectionList) throws ModuleDataException {
397 }
398
399 public void visitLeave(final SubsectionType subsectionType) throws ModuleDataException {
400 }
401
402 public void visitLeave(final Term term) throws ModuleDataException {
403 }
404
405 public void visitLeave(final UsedByList usedByList) throws ModuleDataException {
406 }
407
408 public void visitLeave(final VariableList variableList) throws ModuleDataException {
409 }
410
411 public void visitLeave(final Atom atom) throws ModuleDataException {
412 }
413
414 public void visitLeave(final ElementList list) throws ModuleDataException {
415 }
416 }
|