X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.debug.browser%2Fsrc%2Forg%2Fsimantics%2Fdebug%2Fbrowser%2Futils%2FEscapes.java;h=b0a64eded5484e8dfcd92af494b9d762d30412bc;hb=e6ac5b3fd55e041ca1d73707c28db8f25f65edd1;hp=b352f4710c23900436400e99847665f54df30d61;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git
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
index b352f4710..b0a64eded 100644
--- 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
@@ -1,58 +1,58 @@
-/*******************************************************************************
- * Copyright (c) 2016 Association for Decentralized Information Management
- * in Industry THTH ry.
- * All rights reserved. This program and the accompanying materials
- * are made available under the terms of the Eclipse Public License v1.0
- * which accompanies this distribution, and is available at
- * http://www.eclipse.org/legal/epl-v10.html
- *
- * Contributors:
- * THTH ry - initial API and implementation
- *******************************************************************************/
-package org.simantics.debug.browser.utils;
-
-public class Escapes {
-
- public static String html(String s) {
- if (!containsAnyOf(s, HTML_CHARS_TO_ESCAPE))
- return s;
- return batchReplace(s, HTML_CHARS_TO_ESCAPE, HTML_CHAR_REPLACEMENTS);
- }
-
- private static final char[] HTML_CHARS_TO_ESCAPE = { '&', '<', '>', '\n' };
- private static final String[] HTML_CHAR_REPLACEMENTS = { "&", "<", ">", "
" };
-
- private static boolean containsAnyOf(String s, char[] chars) {
- int l = s.length();
- for (int i = 0; i < l; ++i) {
- char p = s.charAt(i);
- for (char ch : chars)
- if (p == ch)
- return true;
- }
- return false;
- }
-
- private static String batchReplace(String s, char[] charsToReplace, String[] replacements) {
- int l = s.length();
- int rl = charsToReplace.length;
- StringBuilder sb = new StringBuilder(l*2);
- nextChar:
- for (int i = 0; i < l; ++i) {
- char p = s.charAt(i);
- for (int j = 0; j < rl; ++j) {
- if (p == charsToReplace[j]) {
- sb.append(replacements[j]);
- continue nextChar;
- }
- }
- sb.append(p);
- }
- return sb.toString();
- }
-
- public static void main(String[] args) {
- System.out.println(html("><&\nfoobar\n<>"));
- }
-
-}
+/*******************************************************************************
+ * Copyright (c) 2016 Association for Decentralized Information Management
+ * in Industry THTH ry.
+ * All rights reserved. This program and the accompanying materials
+ * are made available under the terms of the Eclipse Public License v1.0
+ * which accompanies this distribution, and is available at
+ * http://www.eclipse.org/legal/epl-v10.html
+ *
+ * Contributors:
+ * THTH ry - initial API and implementation
+ *******************************************************************************/
+package org.simantics.debug.browser.utils;
+
+public class Escapes {
+
+ public static String html(String s) {
+ if (!containsAnyOf(s, HTML_CHARS_TO_ESCAPE))
+ return s;
+ return batchReplace(s, HTML_CHARS_TO_ESCAPE, HTML_CHAR_REPLACEMENTS);
+ }
+
+ private static final char[] HTML_CHARS_TO_ESCAPE = { '&', '<', '>', '\n' };
+ private static final String[] HTML_CHAR_REPLACEMENTS = { "&", "<", ">", "
" };
+
+ private static boolean containsAnyOf(String s, char[] chars) {
+ int l = s.length();
+ for (int i = 0; i < l; ++i) {
+ char p = s.charAt(i);
+ for (char ch : chars)
+ if (p == ch)
+ return true;
+ }
+ return false;
+ }
+
+ private static String batchReplace(String s, char[] charsToReplace, String[] replacements) {
+ int l = s.length();
+ int rl = charsToReplace.length;
+ StringBuilder sb = new StringBuilder(l*2);
+ nextChar:
+ for (int i = 0; i < l; ++i) {
+ char p = s.charAt(i);
+ for (int j = 0; j < rl; ++j) {
+ if (p == charsToReplace[j]) {
+ sb.append(replacements[j]);
+ continue nextChar;
+ }
+ }
+ sb.append(p);
+ }
+ return sb.toString();
+ }
+
+ public static void main(String[] args) {
+ System.out.println(html("><&\nfoobar\n<>"));
+ }
+
+}