edits

[cdsspec-compiler.git] / src / edu / uci / eecs / specExtraction / SpecUtils.java

diff --git a/src/edu/uci/eecs/specExtraction/SpecUtils.java b/src/edu/uci/eecs/specExtraction/SpecUtils.java
index 71512d864cbb3c3ae55ac5174a9e647faab2977f..b8d0479bbb9a82dca06e63c0288b7953df4d9021 100644 (file)
--- a/src/edu/uci/eecs/specExtraction/SpecUtils.java
+++ b/src/edu/uci/eecs/specExtraction/SpecUtils.java
@@ -279,7 +279,11 @@ public class SpecUtils {
                        // printContainer(&q);
                        // model_print("\n");
                        code.addLine(SpecNaming.PRINT + "(\"\\t" + name + ": \");");
-                       code.addLine(SpecNaming.PrintContainer + "(&" + name + ");");
+                       if (type.equals("IntMap")) {
+                               code.addLine(SpecNaming.PrintMap + "(&" + name + ");");
+                       } else {
+                               code.addLine(SpecNaming.PrintContainer + "(&" + name + ");");
+                       }
                        code.addLine(SpecNaming.PRINT + "(\"\\n\");");
                } else if (type.equals("IntList *") || type.equals("IntSet *")
                                || type.equals("IntMap *")) {
@@ -288,7 +292,11 @@ public class SpecUtils {
                        // printContainer(q);
                        // model_print("\n");
                        code.addLine(SpecNaming.PRINT + "(\"\\t" + name + ": \");");
-                       code.addLine(SpecNaming.PrintContainer + "(" + name + ");");
+                       if (type.equals("IntMap *")) {
+                               code.addLine(SpecNaming.PrintMap + "(" + name + ");");
+                       } else {
+                               code.addLine(SpecNaming.PrintContainer + "(" + name + ");");
+                       }
                        code.addLine(SpecNaming.PRINT + "(\"\\n\");");
                } else if (type.equals("void")) {
                        // Just do nothing!