package edu.uci.eecs.specCompiler.specExtraction;
+import java.io.File;
+
/**
* <p>
* This is just an abstract class for all the constructs.
* </p>
+ *
* @author peizhaoo
- *
+ *
*/
abstract public class Construct {
+ public final File file;
+ public final int beginLineNum;
+ public final String interfaceDeclBody;
+
+ public Construct(File file, int beginLineNum) {
+ this.file = file;
+ this.beginLineNum = beginLineNum;
+ this.interfaceDeclBody = "";
+ }
+
+ public Construct(File file, int beginLineNum, String interfaceDeclBody) {
+ this.file = file;
+ this.beginLineNum = beginLineNum;
+ this.interfaceDeclBody = interfaceDeclBody;
+ }
}