| /* |
| * Copyright (c) 2018, 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. |
| */ |
| /** |
| * @assertion In a mixin declaration like mixin A<X extends S, Y extends T> |
| * on B, C implements D, E { body } the on clause declares the interfaces B and |
| * C as super-class constraints of the mixin. Having a super-class constraint |
| * allows the mixin declaration instance members to perform super-invocations |
| * (like super.foo()) if they are allowed by a class implementing both B and C. |
| * |
| * @description Checks that a mixin declaration can perform super-invocations. |
| * Test operators and "implements" implementation of "on" clause interfaces |
| * @author ngl@unipro.ru |
| */ |
| import "../../Utils/expect.dart"; |
| |
| abstract class A { |
| int va = 1; |
| int operator + (A v1); |
| } |
| |
| abstract class B { |
| int operator -(); |
| } |
| |
| class C implements A, B { |
| int va = 10; |
| int vb = 20; |
| int operator +(A v1) {return v1.va + 10000;} |
| int operator -() => vb + 20000; |
| } |
| |
| mixin M on A, B { |
| int va = 100; |
| int vb = 200; |
| int operator +(A v1) {return v1.va + 100000;} |
| int operator -() => vb + 200000; |
| |
| testM() { |
| Expect.equals(10010, super + new C()); |
| Expect.equals(11000, super + this); |
| Expect.equals(22000, -super); |
| } |
| } |
| |
| class MA extends C with M { |
| int va = 1000; |
| int vb = 2000; |
| int operator +(A v1) {return v1.va + 1000000;} |
| int operator -() => vb + 2000000; |
| |
| testMA() { |
| Expect.equals(100010, super + new C()); |
| Expect.equals(101000, super + this); |
| Expect.equals(202000, -super); |
| } |
| } |
| |
| main() { |
| MA ma = new MA(); |
| Expect.equals(1001000, ma + ma); |
| Expect.equals(2002000, -ma); |
| |
| ma.testM(); |
| ma.testMA(); |
| } |