lots of changes

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceConstruct.java
index 6af7197d000e4f48a8e3198b20b5da23d5c37bcc..72e75a85d997a839096b6b10a045b6ebd57185d6 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/InterfaceConstruct.java
@@ -1,5 +1,6 @@
 package edu.uci.eecs.specCompiler.specExtraction;
 
+import java.io.File;
 import java.util.ArrayList;
 import java.util.HashMap;
 
@@ -14,9 +15,11 @@ public class InterfaceConstruct extends Construct {
        public final String postAction;
        public final String postCheck;
 
-       public InterfaceConstruct(String name, ArrayList<String> commitPointSet,
-                       String condition, HashMap<String, String> hbConditions, String idCode,
-                       String check, ActionSubConstruct action, String postAction, String postCheck) {
+       public InterfaceConstruct(File file, int beginLineNum, String name,
+                       ArrayList<String> commitPointSet, String condition,
+                       HashMap<String, String> hbConditions, String idCode, String check,
+                       ActionSubConstruct action, String postAction, String postCheck) {
+               super(file, beginLineNum);
                this.name = name;
                this.commitPointSet = commitPointSet;
                this.condition = condition;
@@ -27,7 +30,7 @@ public class InterfaceConstruct extends Construct {
                this.postAction = postAction;
                this.postCheck = postCheck;
        }
-       
+
        public String toString() {
                StringBuilder sb = new StringBuilder("InterfaceConstruct:\n");
                sb.append("@Interface: " + name + "\n");
@@ -50,7 +53,7 @@ public class InterfaceConstruct extends Construct {
                sb.append("@Post_action:\n");
                sb.append(postAction + "\n");
                sb.append("@Post_check: " + postCheck + "\n");
-               
+
                return sb.toString();
        }
 }