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

   1 package edu.uci.eecs.codeGenerator;
   2
   3 /**
   4  * <p>
   5  * This class contains some constant strings related to the code generation
   6  * process.
   7  * </p>
   8  *
   9  * @author Peizhao Ou
  10  *
  11  */
  12 public class Environment {
  13         public final static String HomeDir = System.getProperty("user.dir");
  14         public final static String ModelCheckerHome = System
  15                         .getProperty("user.home")
  16                         + "/model-checker-priv/model-checker-priv/";
  17         public final static String BenchmarksDir = ModelCheckerHome
  18                         + "/benchmarks/";
  19         public final static String ModelCheckerTestDir = ModelCheckerHome
  20                         + "/test-cdsspec/";
  21         public final static String GeneratedFilesDir = ModelCheckerTestDir;
  22
  23         public final static String REGISTER = "register";
  24         public final static String MS_QUEUE = "ms-queue";
  25         public final static String LINUXRWLOCKS = "linuxrwlocks";
  26         public final static String MCS_LOCK = "mcs-lock";
  27         public final static String DEQUE = "chase-lev-deque-bugfix";
  28
  29 }