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
  17         public Construct(File file, int beginLineNum) {
  18                 this.file = file;
  19                 this.beginLineNum = beginLineNum;
  20         }
  21 }