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 9d3bff6..6105620 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
@@ -4,6 +4,7 @@ import java.util.ArrayList;
 
 public class SequentialDefineSubConstruct {
        public final ArrayList<String> initVar;
 
 public class SequentialDefineSubConstruct {
        public final ArrayList<String> initVar;

+       public final ArrayList<String> cleanupCode;

        public final ArrayList<ArrayList<String>> defineFuncs;
        public final ArrayList<VariableDeclaration> declareVar;
        public final ArrayList<ArrayList<String>> declareStructs;
        public final ArrayList<ArrayList<String>> defineFuncs;
        public final ArrayList<VariableDeclaration> declareVar;
        public final ArrayList<ArrayList<String>> declareStructs;


@@ -11,10 +12,12 @@ public class SequentialDefineSubConstruct {
        public SequentialDefineSubConstruct(
                        ArrayList<ArrayList<String>> declareStruct,
                        ArrayList<VariableDeclaration> declareVar,
        public SequentialDefineSubConstruct(
                        ArrayList<ArrayList<String>> declareStruct,
                        ArrayList<VariableDeclaration> declareVar,

-                       ArrayList<String> initVar, ArrayList<ArrayList<String>> defineFuncs) {
+                       ArrayList<String> initVar, ArrayList<String> cleanupCode,
+                       ArrayList<ArrayList<String>> defineFuncs) {

                this.declareStructs = declareStruct;
                this.declareVar = declareVar;
                this.initVar = initVar;
                this.declareStructs = declareStruct;
                this.declareVar = declareVar;
                this.initVar = initVar;

+               this.cleanupCode = cleanupCode;

                this.defineFuncs = defineFuncs;
        }
 
                this.defineFuncs = defineFuncs;
        }