lots of changes

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceConstruct.java
index 72e75a85d997a839096b6b10a045b6ebd57185d6..5cb493dee3b0d891b03dc6b318f7a63d1e0939c9 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceConstruct.java
@@ -11,14 +11,14 @@ public class InterfaceConstruct extends Construct {
        public final HashMap<String, String> hbConditions;
        public final String idCode;
        public final String check;
-       public final ActionSubConstruct action;
-       public final String postAction;
+       public final ArrayList<String> action;
+       public final ArrayList<String> postAction;
        public final String postCheck;
 
        public InterfaceConstruct(File file, int beginLineNum, String name,
                        ArrayList<String> commitPointSet, String condition,
                        HashMap<String, String> hbConditions, String idCode, String check,
-                       ActionSubConstruct action, String postAction, String postCheck) {
+                       ArrayList<String> action, ArrayList<String> postAction, String postCheck) {
                super(file, beginLineNum);
                this.name = name;
                this.commitPointSet = commitPointSet;
@@ -49,9 +49,9 @@ public class InterfaceConstruct extends Construct {
                sb.append("@ID: ");
                sb.append(idCode + "\n");
                sb.append("@Check: " + check + "\n");
-               sb.append(action + "\n");
+               sb.append(ParserUtils.array2Str(action));
                sb.append("@Post_action:\n");
-               sb.append(postAction + "\n");
+               sb.append(ParserUtils.array2Str(postAction));
                sb.append("@Post_check: " + postCheck + "\n");
 
                return sb.toString();