Migrated source code from Simantics SVN

[simantics/platform.git] / bundles / org.simantics.debug.browser / src / org / simantics / debug / browser / utils / Escapes.java

diff --git a/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/utils/Escapes.java b/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/utils/Escapes.java
new file mode 100644 (file)
index 0000000..b352f47
--- /dev/null
+++ b/bundles/org.simantics.debug.browser/src/org/simantics/debug/browser/utils/Escapes.java
@@ -0,0 +1,58 @@
+/*******************************************************************************\r
+ * Copyright (c) 2016 Association for Decentralized Information Management\r
+ * in Industry THTH ry.\r
+ * All rights reserved. This program and the accompanying materials\r
+ * are made available under the terms of the Eclipse Public License v1.0\r
+ * which accompanies this distribution, and is available at\r
+ * http://www.eclipse.org/legal/epl-v10.html\r
+ *\r
+ * Contributors:\r
+ *     THTH ry - initial API and implementation\r
+ *******************************************************************************/\r
+package org.simantics.debug.browser.utils;\r
+\r
+public class Escapes {\r
+\r
+    public static String html(String s) {\r
+        if (!containsAnyOf(s, HTML_CHARS_TO_ESCAPE))\r
+            return s;\r
+        return batchReplace(s, HTML_CHARS_TO_ESCAPE, HTML_CHAR_REPLACEMENTS);\r
+    }\r
+\r
+    private static final char[] HTML_CHARS_TO_ESCAPE = { '&', '<', '>', '\n' };\r
+    private static final String[] HTML_CHAR_REPLACEMENTS = { "&amp;", "&lt;", "&gt;", "<br/>" };\r
+\r
+    private static boolean containsAnyOf(String s, char[] chars) {\r
+        int l = s.length();\r
+        for (int i = 0; i < l; ++i) {\r
+            char p = s.charAt(i);\r
+            for (char ch : chars)\r
+                if (p == ch)\r
+                    return true;\r
+        }\r
+        return false;\r
+    }\r
+\r
+    private static String batchReplace(String s, char[] charsToReplace, String[] replacements) {\r
+        int l = s.length();\r
+        int rl = charsToReplace.length;\r
+        StringBuilder sb = new StringBuilder(l*2);\r
+        nextChar:\r
+            for (int i = 0; i < l; ++i) {\r
+                char p = s.charAt(i);\r
+                for (int j = 0; j < rl; ++j) {\r
+                    if (p == charsToReplace[j]) {\r
+                        sb.append(replacements[j]);\r
+                        continue nextChar;\r
+                    }\r
+                }\r
+                sb.append(p);\r
+            }\r
+        return sb.toString();\r
+    }\r
+\r
+    public static void main(String[] args) {\r
+        System.out.println(html("><&\nfoobar\n<>"));\r
+    }\r
+\r
+}\r