001    /* Copyright 2000, 2001, Compaq Computer Corporation */
002    
003    /* IF THIS IS A JAVA FILE, DO NOT EDIT IT!  
004    
005       Most Java files in this directory which are part of the Javafe AST
006       are automatically generated using the astgen comment (see
007       ESCTools/Javafe/astgen) from the input file 'hierarchy.h'.  If you
008       wish to modify AST classes or introduce new ones, modify
009       'hierarchy.j.'
010     */
011    
012    package javafe.ast;
013    
014    import javafe.util.Assert;
015    import javafe.util.Location;
016    import javafe.util.ErrorSet;
017    
018    // Convention: unless otherwise noted, integer fields named "loc" refer
019    // to the location of the first character of the syntactic unit
020    
021    public abstract class Visitor {
022      //@ requires x != null;
023      public abstract void visitASTNode(ASTNode x);
024    
025      //@ requires x != null;
026      public void visitCompilationUnit(CompilationUnit x) {
027        visitASTNode(x);
028      }
029    
030      //@ requires x != null;
031      public void visitImportDecl(ImportDecl x) {
032        visitASTNode(x);
033      }
034    
035      //@ requires x != null;
036      public void visitSingleTypeImportDecl(SingleTypeImportDecl x) {
037        visitImportDecl(x);
038      }
039    
040      //@ requires x != null;
041      public void visitOnDemandImportDecl(OnDemandImportDecl x) {
042        visitImportDecl(x);
043      }
044    
045      //@ requires x != null;
046      public void visitTypeDecl(TypeDecl x) {
047        visitASTNode(x);
048      }
049    
050      //@ requires x != null;
051      public void visitClassDecl(ClassDecl x) {
052        visitTypeDecl(x);
053      }
054    
055      //@ requires x != null;
056      public void visitInterfaceDecl(InterfaceDecl x) {
057        visitTypeDecl(x);
058      }
059    
060      //@ requires x != null;
061      public void visitRoutineDecl(RoutineDecl x) {
062        visitASTNode(x);
063      }
064    
065      //@ requires x != null;
066      public void visitConstructorDecl(ConstructorDecl x) {
067        visitRoutineDecl(x);
068      }
069    
070      //@ requires x != null;
071      public void visitMethodDecl(MethodDecl x) {
072        visitRoutineDecl(x);
073      }
074    
075      //@ requires x != null;
076      public void visitInitBlock(InitBlock x) {
077        visitASTNode(x);
078      }
079    
080      //@ requires x != null;
081      public void visitTypeDeclElemPragma(TypeDeclElemPragma x) {
082        visitASTNode(x);
083      }
084    
085      //@ requires x != null;
086      public void visitGenericVarDecl(GenericVarDecl x) {
087        visitASTNode(x);
088      }
089    
090      //@ requires x != null;
091      public void visitLocalVarDecl(LocalVarDecl x) {
092        visitGenericVarDecl(x);
093      }
094    
095      //@ requires x != null;
096      public void visitFieldDecl(FieldDecl x) {
097        visitGenericVarDecl(x);
098      }
099    
100      //@ requires x != null;
101      public void visitFormalParaDecl(FormalParaDecl x) {
102        visitGenericVarDecl(x);
103      }
104    
105      //@ requires x != null;
106      public void visitStmt(Stmt x) {
107        visitASTNode(x);
108      }
109    
110      //@ requires x != null;
111      public void visitGenericBlockStmt(GenericBlockStmt x) {
112        visitStmt(x);
113      }
114    
115      //@ requires x != null;
116      public void visitBlockStmt(BlockStmt x) {
117        visitGenericBlockStmt(x);
118      }
119    
120      //@ requires x != null;
121      public void visitSwitchStmt(SwitchStmt x) {
122        visitGenericBlockStmt(x);
123      }
124    
125      //@ requires x != null;
126      public void visitAssertStmt(AssertStmt x) {
127        visitStmt(x);
128      }
129    
130      //@ requires x != null;
131      public void visitVarDeclStmt(VarDeclStmt x) {
132        visitStmt(x);
133      }
134    
135      //@ requires x != null;
136      public void visitClassDeclStmt(ClassDeclStmt x) {
137        visitStmt(x);
138      }
139    
140      //@ requires x != null;
141      public void visitWhileStmt(WhileStmt x) {
142        visitStmt(x);
143      }
144    
145      //@ requires x != null;
146      public void visitDoStmt(DoStmt x) {
147        visitStmt(x);
148      }
149    
150      //@ requires x != null;
151      public void visitSynchronizeStmt(SynchronizeStmt x) {
152        visitStmt(x);
153      }
154    
155      //@ requires x != null;
156      public void visitEvalStmt(EvalStmt x) {
157        visitStmt(x);
158      }
159    
160      //@ requires x != null;
161      public void visitReturnStmt(ReturnStmt x) {
162        visitStmt(x);
163      }
164    
165      //@ requires x != null;
166      public void visitThrowStmt(ThrowStmt x) {
167        visitStmt(x);
168      }
169    
170      //@ requires x != null;
171      public void visitBranchStmt(BranchStmt x) {
172        visitStmt(x);
173      }
174    
175      //@ requires x != null;
176      public void visitBreakStmt(BreakStmt x) {
177        visitBranchStmt(x);
178      }
179    
180      //@ requires x != null;
181      public void visitContinueStmt(ContinueStmt x) {
182        visitBranchStmt(x);
183      }
184    
185      //@ requires x != null;
186      public void visitLabelStmt(LabelStmt x) {
187        visitStmt(x);
188      }
189    
190      //@ requires x != null;
191      public void visitIfStmt(IfStmt x) {
192        visitStmt(x);
193      }
194    
195      //@ requires x != null;
196      public void visitForStmt(ForStmt x) {
197        visitStmt(x);
198      }
199    
200      //@ requires x != null;
201      public void visitSkipStmt(SkipStmt x) {
202        visitStmt(x);
203      }
204    
205      //@ requires x != null;
206      public void visitSwitchLabel(SwitchLabel x) {
207        visitStmt(x);
208      }
209    
210      //@ requires x != null;
211      public void visitTryFinallyStmt(TryFinallyStmt x) {
212        visitStmt(x);
213      }
214    
215      //@ requires x != null;
216      public void visitTryCatchStmt(TryCatchStmt x) {
217        visitStmt(x);
218      }
219    
220      //@ requires x != null;
221      public void visitStmtPragma(StmtPragma x) {
222        visitStmt(x);
223      }
224    
225      //@ requires x != null;
226      public void visitConstructorInvocation(ConstructorInvocation x) {
227        visitStmt(x);
228      }
229    
230      //@ requires x != null;
231      public void visitCatchClause(CatchClause x) {
232        visitASTNode(x);
233      }
234    
235      //@ requires x != null;
236      public void visitVarInit(VarInit x) {
237        visitASTNode(x);
238      }
239    
240      //@ requires x != null;
241      public void visitArrayInit(ArrayInit x) {
242        visitVarInit(x);
243      }
244    
245      //@ requires x != null;
246      public void visitExpr(Expr x) {
247        visitVarInit(x);
248      }
249    
250      //@ requires x != null;
251      public void visitThisExpr(ThisExpr x) {
252        visitExpr(x);
253      }
254    
255      //@ requires x != null;
256      public void visitLiteralExpr(LiteralExpr x) {
257        visitExpr(x);
258      }
259    
260      //@ requires x != null;
261      public void visitArrayRefExpr(ArrayRefExpr x) {
262        visitExpr(x);
263      }
264    
265      //@ requires x != null;
266      public void visitNewInstanceExpr(NewInstanceExpr x) {
267        visitExpr(x);
268      }
269    
270      //@ requires x != null;
271      public void visitNewArrayExpr(NewArrayExpr x) {
272        visitExpr(x);
273      }
274    
275      //@ requires x != null;
276      public void visitCondExpr(CondExpr x) {
277        visitExpr(x);
278      }
279    
280      //@ requires x != null;
281      public void visitInstanceOfExpr(InstanceOfExpr x) {
282        visitExpr(x);
283      }
284    
285      //@ requires x != null;
286      public void visitCastExpr(CastExpr x) {
287        visitExpr(x);
288      }
289    
290      //@ requires x != null;
291      public void visitBinaryExpr(BinaryExpr x) {
292        visitExpr(x);
293      }
294    
295      //@ requires x != null;
296      public void visitUnaryExpr(UnaryExpr x) {
297        visitExpr(x);
298      }
299    
300      //@ requires x != null;
301      public void visitParenExpr(ParenExpr x) {
302        visitExpr(x);
303      }
304    
305      //@ requires x != null;
306      public void visitAmbiguousVariableAccess(AmbiguousVariableAccess x) {
307        visitExpr(x);
308      }
309    
310      //@ requires x != null;
311      public void visitVariableAccess(VariableAccess x) {
312        visitExpr(x);
313      }
314    
315      //@ requires x != null;
316      public void visitFieldAccess(FieldAccess x) {
317        visitExpr(x);
318      }
319    
320      //@ requires x != null;
321      public void visitAmbiguousMethodInvocation(AmbiguousMethodInvocation x) {
322        visitExpr(x);
323      }
324    
325      //@ requires x != null;
326      public void visitMethodInvocation(MethodInvocation x) {
327        visitExpr(x);
328      }
329    
330      //@ requires x != null;
331      public void visitClassLiteral(ClassLiteral x) {
332        visitExpr(x);
333      }
334    
335      //@ requires x != null;
336      public void visitObjectDesignator(ObjectDesignator x) {
337        visitASTNode(x);
338      }
339    
340      //@ requires x != null;
341      public void visitExprObjectDesignator(ExprObjectDesignator x) {
342        visitObjectDesignator(x);
343      }
344    
345      //@ requires x != null;
346      public void visitTypeObjectDesignator(TypeObjectDesignator x) {
347        visitObjectDesignator(x);
348      }
349    
350      //@ requires x != null;
351      public void visitSuperObjectDesignator(SuperObjectDesignator x) {
352        visitObjectDesignator(x);
353      }
354    
355      //@ requires x != null;
356      public void visitType(Type x) {
357        visitASTNode(x);
358      }
359    
360      //@ requires x != null;
361      public void visitErrorType(ErrorType x) {
362        visitType(x);
363      }
364    
365      //@ requires x != null;
366      public void visitPrimitiveType(PrimitiveType x) {
367        visitType(x);
368      }
369    
370      //@ requires x != null;
371      public void visitTypeName(TypeName x) {
372        visitType(x);
373      }
374    
375      //@ requires x != null;
376      public void visitArrayType(ArrayType x) {
377        visitType(x);
378      }
379    
380      //@ requires x != null;
381      public void visitName(Name x) {
382        visitASTNode(x);
383      }
384    
385      //@ requires x != null;
386      public void visitSimpleName(SimpleName x) {
387        visitName(x);
388      }
389    
390      //@ requires x != null;
391      public void visitCompoundName(CompoundName x) {
392        visitName(x);
393      }
394    
395      //@ requires x != null;
396      public void visitModifierPragma(ModifierPragma x) {
397        visitASTNode(x);
398      }
399    
400      //@ requires x != null;
401      public void visitLexicalPragma(LexicalPragma x) {
402        visitASTNode(x);
403      }
404    
405      //@ requires x != null;
406      public void visitTypeModifierPragma(TypeModifierPragma x) {
407        visitASTNode(x);
408      }
409    
410    }