src/edu/uci/eecs/specCompiler/specExtraction/SequentialDefineSubConstruct.java

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 import java.util.ArrayList;
   4
   5 public class SequentialDefineSubConstruct {
   6         public final ArrayList<String> initVar;
   7         public final ArrayList<ArrayList<String>> defineFuncs;
   8         public final ArrayList<VariableDeclaration> declareVar;
   9
  10         public SequentialDefineSubConstruct(ArrayList<VariableDeclaration> declareVar,
  11                         ArrayList<String> initVar, ArrayList<ArrayList<String>> defineFuncs) {
  12                 this.declareVar = declareVar;
  13                 this.initVar = initVar;
  14                 this.defineFuncs = defineFuncs;
  15         }
  16
  17         public String toString() {
  18                 StringBuffer res = new StringBuffer();
  19                 res.append("@Sequential_define:\n");
  20                 res.append("@DeclareVar:\n");
  21                 res.append(ParserUtils.array2Str(declareVar));
  22                 res.append("@InitVar:\n");
  23                 res.append(ParserUtils.array2Str(initVar));
  24                 res.append("@DefineFunc:\n");
  25                 for (int i = 0; i < defineFuncs.size(); i++) {
  26                         res.append(ParserUtils.array2Str(defineFuncs.get(i)) + "\n");
  27                 }
  28                 return res.toString();
  29         }
  30 }