Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.scl.ui / src / org / simantics / scl / ui / console / Preferences.java

diff --git a/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/console/Preferences.java b/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/console/Preferences.java
new file mode 100644 (file)
index 0000000..e1529af
--- /dev/null
+++ b/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/console/Preferences.java
@@ -0,0 +1,51 @@
+package org.simantics.scl.ui.console;\r
+\r
+import java.util.Collection;\r
+import java.util.Deque;\r
+import java.util.Iterator;\r
+import java.util.LinkedList;\r
+import java.util.Set;\r
+import java.util.TreeSet;\r
+\r
+/**\r
+ * @author Antti Villberg\r
+ */\r
+public final class Preferences {\r
+\r
+    public static final String  COMMAND_HISTORY = "COMMAND_HISTORY";\r
+\r
+    private static final String DELIMITER       = "¤¤¤¤";\r
+\r
+    public static String join(Collection<String> s, String delimiter) {\r
+        if (s == null || s.isEmpty()) return "";\r
+        Iterator<String> iter = s.iterator();\r
+        StringBuilder builder = new StringBuilder(iter.next());\r
+        while( iter.hasNext() )\r
+        {\r
+            builder.append(delimiter).append(iter.next());\r
+        }\r
+        return builder.toString();\r
+    }\r
+    \r
+    public static Deque<String> decodePaths(String recentPathsPref) {\r
+        Deque<String> result = new LinkedList<String>();\r
+        for(String s : recentPathsPref.split(DELIMITER)) result.add(s);\r
+        return result;\r
+    }\r
+\r
+    public static String encodePaths(Collection<String> recentPaths) {\r
+        return join(recentPaths, DELIMITER);\r
+    }\r
+\r
+    public static <T> void removeDuplicates(Iterable<String> iter) {\r
+        // Remove duplicates\r
+        Set<String> dups = new TreeSet<String>(String.CASE_INSENSITIVE_ORDER);\r
+        for (Iterator<String> it = iter.iterator(); it.hasNext();) {\r
+            String path = it.next();\r
+            if (!dups.add(path)) {\r
+                it.remove();\r
+            }\r
+        }\r
+    }\r
+\r
+}\r