var op : Int ·

var b : bytecode ·

rvm.GetNextBytecode(b);

While b <> null ·

b.GetOp(op);

if [] op = 0 ® rvm.nop;

[] op = 1 ® rvm.aconst_null;

[] op = 2 ® rvm.iconst_m1;

[] op = 3 ® rvm.iconst_0;

[] op = 4 ® rvm.iconst_1;

[] op = 5 ® rvm.iconst_2;

[] op = 6 ® rvm.iconst_3;

[] op = 7 ® rvm.iconst_4;

[] op = 8 ® rvm.iconst_5;

[] op = 18 ® rvm.ldc;

[] op = 25 ® rvm.load;

[] op = 58 ® rvm.store;

[] op = 87 ® rvm.pop;

[] op = 89 ® rvm.dup;

[] op = 96 ® rvm.iadd;

[] op = 100 ® rvm.isub;

[] op = 104 ® rvm.imul;

[] op = 108 ® rvm.idiv;

[] op = 116 ® rvm.ineg;

[] op = 153 ® rvm.ifeq;

[] op = 154 ® rvm.ifne;

[] op = 155 ® rvm.iflt;

[] op = 156 ® rvm.ifge;

[] op = 157 ® rvm.ifgt;

[] op = 158 ® rvm.ifle;

[] op = 159 ® rvm.ificmpeq;

[] op = 160 ® rvm.ificmpne;

[] op = 161 ® rvm.ificmplt;

[] op = 162 ® rvm.ificmpge;

[] op = 163 ® rvm.ificmpgt;

[] op = 164 ® rvm.ificmple;

[] op = 167 ® rvm.goto;

[] op = 177 ® rvm.return;

[] op = 180 ® rvm.getField;

[] op = 181 ® rvm.putField;

[] op = 182 ® rvm.invoke;

[] op = 187 ® rvm.new;

[] op = 193 ® rvm.instanceof;

fi

rvm.GetNextBytecode(b);

end

end end