Fix for 15001.

editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java

Index: editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java
diff --git a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java
index fc71f4f78205832ceb2446a9c2c1ad4c799451fa..2cfbdd8818b2b79ed9d53b7ef9dab7e3d31d7b74 100644
--- a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java
+++ b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/resolver/StaticWarningCodeTest.java
@@ -1988,6 +1988,39 @@ public class StaticWarningCodeTest extends ResolverTestCase {
     verify(source);
   }
 
+  public void test_nonAbstractClassInheritsAbstractMemberOne_mixinInherits_getter()
+      throws Exception {
+    // 15001
+    Source source = addSource(createSource(//
+        "abstract class A { get g1; get g2; }",
+        "abstract class B implements A { get g1 => 1; }",
+        "class C extends Object with B {}"));
+    resolve(source);
+    assertErrors(source, StaticWarningCode.NON_ABSTRACT_CLASS_INHERITS_ABSTRACT_MEMBER_ONE);
+  }
+
+  public void test_nonAbstractClassInheritsAbstractMemberOne_mixinInherits_method()
+      throws Exception {
+    // 15001
+    Source source = addSource(createSource(//
+        "abstract class A { m1(); m2(); }",
+        "abstract class B implements A { m1() => 1; }",
+        "class C extends Object with B {}"));
+    resolve(source);
+    assertErrors(source, StaticWarningCode.NON_ABSTRACT_CLASS_INHERITS_ABSTRACT_MEMBER_ONE);
+  }
+
+  public void test_nonAbstractClassInheritsAbstractMemberOne_mixinInherits_setter()
+      throws Exception {
+    // 15001
+    Source source = addSource(createSource(//
+        "abstract class A { set s1(v); set s2(v); }",
+        "abstract class B implements A { set s1(v) {} }",
+        "class C extends Object with B {}"));
+    resolve(source);
+    assertErrors(source, StaticWarningCode.NON_ABSTRACT_CLASS_INHERITS_ABSTRACT_MEMBER_ONE);
+  }
+
   public void test_nonAbstractClassInheritsAbstractMemberOne_setter_and_implicitSetter()
       throws Exception {
     // test from language/override_inheritance_abstract_test_14.dart