1 package edu.uci.eecs.codeGenerator;
3 import java.util.ArrayList;
7 * This class contains some constant strings related to the code generation
14 public class Environment {
15 public final static String HomeDir = System.getProperty("user.dir");
16 public final static String ModelCheckerHome = System
17 .getProperty("user.home")
18 + "/model-checker-priv/model-checker-priv/";
19 public final static String BenchmarksDir = ModelCheckerHome
21 public final static String ModelCheckerTestDir = ModelCheckerHome
23 public final static String GeneratedFilesDir = ModelCheckerTestDir;
25 public final static String REGISTER_ACQREL = "register-acqrel";
26 public final static String REGISTER_RELAXED = "register-relaxed";
27 public final static String MS_QUEUE = "ms-queue";
28 public final static String LINUXRWLOCKS = "linuxrwlocks";
29 public final static String MCS_LOCK = "mcs-lock";
30 public final static String DEQUE = "chase-lev-deque-bugfix";
31 public final static String TREIBER_STACK = "treiber-stack";
32 public final static String TICKET_LOCK = "ticket-lock";
33 public final static String SEQLOCK = "seqlock";
34 public final static String READ_COPY_UPDATE = "read-copy-update";
35 public final static String CONCURRENT_MAP = "concurrent-hashmap";
36 public final static String SPSC = "spsc-bugfix";
37 public final static String MPMC = "mpmc-queue";
39 public final static String[] Benchmarks = {