package edu.uci.eecs.specCompiler.specExtraction;
+import java.io.File;
+
public class InterfaceDefineConstruct extends Construct {
public final String name;
private String funcDecl;
-
- public InterfaceDefineConstruct(String name) {
+
+ public InterfaceDefineConstruct(File file, int beginLineNum, String name) {
+ super(file, beginLineNum);
this.name = name;
}
-
+
public String toString() {
return "@Interface_define: " + name;
}