| 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 part of _js_helper; | 5 part of _js_helper; |
| 6 | 6 |
| 7 class StringMatch implements Match { | 7 class StringMatch implements Match { |
| 8 const StringMatch(int this.start, | 8 const StringMatch(int this.start, |
| 9 String this.str, | 9 String this.str, |
| 10 String this.pattern); | 10 String this.pattern); |
| (...skipping 59 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 70 } | 70 } |
| 71 | 71 |
| 72 stringReplaceJS(receiver, replacer, to) { | 72 stringReplaceJS(receiver, replacer, to) { |
| 73 // The JavaScript String.replace method recognizes replacement | 73 // The JavaScript String.replace method recognizes replacement |
| 74 // patterns in the replacement string. Dart does not have that | 74 // patterns in the replacement string. Dart does not have that |
| 75 // behavior. | 75 // behavior. |
| 76 to = JS('String', r"#.replace('$', '$$$$')", to); | 76 to = JS('String', r"#.replace('$', '$$$$')", to); |
| 77 return JS('String', r'#.replace(#, #)', receiver, replacer, to); | 77 return JS('String', r'#.replace(#, #)', receiver, replacer, to); |
| 78 } | 78 } |
| 79 | 79 |
| 80 final RegExp quoteRegExp = new JSSyntaxRegExp(r'[-[\]{}()*+?.,\\^$|#\s]'); | 80 final RegExp quoteRegExp = const JSSyntaxRegExp(r'[-[\]{}()*+?.,\\^$|#\s]'); |
| 81 | 81 |
| 82 stringReplaceAllUnchecked(receiver, from, to) { | 82 stringReplaceAllUnchecked(receiver, from, to) { |
| 83 checkString(to); | 83 checkString(to); |
| 84 if (from is String) { | 84 if (from is String) { |
| 85 if (from == "") { | 85 if (from == "") { |
| 86 if (receiver == "") { | 86 if (receiver == "") { |
| 87 return to; | 87 return to; |
| 88 } else { | 88 } else { |
| 89 StringBuffer result = new StringBuffer(); | 89 StringBuffer result = new StringBuffer(); |
| 90 int length = receiver.length; | 90 int length = receiver.length; |
| (...skipping 134 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 225 void addCharCode(int charCode) { | 225 void addCharCode(int charCode) { |
| 226 add(new String.fromCharCodes([charCode])); | 226 add(new String.fromCharCodes([charCode])); |
| 227 } | 227 } |
| 228 | 228 |
| 229 void clear() { | 229 void clear() { |
| 230 _contents = ""; | 230 _contents = ""; |
| 231 } | 231 } |
| 232 | 232 |
| 233 String toString() => _contents; | 233 String toString() => _contents; |
| 234 } | 234 } |
| OLD | NEW |