+package edu.uci.eecs.specCompiler.specExtraction;
+
+public class SequentialDefineSubConstruct {
+ public final String declareVar;
+ public final String initVar;
+ public final String defineFunc;
+
+ public SequentialDefineSubConstruct(String declareVar, String initVar, 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);
+ return res.toString();
+ }
+}