| // Copyright (c) 2015, 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. |
| |
| // @dart = 2.9 |
| |
| import "package:expect/expect.dart"; |
| |
| class MS<T> { |
| foo() { |
| return "MS<$T>.foo\n"; |
| } |
| } |
| |
| mixin M<T> on MS<List<T>> { |
| foo() { |
| return super.foo() + "M<$T>.foo\n"; |
| } |
| } |
| |
| class NS<T> { |
| foo() { |
| return "NS<$T>.foo\n"; |
| } |
| } |
| |
| mixin N<T> on NS<List<T>> { |
| foo() { |
| return super.foo() + "N<$T>.foo\n"; |
| } |
| } |
| |
| class S<T, V, W> implements MS<List<V>>, NS<List<W>> { |
| foo() { |
| return "S<$T,$V,$W>.foo\n"; |
| } |
| } |
| |
| class SM<U, V, W> = S<U, V, W> with M<V>; |
| |
| class MNA1<U, V, W> extends S<U, V, W> with M<V>, N<W> { |
| foo() { |
| return super.foo() + "MNA1<$U, $V, $W>.foo\n"; |
| } |
| } |
| |
| class MNA2<U, V, W> extends SM<U, V, W> with N<W> { |
| foo() { |
| return super.foo() + "MNA2<$U, $V, $W>.foo\n"; |
| } |
| } |
| |
| class MNA3<U, V, W> extends S<U, V, W> with M<V>, N<W> { |
| foo() { |
| return super.foo() + "MNA3<$U, $V, $W>.foo\n"; |
| } |
| } |
| |
| abstract class Base { |
| static String log = ''; |
| Base() { |
| log += 'Base()\n'; |
| } |
| } |
| |
| mixin Foo on Base { |
| var x = Base.log += 'Foo.x\n'; |
| } |
| |
| mixin Bar on Base { |
| var y = Base.log += 'Bar.y\n'; |
| } |
| |
| class Derived extends Base with Foo, Bar { |
| String get log => Base.log; |
| } |
| |
| main() { |
| Expect.equals( |
| "S<int,String,bool>.foo\n" |
| "M<String>.foo\n", |
| SM<int, String, bool>().foo()); |
| Expect.equals( |
| "S<int,String,bool>.foo\n" |
| "M<String>.foo\n" |
| "N<bool>.foo\n" |
| "MNA1<int, String, bool>.foo\n", |
| MNA1<int, String, bool>().foo()); |
| Expect.equals( |
| "S<int,String,bool>.foo\n" |
| "M<String>.foo\n" |
| "N<bool>.foo\n" |
| "MNA2<int, String, bool>.foo\n", |
| MNA2<int, String, bool>().foo()); |
| Expect.equals( |
| "S<int,String,bool>.foo\n" |
| "M<String>.foo\n" |
| "N<bool>.foo\n" |
| "MNA3<int, String, bool>.foo\n", |
| MNA3<int, String, bool>().foo()); |
| Expect.equals( |
| "Bar.y\n" |
| "Foo.x\n" |
| "Base()\n", |
| Derived().log); |
| } |