Abstract.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm;
00002 
00003 public class Abstract {
00004   public static void addBoolean(String varname, boolean defexpr) {}  
00005   public static void addBoolean2(String varname, boolean defexpr) {}  
00006   public static void addMvalue(String varname, boolean expr1, 
00007       boolean expr2,  boolean expr3) {}  
00008   public static void remove(int varint) {}  
00009   public static void remove(Object objvar) {}  
00010 }