Analysis.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 interface Analysis extends Switch
00040 {
00041     void caseAAllocation(AAllocation node);
00042     void caseAAllocationAction(AAllocationAction node);
00043     void caseAAndExpr6(AAndExpr6 node);
00044     void caseAArraylength(AArraylength node);
00045     void caseAArraylengthExpr0(AArraylengthExpr0 node);
00046     void caseAArraylengthLhs(AArraylengthLhs node);
00047     void caseAArrayselectExpr0(AArrayselectExpr0 node);
00048     void caseAArrayselectLhs(AArrayselectLhs node);
00049     void caseAArrayTypespec(AArrayTypespec node);
00050     void caseAAssertaction(AAssertaction node);
00051     void caseAAssertactionAction(AAssertactionAction node);
00052     void caseAAssignment(AAssignment node);
00053     void caseAAssignmentAction(AAssignmentAction node);
00054     void caseAAtlocationThreadtest(AAtlocationThreadtest node);
00055     void caseABooleanTypespec(ABooleanTypespec node);
00056     void caseABoolValue(ABoolValue node);
00057     void caseAChoice(AChoice node);
00058     void caseAChoiceAction(AChoiceAction node);
00059     void caseAChoicetail(AChoicetail node);
00060     void caseACollection(ACollection node);
00061     void caseACollectionGlobal(ACollectionGlobal node);
00062     void caseAConstantDefinition(AConstantDefinition node);
00063     void caseADefinedType(ADefinedType node);
00064     void caseADivExpr2(ADivExpr2 node);
00065     void caseAEmptyLiveset(AEmptyLiveset node);
00066     void caseAEnumdeftail(AEnumdeftail node);
00067     void caseAEnumeratedTypespec(AEnumeratedTypespec node);
00068     void caseAEqExpr5(AEqExpr5 node);
00069     void caseAExitThreadop(AExitThreadop node);
00070     void caseAExpr(AExpr node);
00071     void caseAExpr0Expr1(AExpr0Expr1 node);
00072     void caseAExpr1Expr2(AExpr1Expr2 node);
00073     void caseAExpr2Expr3(AExpr2Expr3 node);
00074     void caseAExpr3Expr4(AExpr3Expr4 node);
00075     void caseAExpr4Expr5(AExpr4Expr5 node);
00076     void caseAExpr5Expr6(AExpr5Expr6 node);
00077     void caseAExpr6Expr7(AExpr6Expr7 node);
00078     void caseAFalseBool(AFalseBool node);
00079     void caseAField(AField node);
00080     void caseAFieldselectExpr0(AFieldselectExpr0 node);
00081     void caseAFieldselectLhs(AFieldselectLhs node);
00082     void caseAGeExpr4(AGeExpr4 node);
00083     void caseAGtExpr4(AGtExpr4 node);
00084     void caseAHaslockLocktestop(AHaslockLocktestop node);
00085     void caseAIdConst(AIdConst node);
00086     void caseAIdValue(AIdValue node);
00087     void caseAInitializer(AInitializer node);
00088     void caseAInstanceofExpr0(AInstanceofExpr0 node);
00089     void caseAIntConst(AIntConst node);
00090     void caseAIntegerValue(AIntegerValue node);
00091     void caseAJoinThreadop(AJoinThreadop node);
00092     void caseALeExpr4(ALeExpr4 node);
00093     void caseALivevar(ALivevar node);
00094     void caseALocation(ALocation node);
00095     void caseALockavailableLocktestop(ALockavailableLocktestop node);
00096     void caseALockLockOp(ALockLockOp node);
00097     void caseALocktest(ALocktest node);
00098     void caseALocktestExpr0(ALocktestExpr0 node);
00099     void caseALockTypespec(ALockTypespec node);
00100     void caseALockupdate(ALockupdate node);
00101     void caseALockupdateAction(ALockupdateAction node);
00102     void caseALtExpr4(ALtExpr4 node);
00103     void caseAMinusExpr1(AMinusExpr1 node);
00104     void caseAMinusExpr3(AMinusExpr3 node);
00105     void caseAModExpr2(AModExpr2 node);
00106     void caseAMorePrintargs(AMorePrintargs node);
00107     void caseAMultExpr2(AMultExpr2 node);
00108     void caseANameEnumconst(ANameEnumconst node);
00109     void caseANamevalueEnumconst(ANamevalueEnumconst node);
00110     void caseANonemptyLiveset(ANonemptyLiveset node);
00111     void caseANoteqExpr5(ANoteqExpr5 node);
00112     void caseANotExpr1(ANotExpr1 node);
00113     void caseANotifyallLockOp(ANotifyallLockOp node);
00114     void caseANotifyLockOp(ANotifyLockOp node);
00115     void caseANullValue(ANullValue node);
00116     void caseAOnePrintargs(AOnePrintargs node);
00117     void caseAOrExpr7(AOrExpr7 node);
00118     void caseAParenexprExpr0(AParenexprExpr0 node);
00119     void caseAPlusExpr1(APlusExpr1 node);
00120     void caseAPlusExpr3(APlusExpr3 node);
00121     void caseAPredicate(APredicate node);
00122     void caseAPredicates(APredicates node);
00123     void caseAPrintaction(APrintaction node);
00124     void caseAPrintactionAction(APrintactionAction node);
00125     void caseAProcess(AProcess node);
00126     void caseAProgram(AProgram node);
00127     void caseARangeTypespec(ARangeTypespec node);
00128     void caseARecordTypespec(ARecordTypespec node);
00129     void caseAReftail(AReftail node);
00130     void caseARefTypespec(ARefTypespec node);
00131     void caseARefValue(ARefValue node);
00132     void caseARemoterefExpr0(ARemoterefExpr0 node);
00133     void caseAStartThreadop(AStartThreadop node);
00134     void caseAStringPrintarg(AStringPrintarg node);
00135     void caseATerminatedThreadtest(ATerminatedThreadtest node);
00136     void caseAThread(AThread node);
00137     void caseAThreadtestExpr0(AThreadtestExpr0 node);
00138     void caseAThreadupdate(AThreadupdate node);
00139     void caseAThreadupdateAction(AThreadupdateAction node);
00140     void caseATransformation(ATransformation node);
00141     void caseATrueBool(ATrueBool node);
00142     void caseATypedefDefinition(ATypedefDefinition node);
00143     void caseATypespecType(ATypespecType node);
00144     void caseAUnlockLockOp(AUnlockLockOp node);
00145     void caseAUnwaitLockOp(AUnwaitLockOp node);
00146     void caseAValueExpr0(AValueExpr0 node);
00147     void caseAValueLhs(AValueLhs node);
00148     void caseAVariable(AVariable node);
00149     void caseAVariableGlobal(AVariableGlobal node);
00150     void caseAVarPrintarg(AVarPrintarg node);
00151     void caseAWaitLockOp(AWaitLockOp node);
00152     void caseAWasnotifiedLocktestop(AWasnotifiedLocktestop node);
00153     void caseEOF(EOF node);
00154     void caseStart(Start node);
00155     void caseTAnd(TAnd node);
00156     void caseTArray(TArray node);
00157     void caseTAssert(TAssert node);
00158     void caseTAssign(TAssign node);
00159     void caseTAt(TAt node);
00160     void caseTBar(TBar node);
00161     void caseTBoolean(TBoolean node);
00162     void caseTChoose(TChoose node);
00163     void caseTCollection(TCollection node);
00164     void caseTColon(TColon node);
00165     void caseTComma(TComma node);
00166     void caseTComment(TComment node);
00167     void caseTDiv(TDiv node);
00168     void caseTDo(TDo node);
00169     void caseTDot(TDot node);
00170     void caseTDotdot(TDotdot node);
00171     void caseTEnd(TEnd node);
00172     void caseTEnum(TEnum node);
00173     void caseTEq(TEq node);
00174     void caseTEquals(TEquals node);
00175     void caseTExit(TExit node);
00176     void caseTFalse(TFalse node);
00177     void caseTGe(TGe node);
00178     void caseTGoto(TGoto node);
00179     void caseTGt(TGt node);
00180     void caseTHaslock(THaslock node);
00181     void caseTId(TId node);
00182     void caseTInstanceof(TInstanceof node);
00183     void caseTInt(TInt node);
00184     void caseTInvisible(TInvisible node);
00185     void caseTJoin(TJoin node);
00186     void caseTLbrace(TLbrace node);
00187     void caseTLbrack(TLbrack node);
00188     void caseTLe(TLe node);
00189     void caseTLength(TLength node);
00190     void caseTLive(TLive node);
00191     void caseTLoc(TLoc node);
00192     void caseTLock(TLock node);
00193     void caseTLockavailable(TLockavailable node);
00194     void caseTLparen(TLparen node);
00195     void caseTLt(TLt node);
00196     void caseTMain(TMain node);
00197     void caseTMinus(TMinus node);
00198     void caseTMod(TMod node);
00199     void caseTMult(TMult node);
00200     void caseTNew(TNew node);
00201     void caseTNot(TNot node);
00202     void caseTNoteq(TNoteq node);
00203     void caseTNotify(TNotify node);
00204     void caseTNotifyall(TNotifyall node);
00205     void caseTNull(TNull node);
00206     void caseTOf(TOf node);
00207     void caseTOr(TOr node);
00208     void caseTPlus(TPlus node);
00209     void caseTPredicates(TPredicates node);
00210     void caseTPrintln(TPrintln node);
00211     void caseTProcess(TProcess node);
00212     void caseTRange(TRange node);
00213     void caseTRbrace(TRbrace node);
00214     void caseTRbrack(TRbrack node);
00215     void caseTRecord(TRecord node);
00216     void caseTReentrant(TReentrant node);
00217     void caseTRef(TRef node);
00218     void caseTRparen(TRparen node);
00219     void caseTSemicolon(TSemicolon node);
00220     void caseTStart(TStart node);
00221     void caseTString(TString node);
00222     void caseTThread(TThread node);
00223     void caseTThreadterminated(TThreadterminated node);
00224     void caseTTrue(TTrue node);
00225     void caseTUnlock(TUnlock node);
00226     void caseTUnwait(TUnwait node);
00227     void caseTWait(TWait node);
00228     void caseTWasnotified(TWasnotified node);
00229     void caseTWhen(TWhen node);
00230     void caseTWhitespace(TWhitespace node);
00231     Object getIn(Node node);
00232     Object getOut(Node node);
00233     void setIn(Node node, Object in);
00234     void setOut(Node node, Object out);
00235 }