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 |