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 946697e90d0422db939877a74a45a6c5aca44e17..f0eb403c863ea7843d99e76e8871b9bd8d343935 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java
@@ -1,5 +1,23 @@
 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(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");
+               res.append("Label: " + label + "\n");
+               res.append("Condition: " + condition + "\n");
+               return res.toString();
+       }
 }