lots of changes

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java
index 3f68610c2520a3191828fc9256da874ecbeaf33c..f0eb403c863ea7843d99e76e8871b9bd8d343935 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java
@@ -1,14 +1,18 @@
 package edu.uci.eecs.specCompiler.specExtraction;
 
+import java.io.File;
+
 public class PotentialCPDefineConstruct extends Construct {
        public final String label;
        public final String condition;
-       
-       public PotentialCPDefineConstruct(String label, String condition) {
+
+       public PotentialCPDefineConstruct(File file, int beginLineNum,
+                       String label, String condition) {
+               super(file, beginLineNum);
                this.label = label;
                this.condition = condition;
        }
-       
+
        public String toString() {
                StringBuffer res = new StringBuffer();
                res.append("@Potential_commit_point_define:\n");