Main.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm;
00002 
00003 import gov.nasa.arc.ase.jpf.*;
00004 import de.fub.bytecode.Repository;
00005 
00006 // ifdef MARK_N_SWEEP
00007 
00008 //#endif MARK_N_SWEEP
00009 
00010 // ifdef CHILDREN_LOOKAHEAD
00011 
00012 //#endif CHILDREN_LOOKAHEAD
00013 
00014 // ifdef SIBLING_STORING
00015 
00016 //#endif SIBLING_STORING
00017 
00018 // ifdef SIBLING_CACHING
00019 
00020 //#endif SIBLING_CACHING
00021 
00022 // ifdef NO_COMPRESSION
00023 
00024 //#endif NO_COMPRESSION
00025 
00026 // ifdef BUCHI
00027 
00028 //#endif BUCHI
00029 
00030 // ifdef DISTRIBUTED
00031 
00032 //#endif DISTRIBUTED
00033 
00034 // ifdef DISTRIBUTED
00035 
00036 //#endif DISTRIBUTED
00037 
00038 public class Main {
00039   public static String VERSION = "JVM 0.1 beta 12 - (C) 2000 RIACS/NASA Ames Research Center";
00040 
00041   public static void main(String  args[]) {
00042     Engine.options = VirtualMachine.options = new JVMOptions(Main.class);
00043 
00044     Repository.resetClassPath();
00045     Engine.init(args);
00046 
00047 // ifdef DISTRIBUTED
00048 
00049 //#endif DISTRIBUTED
00050 
00051       VirtualMachine vm = new VirtualMachine(Engine.className);
00052       Engine.vm = vm;
00053       
00054 // ifdef DISTRIBUTED
00055 
00056 //#endif DISTRIBUTED
00057 
00058     Engine.start();
00059 
00060 // ifdef NO_COMPRESSION
00061 // ifdef DISTRIBUTED
00062 
00063 //#endif DISTRIBUTED
00064 
00065       Engine.statistics.set("/Pools/Fields", new Integer(VirtualMachine.fieldsPool.size()));
00066       Engine.statistics.set("/Pools/ObjectInfo", new Integer(VirtualMachine.objectInfoPool.size()));
00067       Engine.statistics.set("/Pools/StackFrame", new Integer(VirtualMachine.framePool.size()));
00068       Engine.statistics.set("/Pools/ThreadData", new Integer(VirtualMachine.threadPool.size()));
00069 
00070 // ifdef DISTRIBUTED
00071 
00072 //#endif DISTRIBUTED
00073 //#endif NO_COMPRESSION
00074 
00075     Engine.stop();
00076   }    
00077 }