summaryrefslogtreecommitdiff
path: root/java/src/IceGrid/Utils.java
diff options
context:
space:
mode:
Diffstat (limited to 'java/src/IceGrid/Utils.java')
-rwxr-xr-xjava/src/IceGrid/Utils.java81
1 files changed, 81 insertions, 0 deletions
diff --git a/java/src/IceGrid/Utils.java b/java/src/IceGrid/Utils.java
index 5997f1a7e62..e93d96e471b 100755
--- a/java/src/IceGrid/Utils.java
+++ b/java/src/IceGrid/Utils.java
@@ -18,4 +18,85 @@ public class Utils
assert(imgURL != null);
return new ImageIcon(imgURL);
}
+
+ static public interface Stringifier
+ {
+ public String toString(Object obj);
+ }
+
+ //
+ // Stringify helpers
+ //
+ static public String stringify(java.util.Collection col,
+ Stringifier stringifier,
+ String separator,
+ Ice.StringHolder toolTipHolder)
+ {
+ String result = "";
+ toolTipHolder.value = null;
+ java.util.Iterator p = col.iterator();
+
+ while(p.hasNext())
+ {
+ if(result.length() > 0)
+ {
+ result += separator;
+ toolTipHolder.value += "<br>";
+ }
+ else
+ {
+ toolTipHolder.value = "<html>";
+ }
+ String elt = stringifier.toString(p.next());
+ result += elt;
+ toolTipHolder.value += elt;
+ }
+ if(toolTipHolder.value != null)
+ {
+ toolTipHolder.value += "</html>";
+ }
+
+ return result;
+ }
+
+ static public String stringify(java.util.Collection col,
+ String separator,
+ Ice.StringHolder toolTipHolder)
+ {
+
+ Stringifier stringifier = new Stringifier()
+ {
+ public String toString(Object obj)
+ {
+ return (String)obj;
+ }
+ };
+ return stringify(col, stringifier, separator, toolTipHolder);
+
+ }
+
+ static public String stringify(String[] stringSeq, String separator,
+ Ice.StringHolder toolTipHolder)
+ {
+
+ return stringify(java.util.Arrays.asList(stringSeq), separator, toolTipHolder);
+ }
+
+ static public String stringify(java.util.Map stringMap,
+ final String pairSeparator,
+ String separator,
+ Ice.StringHolder toolTipHolder)
+ {
+ Stringifier stringifier = new Stringifier()
+ {
+ public String toString(Object obj)
+ {
+ java.util.Map.Entry entry = (java.util.Map.Entry)obj;
+ return (String)entry.getKey() + pairSeparator + (String)entry.getValue();
+ }
+ };
+
+ return stringify(stringMap.entrySet(), stringifier, separator, toolTipHolder);
+ }
+
}