OLD | NEW |
1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 #library("web"); | 5 #library("dart:web"); |
6 | 6 |
7 // Web related functions and data that are not specific to a single environment | 7 // Web related functions and data that are not specific to a single environment |
8 // (e.g., only in a browser or only on a server). | 8 // (e.g., only in a browser or only on a server). |
9 | 9 |
10 /** | 10 /** |
11 * Escapes HTML-special characters of [text] so that the result can be | 11 * Escapes HTML-special characters of [text] so that the result can be |
12 * included verbatim in HTML source code, either in an element body or in an | 12 * included verbatim in HTML source code, either in an element body or in an |
13 * attribute value. | 13 * attribute value. |
14 */ | 14 */ |
15 String htmlEscape(String text) { | 15 String htmlEscape(String text) { |
16 // TODO(efortuna): A more efficient implementation. | 16 // TODO(efortuna): A more efficient implementation. |
17 return text.replaceAll("&", "&") | 17 return text.replaceAll("&", "&") |
18 .replaceAll("<", "<") | 18 .replaceAll("<", "<") |
19 .replaceAll(">", ">") | 19 .replaceAll(">", ">") |
20 .replaceAll('"', """) | 20 .replaceAll('"', """) |
21 .replaceAll("'", "'"); | 21 .replaceAll("'", "'"); |
22 } | 22 } |
OLD | NEW |