JVMOptions.java Source File

00001 package gov.nasa.arc.ase.jpf.jvm;
00002 
00003 import gov.nasa.arc.ase.jpf.JPFOptions;
00004 import gov.nasa.arc.ase.util.Debug;
00005 import java.util.*;
00006 
00007 public class JVMOptions extends JPFOptions {
00008   public boolean    verify_print        = true;
00009 //#ifdef MARK_N_SWEEP || REFERENCE_COUNT
00010   public boolean    garbage_collection  = true;
00011 //#else MARK_N_SWEEP || REFERENCE_COUNT
00012 
00013 //#endif MARK_N_SWEEP || REFERENCE_COUNT
00014   public boolean    bytecode_dump       = false;
00015   public boolean    heap_symmetry       = false; // obsolete
00016   public boolean    reached_statements  = false;
00017 //#ifdef RACE || LOCK_ORDER
00018 
00019 
00020 //#endif RACE || LOCK_ORDER
00021 //#ifdef RACE
00022 
00023 
00024 
00025 //#endif RACE
00026 //#ifdef LOCK_ORDER
00027 
00028 //#endif LOCK_ORDER
00029   public boolean    hashcompact     = false;
00030   public boolean    atomic_init     = true;
00031   public boolean    atomic_lines        = true;
00032 
00033   public JVMOptions(Class m) {
00034     super(m);
00035   }  
00036   public String[] parse(String[] args) {
00037     String[] p = super.parse(args);
00038 
00039 //#ifdef !MARK_N_SWEEP && !REFERENCE_COUNT
00040 
00041 
00042 
00043 
00044 
00045 
00046 
00047 
00048 
00049 //#endif !MARK_N_SWEEP && !REFERENCE_COUNT
00050 
00051 //#ifdef NO_DYNAMIC_SYMMETRY
00052 
00053 
00054 
00055 
00056 
00057 
00058 
00059 
00060 //#endif NO_DYNAMIC_SYMMETRY
00061 
00062     return p;
00063   }  
00064 }