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 |