ReversedDepthFirstAdapter.java Source File

00001 package edu.ksu.cis.bandera.birp.analysis;
00002 
00003 /* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * *
00004  * Bandera, a Java(TM) analysis and transformation toolkit           *
00005  * Copyright (C) 1998-2001 SAnToS Laboratories (santos@cis.ksu.edu)  *
00006 
00007  * All rights reserved.                                              *
00008  *                                                                   *
00009  * This work was done as a project in the SAnToS Laboratory,         *
00010  * Department of Computing and Information Sciences, Kansas State    *
00011  * University, USA (http://www.cis.ksu.edu/santos).                  *
00012  * It is understood that any modification not identified as such is  *
00013  * not covered by the preceding statement.                           *
00014  *                                                                   *
00015  * This work is free software; you can redistribute it and/or        *
00016  * modify it under the terms of the GNU Library General Public       *
00017  * License as published by the Free Software Foundation; either      *
00018  * version 2 of the License, or (at your option) any later version.  *
00019  *                                                                   *
00020  * This work is distributed in the hope that it will be useful,      *
00021  * but WITHOUT ANY WARRANTY; without even the implied warranty of    *
00022  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU *
00023  * Library General Public License for more details.                  *
00024  *                                                                   *
00025  * You should have received a copy of the GNU Library General Public *
00026  * License along with this toolkit; if not, write to the             *
00027  * Free Software Foundation, Inc., 59 Temple Place - Suite 330,      *
00028  * Boston, MA  02111-1307, USA.                                      *
00029  *                                                                   *
00030  * Java is a trademark of Sun Microsystems, Inc.                     *
00031  *                                                                   *
00032  * To submit a bug report, send a comment, or get the latest news on *
00033  * this project and other SAnToS projects, please visit the web-site *
00034  *                http://www.cis.ksu.edu/santos                      *
00035  * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * */
00036 import ca.mcgill.sable.util.*;
00037 import edu.ksu.cis.bandera.birp.node.*;
00038 
00039 public class ReversedDepthFirstAdapter extends AnalysisAdapter
00040 {
00041     public void caseAAllocation(AAllocation node)
00042     {
00043         inAAllocation(node);
00044         if(node.getSemicolon() != null)
00045         {
00046             node.getSemicolon().apply(this);
00047         }
00048         if(node.getArraylength() != null)
00049         {
00050             node.getArraylength().apply(this);
00051         }
00052         if(node.getId() != null)
00053         {
00054             node.getId().apply(this);
00055         }
00056         if(node.getNew() != null)
00057         {
00058             node.getNew().apply(this);
00059         }
00060         if(node.getAssign() != null)
00061         {
00062             node.getAssign().apply(this);
00063         }
00064         if(node.getLhs() != null)
00065         {
00066             node.getLhs().apply(this);
00067         }
00068         outAAllocation(node);
00069     }
00070     public void caseAAllocationAction(AAllocationAction node)
00071     {
00072         inAAllocationAction(node);
00073         if(node.getAllocation() != null)
00074         {
00075             node.getAllocation().apply(this);
00076         }
00077         outAAllocationAction(node);
00078     }
00079     public void caseAAndExpr6(AAndExpr6 node)
00080     {
00081         inAAndExpr6(node);
00082         if(node.getExpr5() != null)
00083         {
00084             node.getExpr5().apply(this);
00085         }
00086         if(node.getAnd() != null)
00087         {
00088             node.getAnd().apply(this);
00089         }
00090         if(node.getExpr6() != null)
00091         {
00092             node.getExpr6().apply(this);
00093         }
00094         outAAndExpr6(node);
00095     }
00096     public void caseAArraylength(AArraylength node)
00097     {
00098         inAArraylength(node);
00099         if(node.getRbrack() != null)
00100         {
00101             node.getRbrack().apply(this);
00102         }
00103         if(node.getExpr() != null)
00104         {
00105             node.getExpr().apply(this);
00106         }
00107         if(node.getLbrack() != null)
00108         {
00109             node.getLbrack().apply(this);
00110         }
00111         outAArraylength(node);
00112     }
00113     public void caseAArraylengthExpr0(AArraylengthExpr0 node)
00114     {
00115         inAArraylengthExpr0(node);
00116         if(node.getLength() != null)
00117         {
00118             node.getLength().apply(this);
00119         }
00120         if(node.getDot() != null)
00121         {
00122             node.getDot().apply(this);
00123         }
00124         if(node.getExpr0() != null)
00125         {
00126             node.getExpr0().apply(this);
00127         }
00128         outAArraylengthExpr0(node);
00129     }
00130     public void caseAArraylengthLhs(AArraylengthLhs node)
00131     {
00132         inAArraylengthLhs(node);
00133         if(node.getLength() != null)
00134         {
00135             node.getLength().apply(this);
00136         }
00137         if(node.getDot() != null)
00138         {
00139             node.getDot().apply(this);
00140         }
00141         if(node.getLhs() != null)
00142         {
00143             node.getLhs().apply(this);
00144         }
00145         outAArraylengthLhs(node);
00146     }
00147     public void caseAArrayselectExpr0(AArrayselectExpr0 node)
00148     {
00149         inAArrayselectExpr0(node);
00150         if(node.getRbrack() != null)
00151         {
00152             node.getRbrack().apply(this);
00153         }
00154         if(node.getExpr() != null)
00155         {
00156             node.getExpr().apply(this);
00157         }
00158         if(node.getLbrack() != null)
00159         {
00160             node.getLbrack().apply(this);
00161         }
00162         if(node.getExpr0() != null)
00163         {
00164             node.getExpr0().apply(this);
00165         }
00166         outAArrayselectExpr0(node);
00167     }
00168     public void caseAArrayselectLhs(AArrayselectLhs node)
00169     {
00170         inAArrayselectLhs(node);
00171         if(node.getRbrack() != null)
00172         {
00173             node.getRbrack().apply(this);
00174         }
00175         if(node.getExpr() != null)
00176         {
00177             node.getExpr().apply(this);
00178         }
00179         if(node.getLbrack() != null)
00180         {
00181             node.getLbrack().apply(this);
00182         }
00183         if(node.getLhs() != null)
00184         {
00185             node.getLhs().apply(this);
00186         }
00187         outAArrayselectLhs(node);
00188     }
00189     public void caseAArrayTypespec(AArrayTypespec node)
00190     {
00191         inAArrayTypespec(node);
00192         if(node.getType() != null)
00193         {
00194             node.getType().apply(this);
00195         }
00196         if(node.getOf() != null)
00197         {
00198             node.getOf().apply(this);
00199         }
00200         if(node.getRbrack() != null)
00201         {
00202             node.getRbrack().apply(this);
00203         }
00204         if(node.getConst() != null)
00205         {
00206             node.getConst().apply(this);
00207         }
00208         if(node.getLbrack() != null)
00209         {
00210             node.getLbrack().apply(this);
00211         }
00212         if(node.getArray() != null)
00213         {
00214             node.getArray().apply(this);
00215         }
00216         outAArrayTypespec(node);
00217     }
00218     public void caseAAssertaction(AAssertaction node)
00219     {
00220         inAAssertaction(node);
00221         if(node.getSemicolon() != null)
00222         {
00223             node.getSemicolon().apply(this);
00224         }
00225         if(node.getRparen() != null)
00226         {
00227             node.getRparen().apply(this);
00228         }
00229         if(node.getExpr() != null)
00230         {
00231             node.getExpr().apply(this);
00232         }
00233         if(node.getLparen() != null)
00234         {
00235             node.getLparen().apply(this);
00236         }
00237         if(node.getAssert() != null)
00238         {
00239             node.getAssert().apply(this);
00240         }
00241         outAAssertaction(node);
00242     }
00243     public void caseAAssertactionAction(AAssertactionAction node)
00244     {
00245         inAAssertactionAction(node);
00246         if(node.getAssertaction() != null)
00247         {
00248             node.getAssertaction().apply(this);
00249         }
00250         outAAssertactionAction(node);
00251     }
00252     public void caseAAssignment(AAssignment node)
00253     {
00254         inAAssignment(node);
00255         if(node.getSemicolon() != null)
00256         {
00257             node.getSemicolon().apply(this);
00258         }
00259         if(node.getExpr() != null)
00260         {
00261             node.getExpr().apply(this);
00262         }
00263         if(node.getAssign() != null)
00264         {
00265             node.getAssign().apply(this);
00266         }
00267         if(node.getLhs() != null)
00268         {
00269             node.getLhs().apply(this);
00270         }
00271         outAAssignment(node);
00272     }
00273     public void caseAAssignmentAction(AAssignmentAction node)
00274     {
00275         inAAssignmentAction(node);
00276         if(node.getAssignment() != null)
00277         {
00278             node.getAssignment().apply(this);
00279         }
00280         outAAssignmentAction(node);
00281     }
00282     public void caseAAtlocationThreadtest(AAtlocationThreadtest node)
00283     {
00284         inAAtlocationThreadtest(node);
00285         if(node.getLocname() != null)
00286         {
00287             node.getLocname().apply(this);
00288         }
00289         if(node.getAt() != null)
00290         {
00291             node.getAt().apply(this);
00292         }
00293         if(node.getThreadname() != null)
00294         {
00295             node.getThreadname().apply(this);
00296         }
00297         outAAtlocationThreadtest(node);
00298     }
00299     public void caseABooleanTypespec(ABooleanTypespec node)
00300     {
00301         inABooleanTypespec(node);
00302         if(node.getBoolean() != null)
00303         {
00304             node.getBoolean().apply(this);
00305         }
00306         outABooleanTypespec(node);
00307     }
00308     public void caseABoolValue(ABoolValue node)
00309     {
00310         inABoolValue(node);
00311         if(node.getBool() != null)
00312         {
00313             node.getBool().apply(this);
00314         }
00315         outABoolValue(node);
00316     }
00317     public void caseAChoice(AChoice node)
00318     {
00319         inAChoice(node);
00320         if(node.getSemicolon() != null)
00321         {
00322             node.getSemicolon().apply(this);
00323         }
00324         if(node.getRparen() != null)
00325         {
00326             node.getRparen().apply(this);
00327         }
00328         {
00329             Object temp[] = node.getRest().toArray();
00330             for(int i = temp.length - 1; i >= 0; i--)
00331             {
00332                 ((PChoicetail) temp[i]).apply(this);
00333             }
00334         }
00335         if(node.getValue() != null)
00336         {
00337             node.getValue().apply(this);
00338         }
00339         if(node.getLparen() != null)
00340         {
00341             node.getLparen().apply(this);
00342         }
00343         if(node.getChoose() != null)
00344         {
00345             node.getChoose().apply(this);
00346         }
00347         if(node.getAssign() != null)
00348         {
00349             node.getAssign().apply(this);
00350         }
00351         if(node.getLhs() != null)
00352         {
00353             node.getLhs().apply(this);
00354         }
00355         outAChoice(node);
00356     }
00357     public void caseAChoiceAction(AChoiceAction node)
00358     {
00359         inAChoiceAction(node);
00360         if(node.getChoice() != null)
00361         {
00362             node.getChoice().apply(this);
00363         }
00364         outAChoiceAction(node);
00365     }
00366     public void caseAChoicetail(AChoicetail node)
00367     {
00368         inAChoicetail(node);
00369         if(node.getValue() != null)
00370         {
00371             node.getValue().apply(this);
00372         }
00373         if(node.getComma() != null)
00374         {
00375             node.getComma().apply(this);
00376         }
00377         outAChoicetail(node);
00378     }
00379     public void caseACollection(ACollection node)
00380     {
00381         inACollection(node);
00382         if(node.getSemicolon() != null)
00383         {
00384             node.getSemicolon().apply(this);
00385         }
00386         if(node.getType() != null)
00387         {
00388             node.getType().apply(this);
00389         }
00390         if(node.getOf() != null)
00391         {
00392             node.getOf().apply(this);
00393         }
00394         if(node.getRbrack() != null)
00395         {
00396             node.getRbrack().apply(this);
00397         }
00398         if(node.getConst() != null)
00399         {
00400             node.getConst().apply(this);
00401         }
00402         if(node.getLbrack() != null)
00403         {
00404             node.getLbrack().apply(this);
00405         }
00406         if(node.getCollection() != null)
00407         {
00408             node.getCollection().apply(this);
00409         }
00410         if(node.getColon() != null)
00411         {
00412             node.getColon().apply(this);
00413         }
00414         if(node.getId() != null)
00415         {
00416             node.getId().apply(this);
00417         }
00418         outACollection(node);
00419     }
00420     public void caseACollectionGlobal(ACollectionGlobal node)
00421     {
00422         inACollectionGlobal(node);
00423         if(node.getCollection() != null)
00424         {
00425             node.getCollection().apply(this);
00426         }
00427         outACollectionGlobal(node);
00428     }
00429     public void caseAConstantDefinition(AConstantDefinition node)
00430     {
00431         inAConstantDefinition(node);
00432         if(node.getSemicolon() != null)
00433         {
00434             node.getSemicolon().apply(this);
00435         }
00436         if(node.getInt() != null)
00437         {
00438             node.getInt().apply(this);
00439         }
00440         if(node.getEquals() != null)
00441         {
00442             node.getEquals().apply(this);
00443         }
00444         if(node.getId() != null)
00445         {
00446             node.getId().apply(this);
00447         }
00448         outAConstantDefinition(node);
00449     }
00450     public void caseADefinedType(ADefinedType node)
00451     {
00452         inADefinedType(node);
00453         if(node.getId() != null)
00454         {
00455             node.getId().apply(this);
00456         }
00457         outADefinedType(node);
00458     }
00459     public void caseADivExpr2(ADivExpr2 node)
00460     {
00461         inADivExpr2(node);
00462         if(node.getExpr1() != null)
00463         {
00464             node.getExpr1().apply(this);
00465         }
00466         if(node.getDiv() != null)
00467         {
00468             node.getDiv().apply(this);
00469         }
00470         if(node.getExpr2() != null)
00471         {
00472             node.getExpr2().apply(this);
00473         }
00474         outADivExpr2(node);
00475     }
00476     public void caseAEmptyLiveset(AEmptyLiveset node)
00477     {
00478         inAEmptyLiveset(node);
00479         if(node.getRbrace() != null)
00480         {
00481             node.getRbrace().apply(this);
00482         }
00483         if(node.getLbrace() != null)
00484         {
00485             node.getLbrace().apply(this);
00486         }
00487         if(node.getLive() != null)
00488         {
00489             node.getLive().apply(this);
00490         }
00491         outAEmptyLiveset(node);
00492     }
00493     public void caseAEnumdeftail(AEnumdeftail node)
00494     {
00495         inAEnumdeftail(node);
00496         if(node.getEnumconst() != null)
00497         {
00498             node.getEnumconst().apply(this);
00499         }
00500         if(node.getComma() != null)
00501         {
00502             node.getComma().apply(this);
00503         }
00504         outAEnumdeftail(node);
00505     }
00506     public void caseAEnumeratedTypespec(AEnumeratedTypespec node)
00507     {
00508         inAEnumeratedTypespec(node);
00509         if(node.getRbrace() != null)
00510         {
00511             node.getRbrace().apply(this);
00512         }
00513         {
00514             Object temp[] = node.getRest().toArray();
00515             for(int i = temp.length - 1; i >= 0; i--)
00516             {
00517                 ((PEnumdeftail) temp[i]).apply(this);
00518             }
00519         }
00520         if(node.getFirst() != null)
00521         {
00522             node.getFirst().apply(this);
00523         }
00524         if(node.getLbrace() != null)
00525         {
00526             node.getLbrace().apply(this);
00527         }
00528         if(node.getEnum() != null)
00529         {
00530             node.getEnum().apply(this);
00531         }
00532         outAEnumeratedTypespec(node);
00533     }
00534     public void caseAEqExpr5(AEqExpr5 node)
00535     {
00536         inAEqExpr5(node);
00537         if(node.getExpr4() != null)
00538         {
00539             node.getExpr4().apply(this);
00540         }
00541         if(node.getEq() != null)
00542         {
00543             node.getEq().apply(this);
00544         }
00545         if(node.getExpr5() != null)
00546         {
00547             node.getExpr5().apply(this);
00548         }
00549         outAEqExpr5(node);
00550     }
00551     public void caseAExitThreadop(AExitThreadop node)
00552     {
00553         inAExitThreadop(node);
00554         if(node.getExit() != null)
00555         {
00556             node.getExit().apply(this);
00557         }
00558         outAExitThreadop(node);
00559     }
00560     public void caseAExpr(AExpr node)
00561     {
00562         inAExpr(node);
00563         if(node.getExpr7() != null)
00564         {
00565             node.getExpr7().apply(this);
00566         }
00567         outAExpr(node);
00568     }
00569     public void caseAExpr0Expr1(AExpr0Expr1 node)
00570     {
00571         inAExpr0Expr1(node);
00572         if(node.getExpr0() != null)
00573         {
00574             node.getExpr0().apply(this);
00575         }
00576         outAExpr0Expr1(node);
00577     }
00578     public void caseAExpr1Expr2(AExpr1Expr2 node)
00579     {
00580         inAExpr1Expr2(node);
00581         if(node.getExpr1() != null)
00582         {
00583             node.getExpr1().apply(this);
00584         }
00585         outAExpr1Expr2(node);
00586     }
00587     public void caseAExpr2Expr3(AExpr2Expr3 node)
00588     {
00589         inAExpr2Expr3(node);
00590         if(node.getExpr2() != null)
00591         {
00592             node.getExpr2().apply(this);
00593         }
00594         outAExpr2Expr3(node);
00595     }
00596     public void caseAExpr3Expr4(AExpr3Expr4 node)
00597     {
00598         inAExpr3Expr4(node);
00599         if(node.getExpr3() != null)
00600         {
00601             node.getExpr3().apply(this);
00602         }
00603         outAExpr3Expr4(node);
00604     }
00605     public void caseAExpr4Expr5(AExpr4Expr5 node)
00606     {
00607         inAExpr4Expr5(node);
00608         if(node.getExpr4() != null)
00609         {
00610             node.getExpr4().apply(this);
00611         }
00612         outAExpr4Expr5(node);
00613     }
00614     public void caseAExpr5Expr6(AExpr5Expr6 node)
00615     {
00616         inAExpr5Expr6(node);
00617         if(node.getExpr5() != null)
00618         {
00619             node.getExpr5().apply(this);
00620         }
00621         outAExpr5Expr6(node);
00622     }
00623     public void caseAExpr6Expr7(AExpr6Expr7 node)
00624     {
00625         inAExpr6Expr7(node);
00626         if(node.getExpr6() != null)
00627         {
00628             node.getExpr6().apply(this);
00629         }
00630         outAExpr6Expr7(node);
00631     }
00632     public void caseAFalseBool(AFalseBool node)
00633     {
00634         inAFalseBool(node);
00635         if(node.getFalse() != null)
00636         {
00637             node.getFalse().apply(this);
00638         }
00639         outAFalseBool(node);
00640     }
00641     public void caseAField(AField node)
00642     {
00643         inAField(node);
00644         if(node.getSemicolon() != null)
00645         {
00646             node.getSemicolon().apply(this);
00647         }
00648         if(node.getType() != null)
00649         {
00650             node.getType().apply(this);
00651         }
00652         if(node.getColon() != null)
00653         {
00654             node.getColon().apply(this);
00655         }
00656         if(node.getId() != null)
00657         {
00658             node.getId().apply(this);
00659         }
00660         outAField(node);
00661     }
00662     public void caseAFieldselectExpr0(AFieldselectExpr0 node)
00663     {
00664         inAFieldselectExpr0(node);
00665         if(node.getId() != null)
00666         {
00667             node.getId().apply(this);
00668         }
00669         if(node.getDot() != null)
00670         {
00671             node.getDot().apply(this);
00672         }
00673         if(node.getExpr0() != null)
00674         {
00675             node.getExpr0().apply(this);
00676         }
00677         outAFieldselectExpr0(node);
00678     }
00679     public void caseAFieldselectLhs(AFieldselectLhs node)
00680     {
00681         inAFieldselectLhs(node);
00682         if(node.getId() != null)
00683         {
00684             node.getId().apply(this);
00685         }
00686         if(node.getDot() != null)
00687         {
00688             node.getDot().apply(this);
00689         }
00690         if(node.getLhs() != null)
00691         {
00692             node.getLhs().apply(this);
00693         }
00694         outAFieldselectLhs(node);
00695     }
00696     public void caseAGeExpr4(AGeExpr4 node)
00697     {
00698         inAGeExpr4(node);
00699         if(node.getExpr3() != null)
00700         {
00701             node.getExpr3().apply(this);
00702         }
00703         if(node.getGe() != null)
00704         {
00705             node.getGe().apply(this);
00706         }
00707         if(node.getExpr4() != null)
00708         {
00709             node.getExpr4().apply(this);
00710         }
00711         outAGeExpr4(node);
00712     }
00713     public void caseAGtExpr4(AGtExpr4 node)
00714     {
00715         inAGtExpr4(node);
00716         if(node.getExpr3() != null)
00717         {
00718             node.getExpr3().apply(this);
00719         }
00720         if(node.getGt() != null)
00721         {
00722             node.getGt().apply(this);
00723         }
00724         if(node.getExpr4() != null)
00725         {
00726             node.getExpr4().apply(this);
00727         }
00728         outAGtExpr4(node);
00729     }
00730     public void caseAHaslockLocktestop(AHaslockLocktestop node)
00731     {
00732         inAHaslockLocktestop(node);
00733         if(node.getHaslock() != null)
00734         {
00735             node.getHaslock().apply(this);
00736         }
00737         outAHaslockLocktestop(node);
00738     }
00739     public void caseAIdConst(AIdConst node)
00740     {
00741         inAIdConst(node);
00742         if(node.getId() != null)
00743         {
00744             node.getId().apply(this);
00745         }
00746         outAIdConst(node);
00747     }
00748     public void caseAIdValue(AIdValue node)
00749     {
00750         inAIdValue(node);
00751         if(node.getId() != null)
00752         {
00753             node.getId().apply(this);
00754         }
00755         outAIdValue(node);
00756     }
00757     public void caseAInitializer(AInitializer node)
00758     {
00759         inAInitializer(node);
00760         if(node.getValue() != null)
00761         {
00762             node.getValue().apply(this);
00763         }
00764         if(node.getAssign() != null)
00765         {
00766             node.getAssign().apply(this);
00767         }
00768         outAInitializer(node);
00769     }
00770     public void caseAInstanceofExpr0(AInstanceofExpr0 node)
00771     {
00772         inAInstanceofExpr0(node);
00773         if(node.getId() != null)
00774         {
00775             node.getId().apply(this);
00776         }
00777         if(node.getInstanceof() != null)
00778         {
00779             node.getInstanceof().apply(this);
00780         }
00781         if(node.getExpr0() != null)
00782         {
00783             node.getExpr0().apply(this);
00784         }
00785         outAInstanceofExpr0(node);
00786     }
00787     public void caseAIntConst(AIntConst node)
00788     {
00789         inAIntConst(node);
00790         if(node.getInt() != null)
00791         {
00792             node.getInt().apply(this);
00793         }
00794         outAIntConst(node);
00795     }
00796     public void caseAIntegerValue(AIntegerValue node)
00797     {
00798         inAIntegerValue(node);
00799         if(node.getInt() != null)
00800         {
00801             node.getInt().apply(this);
00802         }
00803         outAIntegerValue(node);
00804     }
00805     public void caseAJoinThreadop(AJoinThreadop node)
00806     {
00807         inAJoinThreadop(node);
00808         if(node.getJoin() != null)
00809         {
00810             node.getJoin().apply(this);
00811         }
00812         outAJoinThreadop(node);
00813     }
00814     public void caseALeExpr4(ALeExpr4 node)
00815     {
00816         inALeExpr4(node);
00817         if(node.getExpr3() != null)
00818         {
00819             node.getExpr3().apply(this);
00820         }
00821         if(node.getLe() != null)
00822         {
00823             node.getLe().apply(this);
00824         }
00825         if(node.getExpr4() != null)
00826         {
00827             node.getExpr4().apply(this);
00828         }
00829         outALeExpr4(node);
00830     }
00831     public void caseALivevar(ALivevar node)
00832     {
00833         inALivevar(node);
00834         if(node.getId() != null)
00835         {
00836             node.getId().apply(this);
00837         }
00838         if(node.getComma() != null)
00839         {
00840             node.getComma().apply(this);
00841         }
00842         outALivevar(node);
00843     }
00844     public void caseALocation(ALocation node)
00845     {
00846         inALocation(node);
00847         {
00848             Object temp[] = node.getTransformations().toArray();
00849             for(int i = temp.length - 1; i >= 0; i--)
00850             {
00851                 ((PTransformation) temp[i]).apply(this);
00852             }
00853         }
00854         if(node.getLivevars() != null)
00855         {
00856             node.getLivevars().apply(this);
00857         }
00858         if(node.getColon() != null)
00859         {
00860             node.getColon().apply(this);
00861         }
00862         if(node.getId() != null)
00863         {
00864             node.getId().apply(this);
00865         }
00866         if(node.getLoc() != null)
00867         {
00868             node.getLoc().apply(this);
00869         }
00870         outALocation(node);
00871     }
00872     public void caseALockavailableLocktestop(ALockavailableLocktestop node)
00873     {
00874         inALockavailableLocktestop(node);
00875         if(node.getLockavailable() != null)
00876         {
00877             node.getLockavailable().apply(this);
00878         }
00879         outALockavailableLocktestop(node);
00880     }
00881     public void caseALockLockOp(ALockLockOp node)
00882     {
00883         inALockLockOp(node);
00884         if(node.getLock() != null)
00885         {
00886             node.getLock().apply(this);
00887         }
00888         outALockLockOp(node);
00889     }
00890     public void caseALocktest(ALocktest node)
00891     {
00892         inALocktest(node);
00893         if(node.getRparen() != null)
00894         {
00895             node.getRparen().apply(this);
00896         }
00897         if(node.getLhs() != null)
00898         {
00899             node.getLhs().apply(this);
00900         }
00901         if(node.getLparen() != null)
00902         {
00903             node.getLparen().apply(this);
00904         }
00905         if(node.getLocktestop() != null)
00906         {
00907             node.getLocktestop().apply(this);
00908         }
00909         outALocktest(node);
00910     }
00911     public void caseALocktestExpr0(ALocktestExpr0 node)
00912     {
00913         inALocktestExpr0(node);
00914         if(node.getLocktest() != null)
00915         {
00916             node.getLocktest().apply(this);
00917         }
00918         outALocktestExpr0(node);
00919     }
00920     public void caseALockTypespec(ALockTypespec node)
00921     {
00922         inALockTypespec(node);
00923         if(node.getReentrant() != null)
00924         {
00925             node.getReentrant().apply(this);
00926         }
00927         if(node.getWait() != null)
00928         {
00929             node.getWait().apply(this);
00930         }
00931         if(node.getLock() != null)
00932         {
00933             node.getLock().apply(this);
00934         }
00935         outALockTypespec(node);
00936     }
00937     public void caseALockupdate(ALockupdate node)
00938     {
00939         inALockupdate(node);
00940         if(node.getSemicolon() != null)
00941         {
00942             node.getSemicolon().apply(this);
00943         }
00944         if(node.getRparen() != null)
00945         {
00946             node.getRparen().apply(this);
00947         }
00948         if(node.getLhs() != null)
00949         {
00950             node.getLhs().apply(this);
00951         }
00952         if(node.getLparen() != null)
00953         {
00954             node.getLparen().apply(this);
00955         }
00956         if(node.getLockOp() != null)
00957         {
00958             node.getLockOp().apply(this);
00959         }
00960         outALockupdate(node);
00961     }
00962     public void caseALockupdateAction(ALockupdateAction node)
00963     {
00964         inALockupdateAction(node);
00965         if(node.getLockupdate() != null)
00966         {
00967             node.getLockupdate().apply(this);
00968         }
00969         outALockupdateAction(node);
00970     }
00971     public void caseALtExpr4(ALtExpr4 node)
00972     {
00973         inALtExpr4(node);
00974         if(node.getExpr3() != null)
00975         {
00976             node.getExpr3().apply(this);
00977         }
00978         if(node.getLt() != null)
00979         {
00980             node.getLt().apply(this);
00981         }
00982         if(node.getExpr4() != null)
00983         {
00984             node.getExpr4().apply(this);
00985         }
00986         outALtExpr4(node);
00987     }
00988     public void caseAMinusExpr1(AMinusExpr1 node)
00989     {
00990         inAMinusExpr1(node);
00991         if(node.getExpr1() != null)
00992         {
00993             node.getExpr1().apply(this);
00994         }
00995         if(node.getMinus() != null)
00996         {
00997             node.getMinus().apply(this);
00998         }
00999         outAMinusExpr1(node);
01000     }
01001     public void caseAMinusExpr3(AMinusExpr3 node)
01002     {
01003         inAMinusExpr3(node);
01004         if(node.getExpr2() != null)
01005         {
01006             node.getExpr2().apply(this);
01007         }
01008         if(node.getMinus() != null)
01009         {
01010             node.getMinus().apply(this);
01011         }
01012         if(node.getExpr3() != null)
01013         {
01014             node.getExpr3().apply(this);
01015         }
01016         outAMinusExpr3(node);
01017     }
01018     public void caseAModExpr2(AModExpr2 node)
01019     {
01020         inAModExpr2(node);
01021         if(node.getExpr1() != null)
01022         {
01023             node.getExpr1().apply(this);
01024         }
01025         if(node.getMod() != null)
01026         {
01027             node.getMod().apply(this);
01028         }
01029         if(node.getExpr2() != null)
01030         {
01031             node.getExpr2().apply(this);
01032         }
01033         outAModExpr2(node);
01034     }
01035     public void caseAMorePrintargs(AMorePrintargs node)
01036     {
01037         inAMorePrintargs(node);
01038         if(node.getPrintargs() != null)
01039         {
01040             node.getPrintargs().apply(this);
01041         }
01042         if(node.getComma() != null)
01043         {
01044             node.getComma().apply(this);
01045         }
01046         if(node.getPrintarg() != null)
01047         {
01048             node.getPrintarg().apply(this);
01049         }
01050         outAMorePrintargs(node);
01051     }
01052     public void caseAMultExpr2(AMultExpr2 node)
01053     {
01054         inAMultExpr2(node);
01055         if(node.getExpr1() != null)
01056         {
01057             node.getExpr1().apply(this);
01058         }
01059         if(node.getMult() != null)
01060         {
01061             node.getMult().apply(this);
01062         }
01063         if(node.getExpr2() != null)
01064         {
01065             node.getExpr2().apply(this);
01066         }
01067         outAMultExpr2(node);
01068     }
01069     public void caseANameEnumconst(ANameEnumconst node)
01070     {
01071         inANameEnumconst(node);
01072         if(node.getId() != null)
01073         {
01074             node.getId().apply(this);
01075         }
01076         outANameEnumconst(node);
01077     }
01078     public void caseANamevalueEnumconst(ANamevalueEnumconst node)
01079     {
01080         inANamevalueEnumconst(node);
01081         if(node.getInt() != null)
01082         {
01083             node.getInt().apply(this);
01084         }
01085         if(node.getEquals() != null)
01086         {
01087             node.getEquals().apply(this);
01088         }
01089         if(node.getId() != null)
01090         {
01091             node.getId().apply(this);
01092         }
01093         outANamevalueEnumconst(node);
01094     }
01095     public void caseANonemptyLiveset(ANonemptyLiveset node)
01096     {
01097         inANonemptyLiveset(node);
01098         if(node.getRbrace() != null)
01099         {
01100             node.getRbrace().apply(this);
01101         }
01102         {
01103             Object temp[] = node.getRest().toArray();
01104             for(int i = temp.length - 1; i >= 0; i--)
01105             {
01106                 ((PLivevar) temp[i]).apply(this);
01107             }
01108         }
01109         if(node.getFirst() != null)
01110         {
01111             node.getFirst().apply(this);
01112         }
01113         if(node.getLbrace() != null)
01114         {
01115             node.getLbrace().apply(this);
01116         }
01117         if(node.getLive() != null)
01118         {
01119             node.getLive().apply(this);
01120         }
01121         outANonemptyLiveset(node);
01122     }
01123     public void caseANoteqExpr5(ANoteqExpr5 node)
01124     {
01125         inANoteqExpr5(node);
01126         if(node.getExpr4() != null)
01127         {
01128             node.getExpr4().apply(this);
01129         }
01130         if(node.getNoteq() != null)
01131         {
01132             node.getNoteq().apply(this);
01133         }
01134         if(node.getExpr5() != null)
01135         {
01136             node.getExpr5().apply(this);
01137         }
01138         outANoteqExpr5(node);
01139     }
01140     public void caseANotExpr1(ANotExpr1 node)
01141     {
01142         inANotExpr1(node);
01143         if(node.getExpr1() != null)
01144         {
01145             node.getExpr1().apply(this);
01146         }
01147         if(node.getNot() != null)
01148         {
01149             node.getNot().apply(this);
01150         }
01151         outANotExpr1(node);
01152     }
01153     public void caseANotifyallLockOp(ANotifyallLockOp node)
01154     {
01155         inANotifyallLockOp(node);
01156         if(node.getNotifyall() != null)
01157         {
01158             node.getNotifyall().apply(this);
01159         }
01160         outANotifyallLockOp(node);
01161     }
01162     public void caseANotifyLockOp(ANotifyLockOp node)
01163     {
01164         inANotifyLockOp(node);
01165         if(node.getNotify() != null)
01166         {
01167             node.getNotify().apply(this);
01168         }
01169         outANotifyLockOp(node);
01170     }
01171     public void caseANullValue(ANullValue node)
01172     {
01173         inANullValue(node);
01174         if(node.getNull() != null)
01175         {
01176             node.getNull().apply(this);
01177         }
01178         outANullValue(node);
01179     }
01180     public void caseAOnePrintargs(AOnePrintargs node)
01181     {
01182         inAOnePrintargs(node);
01183         if(node.getPrintarg() != null)
01184         {
01185             node.getPrintarg().apply(this);
01186         }
01187         outAOnePrintargs(node);
01188     }
01189     public void caseAOrExpr7(AOrExpr7 node)
01190     {
01191         inAOrExpr7(node);
01192         if(node.getExpr6() != null)
01193         {
01194             node.getExpr6().apply(this);
01195         }
01196         if(node.getOr() != null)
01197         {
01198             node.getOr().apply(this);
01199         }
01200         if(node.getExpr7() != null)
01201         {
01202             node.getExpr7().apply(this);
01203         }
01204         outAOrExpr7(node);
01205     }
01206     public void caseAParenexprExpr0(AParenexprExpr0 node)
01207     {
01208         inAParenexprExpr0(node);
01209         if(node.getRparen() != null)
01210         {
01211             node.getRparen().apply(this);
01212         }
01213         if(node.getExpr() != null)
01214         {
01215             node.getExpr().apply(this);
01216         }
01217         if(node.getLparen() != null)
01218         {
01219             node.getLparen().apply(this);
01220         }
01221         outAParenexprExpr0(node);
01222     }
01223     public void caseAPlusExpr1(APlusExpr1 node)
01224     {
01225         inAPlusExpr1(node);
01226         if(node.getExpr1() != null)
01227         {
01228             node.getExpr1().apply(this);
01229         }
01230         if(node.getPlus() != null)
01231         {
01232             node.getPlus().apply(this);
01233         }
01234         outAPlusExpr1(node);
01235     }
01236     public void caseAPlusExpr3(APlusExpr3 node)
01237     {
01238         inAPlusExpr3(node);
01239         if(node.getExpr2() != null)
01240         {
01241             node.getExpr2().apply(this);
01242         }
01243         if(node.getPlus() != null)
01244         {
01245             node.getPlus().apply(this);
01246         }
01247         if(node.getExpr3() != null)
01248         {
01249             node.getExpr3().apply(this);
01250         }
01251         outAPlusExpr3(node);
01252     }
01253     public void caseAPredicate(APredicate node)
01254     {
01255         inAPredicate(node);
01256         if(node.getSemicolon() != null)
01257         {
01258             node.getSemicolon().apply(this);
01259         }
01260         if(node.getExpr() != null)
01261         {
01262             node.getExpr().apply(this);
01263         }
01264         if(node.getEquals() != null)
01265         {
01266             node.getEquals().apply(this);
01267         }
01268         if(node.getId() != null)
01269         {
01270             node.getId().apply(this);
01271         }
01272         outAPredicate(node);
01273     }
01274     public void caseAPredicates(APredicates node)
01275     {
01276         inAPredicates(node);
01277         {
01278             Object temp[] = node.getPredicate().toArray();
01279             for(int i = temp.length - 1; i >= 0; i--)
01280             {
01281                 ((PPredicate) temp[i]).apply(this);
01282             }
01283         }
01284         if(node.getPredicates() != null)
01285         {
01286             node.getPredicates().apply(this);
01287         }
01288         outAPredicates(node);
01289     }
01290     public void caseAPrintaction(APrintaction node)
01291     {
01292         inAPrintaction(node);
01293         if(node.getSemicolon() != null)
01294         {
01295             node.getSemicolon().apply(this);
01296         }
01297         if(node.getRparen() != null)
01298         {
01299             node.getRparen().apply(this);
01300         }
01301         if(node.getPrintargs() != null)
01302         {
01303             node.getPrintargs().apply(this);
01304         }
01305         if(node.getLparen() != null)
01306         {
01307             node.getLparen().apply(this);
01308         }
01309         if(node.getPrintln() != null)
01310         {
01311             node.getPrintln().apply(this);
01312         }
01313         outAPrintaction(node);
01314     }
01315     public void caseAPrintactionAction(APrintactionAction node)
01316     {
01317         inAPrintactionAction(node);
01318         if(node.getPrintaction() != null)
01319         {
01320             node.getPrintaction().apply(this);
01321         }
01322         outAPrintactionAction(node);
01323     }
01324     public void caseAProcess(AProcess node)
01325     {
01326         inAProcess(node);
01327         if(node.getSemicolon() != null)
01328         {
01329             node.getSemicolon().apply(this);
01330         }
01331         if(node.getEndname() != null)
01332         {
01333             node.getEndname().apply(this);
01334         }
01335         if(node.getEnd() != null)
01336         {
01337             node.getEnd().apply(this);
01338         }
01339         if(node.getPredicates() != null)
01340         {
01341             node.getPredicates().apply(this);
01342         }
01343         {
01344             Object temp[] = node.getThreads().toArray();
01345             for(int i = temp.length - 1; i >= 0; i--)
01346             {
01347                 ((PThread) temp[i]).apply(this);
01348             }
01349         }
01350         {
01351             Object temp[] = node.getGlobals().toArray();
01352             for(int i = temp.length - 1; i >= 0; i--)
01353             {
01354                 ((PGlobal) temp[i]).apply(this);
01355             }
01356         }
01357         {
01358             Object temp[] = node.getDefinitions().toArray();
01359             for(int i = temp.length - 1; i >= 0; i--)
01360             {
01361                 ((PDefinition) temp[i]).apply(this);
01362             }
01363         }
01364         if(node.getRparen() != null)
01365         {
01366             node.getRparen().apply(this);
01367         }
01368         if(node.getLparen() != null)
01369         {
01370             node.getLparen().apply(this);
01371         }
01372         if(node.getStartname() != null)
01373         {
01374             node.getStartname().apply(this);
01375         }
01376         if(node.getProcess() != null)
01377         {
01378             node.getProcess().apply(this);
01379         }
01380         outAProcess(node);
01381     }
01382     public void caseAProgram(AProgram node)
01383     {
01384         inAProgram(node);
01385         if(node.getProcess() != null)
01386         {
01387             node.getProcess().apply(this);
01388         }
01389         outAProgram(node);
01390     }
01391     public void caseARangeTypespec(ARangeTypespec node)
01392     {
01393         inARangeTypespec(node);
01394         if(node.getHi() != null)
01395         {
01396             node.getHi().apply(this);
01397         }
01398         if(node.getDotdot() != null)
01399         {
01400             node.getDotdot().apply(this);
01401         }
01402         if(node.getLow() != null)
01403         {
01404             node.getLow().apply(this);
01405         }
01406         if(node.getRange() != null)
01407         {
01408             node.getRange().apply(this);
01409         }
01410         outARangeTypespec(node);
01411     }
01412     public void caseARecordTypespec(ARecordTypespec node)
01413     {
01414         inARecordTypespec(node);
01415         if(node.getRbrace() != null)
01416         {
01417             node.getRbrace().apply(this);
01418         }
01419         {
01420             Object temp[] = node.getFields().toArray();
01421             for(int i = temp.length - 1; i >= 0; i--)
01422             {
01423                 ((PField) temp[i]).apply(this);
01424             }
01425         }
01426         if(node.getLbrace() != null)
01427         {
01428             node.getLbrace().apply(this);
01429         }
01430         if(node.getRecord() != null)
01431         {
01432             node.getRecord().apply(this);
01433         }
01434         outARecordTypespec(node);
01435     }
01436     public void caseAReftail(AReftail node)
01437     {
01438         inAReftail(node);
01439         if(node.getId() != null)
01440         {
01441             node.getId().apply(this);
01442         }
01443         if(node.getComma() != null)
01444         {
01445             node.getComma().apply(this);
01446         }
01447         outAReftail(node);
01448     }
01449     public void caseARefTypespec(ARefTypespec node)
01450     {
01451         inARefTypespec(node);
01452         if(node.getRbrace() != null)
01453         {
01454             node.getRbrace().apply(this);
01455         }
01456         {
01457             Object temp[] = node.getRest().toArray();
01458             for(int i = temp.length - 1; i >= 0; i--)
01459             {
01460                 ((PReftail) temp[i]).apply(this);
01461             }
01462         }
01463         if(node.getFirst() != null)
01464         {
01465             node.getFirst().apply(this);
01466         }
01467         if(node.getLbrace() != null)
01468         {
01469             node.getLbrace().apply(this);
01470         }
01471         if(node.getRef() != null)
01472         {
01473             node.getRef().apply(this);
01474         }
01475         outARefTypespec(node);
01476     }
01477     public void caseARefValue(ARefValue node)
01478     {
01479         inARefValue(node);
01480         if(node.getId() != null)
01481         {
01482             node.getId().apply(this);
01483         }
01484         if(node.getRef() != null)
01485         {
01486             node.getRef().apply(this);
01487         }
01488         outARefValue(node);
01489     }
01490     public void caseARemoterefExpr0(ARemoterefExpr0 node)
01491     {
01492         inARemoterefExpr0(node);
01493         if(node.getLocalname() != null)
01494         {
01495             node.getLocalname().apply(this);
01496         }
01497         if(node.getColon() != null)
01498         {
01499             node.getColon().apply(this);
01500         }
01501         if(node.getThreadname() != null)
01502         {
01503             node.getThreadname().apply(this);
01504         }
01505         outARemoterefExpr0(node);
01506     }
01507     public void caseAStartThreadop(AStartThreadop node)
01508     {
01509         inAStartThreadop(node);
01510         if(node.getStart() != null)
01511         {
01512             node.getStart().apply(this);
01513         }
01514         outAStartThreadop(node);
01515     }
01516     public void caseAStringPrintarg(AStringPrintarg node)
01517     {
01518         inAStringPrintarg(node);
01519         if(node.getString() != null)
01520         {
01521             node.getString().apply(this);
01522         }
01523         outAStringPrintarg(node);
01524     }
01525     public void caseATerminatedThreadtest(ATerminatedThreadtest node)
01526     {
01527         inATerminatedThreadtest(node);
01528         if(node.getRparen() != null)
01529         {
01530             node.getRparen().apply(this);
01531         }
01532         if(node.getId() != null)
01533         {
01534             node.getId().apply(this);
01535         }
01536         if(node.getLparen() != null)
01537         {
01538             node.getLparen().apply(this);
01539         }
01540         if(node.getThreadterminated() != null)
01541         {
01542             node.getThreadterminated().apply(this);
01543         }
01544         outATerminatedThreadtest(node);
01545     }
01546     public void caseAThread(AThread node)
01547     {
01548         inAThread(node);
01549         if(node.getSemicolon() != null)
01550         {
01551             node.getSemicolon().apply(this);
01552         }
01553         if(node.getEndname() != null)
01554         {
01555             node.getEndname().apply(this);
01556         }
01557         if(node.getEnd() != null)
01558         {
01559             node.getEnd().apply(this);
01560         }
01561         {
01562             Object temp[] = node.getLocations().toArray();
01563             for(int i = temp.length - 1; i >= 0; i--)
01564             {
01565                 ((PLocation) temp[i]).apply(this);
01566             }
01567         }
01568         if(node.getStartloc() != null)
01569         {
01570             node.getStartloc().apply(this);
01571         }
01572         {
01573             Object temp[] = node.getLocals().toArray();
01574             for(int i = temp.length - 1; i >= 0; i--)
01575             {
01576                 ((PVariable) temp[i]).apply(this);
01577             }
01578         }
01579         if(node.getStartname() != null)
01580         {
01581             node.getStartname().apply(this);
01582         }
01583         if(node.getThread() != null)
01584         {
01585             node.getThread().apply(this);
01586         }
01587         if(node.getMain() != null)
01588         {
01589             node.getMain().apply(this);
01590         }
01591         outAThread(node);
01592     }
01593     public void caseAThreadtestExpr0(AThreadtestExpr0 node)
01594     {
01595         inAThreadtestExpr0(node);
01596         if(node.getThreadtest() != null)
01597         {
01598             node.getThreadtest().apply(this);
01599         }
01600         outAThreadtestExpr0(node);
01601     }
01602     public void caseAThreadupdate(AThreadupdate node)
01603     {
01604         inAThreadupdate(node);
01605         if(node.getSemicolon() != null)
01606         {
01607             node.getSemicolon().apply(this);
01608         }
01609         if(node.getRparen() != null)
01610         {
01611             node.getRparen().apply(this);
01612         }
01613         if(node.getId() != null)
01614         {
01615             node.getId().apply(this);
01616         }
01617         if(node.getLparen() != null)
01618         {
01619             node.getLparen().apply(this);
01620         }
01621         if(node.getThreadop() != null)
01622         {
01623             node.getThreadop().apply(this);
01624         }
01625         outAThreadupdate(node);
01626     }
01627     public void caseAThreadupdateAction(AThreadupdateAction node)
01628     {
01629         inAThreadupdateAction(node);
01630         if(node.getThreadupdate() != null)
01631         {
01632             node.getThreadupdate().apply(this);
01633         }
01634         outAThreadupdateAction(node);
01635     }
01636     public void caseATransformation(ATransformation node)
01637     {
01638         inATransformation(node);
01639         if(node.getSemicolon() != null)
01640         {
01641             node.getSemicolon().apply(this);
01642         }
01643         if(node.getId() != null)
01644         {
01645             node.getId().apply(this);
01646         }
01647         if(node.getGoto() != null)
01648         {
01649             node.getGoto().apply(this);
01650         }
01651         if(node.getRbrace() != null)
01652         {
01653             node.getRbrace().apply(this);
01654         }
01655         {
01656             Object temp[] = node.getActions().toArray();
01657             for(int i = temp.length - 1; i >= 0; i--)
01658             {
01659                 ((PAction) temp[i]).apply(this);
01660             }
01661         }
01662         if(node.getLbrace() != null)
01663         {
01664             node.getLbrace().apply(this);
01665         }
01666         if(node.getInvisible() != null)
01667         {
01668             node.getInvisible().apply(this);
01669         }
01670         if(node.getDo() != null)
01671         {
01672             node.getDo().apply(this);
01673         }
01674         if(node.getExpr() != null)
01675         {
01676             node.getExpr().apply(this);
01677         }
01678         if(node.getWhen() != null)
01679         {
01680             node.getWhen().apply(this);
01681         }
01682         outATransformation(node);
01683     }
01684     public void caseATrueBool(ATrueBool node)
01685     {
01686         inATrueBool(node);
01687         if(node.getTrue() != null)
01688         {
01689             node.getTrue().apply(this);
01690         }
01691         outATrueBool(node);
01692     }
01693     public void caseATypedefDefinition(ATypedefDefinition node)
01694     {
01695         inATypedefDefinition(node);
01696         if(node.getSemicolon() != null)
01697         {
01698             node.getSemicolon().apply(this);
01699         }
01700         if(node.getTypespec() != null)
01701         {
01702             node.getTypespec().apply(this);
01703         }
01704         if(node.getEquals() != null)
01705         {
01706             node.getEquals().apply(this);
01707         }
01708         if(node.getId() != null)
01709         {
01710             node.getId().apply(this);
01711         }
01712         outATypedefDefinition(node);
01713     }
01714     public void caseATypespecType(ATypespecType node)
01715     {
01716         inATypespecType(node);
01717         if(node.getTypespec() != null)
01718         {
01719             node.getTypespec().apply(this);
01720         }
01721         outATypespecType(node);
01722     }
01723     public void caseAUnlockLockOp(AUnlockLockOp node)
01724     {
01725         inAUnlockLockOp(node);
01726         if(node.getUnlock() != null)
01727         {
01728             node.getUnlock().apply(this);
01729         }
01730         outAUnlockLockOp(node);
01731     }
01732     public void caseAUnwaitLockOp(AUnwaitLockOp node)
01733     {
01734         inAUnwaitLockOp(node);
01735         if(node.getUnwait() != null)
01736         {
01737             node.getUnwait().apply(this);
01738         }
01739         outAUnwaitLockOp(node);
01740     }
01741     public void caseAValueExpr0(AValueExpr0 node)
01742     {
01743         inAValueExpr0(node);
01744         if(node.getValue() != null)
01745         {
01746             node.getValue().apply(this);
01747         }
01748         outAValueExpr0(node);
01749     }
01750     public void caseAValueLhs(AValueLhs node)
01751     {
01752         inAValueLhs(node);
01753         if(node.getId() != null)
01754         {
01755             node.getId().apply(this);
01756         }
01757         outAValueLhs(node);
01758     }
01759     public void caseAVariable(AVariable node)
01760     {
01761         inAVariable(node);
01762         if(node.getSemicolon() != null)
01763         {
01764             node.getSemicolon().apply(this);
01765         }
01766         if(node.getInitializer() != null)
01767         {
01768             node.getInitializer().apply(this);
01769         }
01770         if(node.getType() != null)
01771         {
01772             node.getType().apply(this);
01773         }
01774         if(node.getColon() != null)
01775         {
01776             node.getColon().apply(this);
01777         }
01778         if(node.getId() != null)
01779         {
01780             node.getId().apply(this);
01781         }
01782         outAVariable(node);
01783     }
01784     public void caseAVariableGlobal(AVariableGlobal node)
01785     {
01786         inAVariableGlobal(node);
01787         if(node.getVariable() != null)
01788         {
01789             node.getVariable().apply(this);
01790         }
01791         outAVariableGlobal(node);
01792     }
01793     public void caseAVarPrintarg(AVarPrintarg node)
01794     {
01795         inAVarPrintarg(node);
01796         if(node.getId() != null)
01797         {
01798             node.getId().apply(this);
01799         }
01800         outAVarPrintarg(node);
01801     }
01802     public void caseAWaitLockOp(AWaitLockOp node)
01803     {
01804         inAWaitLockOp(node);
01805         if(node.getWait() != null)
01806         {
01807             node.getWait().apply(this);
01808         }
01809         outAWaitLockOp(node);
01810     }
01811     public void caseAWasnotifiedLocktestop(AWasnotifiedLocktestop node)
01812     {
01813         inAWasnotifiedLocktestop(node);
01814         if(node.getWasnotified() != null)
01815         {
01816             node.getWasnotified().apply(this);
01817         }
01818         outAWasnotifiedLocktestop(node);
01819     }
01820     public void caseStart(Start node)
01821     {
01822         inStart(node);
01823         node.getEOF().apply(this);
01824         node.getPProgram().apply(this);
01825         outStart(node);
01826     }
01827     public void defaultIn(Node node)
01828     {
01829     }
01830     public void defaultOut(Node node)
01831     {
01832     }
01833     public void inAAllocation(AAllocation node)
01834     {
01835         defaultIn(node);
01836     }
01837     public void inAAllocationAction(AAllocationAction node)
01838     {
01839         defaultIn(node);
01840     }
01841     public void inAAndExpr6(AAndExpr6 node)
01842     {
01843         defaultIn(node);
01844     }
01845     public void inAArraylength(AArraylength node)
01846     {
01847         defaultIn(node);
01848     }
01849     public void inAArraylengthExpr0(AArraylengthExpr0 node)
01850     {
01851         defaultIn(node);
01852     }
01853     public void inAArraylengthLhs(AArraylengthLhs node)
01854     {
01855         defaultIn(node);
01856     }
01857     public void inAArrayselectExpr0(AArrayselectExpr0 node)
01858     {
01859         defaultIn(node);
01860     }
01861     public void inAArrayselectLhs(AArrayselectLhs node)
01862     {
01863         defaultIn(node);
01864     }
01865     public void inAArrayTypespec(AArrayTypespec node)
01866     {
01867         defaultIn(node);
01868     }
01869     public void inAAssertaction(AAssertaction node)
01870     {
01871         defaultIn(node);
01872     }
01873     public void inAAssertactionAction(AAssertactionAction node)
01874     {
01875         defaultIn(node);
01876     }
01877     public void inAAssignment(AAssignment node)
01878     {
01879         defaultIn(node);
01880     }
01881     public void inAAssignmentAction(AAssignmentAction node)
01882     {
01883         defaultIn(node);
01884     }
01885     public void inAAtlocationThreadtest(AAtlocationThreadtest node)
01886     {
01887         defaultIn(node);
01888     }
01889     public void inABooleanTypespec(ABooleanTypespec node)
01890     {
01891         defaultIn(node);
01892     }
01893     public void inABoolValue(ABoolValue node)
01894     {
01895         defaultIn(node);
01896     }
01897     public void inAChoice(AChoice node)
01898     {
01899         defaultIn(node);
01900     }
01901     public void inAChoiceAction(AChoiceAction node)
01902     {
01903         defaultIn(node);
01904     }
01905     public void inAChoicetail(AChoicetail node)
01906     {
01907         defaultIn(node);
01908     }
01909     public void inACollection(ACollection node)
01910     {
01911         defaultIn(node);
01912     }
01913     public void inACollectionGlobal(ACollectionGlobal node)
01914     {
01915         defaultIn(node);
01916     }
01917     public void inAConstantDefinition(AConstantDefinition node)
01918     {
01919         defaultIn(node);
01920     }
01921     public void inADefinedType(ADefinedType node)
01922     {
01923         defaultIn(node);
01924     }
01925     public void inADivExpr2(ADivExpr2 node)
01926     {
01927         defaultIn(node);
01928     }
01929     public void inAEmptyLiveset(AEmptyLiveset node)
01930     {
01931         defaultIn(node);
01932     }
01933     public void inAEnumdeftail(AEnumdeftail node)
01934     {
01935         defaultIn(node);
01936     }
01937     public void inAEnumeratedTypespec(AEnumeratedTypespec node)
01938     {
01939         defaultIn(node);
01940     }
01941     public void inAEqExpr5(AEqExpr5 node)
01942     {
01943         defaultIn(node);
01944     }
01945     public void inAExitThreadop(AExitThreadop node)
01946     {
01947         defaultIn(node);
01948     }
01949     public void inAExpr(AExpr node)
01950     {
01951         defaultIn(node);
01952     }
01953     public void inAExpr0Expr1(AExpr0Expr1 node)
01954     {
01955         defaultIn(node);
01956     }
01957     public void inAExpr1Expr2(AExpr1Expr2 node)
01958     {
01959         defaultIn(node);
01960     }
01961     public void inAExpr2Expr3(AExpr2Expr3 node)
01962     {
01963         defaultIn(node);
01964     }
01965     public void inAExpr3Expr4(AExpr3Expr4 node)
01966     {
01967         defaultIn(node);
01968     }
01969     public void inAExpr4Expr5(AExpr4Expr5 node)
01970     {
01971         defaultIn(node);
01972     }
01973     public void inAExpr5Expr6(AExpr5Expr6 node)
01974     {
01975         defaultIn(node);
01976     }
01977     public void inAExpr6Expr7(AExpr6Expr7 node)
01978     {
01979         defaultIn(node);
01980     }
01981     public void inAFalseBool(AFalseBool node)
01982     {
01983         defaultIn(node);
01984     }
01985     public void inAField(AField node)
01986     {
01987         defaultIn(node);
01988     }
01989     public void inAFieldselectExpr0(AFieldselectExpr0 node)
01990     {
01991         defaultIn(node);
01992     }
01993     public void inAFieldselectLhs(AFieldselectLhs node)
01994     {
01995         defaultIn(node);
01996     }
01997     public void inAGeExpr4(AGeExpr4 node)
01998     {
01999         defaultIn(node);
02000     }
02001     public void inAGtExpr4(AGtExpr4 node)
02002     {
02003         defaultIn(node);
02004     }
02005     public void inAHaslockLocktestop(AHaslockLocktestop node)
02006     {
02007         defaultIn(node);
02008     }
02009     public void inAIdConst(AIdConst node)
02010     {
02011         defaultIn(node);
02012     }
02013     public void inAIdValue(AIdValue node)
02014     {
02015         defaultIn(node);
02016     }
02017     public void inAInitializer(AInitializer node)
02018     {
02019         defaultIn(node);
02020     }
02021     public void inAInstanceofExpr0(AInstanceofExpr0 node)
02022     {
02023         defaultIn(node);
02024     }
02025     public void inAIntConst(AIntConst node)
02026     {
02027         defaultIn(node);
02028     }
02029     public void inAIntegerValue(AIntegerValue node)
02030     {
02031         defaultIn(node);
02032     }
02033     public void inAJoinThreadop(AJoinThreadop node)
02034     {
02035         defaultIn(node);
02036     }
02037     public void inALeExpr4(ALeExpr4 node)
02038     {
02039         defaultIn(node);
02040     }
02041     public void inALivevar(ALivevar node)
02042     {
02043         defaultIn(node);
02044     }
02045     public void inALocation(ALocation node)
02046     {
02047         defaultIn(node);
02048     }
02049     public void inALockavailableLocktestop(ALockavailableLocktestop node)
02050     {
02051         defaultIn(node);
02052     }
02053     public void inALockLockOp(ALockLockOp node)
02054     {
02055         defaultIn(node);
02056     }
02057     public void inALocktest(ALocktest node)
02058     {
02059         defaultIn(node);
02060     }
02061     public void inALocktestExpr0(ALocktestExpr0 node)
02062     {
02063         defaultIn(node);
02064     }
02065     public void inALockTypespec(ALockTypespec node)
02066     {
02067         defaultIn(node);
02068     }
02069     public void inALockupdate(ALockupdate node)
02070     {
02071         defaultIn(node);
02072     }
02073     public void inALockupdateAction(ALockupdateAction node)
02074     {
02075         defaultIn(node);
02076     }
02077     public void inALtExpr4(ALtExpr4 node)
02078     {
02079         defaultIn(node);
02080     }
02081     public void inAMinusExpr1(AMinusExpr1 node)
02082     {
02083         defaultIn(node);
02084     }
02085     public void inAMinusExpr3(AMinusExpr3 node)
02086     {
02087         defaultIn(node);
02088     }
02089     public void inAModExpr2(AModExpr2 node)
02090     {
02091         defaultIn(node);
02092     }
02093     public void inAMorePrintargs(AMorePrintargs node)
02094     {
02095         defaultIn(node);
02096     }
02097     public void inAMultExpr2(AMultExpr2 node)
02098     {
02099         defaultIn(node);
02100     }
02101     public void inANameEnumconst(ANameEnumconst node)
02102     {
02103         defaultIn(node);
02104     }
02105     public void inANamevalueEnumconst(ANamevalueEnumconst node)
02106     {
02107         defaultIn(node);
02108     }
02109     public void inANonemptyLiveset(ANonemptyLiveset node)
02110     {
02111         defaultIn(node);
02112     }
02113     public void inANoteqExpr5(ANoteqExpr5 node)
02114     {
02115         defaultIn(node);
02116     }
02117     public void inANotExpr1(ANotExpr1 node)
02118     {
02119         defaultIn(node);
02120     }
02121     public void inANotifyallLockOp(ANotifyallLockOp node)
02122     {
02123         defaultIn(node);
02124     }
02125     public void inANotifyLockOp(ANotifyLockOp node)
02126     {
02127         defaultIn(node);
02128     }
02129     public void inANullValue(ANullValue node)
02130     {
02131         defaultIn(node);
02132     }
02133     public void inAOnePrintargs(AOnePrintargs node)
02134     {
02135         defaultIn(node);
02136     }
02137     public void inAOrExpr7(AOrExpr7 node)
02138     {
02139         defaultIn(node);
02140     }
02141     public void inAParenexprExpr0(AParenexprExpr0 node)
02142     {
02143         defaultIn(node);
02144     }
02145     public void inAPlusExpr1(APlusExpr1 node)
02146     {
02147         defaultIn(node);
02148     }
02149     public void inAPlusExpr3(APlusExpr3 node)
02150     {
02151         defaultIn(node);
02152     }
02153     public void inAPredicate(APredicate node)
02154     {
02155         defaultIn(node);
02156     }
02157     public void inAPredicates(APredicates node)
02158     {
02159         defaultIn(node);
02160     }
02161     public void inAPrintaction(APrintaction node)
02162     {
02163         defaultIn(node);
02164     }
02165     public void inAPrintactionAction(APrintactionAction node)
02166     {
02167         defaultIn(node);
02168     }
02169     public void inAProcess(AProcess node)
02170     {
02171         defaultIn(node);
02172     }
02173     public void inAProgram(AProgram node)
02174     {
02175         defaultIn(node);
02176     }
02177     public void inARangeTypespec(ARangeTypespec node)
02178     {
02179         defaultIn(node);
02180     }
02181     public void inARecordTypespec(ARecordTypespec node)
02182     {
02183         defaultIn(node);
02184     }
02185     public void inAReftail(AReftail node)
02186     {
02187         defaultIn(node);
02188     }
02189     public void inARefTypespec(ARefTypespec node)
02190     {
02191         defaultIn(node);
02192     }
02193     public void inARefValue(ARefValue node)
02194     {
02195         defaultIn(node);
02196     }
02197     public void inARemoterefExpr0(ARemoterefExpr0 node)
02198     {
02199         defaultIn(node);
02200     }
02201     public void inAStartThreadop(AStartThreadop node)
02202     {
02203         defaultIn(node);
02204     }
02205     public void inAStringPrintarg(AStringPrintarg node)
02206     {
02207         defaultIn(node);
02208     }
02209     public void inATerminatedThreadtest(ATerminatedThreadtest node)
02210     {
02211         defaultIn(node);
02212     }
02213     public void inAThread(AThread node)
02214     {
02215         defaultIn(node);
02216     }
02217     public void inAThreadtestExpr0(AThreadtestExpr0 node)
02218     {
02219         defaultIn(node);
02220     }
02221     public void inAThreadupdate(AThreadupdate node)
02222     {
02223         defaultIn(node);
02224     }
02225     public void inAThreadupdateAction(AThreadupdateAction node)
02226     {
02227         defaultIn(node);
02228     }
02229     public void inATransformation(ATransformation node)
02230     {
02231         defaultIn(node);
02232     }
02233     public void inATrueBool(ATrueBool node)
02234     {
02235         defaultIn(node);
02236     }
02237     public void inATypedefDefinition(ATypedefDefinition node)
02238     {
02239         defaultIn(node);
02240     }
02241     public void inATypespecType(ATypespecType node)
02242     {
02243         defaultIn(node);
02244     }
02245     public void inAUnlockLockOp(AUnlockLockOp node)
02246     {
02247         defaultIn(node);
02248     }
02249     public void inAUnwaitLockOp(AUnwaitLockOp node)
02250     {
02251         defaultIn(node);
02252     }
02253     public void inAValueExpr0(AValueExpr0 node)
02254     {
02255         defaultIn(node);
02256     }
02257     public void inAValueLhs(AValueLhs node)
02258     {
02259         defaultIn(node);
02260     }
02261     public void inAVariable(AVariable node)
02262     {
02263         defaultIn(node);
02264     }
02265     public void inAVariableGlobal(AVariableGlobal node)
02266     {
02267         defaultIn(node);
02268     }
02269     public void inAVarPrintarg(AVarPrintarg node)
02270     {
02271         defaultIn(node);
02272     }
02273     public void inAWaitLockOp(AWaitLockOp node)
02274     {
02275         defaultIn(node);
02276     }
02277     public void inAWasnotifiedLocktestop(AWasnotifiedLocktestop node)
02278     {
02279         defaultIn(node);
02280     }
02281     public void inStart(Start node)
02282     {
02283         defaultIn(node);
02284     }
02285     public void outAAllocation(AAllocation node)
02286     {
02287         defaultOut(node);
02288     }
02289     public void outAAllocationAction(AAllocationAction node)
02290     {
02291         defaultOut(node);
02292     }
02293     public void outAAndExpr6(AAndExpr6 node)
02294     {
02295         defaultOut(node);
02296     }
02297     public void outAArraylength(AArraylength node)
02298     {
02299         defaultOut(node);
02300     }
02301     public void outAArraylengthExpr0(AArraylengthExpr0 node)
02302     {
02303         defaultOut(node);
02304     }
02305     public void outAArraylengthLhs(AArraylengthLhs node)
02306     {
02307         defaultOut(node);
02308     }
02309     public void outAArrayselectExpr0(AArrayselectExpr0 node)
02310     {
02311         defaultOut(node);
02312     }
02313     public void outAArrayselectLhs(AArrayselectLhs node)
02314     {
02315         defaultOut(node);
02316     }
02317     public void outAArrayTypespec(AArrayTypespec node)
02318     {
02319         defaultOut(node);
02320     }
02321     public void outAAssertaction(AAssertaction node)
02322     {
02323         defaultOut(node);
02324     }
02325     public void outAAssertactionAction(AAssertactionAction node)
02326     {
02327         defaultOut(node);
02328     }
02329     public void outAAssignment(AAssignment node)
02330     {
02331         defaultOut(node);
02332     }
02333     public void outAAssignmentAction(AAssignmentAction node)
02334     {
02335         defaultOut(node);
02336     }
02337     public void outAAtlocationThreadtest(AAtlocationThreadtest node)
02338     {
02339         defaultOut(node);
02340     }
02341     public void outABooleanTypespec(ABooleanTypespec node)
02342     {
02343         defaultOut(node);
02344     }
02345     public void outABoolValue(ABoolValue node)
02346     {
02347         defaultOut(node);
02348     }
02349     public void outAChoice(AChoice node)
02350     {
02351         defaultOut(node);
02352     }
02353     public void outAChoiceAction(AChoiceAction node)
02354     {
02355         defaultOut(node);
02356     }
02357     public void outAChoicetail(AChoicetail node)
02358     {
02359         defaultOut(node);
02360     }
02361     public void outACollection(ACollection node)
02362     {
02363         defaultOut(node);
02364     }
02365     public void outACollectionGlobal(ACollectionGlobal node)
02366     {
02367         defaultOut(node);
02368     }
02369     public void outAConstantDefinition(AConstantDefinition node)
02370     {
02371         defaultOut(node);
02372     }
02373     public void outADefinedType(ADefinedType node)
02374     {
02375         defaultOut(node);
02376     }
02377     public void outADivExpr2(ADivExpr2 node)
02378     {
02379         defaultOut(node);
02380     }
02381     public void outAEmptyLiveset(AEmptyLiveset node)
02382     {
02383         defaultOut(node);
02384     }
02385     public void outAEnumdeftail(AEnumdeftail node)
02386     {
02387         defaultOut(node);
02388     }
02389     public void outAEnumeratedTypespec(AEnumeratedTypespec node)
02390     {
02391         defaultOut(node);
02392     }
02393     public void outAEqExpr5(AEqExpr5 node)
02394     {
02395         defaultOut(node);
02396     }
02397     public void outAExitThreadop(AExitThreadop node)
02398     {
02399         defaultOut(node);
02400     }
02401     public void outAExpr(AExpr node)
02402     {
02403         defaultOut(node);
02404     }
02405     public void outAExpr0Expr1(AExpr0Expr1 node)
02406     {
02407         defaultOut(node);
02408     }
02409     public void outAExpr1Expr2(AExpr1Expr2 node)
02410     {
02411         defaultOut(node);
02412     }
02413     public void outAExpr2Expr3(AExpr2Expr3 node)
02414     {
02415         defaultOut(node);
02416     }
02417     public void outAExpr3Expr4(AExpr3Expr4 node)
02418     {
02419         defaultOut(node);
02420     }
02421     public void outAExpr4Expr5(AExpr4Expr5 node)
02422     {
02423         defaultOut(node);
02424     }
02425     public void outAExpr5Expr6(AExpr5Expr6 node)
02426     {
02427         defaultOut(node);
02428     }
02429     public void outAExpr6Expr7(AExpr6Expr7 node)
02430     {
02431         defaultOut(node);
02432     }
02433     public void outAFalseBool(AFalseBool node)
02434     {
02435         defaultOut(node);
02436     }
02437     public void outAField(AField node)
02438     {
02439         defaultOut(node);
02440     }
02441     public void outAFieldselectExpr0(AFieldselectExpr0 node)
02442     {
02443         defaultOut(node);
02444     }
02445     public void outAFieldselectLhs(AFieldselectLhs node)
02446     {
02447         defaultOut(node);
02448     }
02449     public void outAGeExpr4(AGeExpr4 node)
02450     {
02451         defaultOut(node);
02452     }
02453     public void outAGtExpr4(AGtExpr4 node)
02454     {
02455         defaultOut(node);
02456     }
02457     public void outAHaslockLocktestop(AHaslockLocktestop node)
02458     {
02459         defaultOut(node);
02460     }
02461     public void outAIdConst(AIdConst node)
02462     {
02463         defaultOut(node);
02464     }
02465     public void outAIdValue(AIdValue node)
02466     {
02467         defaultOut(node);
02468     }
02469     public void outAInitializer(AInitializer node)
02470     {
02471         defaultOut(node);
02472     }
02473     public void outAInstanceofExpr0(AInstanceofExpr0 node)
02474     {
02475         defaultOut(node);
02476     }
02477     public void outAIntConst(AIntConst node)
02478     {
02479         defaultOut(node);
02480     }
02481     public void outAIntegerValue(AIntegerValue node)
02482     {
02483         defaultOut(node);
02484     }
02485     public void outAJoinThreadop(AJoinThreadop node)
02486     {
02487         defaultOut(node);
02488     }
02489     public void outALeExpr4(ALeExpr4 node)
02490     {
02491         defaultOut(node);
02492     }
02493     public void outALivevar(ALivevar node)
02494     {
02495         defaultOut(node);
02496     }
02497     public void outALocation(ALocation node)
02498     {
02499         defaultOut(node);
02500     }
02501     public void outALockavailableLocktestop(ALockavailableLocktestop node)
02502     {
02503         defaultOut(node);
02504     }
02505     public void outALockLockOp(ALockLockOp node)
02506     {
02507         defaultOut(node);
02508     }
02509     public void outALocktest(ALocktest node)
02510     {
02511         defaultOut(node);
02512     }
02513     public void outALocktestExpr0(ALocktestExpr0 node)
02514     {
02515         defaultOut(node);
02516     }
02517     public void outALockTypespec(ALockTypespec node)
02518     {
02519         defaultOut(node);
02520     }
02521     public void outALockupdate(ALockupdate node)
02522     {
02523         defaultOut(node);
02524     }
02525     public void outALockupdateAction(ALockupdateAction node)
02526     {
02527         defaultOut(node);
02528     }
02529     public void outALtExpr4(ALtExpr4 node)
02530     {
02531         defaultOut(node);
02532     }
02533     public void outAMinusExpr1(AMinusExpr1 node)
02534     {
02535         defaultOut(node);
02536     }
02537     public void outAMinusExpr3(AMinusExpr3 node)
02538     {
02539         defaultOut(node);
02540     }
02541     public void outAModExpr2(AModExpr2 node)
02542     {
02543         defaultOut(node);
02544     }
02545     public void outAMorePrintargs(AMorePrintargs node)
02546     {
02547         defaultOut(node);
02548     }
02549     public void outAMultExpr2(AMultExpr2 node)
02550     {
02551         defaultOut(node);
02552     }
02553     public void outANameEnumconst(ANameEnumconst node)
02554     {
02555         defaultOut(node);
02556     }
02557     public void outANamevalueEnumconst(ANamevalueEnumconst node)
02558     {
02559         defaultOut(node);
02560     }
02561     public void outANonemptyLiveset(ANonemptyLiveset node)
02562     {
02563         defaultOut(node);
02564     }
02565     public void outANoteqExpr5(ANoteqExpr5 node)
02566     {
02567         defaultOut(node);
02568     }
02569     public void outANotExpr1(ANotExpr1 node)
02570     {
02571         defaultOut(node);
02572     }
02573     public void outANotifyallLockOp(ANotifyallLockOp node)
02574     {
02575         defaultOut(node);
02576     }
02577     public void outANotifyLockOp(ANotifyLockOp node)
02578     {
02579         defaultOut(node);
02580     }
02581     public void outANullValue(ANullValue node)
02582     {
02583         defaultOut(node);
02584     }
02585     public void outAOnePrintargs(AOnePrintargs node)
02586     {
02587         defaultOut(node);
02588     }
02589     public void outAOrExpr7(AOrExpr7 node)
02590     {
02591         defaultOut(node);
02592     }
02593     public void outAParenexprExpr0(AParenexprExpr0 node)
02594     {
02595         defaultOut(node);
02596     }
02597     public void outAPlusExpr1(APlusExpr1 node)
02598     {
02599         defaultOut(node);
02600     }
02601     public void outAPlusExpr3(APlusExpr3 node)
02602     {
02603         defaultOut(node);
02604     }
02605     public void outAPredicate(APredicate node)
02606     {
02607         defaultOut(node);
02608     }
02609     public void outAPredicates(APredicates node)
02610     {
02611         defaultOut(node);
02612     }
02613     public void outAPrintaction(APrintaction node)
02614     {
02615         defaultOut(node);
02616     }
02617     public void outAPrintactionAction(APrintactionAction node)
02618     {
02619         defaultOut(node);
02620     }
02621     public void outAProcess(AProcess node)
02622     {
02623         defaultOut(node);
02624     }
02625     public void outAProgram(AProgram node)
02626     {
02627         defaultOut(node);
02628     }
02629     public void outARangeTypespec(ARangeTypespec node)
02630     {
02631         defaultOut(node);
02632     }
02633     public void outARecordTypespec(ARecordTypespec node)
02634     {
02635         defaultOut(node);
02636     }
02637     public void outAReftail(AReftail node)
02638     {
02639         defaultOut(node);
02640     }
02641     public void outARefTypespec(ARefTypespec node)
02642     {
02643         defaultOut(node);
02644     }
02645     public void outARefValue(ARefValue node)
02646     {
02647         defaultOut(node);
02648     }
02649     public void outARemoterefExpr0(ARemoterefExpr0 node)
02650     {
02651         defaultOut(node);
02652     }
02653     public void outAStartThreadop(AStartThreadop node)
02654     {
02655         defaultOut(node);
02656     }
02657     public void outAStringPrintarg(AStringPrintarg node)
02658     {
02659         defaultOut(node);
02660     }
02661     public void outATerminatedThreadtest(ATerminatedThreadtest node)
02662     {
02663         defaultOut(node);
02664     }
02665     public void outAThread(AThread node)
02666     {
02667         defaultOut(node);
02668     }
02669     public void outAThreadtestExpr0(AThreadtestExpr0 node)
02670     {
02671         defaultOut(node);
02672     }
02673     public void outAThreadupdate(AThreadupdate node)
02674     {
02675         defaultOut(node);
02676     }
02677     public void outAThreadupdateAction(AThreadupdateAction node)
02678     {
02679         defaultOut(node);
02680     }
02681     public void outATransformation(ATransformation node)
02682     {
02683         defaultOut(node);
02684     }
02685     public void outATrueBool(ATrueBool node)
02686     {
02687         defaultOut(node);
02688     }
02689     public void outATypedefDefinition(ATypedefDefinition node)
02690     {
02691         defaultOut(node);
02692     }
02693     public void outATypespecType(ATypespecType node)
02694     {
02695         defaultOut(node);
02696     }
02697     public void outAUnlockLockOp(AUnlockLockOp node)
02698     {
02699         defaultOut(node);
02700     }
02701     public void outAUnwaitLockOp(AUnwaitLockOp node)
02702     {
02703         defaultOut(node);
02704     }
02705     public void outAValueExpr0(AValueExpr0 node)
02706     {
02707         defaultOut(node);
02708     }
02709     public void outAValueLhs(AValueLhs node)
02710     {
02711         defaultOut(node);
02712     }
02713     public void outAVariable(AVariable node)
02714     {
02715         defaultOut(node);
02716     }
02717     public void outAVariableGlobal(AVariableGlobal node)
02718     {
02719         defaultOut(node);
02720     }
02721     public void outAVarPrintarg(AVarPrintarg node)
02722     {
02723         defaultOut(node);
02724     }
02725     public void outAWaitLockOp(AWaitLockOp node)
02726     {
02727         defaultOut(node);
02728     }
02729     public void outAWasnotifiedLocktestop(AWasnotifiedLocktestop node)
02730     {
02731         defaultOut(node);
02732     }
02733     public void outStart(Start node)
02734     {
02735         defaultOut(node);
02736     }
02737 }