00001 package gov.nasa.arc.ase.jpf.jvm.bytecode;
00002
00003 import gov.nasa.arc.ase.jpf.jvm.SystemState;
00004 import gov.nasa.arc.ase.jpf.jvm.KernelState;
00005 import gov.nasa.arc.ase.jpf.jvm.ThreadInfo;
00006
00007 abstract class AbstractInstruction implements Instruction {
00008 public boolean examine(SystemState ss, KernelState ks, ThreadInfo th) {
00009 return false;
00010 }
00011 public boolean isExecutable(SystemState ss, KernelState ks, ThreadInfo th) {
00012 return true;
00013 }
00014 }
