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 294 matching lines @@
   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.isNull(bNode.type);
   Expect.isTrue(bNode.modifiers.isVar());
 }
 
+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));
+  FunctionExpression 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) {
+    if (link.head.asSendSet() != null) {
+      SendSet init = link.head;
+      Node value = init.arguments.head;
+      visitor.visitInStaticContext(value);
+    } else {
+      // TODO(karlklose): super(...), this(...).
+      Expect.fail('SendSet expected');
+    }
+  }
+
+  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.DUPLICATE_INITIALIZER]);

[ahe, 2011/12/21 12:01:58]

I expected two diagnostics here:

foo.dart:line:column: error: 'foo' is already initialized
A() : this.foo = 1, this.foo = 2;
                    ^^^^^^^^^^^^

foo.dart:line:column: note: previous initializer of 'foo'
A() : this.foo = 1, this.foo = 2;
      ^^^^^^^^^^^^

[karlklose, 2011/12/21 16:33:46]

Done.

+
+  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);