1 package edu.uci.eecs.codeGenerator;
5 * This class contains some constant strings related to the code generation
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
19 public final static String ModelCheckerTestDir = ModelCheckerHome
21 public final static String GeneratedFilesDir = ModelCheckerTestDir;
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";