Add @Native(...) annotation for native class names.

tests/compiler/dart2js_native/native_class_is_check3_frog_test.dart

 // Copyright (c) 2011, 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.
 
+import "dart:_js_helper";
 import "package:expect/expect.dart";
 
 // Test for correct simple is-checks on hidden native classes.
 
 abstract class J {
 }
 
 abstract class I extends J {
   I read();
   write(I x);
 }
 
 // Native implementation.
 
-class A implements I native "A" {
+@Native("A")
+class A implements I {
   // The native class accepts only other native instances.
   A read() native;
   write(A x) native;
 }
 
-class B extends A native "B" {
+@Native("B")
+class B extends A {
 }
 
 makeA() native;
 makeB() native;
 
 void setup() native """
 // This code is all inside 'setup' and so not accesible from the global scope.
 function inherits(child, parent) {
   if (child.prototype.__proto__) {
     child.prototype.__proto__ = parent.prototype;
@@ skipping 34 matching lines @@
   Expect.isTrue(b1 is A);
   Expect.isTrue(b1 is B);
   Expect.isTrue(b1 is !C);
 
   Expect.isTrue(a1 is J);
   Expect.isTrue(a1 is I);
   Expect.isTrue(a1 is A);
   Expect.isTrue(a1 is !B);
   Expect.isTrue(a1 is !C);
 }