Restore r1383: Fix method resolution to warn about things that don't exist on the declared 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 23 matching lines @@
   abstract SourceSpan get span();
 
   abstract Type resolveType(TypeReference node, bool isRequired);
 
   abstract Type resolveTypeParams(ConcreteType inType);
 
   abstract MemberSet resolveMember(String name);
   Member getMember(String name) => null;
   abstract MethodMember getConstructor(String name);
   abstract MethodMember getFactory(Type type, String name);
-
+  abstract Type getOrMakeConcreteType(List<Type> typeArgs);
+  abstract Map<String, MethodMember> get constructors();
+  abstract addDirectSubtype(Type type);

[jimhug, 2011/11/10 15:47:21]

Another of those cool vs. weird things - but I'm also going to claim that I
think its cool how this type is gradually morphing into its full abstract form.

   abstract bool get isClass();
   abstract Library get library();
 
   // TODO(jmesserly): rename to isDynamic?
   bool get isVar() => false;
   bool get isTop() => false;
 
   bool get isObject() => false;
   bool get isString() => false;
   bool get isBool() => false;
@@ skipping 21 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;
 
+  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;
-  Type get genericType() => this;
+  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();
 
   void ensureSubtypeOf(Type other, SourceSpan span, [bool typeErrors=false]) {
@@ skipping 194 matching lines @@
   }
 }
 
 
 /** A type parameter within the body of the type. */
 class ParameterType extends Type {
   TypeParameter typeParameter;
   Type extendsType;
 
   bool get isClass() => false;