OLD | NEW |
1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart 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 file. | 3 // BSD-style license that can be found in the LICENSE file. |
4 | 4 |
5 part of _js_helper; | 5 part of _js_helper; |
6 | 6 |
7 /// Tells the optimizing compiler that the annotated method has no | 7 /// Tells the optimizing compiler that the annotated method has no |
8 /// side-effects. | 8 /// side-effects. Allocations don't count as side-effects, since they can be |
| 9 /// dropped without changing the semantics of the program. |
| 10 /// |
9 /// Requires @NoInline() to function correctly. | 11 /// Requires @NoInline() to function correctly. |
10 class NoSideEffects { | 12 class NoSideEffects { |
11 const NoSideEffects(); | 13 const NoSideEffects(); |
12 } | 14 } |
13 | 15 |
14 /// Tells the optimizing compiler that the annotated method cannot throw. | 16 /// Tells the optimizing compiler that the annotated method cannot throw. |
15 /// Requires @NoInline() to function correctly. | 17 /// Requires @NoInline() to function correctly. |
16 class NoThrows { | 18 class NoThrows { |
17 const NoThrows(); | 19 const NoThrows(); |
18 } | 20 } |
(...skipping 28 matching lines...) Expand all Loading... |
47 } | 49 } |
48 | 50 |
49 /// Annotation that marks the declaration as a patch. | 51 /// Annotation that marks the declaration as a patch. |
50 const _Patch patch = const _Patch(null); | 52 const _Patch patch = const _Patch(null); |
51 | 53 |
52 /// Annotation that marks the declaration as a patch for the old emitter. | 54 /// Annotation that marks the declaration as a patch for the old emitter. |
53 const _Patch patch_old = const _Patch('old'); | 55 const _Patch patch_old = const _Patch('old'); |
54 | 56 |
55 /// Annotation that marks the declaration as a patch for the new emitter. | 57 /// Annotation that marks the declaration as a patch for the new emitter. |
56 const _Patch patch_new = const _Patch('new'); | 58 const _Patch patch_new = const _Patch('new'); |
OLD | NEW |