| 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 import 'dart:fletch._system' as fletch; | 5 import 'dart:fletch._system' as fletch; |
| 6 import 'dart:fletch._system' show patch; | 6 import 'dart:fletch._system' show patch; |
| 7 | 7 |
| 8 @patch class Random { | 8 @patch class Random { |
| 9 @patch factory Random([int seed]) { | 9 @patch factory Random([int seed]) { |
| 10 return new _Random(seed); | 10 return new _Random(seed); |
| 11 } | 11 } |
| (...skipping 207 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 219 | 219 |
| 220 @fletch.native external double _sqrt(double x); | 220 @fletch.native external double _sqrt(double x); |
| 221 | 221 |
| 222 @fletch.native external double _exp(double x); | 222 @fletch.native external double _exp(double x); |
| 223 | 223 |
| 224 @fletch.native external double _log(double x); | 224 @fletch.native external double _log(double x); |
| 225 | 225 |
| 226 @fletch.native external double _atan2(double a, double b); | 226 @fletch.native external double _atan2(double a, double b); |
| 227 | 227 |
| 228 @fletch.native external double _pow(double x, double exponent); | 228 @fletch.native external double _pow(double x, double exponent); |
| OLD | NEW |