Add @proxy to annotations.dart - remove package:meta.

sdk/lib/core/annotations.dart

 // Copyright (c) 2013, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of dart.core;
 
 /**
- * The annotation "@Deprecated('expires when')" marks a feature as deprecated.
+ * The annotation `@Deprecated('expires when')` marks a feature as deprecated.
  *
- * The annotation "@deprecated" is a shorthand for deprecating until
+ * The annotation `@deprecated` is a shorthand for deprecating until
  * to an unspecified "next release".
  *
- * The intent of the "@Deprecated" annotation is to inform users of a feature
+ * The intent of the `@Deprecated` annotation is to inform users of a feature
  * that they should change their code, even if it is currently still working
  * correctly.
  *
  * A deprecated feature is scheduled to be removed at a later time, possibly
  * specified as the "expires" field of the annotation.
  * This means that a deprecated feature should not be used, or code using it
  * will break at some point in the future. If there is code using the feature,
  * that code should be rewritten to not use the deprecated feature.
  *
  * A deprecated feature should document how the same effect can be achieved,
  * so the programmer knows how to rewrite the code.
  *
- * The "@Deprecated" annotation applies to libraries, top-level declarations
+ * The `@Deprecated` annotation applies to libraries, top-level declarations
  * (variables, getters, setters, functions, classes and typedefs),
  * class-level declarations (variables, getters, setters, methods, operators or
  * constructors, whether static or not), named optional arguments and
  * trailing optional positional parameters.
  *
  * Deprecation is transitive:
  *
  *  - If a library is deprecated, so is every member of it.
  *  - If a class is deprecated, so is every member of it.
  *  - If a variable is deprecated, so are its implicit getter and setter.
@@ skipping 38 matching lines @@
 class _Override {
   const _Override();
 }
 
 /**
  * Marks a feature as [Deprecated] until the next release.
  */
 const deprecated = const Deprecated("next release");
 
 /*
- * The annotation "@override" marks an instance member as overriding a
+ * The annotation `@override` marks an instance member as overriding a
  * superclass member with the same name.
  *
  * The annotation applies to instance methods, getters and setters, and to
  * instance fields, where it means that the implicit getter and setter of the
  * field is marked as overriding, but the field itself is not.
  *
  * A tool may report if no declaration of an annotated member is inherited by
  * the class from either a superclass or an interface.
  *
- * The intent of the "override" notation is to catch situations where a
+ * The intent of the `@override` notation is to catch situations where a
  * superclass renames a member, and an independent subclass which used to
  * override the member, could silently continue working using the
  * superclass implementation.
  *
- * The "@override" annotation is intentionally not used in the core libraries.
+ * The `@override` annotation is intentionally not used in the core libraries.
  * It is intended for the editor, or similar tools, to support user written
  * code.
  */
 const override = const _Override();
+
+class _Proxy {
+  const _Proxy();
+}
+
+/**
+ * The annotation `@proxy` marks a class as implementing members through
+ * `noSuchMethod`.
+ *
+ * The annotation applies to concrete classes. It is not inherited by
+ * subclasses.
+ *
+ * The marked class is considerer to implement any method, getter or setter
+ * declared by its interface, even if there is no implementation in the
+ * class. It will not generate the warning that is otherwise speified for an

[karlklose, 2013/10/29 10:40:06]

'speified' -> 'specified'.

+ * unimplemented method in a non-abstract class.
+ *
+ * The intent of the `@proxy` notation is to avoid irrelevant warnings when
+ * a class implements its interface through `noSuchMethod`.
+ */
+const proxy = const _Proxy();