First end-to-end capability in analyzer2dart.

sdk/lib/_internal/compiler/implementation/elements/elements.dart

 // 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.
 
 library elements;
 
 
 import '../tree/tree.dart';
 import '../util/util.dart';
 import '../resolution/resolution.dart';
 
 import '../dart2jslib.dart' show InterfaceType,
                                  DartType,
                                  TypeVariableType,
                                  TypedefType,
                                  DualKind,
                                  MessageKind,
                                  DiagnosticListener,
                                  Script,
                                  FunctionType,
                                  Selector,
                                  Constant,
                                  Compiler,
                                  Backend,
                                  isPrivateName;
 
 import '../dart_types.dart';
+import '../helpers/helpers.dart';
 
 import '../scanner/scannerlib.dart' show Token,
                                          isUserDefinableOperator,
                                          isMinusOperator;
 
 import '../ordered_typeset.dart' show OrderedTypeSet;
 
 import 'visitor.dart' show ElementVisitor;
 
 part 'names.dart';
@@ skipping 415 matching lines @@
 
   static bool isInstanceField(Element element) {
     return !Elements.isUnresolved(element)
            && element.isInstanceMember
            && (identical(element.kind, ElementKind.FIELD)
                || identical(element.kind, ElementKind.GETTER)
                || identical(element.kind, ElementKind.SETTER));
   }
 
   static bool isStaticOrTopLevel(Element element) {
-    // TODO(ager): This should not be necessary when patch support has
-    // been reworked.
-    if (!Elements.isUnresolved(element)
-        && element.isStatic) {
-      return true;
-    }
-    return !Elements.isUnresolved(element)
-           && !element.isAmbiguous
+    // TODO(johnniwinther): Clean this up. This currently returns true for a
+    // PartialConstructorElement, SynthesizedConstructorElementX, and
+    // TypeVariableElementX though neither `element.isStatic` nor
+    // `element.isTopLevel` is true.
+    if (Elements.isUnresolved(element)) return false;
+    if (element.isStatic || element.isTopLevel) return true;
+    return !element.isAmbiguous
            && !element.isInstanceMember
            && !element.isPrefix
            && element.enclosingElement != null
            && (element.enclosingElement.kind == ElementKind.CLASS ||
                element.enclosingElement.kind == ElementKind.COMPILATION_UNIT ||
                element.enclosingElement.kind == ElementKind.LIBRARY ||
                element.enclosingElement.kind == ElementKind.PREFIX);
   }
 
   static bool isInStaticContext(Element element) {
@@ skipping 367 matching lines @@
 
 abstract class LibraryElement extends Element
     implements ScopeContainerElement, AnalyzableElement {
   /**
    * The canonical uri for this library.
    *
    * For user libraries the canonical uri is the script uri. For platform
    * libraries the canonical uri is of the form [:dart:x:].
    */
   Uri get canonicalUri;
+
+  /// Returns `true` if this library is 'dart:core'.
+  bool get isDartCore;
+
   CompilationUnitElement get entryCompilationUnit;
   Link<CompilationUnitElement> get compilationUnits;
   Iterable<LibraryTag> get tags;
   LibraryName get libraryTag;
   Link<Element> get exports;
 
   /**
    * [:true:] if this library is part of the platform, that is, its canonical
    * uri has the scheme 'dart'.
    */
@@ skipping 684 matching lines @@
   bool get isDeclaredByField;
 
   /// Returns `true` if this member is abstract.
   bool get isAbstract;
 
   /// If abstract, [implementation] points to the overridden concrete member,
   /// if any. Otherwise [implementation] points to the member itself.
   Member get implementation;
 }