// 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 *")) {
// 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!