Alternate status page

pkg/analysis_server/lib/src/status/utilities.dart

+// Copyright (c) 2015, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+library analysis_server.src.status.utilities;
+
+/**
+ * Encode the characters in the given [string] so that they are safe for
+ * inclusion in HTML.
+ */
+String encodeHtml(String string) {

[Paul Berry, 2015/01/20 17:28:11]

I don't believe this function is necessary.  It should be possible to use the
utility class from the standard library:
https://api.dartlang.org/apidocs/channels/stable/dartdoc-viewer/dart:convert#....

(Note that the standard library implementation doesn't do as much escaping as
you do--that should also be ok provided that we output the necessary http
headers to tell the client that the data is UTF-8 encoded)

[Brian Wilkerson, 2015/01/20 17:46:34]

I tried that, but it failed to encode the right-arrow character. I only wrote
this function when I encountered a failure and didn't know what was causing it.
It could probably be cleaned up, but I'll save that for later.

+  StringBuffer buffer = new StringBuffer();
+  for (int i = 0; i < string.length; i++) {
+    int char = string.codeUnitAt(i);
+    if ((char >= 'a'.codeUnitAt(0) && char <= 'z'.codeUnitAt(0)) ||
+        (char >= 'A'.codeUnitAt(0) && char <= 'Z'.codeUnitAt(0)) ||
+        (char >= '0'.codeUnitAt(0) && char <= '9'.codeUnitAt(0)) ||
+        char == '_'.codeUnitAt(0) ||
+        char == '#'.codeUnitAt(0) ||
+        char == ','.codeUnitAt(0) ||
+        char == '.'.codeUnitAt(0) ||
+        char == ';'.codeUnitAt(0) ||
+        char == ':'.codeUnitAt(0) ||
+        char == '('.codeUnitAt(0) ||
+        char == ')'.codeUnitAt(0) ||
+        char == '['.codeUnitAt(0) ||
+        char == ']'.codeUnitAt(0) ||
+        char == '{'.codeUnitAt(0) ||
+        char == '}'.codeUnitAt(0) ||
+        char == ' '.codeUnitAt(0) ||
+        char == '='.codeUnitAt(0) ||
+        char == '+'.codeUnitAt(0) ||
+        char == '-'.codeUnitAt(0) ||
+        char == '*'.codeUnitAt(0) ||
+        char == '%'.codeUnitAt(0)) {
+      buffer.writeCharCode(char);
+    } else if (char == '<'.codeUnitAt(0)) {
+      buffer.write('&lt;');
+    } else if (char == '>'.codeUnitAt(0)) {
+      buffer.write('&gt;');
+    } else if (char == '&'.codeUnitAt(0)) {
+      buffer.write('&amp;');
+    } else if (char == '"'.codeUnitAt(0)) {
+      buffer.write('&quot;');
+    } else if (char == "'".codeUnitAt(0)) {
+      buffer.write('&#x27;');
+    } else if (char == '/'.codeUnitAt(0)) {
+      buffer.write('&#x2F;');
+    } else if (char == 0x2192) {
+      buffer.write('&rarr;');
+    } else if (char == 0x00A0) {
+      buffer.write('&nbsp;');
+    } else {
+      buffer.write('<b>x${char.toRadixString(16)};</b>');
+    }
+  }
+  return buffer.toString();
+}