Handle compound operators.

tests/compiler/dart2js/cpa_inference_test.dart

 // Copyright (c) 2012, 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.
 
 import "dart:uri";
 import "../../../sdk/lib/_internal/compiler/implementation/elements/elements.dart";
 import '../../../sdk/lib/_internal/compiler/implementation/scanner/scannerlib.dart';
 import '../../../sdk/lib/_internal/compiler/implementation/source_file.dart';
 import '../../../sdk/lib/_internal/compiler/implementation/types/types.dart';
 import '../../../sdk/lib/_internal/compiler/implementation/tree/tree.dart';
@@ skipping 336 matching lines @@
   result.checkFieldHasType('A', 'y', [result.string, new NullBaseType()]);
   result.checkFieldHasType('A', 'z', [result.string]);
 }
 
 testGetters() {
   final String source = r"""
       class A {
         var x;
         A(this.x);
         get y => x;
+        get z => y;
       }
       main() {
         var a = new A(42);
         var foo = a.x;
         var bar = a.y;
-        foo; bar;
+        var baz = a.z;
+        foo; bar; baz;
       }
       """;
   AnalysisResult result = analyze(source);
   result.checkNodeHasType('foo', [result.int]);
   result.checkNodeHasType('bar', [result.int]);
+  result.checkNodeHasType('baz', [result.int]);
 }
 
 testSetters() {
   final String source = r"""
       class A {
         var x;
-        A(this.x);
-        set y(a) { x = a; }
+        var w;
+        A(this.x, this.w);
+        set y(a) { x = a; z = a; }
+        set z(a) { w = a; }
       }
       main() {
-        var a = new A(42);
+        var a = new A(42, 42);
         a.x = 'abc';
         a.y = true;
       }
       """;
   AnalysisResult result = analyze(source);
   result.checkFieldHasType('A', 'x', [result.int, result.string, result.bool]);
+  result.checkFieldHasType('A', 'w', [result.int, result.bool]);
 }
 
 testNamedParameters() {
   final String source = r"""
       class A {
         var x, y, z, w;
         A(this.x, {this.y, this.z, this.w});
       }
       main() {
         new A(42);
@@ skipping 119 matching lines @@
         var x = new A() < "foo";
         var y = new A() << "foo";
         x; y;
       }
       """;
   AnalysisResult result = analyze(source);
   result.checkNodeHasType('x', [result.int]);
   result.checkNodeHasType('y', [result.string]);
 }
 
+testCompoundOperators1() {
+  final String source = r"""
+      class A {
+        operator +(x) => "foo";
+      }
+      main() {
+        var x1 = 1; x1++;
+        var x2 = 1; ++x2;
+        var x3 = new A(); x3++;
+        var x4 = new A(); ++x4;
+
+        x1; x2; x3; x4;
+      }
+      """;
+  AnalysisResult result = analyze(source);
+  result.checkNodeHasType('x1', [result.int]);
+  result.checkNodeHasType('x2', [result.int]);
+  result.checkNodeHasType('x3', [result.string]);
+  result.checkNodeHasType('x4', [result.string]);
+}
+
+
+testCompoundOperators2() {
+  final String source = r"""
+    class A {
+      var xx;
+      var witness1;
+      var witness2;
+
+      A(this.xx);
+      get x { witness1 = "foo"; return xx; }
+      set x(y) { witness2 = "foo"; xx = y; }
+    }
+    main () {
+      var a = new A(1);
+      a.x++;
+    }
+    """;
+  AnalysisResult result = analyze(source);
+  result.checkFieldHasType('A', 'xx', [result.int]);
+  // TODO(polux): the two following results should be {null, string}, see
+  // fieldInitialization().
+  result.checkFieldHasType('A', 'witness1', [result.string]);
+  result.checkFieldHasType('A', 'witness2', [result.string]);
+}
+
+testFieldInitialization() {
+  final String source = r"""
+    class A {
+      var x;
+      var y = 1;
+    }
+    main () {
+      new A();
+    }
+    """;
+  AnalysisResult result = analyze(source);
+  result.checkFieldHasType('A', 'x', [result.nullType]);
+  result.checkFieldHasType('A', 'y', [result.int]);
+}
+
 void main() {
   testLiterals();
   testRedefinition();
   testIfThenElse();
   testTernaryIf();
   testWhile();
   testFor1();
   testFor2();
   testNonRecusiveFunction();
   testRecusiveFunction();
   testMutuallyRecusiveFunction();
   testSendToThis1();
   testSendToThis2();
   testConstructor();
   testGetters();
   testSetters();
   testNamedParameters();
   testListLiterals();
   testMapLiterals();
   testReturn();
   // testNoReturn(); // right now we infer the empty type instead of null
   testArithmeticOperators();
   testOperators();
+  testCompoundOperators1();
+  testCompoundOperators2();
+  // testFieldInitialization(); // TODO(polux)
 }