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 594ae2a16a258285731d77b0a2a15aa344c444d5..d85a0524abebc088c5eff3d88ea8c0ad6bc8b72c 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 |
@@ -2033,6 +2033,49 @@ public class StaticWarningCodeTest extends ResolverTestCase { |
verify(source); |
} |
+ public void test_nonAbstractClassInheritsAbstractMemberOne_classTypeAlias_interface() |
+ throws Exception { |
+ // 15979 |
+ Source source = addSource(createSource(// |
+ "abstract class M {}", |
+ "abstract class A {}", |
+ "abstract class I {", |
+ " m();", |
+ "}", |
+ "class B = A with M implements I;")); |
+ resolve(source); |
+ assertErrors(source, StaticWarningCode.NON_ABSTRACT_CLASS_INHERITS_ABSTRACT_MEMBER_ONE); |
+ verify(source); |
+ } |
+ |
+ public void test_nonAbstractClassInheritsAbstractMemberOne_classTypeAlias_mixin() |
+ throws Exception { |
+ // 15979 |
+ Source source = addSource(createSource(// |
+ "abstract class M {", |
+ " m();", |
+ "}", |
+ "abstract class A {}", |
+ "class B = A with M;")); |
+ resolve(source); |
+ assertErrors(source, StaticWarningCode.NON_ABSTRACT_CLASS_INHERITS_ABSTRACT_MEMBER_ONE); |
+ verify(source); |
+ } |
+ |
+ public void test_nonAbstractClassInheritsAbstractMemberOne_classTypeAlias_superclass() |
+ throws Exception { |
+ // 15979 |
+ Source source = addSource(createSource(// |
+ "class M {}", |
+ "abstract class A {", |
+ " m();", |
+ "}", |
+ "class B = A with M;")); |
+ resolve(source); |
+ assertErrors(source, StaticWarningCode.NON_ABSTRACT_CLASS_INHERITS_ABSTRACT_MEMBER_ONE); |
+ verify(source); |
+ } |
+ |
public void test_nonAbstractClassInheritsAbstractMemberOne_ensureCorrectFunctionSubtypeIsUsedInImplementation() |
throws Exception { |
// 15028 |