Prefix resolution_types with Resolution.

pkg/compiler/lib/src/constants/constructors.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.constants.constructors;
 
 import '../elements/resolution_types.dart';
 import '../elements/elements.dart' show FieldElement;
 import '../universe/call_structure.dart' show CallStructure;
 import '../util/util.dart';
 import 'evaluation.dart';
 import 'expressions.dart';
 
 enum ConstantConstructorKind {
   GENERATIVE,
   REDIRECTING_GENERATIVE,
   REDIRECTING_FACTORY,
 }
 
 /// Definition of a constant constructor.
 abstract class ConstantConstructor {
   ConstantConstructorKind get kind;
 
   /// Computes the type of the instance created in a const constructor
   /// invocation with type [newType].
-  InterfaceType computeInstanceType(InterfaceType newType);
+  ResolutionInterfaceType computeInstanceType(ResolutionInterfaceType newType);
 
   /// Computes the constant expressions of the fields of the created instance
   /// in a const constructor invocation with [arguments].
   Map<FieldElement, ConstantExpression> computeInstanceFields(
       List<ConstantExpression> arguments, CallStructure callStructure);
 
   accept(ConstantConstructorVisitor visitor, arg);
 }
 
 abstract class ConstantConstructorVisitor<R, A> {
   const ConstantConstructorVisitor();
 
   R visit(ConstantConstructor constantConstructor, A context) {
     return constantConstructor.accept(this, context);
   }
 
   R visitGenerative(GenerativeConstantConstructor constructor, A arg);
   R visitRedirectingGenerative(
       RedirectingGenerativeConstantConstructor constructor, A arg);
   R visitRedirectingFactory(
       RedirectingFactoryConstantConstructor constructor, A arg);
 }
 
 /// A generative constant constructor.
 class GenerativeConstantConstructor implements ConstantConstructor {
-  final InterfaceType type;
+  final ResolutionInterfaceType type;
   final Map<dynamic /*int|String*/, ConstantExpression> defaultValues;
   final Map<FieldElement, ConstantExpression> fieldMap;
   final ConstructedConstantExpression superConstructorInvocation;
 
   GenerativeConstantConstructor(this.type, this.defaultValues, this.fieldMap,
       this.superConstructorInvocation);
 
   ConstantConstructorKind get kind => ConstantConstructorKind.GENERATIVE;
 
-  InterfaceType computeInstanceType(InterfaceType newType) {
+  ResolutionInterfaceType computeInstanceType(ResolutionInterfaceType newType) {
     return type.substByContext(newType);
   }
 
   Map<FieldElement, ConstantExpression> computeInstanceFields(
       List<ConstantExpression> arguments, CallStructure callStructure) {
     NormalizedArguments args =
         new NormalizedArguments(defaultValues, callStructure, arguments);
     Map<FieldElement, ConstantExpression> appliedFieldMap =
         applyFields(args, superConstructorInvocation);
     fieldMap.forEach((FieldElement field, ConstantExpression constant) {
@@ skipping 72 matching lines @@
   final Map<dynamic /*int|String*/, ConstantExpression> defaultValues;
   final ConstructedConstantExpression thisConstructorInvocation;
 
   RedirectingGenerativeConstantConstructor(
       this.defaultValues, this.thisConstructorInvocation);
 
   ConstantConstructorKind get kind {
     return ConstantConstructorKind.REDIRECTING_GENERATIVE;
   }
 
-  InterfaceType computeInstanceType(InterfaceType newType) {
+  ResolutionInterfaceType computeInstanceType(ResolutionInterfaceType newType) {
     return thisConstructorInvocation
         .computeInstanceType()
         .substByContext(newType);
   }
 
   Map<FieldElement, ConstantExpression> computeInstanceFields(
       List<ConstantExpression> arguments, CallStructure callStructure) {
     NormalizedArguments args =
         new NormalizedArguments(defaultValues, callStructure, arguments);
     Map<FieldElement, ConstantExpression> appliedFieldMap =
@@ skipping 34 matching lines @@
 /// A redirecting factory constant constructor.
 class RedirectingFactoryConstantConstructor implements ConstantConstructor {
   final ConstructedConstantExpression targetConstructorInvocation;
 
   RedirectingFactoryConstantConstructor(this.targetConstructorInvocation);
 
   ConstantConstructorKind get kind {
     return ConstantConstructorKind.REDIRECTING_FACTORY;
   }
 
-  InterfaceType computeInstanceType(InterfaceType newType) {
+  ResolutionInterfaceType computeInstanceType(ResolutionInterfaceType newType) {
     return targetConstructorInvocation
         .computeInstanceType()
         .substByContext(newType);
   }
 
   Map<FieldElement, ConstantExpression> computeInstanceFields(
       List<ConstantExpression> arguments, CallStructure callStructure) {
     ConstantConstructor constantConstructor =
         targetConstructorInvocation.target.constantConstructor;
     return constantConstructor.computeInstanceFields(arguments, callStructure);
@@ skipping 14 matching lines @@
   }
 
   String toString() {
     StringBuffer sb = new StringBuffer();
     sb.write("{");
     sb.write("'constructor': ${targetConstructorInvocation.toDartText()}");
     sb.write("}");
     return sb.toString();
   }
 }