Warnings for instantiating an abstract type.

frog/type.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.
 
 class Type implements Named, Hashable {
   final String name;
   bool isTested;
 
   /**
    * For core types (int, String, etc) this is the generated type assertion
@@ skipping 73 matching lines @@
   bool get isNative() => isNativeType; // TODO(jimhug): remove isNativeType.
 
   bool get hasTypeParams() => false;
 
   String get typeofName() => null;
 
   String get jsname() => _jsname == null ? name : _jsname;
 
   set jsname(String name) => _jsname = name;
 
+  /** The members directly on this type. */
+  // TODO(jmesserly): should this be directMembers?
   Map<String, Member> get members() => null;
+
   Definition get definition() => null;
   FactoryMap get factories() => null;
 
   // TODO(jmesserly): should try using a const list instead of null to represent
   // the absence of type parameters.
   Collection<Type> get typeArgsInOrder() => null;
   DefinedType get genericType() => this;
 
   // TODO(jmesserly): what should these do for ParameterType?
   List<Type> get interfaces() => null;
   Type get parent() => null;
 
   Map<String, Member> getAllMembers() => {};
 
   int hashCode() => name.hashCode();
 
+  bool _isAbstract;
+  bool get isAbstract() {
+    if (_isAbstract == null) {
+      if (isClass) {
+        _isAbstract = inheritedMembers.getValues().some((m) => m.isAbstract);
+      } else {
+        _isAbstract = true;
+      }
+    }
+    return _isAbstract;
+  }
+
+  Map<String, Member> _inheritedMembers;
+  /**
+   * Gets all members in the class with the corresponding most-derived
+   * member.
+   */
+  // TODO(jmesserly): use this for getMember and do _checkOverride here?
+  Map<String, Member> get inheritedMembers() {
+    if (_inheritedMembers == null) {
+      _inheritedMembers = _getInheritedMembers(<String, Member>{});
+    }
+    return _inheritedMembers;
+  }
+
+  _getInheritedMembers(Map<String, Member> flattened) {
+    if (interfaces != null) {
+      for (var i in interfaces) {
+        i._getInheritedMembers(flattened);
+      }
+    }
+    if (parent != null) {
+      parent._getInheritedMembers(flattened);
+    }
+    // Add my members last so they take precedence
+    for (var m in getAllMembers().getValues()) {
+      flattened[m.name] = m;
+    }
+    return flattened;
+  }
+
   void _checkOverride(Member member) {
     // always look in parents to check that any overloads are legal
     var parentMember = _getMemberInParents(member.name);
     if (parentMember != null) {
       // TODO(jimhug): Ensure that this is only done once.
       if (!member.isPrivate || member.library == parentMember.library) {
         member.override(parentMember);
       }
     }
   }
@@ skipping 1151 matching lines @@
     var name = _getCallStubName('call', args);
     if (varStubs == null) varStubs = {};
     var stub = varStubs[name];
     if (stub == null) {
       stub = new VarFunctionStub(name, args);
       varStubs[name] = stub;
     }
     return stub;
   }
 }