save

[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 fb6828e050f278772d4f733f3917065cd5219461..29080a81893af230cc8bb29c43bd224ea6ebeb8d 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
@@ -3,14 +3,15 @@ package edu.uci.eecs.specCompiler.specExtraction;
 import java.util.ArrayList;
 
 public class SequentialDefineSubConstruct {
-       public final ArrayList<String> initVar, defineFunc;
+       public final ArrayList<String> initVar;
+       public final ArrayList<ArrayList<String>> defineFuncs;
        public final ArrayList<VariableDeclaration> declareVar;
 
        public SequentialDefineSubConstruct(ArrayList<VariableDeclaration> declareVar,
-                       ArrayList<String> initVar, ArrayList<String> defineFunc) {
+                       ArrayList<String> initVar, ArrayList<ArrayList<String>> defineFuncs) {
                this.declareVar = declareVar;
                this.initVar = initVar;
-               this.defineFunc = defineFunc;
+               this.defineFuncs = defineFuncs;
        }
 
        public String toString() {
@@ -21,7 +22,9 @@ public class SequentialDefineSubConstruct {
                res.append("@InitVar:\n");
                res.append(ParserUtils.array2Str(initVar));
                res.append("@DefineFunc:\n");
-               res.append(ParserUtils.array2Str(defineFunc));
+               for (int i = 0; i < defineFuncs.size(); i++) {
+                       res.append(ParserUtils.array2Str(defineFuncs.get(i)) + "\n");
+               }
                return res.toString();
        }
 }