more
[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / InterfaceDefineConstruct.java
index 920e301..657b270 100644 (file)
@@ -1,13 +1,15 @@
 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;
        }