lots of changes

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineConstruct.java
index 7d22728e4821a72c6a344997da15919e8d870964..8c31a9b7a691ecf9c649d12724adf056d97b92b6 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/CPDefineConstruct.java
@@ -1,16 +1,20 @@
 package edu.uci.eecs.specCompiler.specExtraction;
 
+import java.io.File;
+
 public class CPDefineConstruct extends Construct {
        public final String label;
        public final String potentialCPLabel;
        public final String condition;
-       
-       public CPDefineConstruct(String label, String potentialCPLabel, String condition) {
+
+       public CPDefineConstruct(File file, int beginLineNum, String label,
+                       String potentialCPLabel, String condition) {
+               super(file, beginLineNum);
                this.label = label;
                this.potentialCPLabel = potentialCPLabel;
                this.condition = condition;
        }
-       
+
        public String toString() {
                StringBuffer res = new StringBuffer();
                res.append("@Potential_commit_point_define:\n");