clean code

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / codeGenerator / Environment.java

diff --git a/src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java b/src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java
deleted file mode 100644 (file)
index d48462a..0000000
--- a/src/edu/uci/eecs/specCompiler/codeGenerator/Environment.java
+++ /dev/null
@@ -1,14 +0,0 @@
-package edu.uci.eecs.specCompiler.codeGenerator;
-
-public class Environment {
-       public static String HOME_DIRECTORY = System.getProperty("user.dir");
-       public static String GENERATED_FILE_DIR = HOME_DIRECTORY + "/" + "output";
-       public static String MODEL_CHECKER_HOME_DIR = System
-                       .getProperty("user.home") + "/test/model-checker-priv";
-       public static String MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_HOME_DIR + "/test";
-       
-       public static String MS_QUEUE = MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_TEST_DIR + "/ms-queue";
-       public static String LINUXRWLOCKS = MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_TEST_DIR + "/linuxrwlocks";
-       public static String CLIFFC_HASHTABLE = MODEL_CHECKER_TEST_DIR = MODEL_CHECKER_TEST_DIR + "/cliffc-hashtable";
-                       
-}