| 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 /** | 5 #library("dart:web"); |
| 6 * This library contains functions to escape strings for safe inclusion | 6 |
| 7 * in HTML source. | 7 // Web related functions and data that are not specific to a single environment |
| 8 */ | 8 // (e.g., only in a browser or only on a server). |
| 9 #library("htmlescape"); | |
| 10 | 9 |
| 11 /** | 10 /** |
| 12 * 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 |
| 13 * 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 |
| 14 * attribute value. | 13 * attribute value. |
| 15 */ | 14 */ |
| 16 String htmlEscape(String text) { | 15 String htmlEscape(String text) { |
| 17 // TODO(efortuna): A more efficient implementation. | 16 // TODO(efortuna): A more efficient implementation. |
| 18 return text.replaceAll("&", "&") | 17 return text.replaceAll("&", "&") |
| 19 .replaceAll("<", "<") | 18 .replaceAll("<", "<") |
| 20 .replaceAll(">", ">") | 19 .replaceAll(">", ">") |
| 21 .replaceAll('"', """) | 20 .replaceAll('"', """) |
| 22 .replaceAll("'", "'"); | 21 .replaceAll("'", "'"); |
| 23 } | 22 } |
| OLD | NEW |