2 * Copyright (C) 2014, United States Government, as represented by the
3 * Administrator of the National Aeronautics and Space Administration.
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
10 * http://www.apache.org/licenses/LICENSE-2.0.
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.
19 package gov.nasa.jpf.jvm.bytecode;
21 import gov.nasa.jpf.vm.Instruction;
22 import gov.nasa.jpf.vm.ThreadInfo;
25 * modifies following insn, no stack manipulation
26 * NOTE: transparently handled by BCEL, we should never receive this
28 * (1): <iload,fload,aload,lload,dload,istore,fstore,astore,lstore,dstore,ret> indexbyte1 indexbyte2
29 * (2): <iinc> indexbyte1 indexbyte2 constbyte1 constbyte2
32 public class WIDE extends Instruction implements JVMInstruction {
34 // would have to be checked and reset by following insn
35 public static boolean isWide = false;
38 public int getByteCode() {
43 public Instruction execute(ThreadInfo ti) {
44 // nothing, BCEL doesn't even pass this on;
49 public void accept(JVMInstructionVisitor insVisitor) {
50 insVisitor.visit(this);