src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java

   1 package edu.uci.eecs.specCompiler.codeGenerator;
   2
   3 public class Environment {
   4         public static String HOME_DIRECTORY = System.getProperty("user.dir");
   5         public static String GENERATED_FILE_DIR = HOME_DIRECTORY + "/" + "output";
   6         public static String MODEL_CHECKER_HOME_DIR = System
   7                         .getProperty("user.home") + "/test/model-checker-priv";
   8         public static String MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_HOME_DIR + "/test";
   9
  10         public static String MS_QUEUE = MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_TEST_DIR + "/ms-queue";
  11         public static String LINUXRWLOCKS = MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_TEST_DIR + "/linuxrwlocks";
  12         public static String CLIFFC_HASHTABLE = MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_TEST_DIR + "/cliffc-hashtable";
  13
  14 }