more bug fix

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

diff --git a/src/edu/uci/eecs/specCompiler/specExtraction/SourceFileInfo.java b/src/edu/uci/eecs/specCompiler/specExtraction/SourceFileInfo.java
index 2b9af875b79a05d57d5da7b63b4f7aa19fd07c46..0ac075fd24392f50dcaf31b97b49dedb1912c6cb 100644 (file)
--- a/src/edu/uci/eecs/specCompiler/specExtraction/SourceFileInfo.java
+++ b/src/edu/uci/eecs/specCompiler/specExtraction/SourceFileInfo.java
@@ -28,26 +28,4 @@ public class SourceFileInfo {
                SourceFileInfo another = (SourceFileInfo) o;
                return another.file.equals(file);
        }
-       
-       public void write2File() {
-               String newFileName = Environment.GENERATED_FILE_DIR + "/" + file.getName();
-               File newFile = new File(newFileName);
-               newFile.getParentFile().mkdirs();
-               if (!newFile.exists()) {
-                       try {
-                               newFile.createNewFile();
-                       } catch (IOException e) {
-                               e.printStackTrace();
-                       }
-               }
-               try {
-                       BufferedWriter bw = new BufferedWriter(new FileWriter(newFile));
-                       for (int i = 0; i < content.size(); i++) {
-                               bw.write(content.get(i) + "\n");
-                       }
-                       bw.flush();
-               } catch (IOException e) {
-                       e.printStackTrace();
-               }
-       }
 }