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

   1 package edu.uci.eecs.specExtraction;
   2
   3 import java.io.File;
   4
   5 /**
   6  * <p>
   7  * An abstract class for all different specification constructs, including
   8  * global construct, interface construct and ordering point construct.
   9  * </p>
  10  *
  11  * @author Peizhao Ou
  12  *
  13  */
  14 abstract public class Construct {
  15         // The file that this construct is in
  16         public final File file;
  17         // The beginning line number of this construct (the plain text line number)
  18         public final int beginLineNum;
  19
  20         public Construct(File file, int beginLineNum) {
  21                 this.file = file;
  22                 this.beginLineNum = beginLineNum;
  23         }
  24
  25         public String toString() {
  26                 return file.getName() + ": Line " + Integer.toString(beginLineNum);
  27         }
  28 }