clean code

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/CPClearConstruct.java b/src/edu/uci/eecs/specCompiler/specExtraction/CPClearConstruct.java
deleted file mode 100644 (file)
index f533b3a..0000000
--- a/src/edu/uci/eecs/specCompiler/specExtraction/CPClearConstruct.java
+++ /dev/null
@@ -1,23 +0,0 @@
-package edu.uci.eecs.specCompiler.specExtraction;
-
-import java.io.File;
-
-public class CPClearConstruct extends Construct {
-       public final String label;
-       public final String condition;
-
-       public CPClearConstruct(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("@Commit_point_define_check:\n");
-               res.append("Label: " + label + "\n");
-               res.append("Condition: " + condition + "\n");
-               return res.toString();
-       }
-}