Compute NewStructure in resolution.

pkg/compiler/lib/src/resolution/access_semantics.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.
 
 /**
  * Code for classifying the semantics of identifiers appearing in a Dart file.
  */
 library dart2js.access_semantics;
 
 import '../constants/expressions.dart';
@@ skipping 374 matching lines @@
       sb.write('${setter}');
     }
     sb.write(']');
     return sb.toString();
   }
 }
 
 /// Enum representing the different kinds of destinations which a constructor
 /// invocation might refer to.
 enum ConstructorAccessKind {
-  /// An invocation of a generative constructor.
+  /// An invocation of a (redirecting) generative constructor.
   ///
   /// For instance
   ///     class C {
   ///       C();
+  ///       C.redirect() : this();
   ///     }
-  ///     m() => new C();
+  ///     m1() => new C();
+  ///     m2() => new C.redirect();
   ///
   GENERATIVE,
 
-  /// An invocation of a redirecting generative constructor.
-  ///
-  /// For instance
-  ///     class C {
-  ///       C() : this._();
-  ///       C._();
-  ///     }
-  ///     m() => new C();
-  ///
-  REDIRECTING_GENERATIVE,
-
-  /// An invocation of a factory constructor.
+  /// An invocation of a (redirecting) factory constructor.
   ///
   /// For instance
   ///     class C {
   ///       factory C() => new C._();
+  ///       factory C.redirect() => C._;
   ///       C._();
   ///     }
-  ///     m() => new C();
+  ///     m1() => new C();
+  ///     m2() => new C.redirect();
   ///
   FACTORY,
 
-  /// An invocation of a redirecting factory constructor.
-  ///
-  /// For instance
-  ///     class C {
-  ///       factory C() = C._;
-  ///       C._();
-  ///     }
-  ///     m() => new C();
-  ///
-  REDIRECTING_FACTORY,
-
   /// An invocation of a (redirecting) generative constructor of an abstract
   /// class.
   ///
   /// For instance
   ///     abstract class C {
   ///       C();
   ///     }
   ///     m() => new C();
   ///
   ABSTRACT,
@@ skipping 18 matching lines @@
   /// An const invocation of an non-constant constructor.
   ///
   /// For instance
   ///     class C {
   ///       C();
   ///     }
   ///     m() => const C();
   ///
   NON_CONSTANT_CONSTRUCTOR,
 
-  /// An invocation of an ill-defined redirecting factory constructor.
-  ///
-  /// For instance
-  ///     class C {
-  ///       factory C() = Unresolved;
-  ///     }
-  ///     m() => new C();
-  ///
-  ERRONEOUS_REDIRECTING_FACTORY,
-
-
   /// An invocation of a constructor with incompatible arguments.
   ///
   /// For instance
   ///     class C {
   ///       C();
   ///     }
   ///     m() => new C(true);
   ///
   INCOMPATIBLE,
 }
 
 /// Data structure used to classify the semantics of a constructor invocation.
 class ConstructorAccessSemantics {
   /// The kind of constructor invocation.
   final ConstructorAccessKind kind;
 
   /// The invoked constructor.
   final Element element;
 
   /// The type on which the constructor is invoked.
   final DartType type;
 
   ConstructorAccessSemantics(this.kind, this.element, this.type);
 
-  /// The effect target of the access. Used to defined redirecting factory
-  /// constructor invocations.
-  ConstructorAccessSemantics get effectiveTargetSemantics => this;
-
-  /// `true` if this invocation is erroneous.
-  bool get isErroneous {
-    return kind == ConstructorAccessKind.ABSTRACT ||
-           kind == ConstructorAccessKind.UNRESOLVED_TYPE ||
-           kind == ConstructorAccessKind.UNRESOLVED_CONSTRUCTOR ||
-           kind == ConstructorAccessKind.NON_CONSTANT_CONSTRUCTOR ||
-           kind == ConstructorAccessKind.ERRONEOUS_REDIRECTING_FACTORY ||
-           kind == ConstructorAccessKind.INCOMPATIBLE;
-  }
-
   String toString() => 'ConstructorAccessSemantics($kind, $element, $type)';
 }
-
-/// Data structure used to classify the semantics of a redirecting factory
-/// constructor invocation.
-class RedirectingFactoryConstructorAccessSemantics
-    extends ConstructorAccessSemantics {
-  final ConstructorAccessSemantics effectiveTargetSemantics;
-
-  RedirectingFactoryConstructorAccessSemantics(
-      ConstructorAccessKind kind,
-      Element element,
-      DartType type,
-      this.effectiveTargetSemantics)
-      : super(kind, element, type);
-}
-
-