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, defineFunc;
   7         public final ArrayList<VariableDeclaration> declareVar;
   8
   9         public SequentialDefineSubConstruct(ArrayList<VariableDeclaration> declareVar,
  10                         ArrayList<String> initVar, ArrayList<String> defineFunc) {
  11                 this.declareVar = declareVar;
  12                 this.initVar = initVar;
  13                 this.defineFunc = defineFunc;
  14         }
  15
  16         public String toString() {
  17                 StringBuffer res = new StringBuffer();
  18                 res.append("@Sequential_define:\n");
  19                 res.append("@DeclareVar:\n");
  20                 res.append(ParserUtils.array2Str(declareVar));
  21                 res.append("@InitVar:\n");
  22                 res.append(ParserUtils.array2Str(initVar));
  23                 res.append("@DefineFunc:\n");
  24                 res.append(ParserUtils.array2Str(defineFunc));
  25                 return res.toString();
  26         }
  27 }