ReversedDepthFirstAdapter.java Source File

00001 package edu.ksu.cis.bandera.specification.analysis;
00002 
00003 /* This file was generated by SableCC (http://www.sablecc.org/). */
00004 
00005 import edu.ksu.cis.bandera.specification.node.*;
00006 
00007 public class ReversedDepthFirstAdapter extends AnalysisAdapter
00008 {
00009     public void caseAAndAndExp(AAndAndExp node)
00010     {
00011         inAAndAndExp(node);
00012         if(node.getUnaryExp() != null)
00013         {
00014             node.getUnaryExp().apply(this);
00015         }
00016         if(node.getAnd() != null)
00017         {
00018             node.getAnd().apply(this);
00019         }
00020         if(node.getAndExp() != null)
00021         {
00022             node.getAndExp().apply(this);
00023         }
00024         outAAndAndExp(node);
00025     }
00026     public void caseAAndBinOp(AAndBinOp node)
00027     {
00028         inAAndBinOp(node);
00029         if(node.getAnd() != null)
00030         {
00031             node.getAnd().apply(this);
00032         }
00033         outAAndBinOp(node);
00034     }
00035     public void caseAAndOrExp(AAndOrExp node)
00036     {
00037         inAAndOrExp(node);
00038         if(node.getAndExp() != null)
00039         {
00040             node.getAndExp().apply(this);
00041         }
00042         outAAndOrExp(node);
00043     }
00044     public void caseAArgsArgs(AArgsArgs node)
00045     {
00046         inAArgsArgs(node);
00047         if(node.getId() != null)
00048         {
00049             node.getId().apply(this);
00050         }
00051         if(node.getComma() != null)
00052         {
00053             node.getComma().apply(this);
00054         }
00055         if(node.getArgs() != null)
00056         {
00057             node.getArgs().apply(this);
00058         }
00059         outAArgsArgs(node);
00060     }
00061     public void caseAAssert(AAssert node)
00062     {
00063         inAAssert(node);
00064         if(node.getSemicolon() != null)
00065         {
00066             node.getSemicolon().apply(this);
00067         }
00068         if(node.getRBrace() != null)
00069         {
00070             node.getRBrace().apply(this);
00071         }
00072         if(node.getNames() != null)
00073         {
00074             node.getNames().apply(this);
00075         }
00076         if(node.getLBrace() != null)
00077         {
00078             node.getLBrace().apply(this);
00079         }
00080         if(node.getAssertions() != null)
00081         {
00082             node.getAssertions().apply(this);
00083         }
00084         if(node.getEnable() != null)
00085         {
00086             node.getEnable().apply(this);
00087         }
00088         if(node.getColon() != null)
00089         {
00090             node.getColon().apply(this);
00091         }
00092         if(node.getId() != null)
00093         {
00094             node.getId().apply(this);
00095         }
00096         if(node.getDocumentationComment() != null)
00097         {
00098             node.getDocumentationComment().apply(this);
00099         }
00100         outAAssert(node);
00101     }
00102     public void caseAAssertDef(AAssertDef node)
00103     {
00104         inAAssertDef(node);
00105         if(node.getAssert() != null)
00106         {
00107             node.getAssert().apply(this);
00108         }
00109         outAAssertDef(node);
00110     }
00111     public void caseAAssertionImport(AAssertionImport node)
00112     {
00113         inAAssertionImport(node);
00114         if(node.getSemicolon() != null)
00115         {
00116             node.getSemicolon().apply(this);
00117         }
00118         if(node.getImportNames() != null)
00119         {
00120             node.getImportNames().apply(this);
00121         }
00122         if(node.getAssertion() != null)
00123         {
00124             node.getAssertion().apply(this);
00125         }
00126         if(node.getImport() != null)
00127         {
00128             node.getImport().apply(this);
00129         }
00130         outAAssertionImport(node);
00131     }
00132     public void caseABinaryExp(ABinaryExp node)
00133     {
00134         inABinaryExp(node);
00135         if(node.getRight() != null)
00136         {
00137             node.getRight().apply(this);
00138         }
00139         if(node.getBinOp() != null)
00140         {
00141             node.getBinOp().apply(this);
00142         }
00143         if(node.getLeft() != null)
00144         {
00145             node.getLeft().apply(this);
00146         }
00147         outABinaryExp(node);
00148     }
00149     public void caseACommaFormatWord(ACommaFormatWord node)
00150     {
00151         inACommaFormatWord(node);
00152         if(node.getComma() != null)
00153         {
00154             node.getComma().apply(this);
00155         }
00156         outACommaFormatWord(node);
00157     }
00158     public void caseACommaWord(ACommaWord node)
00159     {
00160         inACommaWord(node);
00161         if(node.getComma() != null)
00162         {
00163             node.getComma().apply(this);
00164         }
00165         outACommaWord(node);
00166     }
00167     public void caseAComplementExp(AComplementExp node)
00168     {
00169         inAComplementExp(node);
00170         if(node.getExp() != null)
00171         {
00172             node.getExp().apply(this);
00173         }
00174         if(node.getNot() != null)
00175         {
00176             node.getNot().apply(this);
00177         }
00178         outAComplementExp(node);
00179     }
00180     public void caseAComplementUnaryExp(AComplementUnaryExp node)
00181     {
00182         inAComplementUnaryExp(node);
00183         if(node.getPrimaryExp() != null)
00184         {
00185             node.getPrimaryExp().apply(this);
00186         }
00187         if(node.getNot() != null)
00188         {
00189             node.getNot().apply(this);
00190         }
00191         outAComplementUnaryExp(node);
00192     }
00193     public void caseADotFormatWord(ADotFormatWord node)
00194     {
00195         inADotFormatWord(node);
00196         if(node.getDot() != null)
00197         {
00198             node.getDot().apply(this);
00199         }
00200         outADotFormatWord(node);
00201     }
00202     public void caseADotWord(ADotWord node)
00203     {
00204         inADotWord(node);
00205         if(node.getDot() != null)
00206         {
00207             node.getDot().apply(this);
00208         }
00209         outADotWord(node);
00210     }
00211     public void caseAExactQtlBinding(AExactQtlBinding node)
00212     {
00213         inAExactQtlBinding(node);
00214         if(node.getColon() != null)
00215         {
00216             node.getColon().apply(this);
00217         }
00218         outAExactQtlBinding(node);
00219     }
00220     public void caseAExpWord(AExpWord node)
00221     {
00222         inAExpWord(node);
00223         if(node.getRBrace() != null)
00224         {
00225             node.getRBrace().apply(this);
00226         }
00227         if(node.getExp() != null)
00228         {
00229             node.getExp().apply(this);
00230         }
00231         if(node.getLBrace() != null)
00232         {
00233             node.getLBrace().apply(this);
00234         }
00235         outAExpWord(node);
00236     }
00237     public void caseAFilterTypeOp(AFilterTypeOp node)
00238     {
00239         inAFilterTypeOp(node);
00240         if(node.getMinus() != null)
00241         {
00242             node.getMinus().apply(this);
00243         }
00244         outAFilterTypeOp(node);
00245     }
00246     public void caseAFormat(AFormat node)
00247     {
00248         inAFormat(node);
00249         if(node.getQuote2() != null)
00250         {
00251             node.getQuote2().apply(this);
00252         }
00253         {
00254             Object temp[] = node.getFormatWord().toArray();
00255             for(int i = temp.length - 1; i >= 0; i--)
00256             {
00257                 ((PFormatWord) temp[i]).apply(this);
00258             }
00259         }
00260         if(node.getQuote1() != null)
00261         {
00262             node.getQuote1().apply(this);
00263         }
00264         outAFormat(node);
00265     }
00266     public void caseAFormatUnit(AFormatUnit node)
00267     {
00268         inAFormatUnit(node);
00269         if(node.getFormat() != null)
00270         {
00271             node.getFormat().apply(this);
00272         }
00273         outAFormatUnit(node);
00274     }
00275     public void caseAHoleFormatWord(AHoleFormatWord node)
00276     {
00277         inAHoleFormatWord(node);
00278         if(node.getRBrace() != null)
00279         {
00280             node.getRBrace().apply(this);
00281         }
00282         if(node.getId() != null)
00283         {
00284             node.getId().apply(this);
00285         }
00286         if(node.getLBrace() != null)
00287         {
00288             node.getLBrace().apply(this);
00289         }
00290         outAHoleFormatWord(node);
00291     }
00292     public void caseAIdArgs(AIdArgs node)
00293     {
00294         inAIdArgs(node);
00295         if(node.getId() != null)
00296         {
00297             node.getId().apply(this);
00298         }
00299         outAIdArgs(node);
00300     }
00301     public void caseAIdFormatWord(AIdFormatWord node)
00302     {
00303         inAIdFormatWord(node);
00304         if(node.getId() != null)
00305         {
00306             node.getId().apply(this);
00307         }
00308         outAIdFormatWord(node);
00309     }
00310     public void caseAIdIds(AIdIds node)
00311     {
00312         inAIdIds(node);
00313         if(node.getId() != null)
00314         {
00315             node.getId().apply(this);
00316         }
00317         outAIdIds(node);
00318     }
00319     public void caseAIdsIds(AIdsIds node)
00320     {
00321         inAIdsIds(node);
00322         if(node.getId() != null)
00323         {
00324             node.getId().apply(this);
00325         }
00326         if(node.getComma() != null)
00327         {
00328             node.getComma().apply(this);
00329         }
00330         if(node.getIds() != null)
00331         {
00332             node.getIds().apply(this);
00333         }
00334         outAIdsIds(node);
00335     }
00336     public void caseAIdWord(AIdWord node)
00337     {
00338         inAIdWord(node);
00339         if(node.getId() != null)
00340         {
00341             node.getId().apply(this);
00342         }
00343         outAIdWord(node);
00344     }
00345     public void caseAImplicationExp(AImplicationExp node)
00346     {
00347         inAImplicationExp(node);
00348         if(node.getImplicationExp() != null)
00349         {
00350             node.getImplicationExp().apply(this);
00351         }
00352         outAImplicationExp(node);
00353     }
00354     public void caseAImplyBinOp(AImplyBinOp node)
00355     {
00356         inAImplyBinOp(node);
00357         if(node.getImply() != null)
00358         {
00359             node.getImply().apply(this);
00360         }
00361         outAImplyBinOp(node);
00362     }
00363     public void caseAImplyImplicationExp(AImplyImplicationExp node)
00364     {
00365         inAImplyImplicationExp(node);
00366         if(node.getOrExp() != null)
00367         {
00368             node.getOrExp().apply(this);
00369         }
00370         if(node.getImply() != null)
00371         {
00372             node.getImply().apply(this);
00373         }
00374         if(node.getImplicationExp() != null)
00375         {
00376             node.getImplicationExp().apply(this);
00377         }
00378         outAImplyImplicationExp(node);
00379     }
00380     public void caseAInstanceQtlBinding(AInstanceQtlBinding node)
00381     {
00382         inAInstanceQtlBinding(node);
00383         if(node.getInstance() != null)
00384         {
00385             node.getInstance().apply(this);
00386         }
00387         outAInstanceQtlBinding(node);
00388     }
00389     public void caseANameImportNames(ANameImportNames node)
00390     {
00391         inANameImportNames(node);
00392         if(node.getImportName() != null)
00393         {
00394             node.getImportName().apply(this);
00395         }
00396         outANameImportNames(node);
00397     }
00398     public void caseANameNames(ANameNames node)
00399     {
00400         inANameNames(node);
00401         if(node.getName() != null)
00402         {
00403             node.getName().apply(this);
00404         }
00405         outANameNames(node);
00406     }
00407     public void caseANamePrimaryTypeExp(ANamePrimaryTypeExp node)
00408     {
00409         inANamePrimaryTypeExp(node);
00410         if(node.getName() != null)
00411         {
00412             node.getName().apply(this);
00413         }
00414         outANamePrimaryTypeExp(node);
00415     }
00416     public void caseANamesImportNames(ANamesImportNames node)
00417     {
00418         inANamesImportNames(node);
00419         if(node.getImportName() != null)
00420         {
00421             node.getImportName().apply(this);
00422         }
00423         if(node.getComma() != null)
00424         {
00425             node.getComma().apply(this);
00426         }
00427         if(node.getImportNames() != null)
00428         {
00429             node.getImportNames().apply(this);
00430         }
00431         outANamesImportNames(node);
00432     }
00433     public void caseANamesNames(ANamesNames node)
00434     {
00435         inANamesNames(node);
00436         if(node.getName() != null)
00437         {
00438             node.getName().apply(this);
00439         }
00440         if(node.getComma() != null)
00441         {
00442             node.getComma().apply(this);
00443         }
00444         if(node.getNames() != null)
00445         {
00446             node.getNames().apply(this);
00447         }
00448         outANamesNames(node);
00449     }
00450     public void caseANumberFormatWord(ANumberFormatWord node)
00451     {
00452         inANumberFormatWord(node);
00453         if(node.getNumber() != null)
00454         {
00455             node.getNumber().apply(this);
00456         }
00457         outANumberFormatWord(node);
00458     }
00459     public void caseANumberWord(ANumberWord node)
00460     {
00461         inANumberWord(node);
00462         if(node.getNumber() != null)
00463         {
00464             node.getNumber().apply(this);
00465         }
00466         outANumberWord(node);
00467     }
00468     public void caseAOnDemandImportName(AOnDemandImportName node)
00469     {
00470         inAOnDemandImportName(node);
00471         if(node.getStar() != null)
00472         {
00473             node.getStar().apply(this);
00474         }
00475         if(node.getDot() != null)
00476         {
00477             node.getDot().apply(this);
00478         }
00479         if(node.getName() != null)
00480         {
00481             node.getName().apply(this);
00482         }
00483         outAOnDemandImportName(node);
00484     }
00485     public void caseAOpTypeExp(AOpTypeExp node)
00486     {
00487         inAOpTypeExp(node);
00488         if(node.getTypeExp() != null)
00489         {
00490             node.getTypeExp().apply(this);
00491         }
00492         if(node.getTypeOp() != null)
00493         {
00494             node.getTypeOp().apply(this);
00495         }
00496         if(node.getPrimaryTypeExp() != null)
00497         {
00498             node.getPrimaryTypeExp().apply(this);
00499         }
00500         outAOpTypeExp(node);
00501     }
00502     public void caseAOrBinOp(AOrBinOp node)
00503     {
00504         inAOrBinOp(node);
00505         if(node.getOr() != null)
00506         {
00507             node.getOr().apply(this);
00508         }
00509         outAOrBinOp(node);
00510     }
00511     public void caseAOrImplicationExp(AOrImplicationExp node)
00512     {
00513         inAOrImplicationExp(node);
00514         if(node.getOrExp() != null)
00515         {
00516             node.getOrExp().apply(this);
00517         }
00518         outAOrImplicationExp(node);
00519     }
00520     public void caseAOrOrExp(AOrOrExp node)
00521     {
00522         inAOrOrExp(node);
00523         if(node.getAndExp() != null)
00524         {
00525             node.getAndExp().apply(this);
00526         }
00527         if(node.getOr() != null)
00528         {
00529             node.getOr().apply(this);
00530         }
00531         if(node.getOrExp() != null)
00532         {
00533             node.getOrExp().apply(this);
00534         }
00535         outAOrOrExp(node);
00536     }
00537     public void caseAParenExp(AParenExp node)
00538     {
00539         inAParenExp(node);
00540         if(node.getRParen() != null)
00541         {
00542             node.getRParen().apply(this);
00543         }
00544         if(node.getExp() != null)
00545         {
00546             node.getExp().apply(this);
00547         }
00548         if(node.getLParen() != null)
00549         {
00550             node.getLParen().apply(this);
00551         }
00552         outAParenExp(node);
00553     }
00554     public void caseAParenPrimaryExp(AParenPrimaryExp node)
00555     {
00556         inAParenPrimaryExp(node);
00557         if(node.getRParen() != null)
00558         {
00559             node.getRParen().apply(this);
00560         }
00561         if(node.getExp() != null)
00562         {
00563             node.getExp().apply(this);
00564         }
00565         if(node.getLParen() != null)
00566         {
00567             node.getLParen().apply(this);
00568         }
00569         outAParenPrimaryExp(node);
00570     }
00571     public void caseAParenPrimaryTypeExp(AParenPrimaryTypeExp node)
00572     {
00573         inAParenPrimaryTypeExp(node);
00574         if(node.getRParen() != null)
00575         {
00576             node.getRParen().apply(this);
00577         }
00578         if(node.getTypeExp() != null)
00579         {
00580             node.getTypeExp().apply(this);
00581         }
00582         if(node.getLParen() != null)
00583         {
00584             node.getLParen().apply(this);
00585         }
00586         outAParenPrimaryTypeExp(node);
00587     }
00588     public void caseAPredicateExp(APredicateExp node)
00589     {
00590         inAPredicateExp(node);
00591         if(node.getRParen() != null)
00592         {
00593             node.getRParen().apply(this);
00594         }
00595         if(node.getArgs() != null)
00596         {
00597             node.getArgs().apply(this);
00598         }
00599         if(node.getLParen() != null)
00600         {
00601             node.getLParen().apply(this);
00602         }
00603         if(node.getName() != null)
00604         {
00605             node.getName().apply(this);
00606         }
00607         outAPredicateExp(node);
00608     }
00609     public void caseAPredicateImport(APredicateImport node)
00610     {
00611         inAPredicateImport(node);
00612         if(node.getSemicolon() != null)
00613         {
00614             node.getSemicolon().apply(this);
00615         }
00616         if(node.getImportNames() != null)
00617         {
00618             node.getImportNames().apply(this);
00619         }
00620         if(node.getPredicate() != null)
00621         {
00622             node.getPredicate().apply(this);
00623         }
00624         if(node.getImport() != null)
00625         {
00626             node.getImport().apply(this);
00627         }
00628         outAPredicateImport(node);
00629     }
00630     public void caseAPredicatePrimaryExp(APredicatePrimaryExp node)
00631     {
00632         inAPredicatePrimaryExp(node);
00633         if(node.getRParen() != null)
00634         {
00635             node.getRParen().apply(this);
00636         }
00637         if(node.getArgs() != null)
00638         {
00639             node.getArgs().apply(this);
00640         }
00641         if(node.getLParen() != null)
00642         {
00643             node.getLParen().apply(this);
00644         }
00645         if(node.getName() != null)
00646         {
00647             node.getName().apply(this);
00648         }
00649         outAPredicatePrimaryExp(node);
00650     }
00651     public void caseAPrimaryTypeExp(APrimaryTypeExp node)
00652     {
00653         inAPrimaryTypeExp(node);
00654         if(node.getPrimaryTypeExp() != null)
00655         {
00656             node.getPrimaryTypeExp().apply(this);
00657         }
00658         outAPrimaryTypeExp(node);
00659     }
00660     public void caseAPrimaryUnaryExp(APrimaryUnaryExp node)
00661     {
00662         inAPrimaryUnaryExp(node);
00663         if(node.getPrimaryExp() != null)
00664         {
00665             node.getPrimaryExp().apply(this);
00666         }
00667         outAPrimaryUnaryExp(node);
00668     }
00669     public void caseAPropertiesUnit(APropertiesUnit node)
00670     {
00671         inAPropertiesUnit(node);
00672         {
00673             Object temp[] = node.getDef().toArray();
00674             for(int i = temp.length - 1; i >= 0; i--)
00675             {
00676                 ((PDef) temp[i]).apply(this);
00677             }
00678         }
00679         {
00680             Object temp[] = node.getImport().toArray();
00681             for(int i = temp.length - 1; i >= 0; i--)
00682             {
00683                 ((PImport) temp[i]).apply(this);
00684             }
00685         }
00686         outAPropertiesUnit(node);
00687     }
00688     public void caseAQtl(AQtl node)
00689     {
00690         inAQtl(node);
00691         if(node.getDot() != null)
00692         {
00693             node.getDot().apply(this);
00694         }
00695         if(node.getRBracket() != null)
00696         {
00697             node.getRBracket().apply(this);
00698         }
00699         if(node.getTypeExp() != null)
00700         {
00701             node.getTypeExp().apply(this);
00702         }
00703         if(node.getQtlBinding() != null)
00704         {
00705             node.getQtlBinding().apply(this);
00706         }
00707         if(node.getIds() != null)
00708         {
00709             node.getIds().apply(this);
00710         }
00711         if(node.getLBracket() != null)
00712         {
00713             node.getLBracket().apply(this);
00714         }
00715         if(node.getForall() != null)
00716         {
00717             node.getForall().apply(this);
00718         }
00719         outAQtl(node);
00720     }
00721     public void caseAQualifiedName(AQualifiedName node)
00722     {
00723         inAQualifiedName(node);
00724         if(node.getId() != null)
00725         {
00726             node.getId().apply(this);
00727         }
00728         if(node.getDot() != null)
00729         {
00730             node.getDot().apply(this);
00731         }
00732         if(node.getName() != null)
00733         {
00734             node.getName().apply(this);
00735         }
00736         outAQualifiedName(node);
00737     }
00738     public void caseASimpleName(ASimpleName node)
00739     {
00740         inASimpleName(node);
00741         if(node.getId() != null)
00742         {
00743             node.getId().apply(this);
00744         }
00745         outASimpleName(node);
00746     }
00747     public void caseASpecificImportName(ASpecificImportName node)
00748     {
00749         inASpecificImportName(node);
00750         if(node.getName() != null)
00751         {
00752             node.getName().apply(this);
00753         }
00754         outASpecificImportName(node);
00755     }
00756     public void caseATl(ATl node)
00757     {
00758         inATl(node);
00759         if(node.getSemicolon() != null)
00760         {
00761             node.getSemicolon().apply(this);
00762         }
00763         {
00764             Object temp[] = node.getWord().toArray();
00765             for(int i = temp.length - 1; i >= 0; i--)
00766             {
00767                 ((PWord) temp[i]).apply(this);
00768             }
00769         }
00770         {
00771             Object temp[] = node.getQtl().toArray();
00772             for(int i = temp.length - 1; i >= 0; i--)
00773             {
00774                 ((PQtl) temp[i]).apply(this);
00775             }
00776         }
00777         if(node.getColon() != null)
00778         {
00779             node.getColon().apply(this);
00780         }
00781         if(node.getId() != null)
00782         {
00783             node.getId().apply(this);
00784         }
00785         if(node.getDocumentationComment() != null)
00786         {
00787             node.getDocumentationComment().apply(this);
00788         }
00789         outATl(node);
00790     }
00791     public void caseATlDef(ATlDef node)
00792     {
00793         inATlDef(node);
00794         if(node.getTl() != null)
00795         {
00796             node.getTl().apply(this);
00797         }
00798         outATlDef(node);
00799     }
00800     public void caseATypeImport(ATypeImport node)
00801     {
00802         inATypeImport(node);
00803         if(node.getSemicolon() != null)
00804         {
00805             node.getSemicolon().apply(this);
00806         }
00807         if(node.getImportNames() != null)
00808         {
00809             node.getImportNames().apply(this);
00810         }
00811         if(node.getImport() != null)
00812         {
00813             node.getImport().apply(this);
00814         }
00815         outATypeImport(node);
00816     }
00817     public void caseAUnaryAndExp(AUnaryAndExp node)
00818     {
00819         inAUnaryAndExp(node);
00820         if(node.getUnaryExp() != null)
00821         {
00822             node.getUnaryExp().apply(this);
00823         }
00824         outAUnaryAndExp(node);
00825     }
00826     public void caseAUnionTypeOp(AUnionTypeOp node)
00827     {
00828         inAUnionTypeOp(node);
00829         if(node.getPlus() != null)
00830         {
00831             node.getPlus().apply(this);
00832         }
00833         outAUnionTypeOp(node);
00834     }
00835     public void caseStart(Start node)
00836     {
00837         inStart(node);
00838         node.getEOF().apply(this);
00839         node.getPUnit().apply(this);
00840         outStart(node);
00841     }
00842     public void defaultIn(Node node)
00843     {
00844     }
00845     public void defaultOut(Node node)
00846     {
00847     }
00848     public void inAAndAndExp(AAndAndExp node)
00849     {
00850         defaultIn(node);
00851     }
00852     public void inAAndBinOp(AAndBinOp node)
00853     {
00854         defaultIn(node);
00855     }
00856     public void inAAndOrExp(AAndOrExp node)
00857     {
00858         defaultIn(node);
00859     }
00860     public void inAArgsArgs(AArgsArgs node)
00861     {
00862         defaultIn(node);
00863     }
00864     public void inAAssert(AAssert node)
00865     {
00866         defaultIn(node);
00867     }
00868     public void inAAssertDef(AAssertDef node)
00869     {
00870         defaultIn(node);
00871     }
00872     public void inAAssertionImport(AAssertionImport node)
00873     {
00874         defaultIn(node);
00875     }
00876     public void inABinaryExp(ABinaryExp node)
00877     {
00878         defaultIn(node);
00879     }
00880     public void inACommaFormatWord(ACommaFormatWord node)
00881     {
00882         defaultIn(node);
00883     }
00884     public void inACommaWord(ACommaWord node)
00885     {
00886         defaultIn(node);
00887     }
00888     public void inAComplementExp(AComplementExp node)
00889     {
00890         defaultIn(node);
00891     }
00892     public void inAComplementUnaryExp(AComplementUnaryExp node)
00893     {
00894         defaultIn(node);
00895     }
00896     public void inADotFormatWord(ADotFormatWord node)
00897     {
00898         defaultIn(node);
00899     }
00900     public void inADotWord(ADotWord node)
00901     {
00902         defaultIn(node);
00903     }
00904     public void inAExactQtlBinding(AExactQtlBinding node)
00905     {
00906         defaultIn(node);
00907     }
00908     public void inAExpWord(AExpWord node)
00909     {
00910         defaultIn(node);
00911     }
00912     public void inAFilterTypeOp(AFilterTypeOp node)
00913     {
00914         defaultIn(node);
00915     }
00916     public void inAFormat(AFormat node)
00917     {
00918         defaultIn(node);
00919     }
00920     public void inAFormatUnit(AFormatUnit node)
00921     {
00922         defaultIn(node);
00923     }
00924     public void inAHoleFormatWord(AHoleFormatWord node)
00925     {
00926         defaultIn(node);
00927     }
00928     public void inAIdArgs(AIdArgs node)
00929     {
00930         defaultIn(node);
00931     }
00932     public void inAIdFormatWord(AIdFormatWord node)
00933     {
00934         defaultIn(node);
00935     }
00936     public void inAIdIds(AIdIds node)
00937     {
00938         defaultIn(node);
00939     }
00940     public void inAIdsIds(AIdsIds node)
00941     {
00942         defaultIn(node);
00943     }
00944     public void inAIdWord(AIdWord node)
00945     {
00946         defaultIn(node);
00947     }
00948     public void inAImplicationExp(AImplicationExp node)
00949     {
00950         defaultIn(node);
00951     }
00952     public void inAImplyBinOp(AImplyBinOp node)
00953     {
00954         defaultIn(node);
00955     }
00956     public void inAImplyImplicationExp(AImplyImplicationExp node)
00957     {
00958         defaultIn(node);
00959     }
00960     public void inAInstanceQtlBinding(AInstanceQtlBinding node)
00961     {
00962         defaultIn(node);
00963     }
00964     public void inANameImportNames(ANameImportNames node)
00965     {
00966         defaultIn(node);
00967     }
00968     public void inANameNames(ANameNames node)
00969     {
00970         defaultIn(node);
00971     }
00972     public void inANamePrimaryTypeExp(ANamePrimaryTypeExp node)
00973     {
00974         defaultIn(node);
00975     }
00976     public void inANamesImportNames(ANamesImportNames node)
00977     {
00978         defaultIn(node);
00979     }
00980     public void inANamesNames(ANamesNames node)
00981     {
00982         defaultIn(node);
00983     }
00984     public void inANumberFormatWord(ANumberFormatWord node)
00985     {
00986         defaultIn(node);
00987     }
00988     public void inANumberWord(ANumberWord node)
00989     {
00990         defaultIn(node);
00991     }
00992     public void inAOnDemandImportName(AOnDemandImportName node)
00993     {
00994         defaultIn(node);
00995     }
00996     public void inAOpTypeExp(AOpTypeExp node)
00997     {
00998         defaultIn(node);
00999     }
01000     public void inAOrBinOp(AOrBinOp node)
01001     {
01002         defaultIn(node);
01003     }
01004     public void inAOrImplicationExp(AOrImplicationExp node)
01005     {
01006         defaultIn(node);
01007     }
01008     public void inAOrOrExp(AOrOrExp node)
01009     {
01010         defaultIn(node);
01011     }
01012     public void inAParenExp(AParenExp node)
01013     {
01014         defaultIn(node);
01015     }
01016     public void inAParenPrimaryExp(AParenPrimaryExp node)
01017     {
01018         defaultIn(node);
01019     }
01020     public void inAParenPrimaryTypeExp(AParenPrimaryTypeExp node)
01021     {
01022         defaultIn(node);
01023     }
01024     public void inAPredicateExp(APredicateExp node)
01025     {
01026         defaultIn(node);
01027     }
01028     public void inAPredicateImport(APredicateImport node)
01029     {
01030         defaultIn(node);
01031     }
01032     public void inAPredicatePrimaryExp(APredicatePrimaryExp node)
01033     {
01034         defaultIn(node);
01035     }
01036     public void inAPrimaryTypeExp(APrimaryTypeExp node)
01037     {
01038         defaultIn(node);
01039     }
01040     public void inAPrimaryUnaryExp(APrimaryUnaryExp node)
01041     {
01042         defaultIn(node);
01043     }
01044     public void inAPropertiesUnit(APropertiesUnit node)
01045     {
01046         defaultIn(node);
01047     }
01048     public void inAQtl(AQtl node)
01049     {
01050         defaultIn(node);
01051     }
01052     public void inAQualifiedName(AQualifiedName node)
01053     {
01054         defaultIn(node);
01055     }
01056     public void inASimpleName(ASimpleName node)
01057     {
01058         defaultIn(node);
01059     }
01060     public void inASpecificImportName(ASpecificImportName node)
01061     {
01062         defaultIn(node);
01063     }
01064     public void inATl(ATl node)
01065     {
01066         defaultIn(node);
01067     }
01068     public void inATlDef(ATlDef node)
01069     {
01070         defaultIn(node);
01071     }
01072     public void inATypeImport(ATypeImport node)
01073     {
01074         defaultIn(node);
01075     }
01076     public void inAUnaryAndExp(AUnaryAndExp node)
01077     {
01078         defaultIn(node);
01079     }
01080     public void inAUnionTypeOp(AUnionTypeOp node)
01081     {
01082         defaultIn(node);
01083     }
01084     public void inStart(Start node)
01085     {
01086         defaultIn(node);
01087     }
01088     public void outAAndAndExp(AAndAndExp node)
01089     {
01090         defaultOut(node);
01091     }
01092     public void outAAndBinOp(AAndBinOp node)
01093     {
01094         defaultOut(node);
01095     }
01096     public void outAAndOrExp(AAndOrExp node)
01097     {
01098         defaultOut(node);
01099     }
01100     public void outAArgsArgs(AArgsArgs node)
01101     {
01102         defaultOut(node);
01103     }
01104     public void outAAssert(AAssert node)
01105     {
01106         defaultOut(node);
01107     }
01108     public void outAAssertDef(AAssertDef node)
01109     {
01110         defaultOut(node);
01111     }
01112     public void outAAssertionImport(AAssertionImport node)
01113     {
01114         defaultOut(node);
01115     }
01116     public void outABinaryExp(ABinaryExp node)
01117     {
01118         defaultOut(node);
01119     }
01120     public void outACommaFormatWord(ACommaFormatWord node)
01121     {
01122         defaultOut(node);
01123     }
01124     public void outACommaWord(ACommaWord node)
01125     {
01126         defaultOut(node);
01127     }
01128     public void outAComplementExp(AComplementExp node)
01129     {
01130         defaultOut(node);
01131     }
01132     public void outAComplementUnaryExp(AComplementUnaryExp node)
01133     {
01134         defaultOut(node);
01135     }
01136     public void outADotFormatWord(ADotFormatWord node)
01137     {
01138         defaultOut(node);
01139     }
01140     public void outADotWord(ADotWord node)
01141     {
01142         defaultOut(node);
01143     }
01144     public void outAExactQtlBinding(AExactQtlBinding node)
01145     {
01146         defaultOut(node);
01147     }
01148     public void outAExpWord(AExpWord node)
01149     {
01150         defaultOut(node);
01151     }
01152     public void outAFilterTypeOp(AFilterTypeOp node)
01153     {
01154         defaultOut(node);
01155     }
01156     public void outAFormat(AFormat node)
01157     {
01158         defaultOut(node);
01159     }
01160     public void outAFormatUnit(AFormatUnit node)
01161     {
01162         defaultOut(node);
01163     }
01164     public void outAHoleFormatWord(AHoleFormatWord node)
01165     {
01166         defaultOut(node);
01167     }
01168     public void outAIdArgs(AIdArgs node)
01169     {
01170         defaultOut(node);
01171     }
01172     public void outAIdFormatWord(AIdFormatWord node)
01173     {
01174         defaultOut(node);
01175     }
01176     public void outAIdIds(AIdIds node)
01177     {
01178         defaultOut(node);
01179     }
01180     public void outAIdsIds(AIdsIds node)
01181     {
01182         defaultOut(node);
01183     }
01184     public void outAIdWord(AIdWord node)
01185     {
01186         defaultOut(node);
01187     }
01188     public void outAImplicationExp(AImplicationExp node)
01189     {
01190         defaultOut(node);
01191     }
01192     public void outAImplyBinOp(AImplyBinOp node)
01193     {
01194         defaultOut(node);
01195     }
01196     public void outAImplyImplicationExp(AImplyImplicationExp node)
01197     {
01198         defaultOut(node);
01199     }
01200     public void outAInstanceQtlBinding(AInstanceQtlBinding node)
01201     {
01202         defaultOut(node);
01203     }
01204     public void outANameImportNames(ANameImportNames node)
01205     {
01206         defaultOut(node);
01207     }
01208     public void outANameNames(ANameNames node)
01209     {
01210         defaultOut(node);
01211     }
01212     public void outANamePrimaryTypeExp(ANamePrimaryTypeExp node)
01213     {
01214         defaultOut(node);
01215     }
01216     public void outANamesImportNames(ANamesImportNames node)
01217     {
01218         defaultOut(node);
01219     }
01220     public void outANamesNames(ANamesNames node)
01221     {
01222         defaultOut(node);
01223     }
01224     public void outANumberFormatWord(ANumberFormatWord node)
01225     {
01226         defaultOut(node);
01227     }
01228     public void outANumberWord(ANumberWord node)
01229     {
01230         defaultOut(node);
01231     }
01232     public void outAOnDemandImportName(AOnDemandImportName node)
01233     {
01234         defaultOut(node);
01235     }
01236     public void outAOpTypeExp(AOpTypeExp node)
01237     {
01238         defaultOut(node);
01239     }
01240     public void outAOrBinOp(AOrBinOp node)
01241     {
01242         defaultOut(node);
01243     }
01244     public void outAOrImplicationExp(AOrImplicationExp node)
01245     {
01246         defaultOut(node);
01247     }
01248     public void outAOrOrExp(AOrOrExp node)
01249     {
01250         defaultOut(node);
01251     }
01252     public void outAParenExp(AParenExp node)
01253     {
01254         defaultOut(node);
01255     }
01256     public void outAParenPrimaryExp(AParenPrimaryExp node)
01257     {
01258         defaultOut(node);
01259     }
01260     public void outAParenPrimaryTypeExp(AParenPrimaryTypeExp node)
01261     {
01262         defaultOut(node);
01263     }
01264     public void outAPredicateExp(APredicateExp node)
01265     {
01266         defaultOut(node);
01267     }
01268     public void outAPredicateImport(APredicateImport node)
01269     {
01270         defaultOut(node);
01271     }
01272     public void outAPredicatePrimaryExp(APredicatePrimaryExp node)
01273     {
01274         defaultOut(node);
01275     }
01276     public void outAPrimaryTypeExp(APrimaryTypeExp node)
01277     {
01278         defaultOut(node);
01279     }
01280     public void outAPrimaryUnaryExp(APrimaryUnaryExp node)
01281     {
01282         defaultOut(node);
01283     }
01284     public void outAPropertiesUnit(APropertiesUnit node)
01285     {
01286         defaultOut(node);
01287     }
01288     public void outAQtl(AQtl node)
01289     {
01290         defaultOut(node);
01291     }
01292     public void outAQualifiedName(AQualifiedName node)
01293     {
01294         defaultOut(node);
01295     }
01296     public void outASimpleName(ASimpleName node)
01297     {
01298         defaultOut(node);
01299     }
01300     public void outASpecificImportName(ASpecificImportName node)
01301     {
01302         defaultOut(node);
01303     }
01304     public void outATl(ATl node)
01305     {
01306         defaultOut(node);
01307     }
01308     public void outATlDef(ATlDef node)
01309     {
01310         defaultOut(node);
01311     }
01312     public void outATypeImport(ATypeImport node)
01313     {
01314         defaultOut(node);
01315     }
01316     public void outAUnaryAndExp(AUnaryAndExp node)
01317     {
01318         defaultOut(node);
01319     }
01320     public void outAUnionTypeOp(AUnionTypeOp node)
01321     {
01322         defaultOut(node);
01323     }
01324     public void outStart(Start node)
01325     {
01326         defaultOut(node);
01327     }
01328 }