Issue 3753. Support for @deprecated annotation

compiler/javatests/com/google/dart/compiler/type/TypeAnalyzerCompilerTest.java

 // Copyright (c) 2012, 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.
 package com.google.dart.compiler.type;
 
 import com.google.common.base.Joiner;
 import com.google.common.collect.Iterables;
 import com.google.common.collect.Lists;
 import com.google.common.collect.Maps;
 import com.google.dart.compiler.CommandLineOptions.CompilerOptions;
@@ skipping 2905 matching lines @@
 
   public void test_variableUsedAsType() throws Exception {
     AnalyzeLibraryResult libraryResult = analyzeLibrary(
         "// filler filler filler filler filler filler filler filler filler filler",
         "var func;",
         "func i;");
     assertErrors(
         libraryResult.getErrors(),
         errEx(TypeErrorCode.NOT_A_TYPE, 3, 1, 4));
   }
+  
+  public void test_metadata_deprecated() throws Exception {
+    AnalyzeLibraryResult libraryResult = analyzeLibrary(
+        "// filler filler filler filler filler filler filler filler filler filler",
+        "// @deprecated",
+        "ttt() {}",
+        "// @deprecated",

[Brian Wilkerson, 2012/06/29 16:17:49]

Does deprecating a class implicitly deprecate everything inside it? If so, then
the deprecated markers inside this class are not needed (although we should test
them inside a class that isn't also deprecated). If not, then I'm not sure why
the implicit constructor is deprecated.

[scheglov, 2012/06/29 20:11:57]

Constructor invocation has form: Type[.nameOfConstructor](args).
I.e. we add warning for type reference.
We could not declare local variable, for example "new
DeprecatedType().doSomething()" and in this case it still would be nice to show
that "DeprecatedType" is deprecated.

I don't think that we should propagate deprecation flag to the type members.
It would show to much deprecation warnings.
Just one warning at the place of declaration (or creation) is enough.
Of course, if you want specify type annotation, you will not see it.
But if you don't specify types, you probably care even less about deprecation.

[Brian Wilkerson, 2012/06/29 20:20:28]

OK. I understand the reasoning behind the behavior.
I agree. I'm fine with it now that I understand the reasoning.

+        "class A {",
+        "  // @deprecated",
+        "  var fff;",
+        "  // @deprecated",
+        "  mmm() {}",
+        "}",
+        "main() {",
+        "  ttt();",
+        "  A a = new A();",
+        "  a.fff = 0;",
+        "  a.mmm();",
+        "}",
+        "");
+    assertErrors(
+        libraryResult.getErrors(),
+        errEx(TypeErrorCode.DEPRECATED_ELEMENT, 13, 3, 1),
+        errEx(TypeErrorCode.DEPRECATED_ELEMENT, 13, 13, 1),
+        errEx(TypeErrorCode.DEPRECATED_ELEMENT, 12, 3, 3),
+        errEx(TypeErrorCode.DEPRECATED_ELEMENT, 14, 5, 3),
+        errEx(TypeErrorCode.DEPRECATED_ELEMENT, 15, 5, 3));
+  }
 
   private static <T extends DartNode> T findNode(
       AnalyzeLibraryResult libraryResult,
       final Class<T> clazz,
       String pattern) {
     final int index = libraryResult.source.indexOf(pattern);
     assertTrue(index != -1);
     final AtomicReference<T> result = new AtomicReference<T>();
     Iterator<DartUnit> unitsIterator = libraryResult.getLibraryUnitResult().getUnits().iterator();
     unitsIterator.next();
     DartUnit unit = unitsIterator.next();
     unit.accept(new ASTVisitor<Void>() {
       @Override
       @SuppressWarnings("unchecked")
       public Void visitNode(DartNode node) {
         SourceInfo sourceInfo = node.getSourceInfo();
         if (sourceInfo.getOffset() <= index
             && index < sourceInfo.getEnd()
             && clazz.isInstance(node)) {
           result.set((T) node);
         }
         return super.visitNode(node);
       }
     });
     return result.get();
   }
 }