001 /* This file is part of the project "Hilbert II" - http://www.qedeq.org
002 *
003 * Copyright 2000-2013, 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.common.ModuleDataException;
073
074 /**
075 * Basic visitor that makes nothing.
076 *
077 * @author Michael Meyling
078 */
079 public abstract class AbstractModuleVisitor implements QedeqVisitor {
080
081 public void visitEnter(final Atom atom) throws ModuleDataException {
082 }
083
084 public void visitEnter(final ElementList list) throws ModuleDataException {
085 }
086
087 public void visitEnter(final Author author) throws ModuleDataException {
088 }
089
090 public void visitEnter(final AuthorList authorList) throws ModuleDataException {
091 }
092
093 public void visitEnter(final Axiom axiom) throws ModuleDataException {
094 }
095
096 public void visitEnter(final Chapter chapter) throws ModuleDataException {
097 }
098
099 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 }
|