| OLD | NEW |
| (Empty) |
| 1 // Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file | |
| 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. | |
| 4 | |
| 5 // part of dart_core; | |
| 6 | |
| 7 /** | |
| 8 * An annotation used to mark a class, field, getter, setter, method, top-level | |
| 9 * variable, or top-level function as one that should no longer be used. Tools | |
| 10 * can use this annotation to provide a warning on references to the marked | |
| 11 * element. | |
| 12 */ | |
| 13 const deprecated = const Deprecated(); | |
| 14 | |
| 15 class Deprecated { | |
| 16 final String message; | |
| 17 const Deprecated([this.message]); | |
| 18 } | |
| 19 | |
| 20 /** | |
| 21 * An annotation used to mark an instance member (method, field, getter or | |
| 22 * setter) as overriding an inherited class member. Tools can use this | |
| 23 * annotation to provide a warning if there is no overridden member. | |
| 24 */ | |
| 25 const override = const _Override(); | |
| 26 | |
| 27 class _Override { | |
| 28 const _Override(); | |
| 29 } | |
| OLD | NEW |