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

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 import java.io.File;
   4
   5 /**
   6  * <p>
   7  * This is just an abstract class for all the constructs.
   8  * </p>
   9  *
  10  * @author peizhaoo
  11  *
  12  */
  13 abstract public class Construct {
  14         public final File file;
  15         public final int beginLineNum;
  16         public final String interfaceDeclBody;
  17
  18         public Construct(File file, int beginLineNum) {
  19                 this.file = file;
  20                 this.beginLineNum = beginLineNum;
  21                 this.interfaceDeclBody = "";
  22         }
  23
  24         public Construct(File file, int beginLineNum, String interfaceDeclBody) {
  25                 this.file = file;
  26                 this.beginLineNum = beginLineNum;
  27                 this.interfaceDeclBody = interfaceDeclBody;
  28         }
  29 }