edits
authorPeizhao Ou <peizhaoo@uci.edu>
Mon, 22 Feb 2016 09:33:16 +0000 (01:33 -0800)
committerPeizhao Ou <peizhaoo@uci.edu>
Mon, 22 Feb 2016 09:33:16 +0000 (01:33 -0800)
src/edu/uci/eecs/codeGenerator/CodeGenerator.java
src/edu/uci/eecs/specExtraction/FunctionHeader.java

index 67848e5..7f6d192 100644 (file)
@@ -318,14 +318,18 @@ public class CodeGenerator {
        }
 
        static public void main(String[] args) {
-//             String[] dirNames = { Environment.REGISTER, Environment.MS_QUEUE,
-//                             Environment.LINUXRWLOCKS, Environment.MCS_LOCK,
-//                             Environment.DEQUE, Environment.TREIBER_STACK };
+//             String[] dirNames = { 
+//                             Environment.REGISTER, 
+//                             Environment.MS_QUEUE,
+//                             Environment.LINUXRWLOCKS,
+//                             Environment.MCS_LOCK,
+//                             Environment.DEQUE, 
+//                             Environment.TREIBER_STACK };
                String[] dirNames = args;
 
                for (int i = 0; i < dirNames.length; i++) {
                        String dirName = dirNames[i];
-                       System.out.println("/**********   Processing " + dirName
+                       System.out.println("/**********   Generating CDSSpec files for  " + dirName
                                        + "    **********/");
                        CodeGenerator generator = new CodeGenerator(dirName);
                        generator.generateCode();
index a825c4b..b79d65b 100644 (file)
@@ -164,7 +164,7 @@ public class FunctionHeader {
        public String getRenamedCall(String prefix) {
                String res = "";
                if (!isReturnVoid()) {
-                       res = res + "bool " + SpecNaming.RET + " = ";
+                       res = res + returnType + " " + SpecNaming.RET + " = ";
                }
                res = res + prefix + "_" + funcName.fullName + "(";
                if (args.size() >= 1) {