Resolve initializers in constructors.

frog/tests/leg/src/ResolverTest.dart

 // Copyright (c) 2011, 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("../../../leg/leg.dart");
 #import("../../../leg/elements/elements.dart");
 #import("../../../leg/tree/tree.dart");
 #import("../../../leg/util/util.dart");
 #import("mock_compiler.dart");
 #import("parser_helper.dart");
@@ skipping 46 matching lines @@
   testParametersOne();
   testFor();
   testTypeAnnotation();
   testSuperclass();
   // testVarSuperclass(); // The parser crashes with 'class Foo extends var'.
   // testOneInterface(); // The parser does not handle interfaces.
   // testTwoInterfaces(); // The parser does not handle interfaces.
   testFunctionExpression();
   testNewExpression();
   testTopLevelFields();
+  testInitializers();
 }
 
 testLocalsOne() {
   testLocals([["foo", false]]);
   testLocals([["foo", false], ["bar", false]]);
   testLocals([["foo", false], ["bar", false], ["foobar", false]]);
 
   testLocals([["foo", true]]);
   testLocals([["foo", false], ["bar", true]]);
   testLocals([["foo", true], ["bar", true]]);
@@ skipping 293 matching lines @@
   Expect.equals(ElementKind.FIELD, bElement.kind);
   Expect.equals(ElementKind.FIELD, cElement.kind);
   Expect.isTrue(bElement != cElement);
 
   VariableDefinitions bNode = bElement.parseNode(compiler, compiler);
   VariableDefinitions cNode = cElement.parseNode(compiler, compiler);
   Expect.equals(bNode, cNode);
   Expect.equals(bNode.type.typeName.source.stringValue, 'var');
 }
 
+resolveConstructor(String script, String statement, String className,
+                   String constructor, int expectedElementCount,
+                   [List expectedWarnings = const [],
+                   List expectedErrors = const []]) {
+  MockCompiler compiler = new MockCompiler();
+  compiler.parseScript(script);
+  compiler.resolveStatement(statement);
+  ClassElement classElement =
+      compiler.universe.find(buildSourceString(className));
+  Element element =
+      classElement.lookupLocalElement(buildSourceString(constructor));
+  Node tree = element.parseNode(compiler, compiler);
+  ResolverVisitor visitor = new SignatureResolverVisitor(compiler, element);
+  visitor.visit(tree);
+  Expect.equals(expectedElementCount, visitor.mapping.map.length);
+
+  visitor = new FullResolverVisitor.from(visitor);
+  for (Link<Node> link = tree.initializers.nodes;
+       !link.isEmpty();
+       link = link.tail) {
+    SendSet init = link.head;
+    Node value = init.arguments.head;
+    visitor.visitIn(value, new StaticScope(visitor.context));
+  }
+
+  compareWarningKinds(script, expectedWarnings, compiler.warnings);
+  compareWarningKinds(script, expectedErrors, compiler.errors);
+}
+
+testInitializers() {
+  String script;
+  script = """class A {
+                int foo; int bar;
+                A() : this.foo = 1, bar = 2;
+              }""";
+  resolveConstructor(script, "A a = new A();", "A", "A", 3);
+
+  script = """class A {
+                int foo; A a;
+                A() : a.foo = 1;
+                }""";
+  resolveConstructor(script, "A a = new A();", "A", "A", 2,
+                     [], [MessageKind.INVALID_RECEIVER_IN_INITIALIZER]);
+
+  script = """class A {
+                int foo;
+                A() : this.foo = 1, this.foo = 2;
+              }""";
+  resolveConstructor(script, "A a = new A();", "A", "A", 3, 
+                     [MessageKind.DUPLICATION_INITIALIZATION]);
+
+  script = """class A {
+                A() : this.foo = 1;
+              }""";
+  resolveConstructor(script, "A a = new A();", "A", "A", 1,
+                     [], [MessageKind.CANNOT_RESOLVE]);
+
+  script = """class A {
+                int foo;
+                int bar;
+                A() : this.foo = bar;
+              }""";
+  resolveConstructor(script, "A a = new A();", "A", "A", 2,
+                     [], [MessageKind.CANNOT_RESOLVE]);
+}
+
 length(Link link) => link.isEmpty() ? 0 : length(link.tail) + 1;
 
 at(Link link, int index) => (index == 0) ? link.head : at(link.tail, index - 1);