src/main/gov/nasa/jpf/jvm/JVMByteCodeReaderAdapter.java

   1 /*
   2  * Copyright (C) 2014, United States Government, as represented by the
   3  * Administrator of the National Aeronautics and Space Administration.
   4  * All rights reserved.
   5  *
   6  * The Java Pathfinder core (jpf-core) platform is licensed under the
   7  * Apache License, Version 2.0 (the "License"); you may not use this file except
   8  * in compliance with the License. You may obtain a copy of the License at
   9  *
  10  *        http://www.apache.org/licenses/LICENSE-2.0.
  11  *
  12  * Unless required by applicable law or agreed to in writing, software
  13  * distributed under the License is distributed on an "AS IS" BASIS,
  14  * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
  15  * See the License for the specific language governing permissions and
  16  * limitations under the License.
  17  */
  18
  19 package gov.nasa.jpf.jvm;
  20
  21 import gov.nasa.jpf.jvm.JVMByteCodeReader;
  22
  23 /**
  24  * empty implementation of a JVMByteCodeReader, to efficiently allow overriding
  25  * single methods
  26  */
  27 public class JVMByteCodeReaderAdapter implements JVMByteCodeReader {
  28
  29   @Override
  30   public void aconst_null() {}
  31   @Override
  32   public void aload(int localVarIndex) {}
  33   @Override
  34   public void aload_0() {}
  35   @Override
  36   public void aload_1() {}
  37   @Override
  38   public void aload_2() {}
  39   @Override
  40   public void aload_3() {}
  41   @Override
  42   public void aaload() {}
  43   @Override
  44   public void astore(int localVarIndex) {}
  45   @Override
  46   public void astore_0() {}
  47   @Override
  48   public void astore_1() {}
  49   @Override
  50   public void astore_2() {}
  51   @Override
  52   public void astore_3() {}
  53   @Override
  54   public void aastore() {}
  55   @Override
  56   public void areturn() {}
  57   @Override
  58   public void anewarray(int cpClassIndex) {}
  59   @Override
  60   public void arraylength() {}
  61   @Override
  62   public void athrow() {}
  63
  64   @Override
  65   public void baload() {}
  66   @Override
  67   public void bastore() {}
  68   @Override
  69   public void bipush(int b) {}
  70
  71   @Override
  72   public void caload() {}
  73   @Override
  74   public void castore() {}
  75   @Override
  76   public void checkcast(int cpClassIndex) {}
  77
  78   @Override
  79   public void d2f() {}
  80   @Override
  81   public void d2i() {}
  82   @Override
  83   public void d2l() {}
  84   @Override
  85   public void dadd() {}
  86   @Override
  87   public void daload() {}
  88   @Override
  89   public void dastore() {}
  90   @Override
  91   public void dcmpg() {}
  92   @Override
  93   public void dcmpl() {}
  94   @Override
  95   public void dconst_0() {}
  96   @Override
  97   public void dconst_1() {}
  98   @Override
  99   public void ddiv() {}
 100   @Override
 101   public void dload(int localVarIndex) {}
 102   @Override
 103   public void dload_0() {}
 104   @Override
 105   public void dload_1() {}
 106   @Override
 107   public void dload_2() {}
 108   @Override
 109   public void dload_3() {}
 110   @Override
 111   public void dmul() {}
 112   @Override
 113   public void dneg() {}
 114   @Override
 115   public void drem() {}
 116   @Override
 117   public void dreturn() {}
 118   @Override
 119   public void dstore(int localVarIndex) {}
 120   @Override
 121   public void dstore_0() {}
 122   @Override
 123   public void dstore_1() {}
 124   @Override
 125   public void dstore_2() {}
 126   @Override
 127   public void dstore_3() {}
 128   @Override
 129   public void dsub() {}
 130   @Override
 131   public void dup() {}
 132   @Override
 133   public void dup_x1() {}
 134   @Override
 135   public void dup_x2() {}
 136   @Override
 137   public void dup2() {}
 138   @Override
 139   public void dup2_x1() {}
 140   @Override
 141   public void dup2_x2() {}
 142
 143   @Override
 144   public void f2d() {}
 145   @Override
 146   public void f2i() {}
 147   @Override
 148   public void f2l() {}
 149   @Override
 150   public void fadd() {}
 151   @Override
 152   public void faload() {}
 153   @Override
 154   public void fastore() {}
 155   @Override
 156   public void fcmpg() {}
 157   @Override
 158   public void fcmpl() {}
 159   @Override
 160   public void fconst_0() {}
 161   @Override
 162   public void fconst_1() {}
 163   @Override
 164   public void fconst_2() {}
 165   @Override
 166   public void fdiv() {}
 167   @Override
 168   public void fload(int localVarIndex) {}
 169   @Override
 170   public void fload_0() {}
 171   @Override
 172   public void fload_1() {}
 173   @Override
 174   public void fload_2() {}
 175   @Override
 176   public void fload_3() {}
 177   @Override
 178   public void fmul() {}
 179   @Override
 180   public void fneg() {}
 181   @Override
 182   public void frem() {}
 183   @Override
 184   public void freturn() {}
 185   @Override
 186   public void fstore(int localVarIndex) {}
 187   @Override
 188   public void fstore_0() {}
 189   @Override
 190   public void fstore_1() {}
 191   @Override
 192   public void fstore_2() {}
 193   @Override
 194   public void fstore_3() {}
 195   @Override
 196   public void fsub() {}
 197
 198   @Override
 199   public void getfield(int cpFieldRefIndex) {}
 200   @Override
 201   public void getstatic(int cpFieldRefIndex) {}
 202   @Override
 203   public void goto_(int pcOffset) {}
 204   @Override
 205   public void goto_w (int pcOffset) {}
 206
 207   @Override
 208   public void i2b() {}
 209   @Override
 210   public void i2c() {}
 211   @Override
 212   public void i2d() {}
 213   @Override
 214   public void i2f() {}
 215   @Override
 216   public void i2l() {}
 217   @Override
 218   public void i2s() {}
 219   @Override
 220   public void iadd() {}
 221   @Override
 222   public void iaload() {}
 223   @Override
 224   public void iand() {}
 225   @Override
 226   public void iastore() {}
 227   @Override
 228   public void iconst_m1() {}
 229   @Override
 230   public void iconst_0() {}
 231   @Override
 232   public void iconst_1() {}
 233   @Override
 234   public void iconst_2() {}
 235   @Override
 236   public void iconst_3() {}
 237   @Override
 238   public void iconst_4() {}
 239   @Override
 240   public void iconst_5() {}
 241   @Override
 242   public void idiv() {}
 243   @Override
 244   public void if_acmpeq(int pcOffset) {}
 245   @Override
 246   public void if_acmpne(int pcOffset) {}
 247   @Override
 248   public void if_icmpeq(int pcOffset) {}
 249   @Override
 250   public void if_icmpne(int pcOffset) {}
 251   @Override
 252   public void if_icmplt(int pcOffset) {}
 253   @Override
 254   public void if_icmpge(int pcOffset) {}
 255   @Override
 256   public void if_icmpgt(int pcOffset) {}
 257   @Override
 258   public void if_icmple(int pcOffset) {}
 259   @Override
 260   public void ifeq(int pcOffset) {}
 261   @Override
 262   public void ifne(int pcOffset) {}
 263   @Override
 264   public void iflt(int pcOffset) {}
 265   @Override
 266   public void ifge(int pcOffset) {}
 267   @Override
 268   public void ifgt(int pcOffset) {}
 269   @Override
 270   public void ifle(int pcOffset) {}
 271   @Override
 272   public void ifnonnull(int pcOffset) {}
 273   @Override
 274   public void ifnull(int pcOffset) {}
 275   @Override
 276   public void iinc(int localVarIndex, int incConstant) {}
 277   @Override
 278   public void iload(int localVarIndex) {}
 279   @Override
 280   public void iload_0() {}
 281   @Override
 282   public void iload_1() {}
 283   @Override
 284   public void iload_2() {}
 285   @Override
 286   public void iload_3() {}
 287   @Override
 288   public void imul() {}
 289   @Override
 290   public void ineg() {}
 291   @Override
 292   public void instanceof_(int cpClassIndex) {}
 293   @Override
 294   public void invokeinterface (int cpInterfaceMethodRefIndex, int count, int zero) {}
 295   @Override
 296   public void invokedynamic (int cpInvokeDynamicIndex) {}
 297   @Override
 298   public void invokespecial (int cpMethodRefIndex) {}
 299   @Override
 300   public void invokestatic (int cpMethodRefIndex) {}
 301   @Override
 302   public void invokevirtual (int cpMethodRefIndex) {}
 303   @Override
 304   public void ior() {}
 305   @Override
 306   public void irem() {}
 307   @Override
 308   public void ireturn() {}
 309   @Override
 310   public void ishl() {}
 311   @Override
 312   public void ishr() {}
 313   @Override
 314   public void istore(int localVarIndex) {}
 315   @Override
 316   public void istore_0() {}
 317   @Override
 318   public void istore_1() {}
 319   @Override
 320   public void istore_2() {}
 321   @Override
 322   public void istore_3() {}
 323   @Override
 324   public void isub() {}
 325   @Override
 326   public void iushr() {}
 327   @Override
 328   public void ixor() {}
 329
 330   @Override
 331   public void jsr(int pcOffset) {}
 332   @Override
 333   public void jsr_w(int pcOffset) {}
 334
 335   @Override
 336   public void l2d() {}
 337   @Override
 338   public void l2f() {}
 339   @Override
 340   public void l2i() {}
 341   @Override
 342   public void ladd() {}
 343   @Override
 344   public void laload() {}
 345   @Override
 346   public void land() {}
 347   @Override
 348   public void lastore() {}
 349   @Override
 350   public void lcmp() {}
 351   @Override
 352   public void lconst_0() {}
 353   @Override
 354   public void lconst_1() {}
 355   @Override
 356   public void ldc_(int cpIntOrFloatOrStringIndex) {}
 357   @Override
 358   public void ldc_w_(int cpIntOrFloatOrStringIndex) {}
 359   @Override
 360   public void ldc2_w(int cpLongOrDoubleIndex) {}
 361   @Override
 362   public void ldiv() {}
 363   @Override
 364   public void lload(int localVarIndex) {}
 365   @Override
 366   public void lload_0() {}
 367   @Override
 368   public void lload_1() {}
 369   @Override
 370   public void lload_2() {}
 371   @Override
 372   public void lload_3() {}
 373   @Override
 374   public void lmul() {}
 375   @Override
 376   public void lneg() {}
 377   @Override
 378   public void lookupswitch(int defaultPcOffset, int nEntries) {}
 379   @Override
 380   public void lookupswitchEntry(int index, int match, int pcOffset) {}
 381   @Override
 382   public void lor() {}
 383   @Override
 384   public void lrem() {}
 385   @Override
 386   public void lreturn() {}
 387   @Override
 388   public void lshl() {}
 389   @Override
 390   public void lshr() {}
 391   @Override
 392   public void lstore(int localVarIndex) {}
 393   @Override
 394   public void lstore_0() {}
 395   @Override
 396   public void lstore_1() {}
 397   @Override
 398   public void lstore_2() {}
 399   @Override
 400   public void lstore_3() {}
 401   @Override
 402   public void lsub() {}
 403   @Override
 404   public void lushr() {}
 405   @Override
 406   public void lxor() {}
 407
 408   @Override
 409   public void monitorenter() {}
 410   @Override
 411   public void monitorexit() {}
 412   @Override
 413   public void multianewarray(int cpClassIndex, int dimensions) {}
 414
 415   @Override
 416   public void new_(int cpClassIndex) {}
 417   @Override
 418   public void newarray(int typeCode) {}
 419   @Override
 420   public void nop() {}
 421
 422   @Override
 423   public void pop() {}
 424   @Override
 425   public void pop2() {}
 426   @Override
 427   public void putfield(int cpFieldRefIndex) {}
 428   @Override
 429   public void putstatic(int cpFieldRefIndex) {}
 430
 431   @Override
 432   public void ret(int localVarIndex) {}
 433   @Override
 434   public void return_() {}
 435
 436   @Override
 437   public void saload() {}
 438   @Override
 439   public void sastore() {}
 440   @Override
 441   public void sipush(int val) {}
 442   @Override
 443   public void swap() {}
 444
 445   @Override
 446   public void tableswitch(int defaultPcOffset, int low, int high) {}
 447   @Override
 448   public void tableswitchEntry(int value, int pcOffset) {}
 449
 450   @Override
 451   public void wide () {}
 452
 453   @Override
 454   public void unknown(int bytecode) {}
 455 }