X-Git-Url: http://plrg.eecs.uci.edu/git/?p=cdsspec-compiler.git;a=blobdiff_plain;f=src%2Fedu%2Fuci%2Feecs%2FspecCompiler%2FspecExtraction%2FSequentialDefineSubConstruct.java;h=6105620dfad3810493b73e79ff4484fea15d651f;hp=9d3bff677c245bbb971b81a70886be61ab391419;hb=60246219b510f28980a6f93f615458e41262a23f;hpb=9811b5edc5910159c1248ca2745f83ff5edc1e0d

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java
index 9d3bff6..6105620 100644
--- 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 final ArrayList<String> cleanupCode;
 	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,
-			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.cleanupCode = cleanupCode;
 		this.defineFuncs = defineFuncs;
 	}