Fixes to get Swarm demo working again.

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 90 matching lines @@
   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 _checkOverride(Member member) {

[Jennifer Messerly, 2011/11/18 18:51:29]

this was extract:method

+    // 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);
+      }
+    }
+  }
+
+  Member _createNotEqualMember() {

[Jennifer Messerly, 2011/11/18 18:51:29]

this and _getMemberInParents are just moved from DefinedType so ConcreteType can
also take advantage of them.

+    // Add a != method just like the == one.
+    MethodMember eq = members['\$eq'];
+    if (eq == null) {
+      world.internalError('INTERNAL: object does not define ==',
+        definition.span);
+    }
+    final ne = new MethodMember('\$ne', this, eq.definition);
+    ne.isGenerated = true;
+    ne.returnType = eq.returnType;
+    ne.parameters = eq.parameters;
+    ne.isStatic = eq.isStatic;
+    ne.isAbstract = eq.isAbstract;
+    // TODO - What else to fill in?
+    return ne;
+  }
+
+  Member _getMemberInParents(String memberName) {
+    // print('getting $memberName in parents of $name, $isClass');
+    // Now look in my parents.
+    if (isClass) {
+      if (parent != null) {
+        return parent.getMember(memberName);
+      } else if (isObject) {  // Could also be a top type so need check.
+        // Create synthetic != method if needed.
+        if (memberName == '\$ne') {
+          var ret = _createNotEqualMember();
+          members[memberName] = ret;
+          return ret;
+        }
+        return null;
+      }
+    } else {
+      // TODO(jimhug): Will probably check types more than once - errors?
+      if (interfaces != null && interfaces.length > 0) {
+        for (var i in interfaces) {
+          var ret = i.getMember(memberName);
+          if (ret != null) {
+            return ret;
+          }
+        }
+        return null;
+      } else {
+        return world.objectType.getMember(memberName);
+      }
+    }
+  }
+
   void ensureSubtypeOf(Type other, SourceSpan span, [bool typeErrors=false]) {
     if (!isSubtypeOf(other)) {
       var msg = 'type $name is not a subtype of ${other.name}';
       if (typeErrors) {
         world.error(msg, span);
       } else {
         world.warning(msg, span);
       }
     }
   }
@@ skipping 294 matching lines @@
   Definition get definition() => type.definition;
   FactoryMap get factories() => type.factories;
   Collection<Type> get typeArgsInOrder() => type.typeArgsInOrder;
   DefinedType get genericType() => type.genericType;
   List<Type> get interfaces() => type.interfaces;
   Type get parent() => type.parent;
   Map<String, Member> getAllMembers() => type.getAllMembers();
   bool get isNativeType() => type.isNativeType;
 }