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.Chapter;
025 import org.qedeq.kernel.se.base.module.ChapterList;
026 import org.qedeq.kernel.se.base.module.Existential;
027 import org.qedeq.kernel.se.base.module.FormalProof;
028 import org.qedeq.kernel.se.base.module.FormalProofLine;
029 import org.qedeq.kernel.se.base.module.FormalProofLineList;
030 import org.qedeq.kernel.se.base.module.FormalProofList;
031 import org.qedeq.kernel.se.base.module.Formula;
032 import org.qedeq.kernel.se.base.module.FunctionDefinition;
033 import org.qedeq.kernel.se.base.module.Header;
034 import org.qedeq.kernel.se.base.module.Import;
035 import org.qedeq.kernel.se.base.module.ImportList;
036 import org.qedeq.kernel.se.base.module.InitialFunctionDefinition;
037 import org.qedeq.kernel.se.base.module.InitialPredicateDefinition;
038 import org.qedeq.kernel.se.base.module.Latex;
039 import org.qedeq.kernel.se.base.module.LatexList;
040 import org.qedeq.kernel.se.base.module.LinkList;
041 import org.qedeq.kernel.se.base.module.LiteratureItem;
042 import org.qedeq.kernel.se.base.module.LiteratureItemList;
043 import org.qedeq.kernel.se.base.module.Location;
044 import org.qedeq.kernel.se.base.module.LocationList;
045 import org.qedeq.kernel.se.base.module.ModusPonens;
046 import org.qedeq.kernel.se.base.module.Node;
047 import org.qedeq.kernel.se.base.module.PredicateDefinition;
048 import org.qedeq.kernel.se.base.module.Proof;
049 import org.qedeq.kernel.se.base.module.ProofList;
050 import org.qedeq.kernel.se.base.module.Proposition;
051 import org.qedeq.kernel.se.base.module.Qedeq;
052 import org.qedeq.kernel.se.base.module.ReasonType;
053 import org.qedeq.kernel.se.base.module.Rename;
054 import org.qedeq.kernel.se.base.module.Rule;
055 import org.qedeq.kernel.se.base.module.Section;
056 import org.qedeq.kernel.se.base.module.SectionList;
057 import org.qedeq.kernel.se.base.module.Specification;
058 import org.qedeq.kernel.se.base.module.Subsection;
059 import org.qedeq.kernel.se.base.module.SubsectionList;
060 import org.qedeq.kernel.se.base.module.SubsectionType;
061 import org.qedeq.kernel.se.base.module.SubstFree;
062 import org.qedeq.kernel.se.base.module.SubstFunc;
063 import org.qedeq.kernel.se.base.module.SubstPred;
064 import org.qedeq.kernel.se.base.module.Term;
065 import org.qedeq.kernel.se.base.module.Universal;
066 import org.qedeq.kernel.se.base.module.UsedByList;
067 import org.qedeq.kernel.se.base.module.VariableList;
068 import org.qedeq.kernel.se.common.ModuleDataException;
069
070 /**
071 * Basic visitor that makes nothing.
072 *
073 * @author Michael Meyling
074 */
075 public abstract class AbstractModuleVisitor implements QedeqVisitor {
076
077 public void visitEnter(final Atom atom) throws ModuleDataException {
078 }
079
080 public void visitEnter(final ElementList list) throws ModuleDataException {
081 }
082
083 public void visitEnter(final Author author) throws ModuleDataException {
084 }
085
086 public void visitEnter(final AuthorList authorList) throws ModuleDataException {
087 }
088
089 public void visitEnter(final Axiom axiom) throws ModuleDataException {
090 }
091
092 public void visitEnter(final Chapter chapter) throws ModuleDataException {
093 }
094
095 public void visitEnter(final ChapterList chapterList) throws ModuleDataException {
096 }
097
098 public void visitEnter(final Formula formula) throws ModuleDataException {
099 }
100
101 public void visitEnter(final InitialFunctionDefinition functionDefinition)
102 throws ModuleDataException {
103 }
104
105 public void visitEnter(final FunctionDefinition functionDefinition) throws ModuleDataException {
106 }
107
108 public void visitEnter(final Header header) throws ModuleDataException {
109 }
110
111 public void visitEnter(final Import imp) throws ModuleDataException {
112 }
113
114 public void visitEnter(final ImportList importList) throws ModuleDataException {
115 }
116
117 public void visitEnter(final Latex latex) throws ModuleDataException {
118 }
119
120 public void visitEnter(final LatexList latexList) throws ModuleDataException {
121 }
122
123 public void visitEnter(final LinkList linkList) throws ModuleDataException {
124 }
125
126 public void visitEnter(final LiteratureItem literatureItem) throws ModuleDataException {
127 }
128
129 public void visitEnter(final LiteratureItemList literatureItemList) throws ModuleDataException {
130 }
131
132 public void visitEnter(final Location location) throws ModuleDataException {
133 }
134
135 public void visitEnter(final LocationList locationList) throws ModuleDataException {
136 }
137
138 public void visitEnter(final Node node) throws ModuleDataException {
139 }
140
141 public void visitEnter(final InitialPredicateDefinition predicateDefinition)
142 throws ModuleDataException {
143 }
144
145 public void visitEnter(final PredicateDefinition predicateDefinition)
146 throws ModuleDataException {
147 }
148
149 public void visitEnter(final FormalProofList proofList) throws ModuleDataException {
150 }
151
152 public void visitEnter(final FormalProof proof) throws ModuleDataException {
153 }
154
155 public void visitEnter(final FormalProofLine proofLine) throws ModuleDataException {
156 }
157
158 public void visitEnter(final ReasonType reasonType) throws ModuleDataException {
159 }
160
161 public void visitEnter(final ModusPonens reason) throws ModuleDataException {
162 }
163
164 public void visitEnter(final Add reason) throws ModuleDataException {
165 }
166
167 public void visitEnter(final Rename reason) throws ModuleDataException {
168 }
169
170 public void visitEnter(final SubstFree reason) throws ModuleDataException {
171 }
172
173 public void visitEnter(final SubstFunc reason) throws ModuleDataException {
174 }
175
176 public void visitEnter(final SubstPred reason) throws ModuleDataException {
177 }
178
179 public void visitEnter(final Existential reason) throws ModuleDataException {
180 }
181
182 public void visitEnter(final Universal reason) throws ModuleDataException {
183 }
184
185 public void visitEnter(final FormalProofLineList proofLineList) throws ModuleDataException {
186 }
187
188 public void visitEnter(final Proof proof) throws ModuleDataException {
189 }
190
191 public void visitEnter(final ProofList proofList) throws ModuleDataException {
192 }
193
194 public void visitEnter(final Proposition proposition) throws ModuleDataException {
195 }
196
197 public void visitEnter(final Qedeq qedeq) throws ModuleDataException {
198 }
199
200 public void visitEnter(final Rule rule) throws ModuleDataException {
201 }
202
203 public void visitEnter(final Section section) throws ModuleDataException {
204 }
205
206 public void visitEnter(final SectionList sectionList) throws ModuleDataException {
207 }
208
209 public void visitEnter(final Specification specification) throws ModuleDataException {
210 }
211
212 public void visitEnter(final Subsection subsection) throws ModuleDataException {
213 }
214
215 public void visitEnter(final SubsectionList subsectionList) throws ModuleDataException {
216 }
217
218 public void visitEnter(final SubsectionType subsectionType) throws ModuleDataException {
219 }
220
221 public void visitEnter(final Term term) throws ModuleDataException {
222 }
223
224 public void visitEnter(final UsedByList usedByList) throws ModuleDataException {
225 }
226
227 public void visitEnter(final VariableList variableList) throws ModuleDataException {
228 }
229
230 public void visitLeave(final Author author) throws ModuleDataException {
231 }
232
233 public void visitLeave(final AuthorList authorList) throws ModuleDataException {
234 }
235
236 public void visitLeave(final Axiom axiom) throws ModuleDataException {
237 }
238
239 public void visitLeave(final Chapter chapter) throws ModuleDataException {
240 }
241
242 public void visitLeave(final ChapterList chapterList) throws ModuleDataException {
243 }
244
245 public void visitLeave(final Formula formula) throws ModuleDataException {
246 }
247
248 public void visitLeave(final InitialFunctionDefinition functionDefinition) throws ModuleDataException {
249 }
250
251 public void visitLeave(final FunctionDefinition functionDefinition) throws ModuleDataException {
252 }
253
254 public void visitLeave(final Header header) throws ModuleDataException {
255 }
256
257 public void visitLeave(final Import imp) throws ModuleDataException {
258 }
259
260 public void visitLeave(final ImportList importList) throws ModuleDataException {
261 }
262
263 public void visitLeave(final Latex latex) throws ModuleDataException {
264 }
265
266 public void visitLeave(final LatexList latexList) throws ModuleDataException {
267 }
268
269 public void visitLeave(final LinkList linkList) throws ModuleDataException {
270 }
271
272 public void visitLeave(final LiteratureItem literatureItem) throws ModuleDataException {
273 }
274
275 public void visitLeave(final LiteratureItemList literatureItemList) throws ModuleDataException {
276 }
277
278 public void visitLeave(final Location location) throws ModuleDataException {
279 }
280
281 public void visitLeave(final LocationList locationList) throws ModuleDataException {
282 }
283
284 public void visitLeave(final Node authorList) throws ModuleDataException {
285 }
286
287 public void visitLeave(final InitialPredicateDefinition predicateDefinition)
288 throws ModuleDataException {
289 }
290
291 public void visitLeave(final PredicateDefinition predicateDefinition)
292 throws ModuleDataException {
293 }
294
295 public void visitLeave(final FormalProofList proofList) throws ModuleDataException {
296 }
297
298 public void visitLeave(final FormalProof proof) throws ModuleDataException {
299 }
300
301 public void visitLeave(final FormalProofLine proofLine) throws ModuleDataException {
302 }
303
304 public void visitLeave(final ReasonType reasonType) throws ModuleDataException {
305 }
306
307 public void visitLeave(final ModusPonens reason) throws ModuleDataException {
308 }
309
310 public void visitLeave(final Add reason) throws ModuleDataException {
311 }
312
313 public void visitLeave(final Rename reason) throws ModuleDataException {
314 }
315
316 public void visitLeave(final SubstFree reason) throws ModuleDataException {
317 }
318
319 public void visitLeave(final SubstFunc reason) throws ModuleDataException {
320 }
321
322 public void visitLeave(final SubstPred reason) throws ModuleDataException {
323 }
324
325 public void visitLeave(final Existential reason) throws ModuleDataException {
326 }
327
328 public void visitLeave(final Universal reason) throws ModuleDataException {
329 }
330
331 public void visitLeave(final FormalProofLineList proofLineList) throws ModuleDataException {
332 }
333
334 public void visitLeave(final Proof proof) throws ModuleDataException {
335 }
336
337 public void visitLeave(final ProofList proofList) throws ModuleDataException {
338 }
339
340 public void visitLeave(final Proposition proposition) throws ModuleDataException {
341 }
342
343 public void visitLeave(final Qedeq qedeq) throws ModuleDataException {
344 }
345
346 public void visitLeave(final Rule rule) throws ModuleDataException {
347 }
348
349 public void visitLeave(final Section section) throws ModuleDataException {
350 }
351
352 public void visitLeave(final SectionList sectionList) throws ModuleDataException {
353 }
354
355 public void visitLeave(final Specification specification) throws ModuleDataException {
356 }
357
358 public void visitLeave(final Subsection subsection) throws ModuleDataException {
359 }
360
361 public void visitLeave(final SubsectionList subsectionList) throws ModuleDataException {
362 }
363
364 public void visitLeave(final SubsectionType subsectionType) throws ModuleDataException {
365 }
366
367 public void visitLeave(final Term term) throws ModuleDataException {
368 }
369
370 public void visitLeave(final UsedByList usedByList) throws ModuleDataException {
371 }
372
373 public void visitLeave(final VariableList variableList) throws ModuleDataException {
374 }
375
376 public void visitLeave(final Atom atom) throws ModuleDataException {
377 }
378
379 public void visitLeave(final ElementList list) throws ModuleDataException {
380 }
381 }
|