fixed bugs

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
index 29080a81893af230cc8bb29c43bd224ea6ebeb8d..bb6b8e591b1604f12373430561c0cfb2cb8efdf2 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
@@ -6,9 +6,13 @@ public class SequentialDefineSubConstruct {
        public final ArrayList<String> initVar;
        public final ArrayList<ArrayList<String>> defineFuncs;
        public final ArrayList<VariableDeclaration> declareVar;
+       public final ArrayList<ArrayList<String>> declareStructs;
 
-       public SequentialDefineSubConstruct(ArrayList<VariableDeclaration> declareVar,
+       public SequentialDefineSubConstruct(
+                       ArrayList<ArrayList<String>> declareStruct,
+                       ArrayList<VariableDeclaration> declareVar,
                        ArrayList<String> initVar, ArrayList<ArrayList<String>> defineFuncs) {
+               this.declareStructs = declareStruct;
                this.declareVar = declareVar;
                this.initVar = initVar;
                this.defineFuncs = defineFuncs;
@@ -17,6 +21,10 @@ public class SequentialDefineSubConstruct {
        public String toString() {
                StringBuffer res = new StringBuffer();
                res.append("@Sequential_define:\n");
+               res.append("@DeclareStruct:\n");
+               for (int i = 0; i < defineFuncs.size(); i++) {
+                       res.append(ParserUtils.array2Str(declareStructs.get(i)) + "\n");
+               }
                res.append("@DeclareVar:\n");
                res.append(ParserUtils.array2Str(declareVar));
                res.append("@InitVar:\n");