Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / mcr-controller / src / edu / tamu / aser / rvinstrumentation / MCRProperties.java

diff --git a/JMCR-Stable/mcr-controller/src/edu/tamu/aser/rvinstrumentation/MCRProperties.java b/JMCR-Stable/mcr-controller/src/edu/tamu/aser/rvinstrumentation/MCRProperties.java
new file mode 100644 (file)
index 0000000..634b936
--- /dev/null
+++ b/JMCR-Stable/mcr-controller/src/edu/tamu/aser/rvinstrumentation/MCRProperties.java
@@ -0,0 +1,87 @@
+package edu.tamu.aser.rvinstrumentation;
+
+import java.io.FileInputStream;
+import java.io.InputStream;
+import java.util.Properties;
+
+/**
+ * Provides an interface for getting properties from a file, and exposing them
+ * internally.
+ * 
+ */
+@SuppressWarnings("serial")
+public class MCRProperties extends Properties {
+
+    /* Instrumentation related properties */
+    public static final String INSTRUMENTATION_PACKAGES_IGNORE_PREFIXES_KEY = "mcr.instrumentation.packages.ignore.prefixes";
+    public static final String INSTRUMENTATION_PACKAGES_IGNORE_KEY = "mcr.instrumentation.packages.ignore";
+    public static final String INSTRUMENTATION_CLASSES_IGNORE_PREFIXES_KEY = "mcr.instrumentation.classes.ignore.prefixes";
+    public static final String INSTRUMENTATION_CLASSES_IGNORE_KEY = "mcr.instrumentation.classes.ignore";
+    public static final String INSTRUMENTATION_PACKAGES_ALLOW_PREFIXES_KEY = "mcr.instrumentation.packages.allow.prefixes";
+    public static final String INSTRUMENTATION_PACKAGES_ALLOW_KEY = "mcr.instrumentation.packages.allow";
+    public static final String INSTRUMENTATION_CLASSES_ALLOW_PREFIXES_KEY = "mcr.instrumentation.classes.allow.prefixes";
+    public static final String INSTRUMENTATION_CLASSES_ALLOW_KEY = "mcr.instrumentation.classes.allow";
+
+    /* Scheduling related properties */
+//    public static final String SCHEDULING_STRATEGY_KEY = "mcr.exploration.schedulingstrategy";
+    public static final String SCHEDULING_REPRO_CHOICES_KEY = "mcr.exploration.reprochoices";
+    public static final String PREEMPTION_BOUND_KEY = "mcr.exploration.preemptionbound";
+    public static final String SEED_KEY = "mcr.exploration.randomseed";
+    public static final String MODE_KEY = "mcr.locfiltering.mode";
+    public static final String ALLOWED_LOCS_FILE_KEY = "mcr.locfiltering.allowedfile";
+    public static final String SCHEDULING_FILTER_KEY = "mcr.exploration.schedulingfilter";
+    public static final String STOP_ON_FIRST_ERROR_KEY = "mcr.exploration.stoponfirsterror";
+    public static final String RV_CAUSAL_FULL_TRACE = "mcr.exploration.fulltrace";
+    
+    /* Listeners/Debugging related properties */
+    public static final String LISTENERS_KEY = "mcr.exploration.listeners";
+    public static final String EXPLORATION_DEBUG_KEY = "mcr.exploration.debug";
+    public static final String INSTRUMENTATION_DEBUG_KEY = "mcr.instrumentation.debug";
+    public static final String EXPLORATION_TIMEOUT_KEY = "mcr.exploration.timeout";
+
+    /* Properties related property */
+    public static final String PROPERTIES_KEY = "mcr.properties";
+    public static final String DEFAULT_PROPERTIES = "/default.properties";
+
+    private static MCRProperties instance;
+
+    private MCRProperties() {
+        String propertiesFileLocation = System.getProperty(PROPERTIES_KEY);
+        try {
+            // Load defaults first
+            
+            InputStream inputStream = null;
+            inputStream = this.getClass().getResourceAsStream(DEFAULT_PROPERTIES);
+            if (inputStream == null){
+                System.err.println("No" + DEFAULT_PROPERTIES);
+            }
+            load(inputStream);
+            // Load user provided properties
+            if (propertiesFileLocation != null) {
+                load(this.getClass().getResourceAsStream(propertiesFileLocation));
+            }
+        } catch (Exception e) {
+            System.err.println("Unable to load properties file from " + propertiesFileLocation);
+            e.printStackTrace();
+        }
+    }
+
+    public static MCRProperties getInstance() {
+        if (instance == null) {
+            instance = new MCRProperties();
+        }
+        return instance;
+    }
+
+    @Override
+    public String getProperty(String key) {
+        
+        // check system properties first
+        String prop = System.getProperty(key);
+        // then check mcr.properties
+        if (prop == null) {
+            prop = super.getProperty(key);
+        }
+        return prop;
+    }
+}