Handle NewExpression in SemanticSendVisitor.

pkg/compiler/lib/src/resolution/send_structure.dart

 // Copyright (c) 2015, 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.
 
 library dart2js.send_structure;
 
 import 'access_semantics.dart';
 import 'operators.dart';
 import 'semantic_visitor.dart';
+import '../dart_types.dart';
+import '../constants/expressions.dart';
+import '../elements/elements.dart';
 import '../tree/tree.dart';
-import '../dart_types.dart';
 import '../universe/universe.dart';
 import '../util/util.dart';
 
 /// Interface for the structure of the semantics of a [Send] node.
 ///
 /// Subclasses handle each of the [Send] variations; `assert(e)`, `a && b`,
 /// `a.b`, `a.b(c)`, etc.
 abstract class SendStructure<R, A> {
   /// Calls the matching visit method on [visitor] with [send] and [arg].
   R dispatch(SemanticSendVisitor<R, A> visitor, Send send, A arg);
@@ skipping 1779 matching lines @@
                 arg);
         }
     }
     throw new SpannableAssertionFailure(node,
         "Invalid compound assigment: ${semantics}");
   }
 
   String toString() => 'postfix($operator,$semantics)';
 }
 
+/// The structure for a [NewExpression] of a new invocation.
+abstract class NewStructure<R, A> {
+  /// Calls the matching visit method on [visitor] with [node] and [arg].
+  R dispatch(SemanticSendVisitor<R, A> visitor, NewExpression node, A arg);
+}
+
+/// The structure for a [NewExpression] of a new invocation. For instance
+/// `new C()`.
+class NewInvokeStructure<R, A> extends NewStructure<R, A> {
+  final ConstructorAccessSemantics semantics;
+  final Selector selector;
+
+  NewInvokeStructure(this.semantics, this.selector);
+
+  R dispatch(SemanticSendVisitor<R, A> visitor, NewExpression node, A arg) {
+    switch (semantics.kind) {
+      case ConstructorAccessKind.GENERATIVE:
+        return visitor.visitGenerativeConstructorInvoke(
+            node, semantics.element, semantics.type,
+            node.send.argumentsNode, selector, arg);
+      case ConstructorAccessKind.REDIRECTING_GENERATIVE:
+        return visitor.visitRedirectingGenerativeConstructorInvoke(
+            node, semantics.element, semantics.type,
+            node.send.argumentsNode, selector, arg);
+      case ConstructorAccessKind.FACTORY:
+        return visitor.visitFactoryConstructorInvoke(
+            node, semantics.element, semantics.type,
+            node.send.argumentsNode, selector, arg);
+      case ConstructorAccessKind.REDIRECTING_FACTORY:
+        return visitor.visitRedirectingFactoryConstructorInvoke(
+            node, semantics.element, semantics.type,
+            semantics.effectiveTargetSemantics.element,
+            semantics.effectiveTargetSemantics.type,
+            node.send.argumentsNode, selector, arg);
+      case ConstructorAccessKind.ABSTRACT:
+        return visitor.errorAbstractClassConstructorInvoke(
+            node, semantics.element, semantics.type,
+            node.send.argumentsNode, selector, arg);
+      case ConstructorAccessKind.ERRONEOUS:
+        return visitor.errorUnresolvedConstructorInvoke(
+            node, semantics.element, semantics.type,
+            node.send.argumentsNode, selector, arg);
+      case ConstructorAccessKind.ERRONEOUS_REDIRECTING_FACTORY:
+        return visitor.errorUnresolvedRedirectingFactoryConstructorInvoke(
+            node, semantics.element, semantics.type,
+            node.send.argumentsNode, selector, arg);
+    }
+    throw new SpannableAssertionFailure(node,
+        "Unhandled constructor invocation kind: ${semantics.kind}");
+  }
+}
+
+/// The structure for a [NewExpression] of a constant invocation. For instance
+/// `const C()`.
+class ConstInvokeStructure<R, A> extends NewStructure<R, A> {
+  final ConstructedConstantExpression constant;
+
+  ConstInvokeStructure(this.constant);
+
+  R dispatch(SemanticSendVisitor<R, A> visitor, NewExpression node, A arg) {
+    return visitor.visitConstConstructorInvoke(node, constant, arg);
+  }
+}
+