lots of changes

[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 743a9d619db39e577000f9547c804580c3e90402..fb6828e050f278772d4f733f3917065cd5219461 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
@@ -1,25 +1,27 @@
 package edu.uci.eecs.specCompiler.specExtraction;
 
+import java.util.ArrayList;
+
 public class SequentialDefineSubConstruct {
-       public final String declareVar;
-       public final String initVar;
-       public final String defineFunc;
-       
-       public SequentialDefineSubConstruct(String declareVar, String initVar, String defineFunc) {
+       public final ArrayList<String> initVar, defineFunc;
+       public final ArrayList<VariableDeclaration> declareVar;
+
+       public SequentialDefineSubConstruct(ArrayList<VariableDeclaration> declareVar,
+                       ArrayList<String> initVar, ArrayList<String> defineFunc) {
                this.declareVar = declareVar;
                this.initVar = initVar;
                this.defineFunc = defineFunc;
        }
-       
+
        public String toString() {
                StringBuffer res = new StringBuffer();
                res.append("@Sequential_define:\n");
-               res.append("\t@DeclareVar:\n");
-               res.append(declareVar);
-               res.append("\t@InitVar:\n");
-               res.append(initVar);
-               res.append("\t@DefineFunc:\n");
-               res.append(defineFunc);
+               res.append("@DeclareVar:\n");
+               res.append(ParserUtils.array2Str(declareVar));
+               res.append("@InitVar:\n");
+               res.append(ParserUtils.array2Str(initVar));
+               res.append("@DefineFunc:\n");
+               res.append(ParserUtils.array2Str(defineFunc));
                return res.toString();
        }
 }