/**
* <p>
- * This is just an abstract class for all the constructs.
+ * An abstract class for all different specification 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;
}
}