From 8fa713841829005d4f0e1c0c1ed2a5594edf1396 Mon Sep 17 00:00:00 2001
From: loginov <loginov@f5eafffb-2e1d-0410-98e4-8ec43c5233c4>
Date: Mon, 21 May 2007 21:24:06 +0000
Subject: [PATCH] Added convenience method format(String, Object...).

git-svn-id: https://wala.svn.sourceforge.net/svnroot/wala/trunk@1160 f5eafffb-2e1d-0410-98e4-8ec43c5233c4
---
 .../src/com/ibm/wala/util/debug/Trace.java          | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/com.ibm.wala.core/src/com/ibm/wala/util/debug/Trace.java b/com.ibm.wala.core/src/com/ibm/wala/util/debug/Trace.java
index fb4e4a930..9c02cdd27 100644
--- a/com.ibm.wala.core/src/com/ibm/wala/util/debug/Trace.java
+++ b/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();