Added convenience method format(String, Object...).

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1160 f5eafffb-2e1d-0410-98e4-8ec43c5233c4

com.ibm.wala.core/src/com/ibm/wala/util/debug/Trace.java

@@ -113,6 +113,19 @@ public class Trace {
     }
   }
 
+  /**
+   * @param string
+   * @param args
+   */
+  public static synchronized void format(String format, Object ... args) {
+    /**
+     * @param string
+     */
+    if (setTraceFile()) {
+      out.format(format, args);
+    }
+  }
+
   public static void flush() {
     if (setTraceFile()) {
       out.flush();