IfInstruction.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm.bytecode;
00002 
00003 //#ifdef COVERAGE
00004 
00005 //#endif COVERAGE
00006 import gov.nasa.arc.ase.jpf.*;
00007 
00008 public abstract class IfInstruction extends  Instruction {
00009 //#ifdef COVERAGE
00010 
00011 
00012 
00013 
00014 
00015 
00016 
00017 
00018 
00019 
00020 
00021 
00022 
00023 
00024 
00025 
00026 
00027 
00028 
00029 
00030 
00031 //#endif COVERAGE
00032 }