parsing passed

[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..3f68610c2520a3191828fc9256da874ecbeaf33c 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/PotentialCPDefineConstruct.java
@@ -1,5 +1,19 @@
 package edu.uci.eecs.specCompiler.specExtraction;
 
 public class PotentialCPDefineConstruct extends Construct {
-
+       public final String label;
+       public final String condition;
+       
+       public PotentialCPDefineConstruct(String label, String condition) {
+               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();
+       }
 }