| OLD | NEW |
| 1 // Copyright (c) 2015, the Fletch project authors. Please see the AUTHORS file | 1 // Copyright (c) 2015, the Dartino 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.md file. | 3 // BSD-style license that can be found in the LICENSE.md file. |
| 4 | 4 |
| 5 library dart.core_patch; | 5 library dart.core_patch; |
| 6 | 6 |
| 7 import 'dart:fletch._system' as fletch; | 7 import 'dart:fletch._system' as fletch; |
| 8 import 'dart:fletch._system' show patch; | 8 import 'dart:fletch._system' show patch; |
| 9 import 'dart:collection' show LinkedHashMap, UnmodifiableMapView; | 9 import 'dart:collection' show LinkedHashMap, UnmodifiableMapView; |
| 10 | 10 |
| 11 part 'bigint.dart'; | 11 part 'bigint.dart'; |
| (...skipping 691 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 703 } else if (spaceToPlus && byte == _SPACE) { | 703 } else if (spaceToPlus && byte == _SPACE) { |
| 704 result.writeCharCode(_PLUS); | 704 result.writeCharCode(_PLUS); |
| 705 } else { | 705 } else { |
| 706 result.writeCharCode(_PERCENT); | 706 result.writeCharCode(_PERCENT); |
| 707 byteToHex(byte, result); | 707 byteToHex(byte, result); |
| 708 } | 708 } |
| 709 } | 709 } |
| 710 return result.toString(); | 710 return result.toString(); |
| 711 } | 711 } |
| 712 } | 712 } |
| OLD | NEW |