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();
}
}