src/edu/uci/eecs/specCompiler/codeGenerator/CodeGenerator.java

   1 package edu.uci.eecs.specCompiler.codeGenerator;
   2
   3 import java.util.ArrayList;
   4
   5 import edu.uci.eecs.specCompiler.specExtraction.SpecConstruct;
   6
   7 /**
   8  * <p>
   9  * This class will generate the annotated C code that can run on the current
  10  * model checker.
  11  * </p>
  12  *
  13  * @author peizhaoo
  14  *
  15  */
  16 public class CodeGenerator {
  17         ArrayList<SpecConstruct> _constructs;
  18
  19 }