1 package edu.uci.eecs.specCompiler.specExtraction;
7 * This is just an abstract class for all the constructs.
13 abstract public class Construct {
14 public final File file;
15 public final int beginLineNum;
17 public Construct(File file, int beginLineNum) {
19 this.beginLineNum = beginLineNum;