src/main/gov/nasa/jpf/jvm/JVMByteCodeReader.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 /**
  22  * interface to process bytecode
  23  */
  24 public interface JVMByteCodeReader {
  25
  26   void aconst_null();
  27   void aload(int localVarIndex);
  28   void aload_0();
  29   void aload_1();
  30   void aload_2();
  31   void aload_3();
  32   void aaload();
  33   void astore(int localVarIndex);
  34   void astore_0();
  35   void astore_1();
  36   void astore_2();
  37   void astore_3();
  38   void aastore();
  39   void areturn();
  40   void anewarray(int cpClassIndex);
  41   void arraylength();
  42   void athrow();
  43
  44   void baload();
  45   void bastore();
  46   void bipush(int b);
  47
  48   void caload();
  49   void castore();
  50   void checkcast(int cpClassIndex);
  51
  52   void d2f();
  53   void d2i();
  54   void d2l();
  55   void dadd();
  56   void daload();
  57   void dastore();
  58   void dcmpg();
  59   void dcmpl();
  60   void dconst_0();
  61   void dconst_1();
  62   void ddiv();
  63   void dload(int localVarIndex);
  64   void dload_0();
  65   void dload_1();
  66   void dload_2();
  67   void dload_3();
  68   void dmul();
  69   void dneg();
  70   void drem();
  71   void dreturn();
  72   void dstore(int localVarIndex);
  73   void dstore_0();
  74   void dstore_1();
  75   void dstore_2();
  76   void dstore_3();
  77   void dsub();
  78   void dup();
  79   void dup_x1();
  80   void dup_x2();
  81   void dup2();
  82   void dup2_x1();
  83   void dup2_x2();
  84
  85   void f2d();
  86   void f2i();
  87   void f2l();
  88   void fadd();
  89   void faload();
  90   void fastore();
  91   void fcmpg();
  92   void fcmpl();
  93   void fconst_0();
  94   void fconst_1();
  95   void fconst_2();
  96   void fdiv();
  97   void fload(int localVarIndex);
  98   void fload_0();
  99   void fload_1();
 100   void fload_2();
 101   void fload_3();
 102   void fmul();
 103   void fneg();
 104   void frem();
 105   void freturn();
 106   void fstore(int localVarIndex);
 107   void fstore_0();
 108   void fstore_1();
 109   void fstore_2();
 110   void fstore_3();
 111   void fsub();
 112
 113   void getfield(int cpFieldRefIndex);
 114   void getstatic(int cpFieldRefIndex);
 115   void goto_(int pcOffset);
 116   void goto_w (int pcOffset);
 117
 118   void i2b();
 119   void i2c();
 120   void i2d();
 121   void i2f();
 122   void i2l();
 123   void i2s();
 124   void iadd();
 125   void iaload();
 126   void iand();
 127   void iastore();
 128   void iconst_m1();
 129   void iconst_0();
 130   void iconst_1();
 131   void iconst_2();
 132   void iconst_3();
 133   void iconst_4();
 134   void iconst_5();
 135   void idiv();
 136   void if_acmpeq(int pcOffset);
 137   void if_acmpne(int pcOffset);
 138   void if_icmpeq(int pcOffset);
 139   void if_icmpne(int pcOffset);
 140   void if_icmplt(int pcOffset);
 141   void if_icmpge(int pcOffset);
 142   void if_icmpgt(int pcOffset);
 143   void if_icmple(int pcOffset);
 144   void ifeq(int pcOffset);
 145   void ifne(int pcOffset);
 146   void iflt(int pcOffset);
 147   void ifge(int pcOffset);
 148   void ifgt(int pcOffset);
 149   void ifle(int pcOffset);
 150   void ifnonnull(int pcOffset);
 151   void ifnull(int pcOffset);
 152   void iinc(int localVarIndex, int incConstant);
 153   void iload(int localVarIndex);
 154   void iload_0();
 155   void iload_1();
 156   void iload_2();
 157   void iload_3();
 158   void imul();
 159   void ineg();
 160   void instanceof_(int cpClassIndex);
 161   void invokeinterface (int cpInterfaceMethodRefIndex, int count, int zero);
 162   void invokedynamic (int cpInvokeDynamicIndex);
 163   void invokespecial (int cpMethodRefIndex);
 164   void invokestatic (int cpMethodRefIndex);
 165   void invokevirtual (int cpMethodRefIndex);
 166   void ior();
 167   void irem();
 168   void ireturn();
 169   void ishl();
 170   void ishr();
 171   void istore(int localVarIndex);
 172   void istore_0();
 173   void istore_1();
 174   void istore_2();
 175   void istore_3();
 176   void isub();
 177   void iushr();
 178   void ixor();
 179
 180   void jsr(int pcOffset);
 181   void jsr_w(int pcOffset);
 182
 183   void l2d();
 184   void l2f();
 185   void l2i();
 186   void ladd();
 187   void laload();
 188   void land();
 189   void lastore();
 190   void lcmp();
 191   void lconst_0();
 192   void lconst_1();
 193   void ldc_(int cpIntOrFloatOrStringIndex);
 194   void ldc_w_(int cpIntOrFloatOrStringIndex);
 195   void ldc2_w(int cpLongOrDoubleIndex);
 196   void ldiv();
 197   void lload(int localVarIndex);
 198   void lload_0();
 199   void lload_1();
 200   void lload_2();
 201   void lload_3();
 202   void lmul();
 203   void lneg();
 204   void lookupswitch(int defaultPcOffset, int nEntries);
 205   void lookupswitchEntry(int index, int match, int pcOffset);
 206   void lor();
 207   void lrem();
 208   void lreturn();
 209   void lshl();
 210   void lshr();
 211   void lstore(int localVarIndex);
 212   void lstore_0();
 213   void lstore_1();
 214   void lstore_2();
 215   void lstore_3();
 216   void lsub();
 217   void lushr();
 218   void lxor();
 219
 220   void monitorenter();
 221   void monitorexit();
 222   void multianewarray(int cpClassIndex, int dimensions);
 223
 224   void new_(int cpClassIndex);
 225   void newarray(int typeCode);
 226   void nop();
 227
 228   void pop();
 229   void pop2();
 230   void putfield(int cpFieldRefIndex);
 231   void putstatic(int cpFieldRefIndex);
 232
 233   void ret(int localVarIndex);
 234   void return_();
 235
 236   void saload();
 237   void sastore();
 238   void sipush(int val);
 239   void swap();
 240
 241   void tableswitch(int defaultPcOffset, int low, int high);
 242   void tableswitchEntry(int value, int pcOffset);
 243
 244   void wide ();
 245
 246   void unknown(int bytecode);
 247 }