| OLD | NEW |
| (Empty) | |
| 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 |
| 3 // BSD-style license that can be found in the LICENSE file. |
| 4 |
| 5 #library("unicode"); |
| 6 #import("unicode_core.dart"); |
| 7 |
| 8 /** |
| 9 * Provide Unicode codepoints for a given string. |
| 10 */ |
| 11 List<int> stringToCodepoints(String str) { |
| 12 List<int> codepoints; |
| 13 // TODO is16BitCodeUnit() is used to work around a bug with frog/dartc |
| 14 // (http://code.google.com/p/dart/issues/detail?id=1357). Consider |
| 15 // removing after this issue is resolved. |
| 16 if (is16BitCodeUnit()) { |
| 17 codepoints = utf16CodeUnitsToCodepoints(str.charCodes()); |
| 18 } else { |
| 19 codepoints = str.charCodes(); |
| 20 } |
| 21 return codepoints; |
| 22 } |
| 23 |
| 24 /** |
| 25 * Generate a string for the provided Unicode codepoints. |
| 26 */ |
| 27 String codepointsToString(List<int> codepoints) { |
| 28 // TODO is16BitCodeUnit() is used to work around a bug with frog/dartc |
| 29 // (http://code.google.com/p/dart/issues/detail?id=1357). Consider |
| 30 // removing after this issue is resolved. |
| 31 if (is16BitCodeUnit()) { |
| 32 return new String.fromCharCodes( |
| 33 codepointsToUtf16CodeUnits(codepoints)); |
| 34 } else { |
| 35 return new String.fromCharCodes(codepoints); |
| 36 } |
| 37 } |
| OLD | NEW |