- Add support for binary operators

tests/compiler/dart2js/cpa_inference_test.dart

 #import("dart:uri");
 #import("../../../lib/compiler/implementation/elements/elements.dart");
 #import('../../../lib/compiler/implementation/scanner/scannerlib.dart');
 #import('../../../lib/compiler/implementation/source_file.dart');
 #import('../../../lib/compiler/implementation/types/types.dart');
 #import('../../../lib/compiler/implementation/tree/tree.dart');
 #import("../../../lib/compiler/implementation/leg.dart", prefix: "leg");
 
 #import("parser_helper.dart");
 #import("compiler_helper.dart");
@@ skipping 23 matching lines @@
   }
 }
 
 class AnalysisResult {
   MockCompiler compiler;
   ConcreteTypesInferrer inferrer;
   Node ast;
 
   BaseType int;
   BaseType double;
+  BaseType num;
   BaseType bool;
   BaseType string;
   BaseType list;
   BaseType map;
   BaseType nullType;
 
   AnalysisResult(MockCompiler compiler) : this.compiler = compiler {
     inferrer = compiler.typesTask.concreteTypesInferrer;
     int = inferrer.baseTypes.intBaseType;
     double = inferrer.baseTypes.doubleBaseType;
+    num = inferrer.baseTypes.numBaseType;
     bool = inferrer.baseTypes.boolBaseType;
     string = inferrer.baseTypes.stringBaseType;
     list = inferrer.baseTypes.listBaseType;
     map = inferrer.baseTypes.mapBaseType;
     nullType = new NullBaseType();
     Element mainElement = compiler.mainApp.find(buildSourceString('main'));
     ast = mainElement.parseNode(compiler);
   }
 
   BaseType base(String className) {
@@ skipping 299 matching lines @@
         var x = f();
         var y = g();
         x; y;
       }
       """;
   AnalysisResult result = analyze(source);
   result.checkNodeHasType('x', [result.int, result.nullType]);
   result.checkNodeHasType('y', [result.nullType]);
 }
 
+testArith() {

[karlklose, 2012/10/23 10:58:15]

testArith -> testArithmethicOperators.

[polux, 2012/10/25 12:02:01]

Done.

+  String source(op) {
+    return """
+        main() {
+          var a = 1 $op 2;
+          var b = 1 $op 2.0;
+          var c = 1.0 $op 2;
+          var d = 1.0 $op 2.0;
+          var e = (1 $op 2.0) $op 1;
+          var f = 1 $op (1 $op 2.0);
+          var g = (1 $op 2.0) $op 1.0;
+          var h = 1.0 $op (1 $op 2);
+          a; b; c; d; e; f; g; h;

[karlklose, 2012/10/23 10:58:15]

Can you add positive nesting tests, like (1 op 2) op 3 (and the same for num)?

[polux, 2012/10/25 12:02:01]

Done.

+        }""";
+  }
+  for (String op in ['+', '*', '-']) {
+    AnalysisResult result = analyze(source(op));
+    result.checkNodeHasType('a', [result.int]);
+    result.checkNodeHasType('b', [result.num]);
+    result.checkNodeHasType('c', [result.num]);
+    result.checkNodeHasType('d', [result.double]);
+    result.checkNodeHasType('e', [result.num]);
+    result.checkNodeHasType('f', [result.num]);
+    result.checkNodeHasType('g', [result.num]);
+    result.checkNodeHasType('h', [result.num]);
+  }
+}
+
+testOperators() {
+  final String source = r"""
+      class A {
+        operator <(x) => 42;
+        operator <<(x) => "a";
+      }
+      main() {
+        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]);
+}
+
 void main() {
   testLiterals();
   testRedefinition();
   testIfThenElse();
   testTernaryIf();
   testWhile();
   testNonRecusiveFunction();
   testRecusiveFunction();
   testMutuallyRecusiveFunction();
   testConstructor();
   testGetters();
   testSetters();
   testNamedParameters();
   testListLiterals();
   testMapLiterals();
   testReturn();
   // testNoReturn(); // right now we infer the empty type instead of null
+  testArith();
+  testOperators();
 }