00001 package edu.ksu.cis.bandera.jext;
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036 import ca.mcgill.sable.soot.jimple.*;
00037
00038 public class IRNodes extends AbstractJimpleValueSwitch implements BanderaValueSwitch, BanderaStmtSwitch
00039 {
00040 Object result;
00041
00042 public void caseAddExpr(AddExpr v)
00043 {
00044 defaultCase(v);
00045 }
00046 public void caseAndExpr(AndExpr v)
00047 {
00048 defaultCase(v);
00049 }
00050 public void caseArrayRef(ArrayRef v)
00051 {
00052 defaultCase(v);
00053 }
00054 public void caseAssignStmt(AssignStmt stmt)
00055 {
00056 defaultCase(stmt);
00057 }
00058 public void caseBreakpointStmt(BreakpointStmt stmt)
00059 {
00060 defaultCase(stmt);
00061 }
00062 public void caseCastExpr(CastExpr v)
00063 {
00064 defaultCase(v);
00065 }
00066 public void caseCaughtExceptionRef(CaughtExceptionRef v)
00067 {
00068 defaultCase(v);
00069 }
00070 public void caseChooseExpr(ChooseExpr v)
00071 {
00072 defaultCase(v);
00073 }
00074 public void caseCmpExpr(CmpExpr v)
00075 {
00076 defaultCase(v);
00077 }
00078 public void caseCmpgExpr(CmpgExpr v)
00079 {
00080 defaultCase(v);
00081 }
00082 public void caseCmplExpr(CmplExpr v)
00083 {
00084 defaultCase(v);
00085 }
00086
00087
00088
00089
00090 public void caseComplementExpr(ComplementExpr expr) {
00091 defaultCase(expr);
00092 }
00093 public void caseDivExpr(DivExpr v)
00094 {
00095 defaultCase(v);
00096 }
00097 public void caseDoubleConstant(DoubleConstant v)
00098 {
00099 defaultCase(v);
00100 }
00101 public void caseEnterMonitorStmt(EnterMonitorStmt stmt)
00102 {
00103 defaultCase(stmt);
00104 }
00105 public void caseEqExpr(EqExpr v)
00106 {
00107 defaultCase(v);
00108 }
00109 public void caseExitMonitorStmt(ExitMonitorStmt stmt)
00110 {
00111 defaultCase(stmt);
00112 }
00113 public void caseFloatConstant(FloatConstant v)
00114 {
00115 defaultCase(v);
00116 }
00117 public void caseGeExpr(GeExpr v)
00118 {
00119 defaultCase(v);
00120 }
00121 public void caseGotoStmt(GotoStmt stmt)
00122 {
00123 defaultCase(stmt);
00124 }
00125 public void caseGtExpr(GtExpr v) {
00126 defaultCase(v);
00127 }
00128 public void caseIdentityStmt(IdentityStmt stmt)
00129 {
00130 defaultCase(stmt);
00131 }
00132 public void caseIfStmt(IfStmt stmt)
00133 {
00134 defaultCase(stmt);
00135 }
00136
00137
00138
00139
00140 public void caseInExpr(InExpr v) {
00141 defaultCase(v);
00142 }
00143 public void caseInstanceFieldRef(InstanceFieldRef v)
00144 {
00145 defaultCase(v);
00146 }
00147 public void caseInstanceOfExpr(InstanceOfExpr v)
00148 {
00149 defaultCase(v);
00150 }
00151 public void caseIntConstant(IntConstant v)
00152 {
00153 defaultCase(v);
00154 }
00155 public void caseInterfaceInvokeExpr(InterfaceInvokeExpr v)
00156 {
00157 defaultCase(v);
00158 }
00159 public void caseInvokeStmt(InvokeStmt stmt)
00160 {
00161 defaultCase(stmt);
00162 }
00163 public void caseLeExpr(LeExpr v)
00164 {
00165 defaultCase(v);
00166 }
00167 public void caseLengthExpr(LengthExpr v)
00168 {
00169 defaultCase(v);
00170 }
00171 public void caseLocal(Local v)
00172 {
00173 defaultCase(v);
00174 }
00175
00176
00177
00178
00179 public void caseLocalExpr(LocalExpr v) {
00180 defaultCase(v);
00181 }
00182
00183
00184
00185
00186 public void caseLocationTestExpr(LocationTestExpr e) {
00187 defaultCase(e);
00188 }
00189
00190
00191
00192
00193 public void caseLogicalAndExpr(LogicalAndExpr expr) {
00194 defaultCase(expr);
00195 }
00196
00197
00198
00199
00200 public void caseLogicalOrExpr(LogicalOrExpr expr) {
00201 defaultCase(expr);
00202 }
00203 public void caseLongConstant(LongConstant v)
00204 {
00205 defaultCase(v);
00206 }
00207 public void caseLookupSwitchStmt(LookupSwitchStmt stmt)
00208 {
00209 defaultCase(stmt);
00210 }
00211 public void caseLtExpr(LtExpr v)
00212 {
00213 defaultCase(v);
00214 }
00215 public void caseMulExpr(MulExpr v)
00216 {
00217 defaultCase(v);
00218 }
00219 public void caseNeExpr(NeExpr v)
00220 {
00221 defaultCase(v);
00222 }
00223 public void caseNegExpr(NegExpr v)
00224 {
00225 defaultCase(v);
00226 }
00227 public void caseNewArrayExpr(NewArrayExpr v)
00228 {
00229 defaultCase(v);
00230 }
00231 public void caseNewExpr(NewExpr v)
00232 {
00233 defaultCase(v);
00234 }
00235 public void caseNewInvokeExpr(NewInvokeExpr v)
00236 {
00237 defaultCase(v);
00238 }
00239 public void caseNewMultiArrayExpr(NewMultiArrayExpr v)
00240 {
00241 defaultCase(v);
00242 }
00243 public void caseNopStmt(NopStmt stmt)
00244 {
00245 defaultCase(stmt);
00246 }
00247 public void caseNullConstant(NullConstant v)
00248 {
00249 defaultCase(v);
00250 }
00251 public void caseOrExpr(OrExpr v)
00252 {
00253 defaultCase(v);
00254 }
00255 public void caseParameterRef(ParameterRef v)
00256 {
00257 defaultCase(v);
00258 }
00259 public void caseRemExpr(RemExpr v)
00260 {
00261 defaultCase(v);
00262 }
00263 public void caseRetStmt(RetStmt stmt)
00264 {
00265 defaultCase(stmt);
00266 }
00267 public void caseReturnStmt(ReturnStmt stmt)
00268 {
00269 defaultCase(stmt);
00270 }
00271 public void caseReturnVoidStmt(ReturnVoidStmt stmt)
00272 {
00273 defaultCase(stmt);
00274 }
00275 public void caseShlExpr(ShlExpr v)
00276 {
00277 defaultCase(v);
00278 }
00279 public void caseShrExpr(ShrExpr v)
00280 {
00281 defaultCase(v);
00282 }
00283 public void caseSpecialInvokeExpr(SpecialInvokeExpr v)
00284 {
00285 defaultCase(v);
00286 }
00287 public void caseStaticFieldRef(StaticFieldRef v)
00288 {
00289 defaultCase(v);
00290 }
00291 public void caseStaticInvokeExpr(StaticInvokeExpr v)
00292 {
00293 defaultCase(v);
00294 }
00295 public void caseStringConstant(StringConstant v)
00296 {
00297 defaultCase(v);
00298 }
00299 public void caseSubExpr(SubExpr v)
00300 {
00301 defaultCase(v);
00302 }
00303 public void caseTableSwitchStmt(TableSwitchStmt stmt)
00304 {
00305 defaultCase(stmt);
00306 }
00307 public void caseThisRef(ThisRef v)
00308 {
00309 defaultCase(v);
00310 }
00311 public void caseThrowStmt(ThrowStmt stmt)
00312 {
00313 defaultCase(stmt);
00314 }
00315 public void caseUshrExpr(UshrExpr v)
00316 {
00317 defaultCase(v);
00318 }
00319 public void caseVirtualInvokeExpr(VirtualInvokeExpr v)
00320 {
00321 defaultCase(v);
00322 }
00323 public void caseXorExpr(XorExpr v)
00324 {
00325 defaultCase(v);
00326 }
00327 public void defaultCase(Object v)
00328 {
00329 }
00330 public Object getResult()
00331 {
00332 return result;
00333 }
00334 public void setResult(Object result)
00335 {
00336 this.result = result;
00337 }
00338 }