| // Copyright (c) 2016, 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 |
| |
| /// @assertion Evaluation of an assignment of the form e1.v = e2 proceeds as |
| /// follows: |
| /// The expression e1 is evaluated to an object o1. Then, the expression e2 is |
| /// evaluated to an object o2. Then, the setter v = is looked up in o1 with |
| /// respect to the current library. If o1 is an instance of Type but e1 is not a |
| /// constant type literal, then if v = is a setter that forwards to a static |
| /// setter, setter lookup fails. Otherwise, the body of v = is executed with its |
| /// formal parameter bound to o2 and this bound to o1. |
| /// @description Checks that if evaluation of e1 successful then e2 is evaluated |
| /// @author sgrekhov@unipro.ru |
| |
| import '../../../Utils/expect.dart'; |
| |
| class C { |
| C(int val) { |
| v = val; |
| } |
| int v; |
| |
| C operator +(C val) { |
| return new C(0); |
| } |
| } |
| |
| int count = 0; |
| int e2() => count++; |
| |
| |
| main() { |
| C c1 = new C(1); |
| C c2 = new C(2); |
| (c1 + c2).v = e2(); |
| Expect.equals(1, count); |
| } |