Fix for computing overridden/implemented members from interfaces.

pkg/analysis_server/test/analysis/notification_overrides_test.dart

 // Copyright (c) 2014, 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 test.analysis.notification.overrides;
 
 import 'dart:async';
 
 import 'package:analysis_server/src/constants.dart';
 import 'package:analysis_server/src/protocol.dart';
@@ skipping 120 matching lines @@
 ''');
     return waitForTasksFinished().then((_) {
       return prepareOverrides().then((_) {
         assertHasOverride('m() {} // in B');
         assertNoSuperMember();
         assertHasInterfaceMember('m() {} // in A');
       });
     });
   }
 
+  test_definedInInterface_ofInterface() {
+    addTestFile('''
+class A {
+  m() {} // in A
+}
+class B implements A {}
+class C implements B {
+  m() {} // in C
+}
+''');
+    return prepareOverrides().then((_) {
+      assertHasOverride('m() {} // in C');
+      assertNoSuperMember();
+      assertHasInterfaceMember('m() {} // in A');
+    });
+  }
+
+  test_definedInInterface_ofSuper() {
+    addTestFile('''
+class A {
+  m() {} // in A
+}
+class B implements A {}
+class C extends B {
+  m() {} // in C
+}
+''');
+    return prepareOverrides().then((_) {
+      assertHasOverride('m() {} // in C');
+      assertNoSuperMember();
+      assertHasInterfaceMember('m() {} // in A');
+    });
+  }
+
   test_interface_method_direct_multiple() {
     addTestFile('''
 class IA {
   m() {} // in IA
 }
 class IB {
   m() {} // in IB
 }
 class A implements IA, IB {
   m() {} // in A
@@ skipping 165 matching lines @@
   m() {} // in C
 }
 ''');
     return prepareOverrides().then((_) {
       assertHasOverride('m() {} // in C');
       assertHasSuperElement('m() {} // in A');
       assertNoInterfaceMembers();
     });
   }
 
+  test_super_method_superTypeCycle() {
+    addTestFile('''
+class A extends B {
+  m() {} // in A
+}
+class B extends A {
+  m() {} // in B
+}
+''');
+    return prepareOverrides().then((_) {
+      // must finish
+    });
+  }
+
   test_super_setterBySetter() {
     addTestFile('''
 class A {
   set fff(x) {} // in A
 }
 class B extends A {
   set fff(x) {} // in B
 }
 ''');
     return prepareOverrides().then((_) {
       assertHasOverride('fff(x) {} // in B');
       assertHasSuperElement('fff(x) {} // in A');
       assertNoInterfaceMembers();
     });
   }
 }