more

[cdsspec-compiler.git] / src / edu / uci / eecs / specCompiler / specExtraction / InterfaceDefineConstruct.java

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java
index 920e3015f25382b9dcbe12d61d933fec6f29e50b..657b2707d2924f6b7d559eca3bab76b9384b7925 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceDefineConstruct.java
@@ -1,13 +1,15 @@
 package edu.uci.eecs.specCompiler.specExtraction;
 
 package edu.uci.eecs.specCompiler.specExtraction;
 

+import java.io.File;
+

 public class InterfaceDefineConstruct extends Construct {
        public final String name;
 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;
        }
                this.name = name;
        }

-       
+

        public String toString() {
                return "@Interface_define: " + name;
        }
        public String toString() {
                return "@Interface_define: " + name;
        }