From be6eec72a01c29350800a355f8a76ba8438ec8a5 Mon Sep 17 00:00:00 2001
From: Julian Dolby <dolby@us.ibm.com>
Date: Fri, 1 Jul 2016 10:51:30 -0400
Subject: [PATCH] more temp file APIs

---
 .../src/com/ibm/wala/util/io/TemporaryFile.java       | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/com.ibm.wala.util/src/com/ibm/wala/util/io/TemporaryFile.java b/com.ibm.wala.util/src/com/ibm/wala/util/io/TemporaryFile.java
index ea957ffa9..3f738b6ed 100644
--- a/com.ibm.wala.util/src/com/ibm/wala/util/io/TemporaryFile.java
+++ b/com.ibm.wala.util/src/com/ibm/wala/util/io/TemporaryFile.java
@@ -55,4 +55,15 @@ public class TemporaryFile {
     output.close();
     return F;
   }
+  
+  public static File stringToFile(File F, String... inputs) throws IOException {
+    FileOutputStream output = new FileOutputStream(F);
+    
+    for(String input : inputs) {
+      output.write(input.getBytes());
+    }
+    
+    output.close();
+    return F;
+  }
 }