| 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 | 9 |
| 10 part 'bigint.dart'; | 10 part 'bigint.dart'; |
| 11 part 'case.dart'; | 11 part 'case.dart'; |
| (...skipping 643 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 655 | 655 |
| 656 @fletch.native external static int _getCurrentMs(); | 656 @fletch.native external static int _getCurrentMs(); |
| 657 | 657 |
| 658 @fletch.native external static String _timeZone(int clampedSecondsSinceEpoch); | 658 @fletch.native external static String _timeZone(int clampedSecondsSinceEpoch); |
| 659 | 659 |
| 660 @fletch.native external static int _timeZoneOffset( | 660 @fletch.native external static int _timeZoneOffset( |
| 661 int clampedSecondsSinceEpoch); | 661 int clampedSecondsSinceEpoch); |
| 662 | 662 |
| 663 @fletch.native external static int _localTimeZoneOffset(); | 663 @fletch.native external static int _localTimeZoneOffset(); |
| 664 } | 664 } |
| OLD | NEW |