Resynthesize constructor initializers from Kernel.

pkg/front_end/lib/src/fasta/kernel/body_builder.dart

 // Copyright (c) 2016, 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 fasta.body_builder;
 
 import 'package:kernel/ast.dart'
     hide InvalidExpression, InvalidInitializer, InvalidStatement;
 
 import 'package:kernel/class_hierarchy.dart' show ClassHierarchy;
@@ skipping 490 matching lines @@
         for (KernelFormalParameterBuilder formal in member.formals) {
           if (formal.hasThis) {
             Initializer initializer;
             if (member.isExternal) {
               initializer = buildInvalidInitializer(
                   deprecated_buildCompileTimeError(
                       "An external constructor can't initialize fields.",
                       formal.charOffset),
                   formal.charOffset);
             } else {
-              initializer = buildFieldInitializer(formal.name,
+              initializer = buildFieldInitializer(true, formal.name,
                   formal.charOffset, new VariableGet(formal.declaration));
             }
             member.addInitializer(initializer);
           }
         }
       }
     }
   }
 
   @override
@@ skipping 32 matching lines @@
     debugEvent("endInitializer");
     assert(!inInitializer);
     final member = this.member;
     var node = pop();
     Initializer initializer;
     if (node is Initializer) {
       initializer = node;
     } else if (node is FastaAccessor) {
       initializer = node.buildFieldInitializer(initializedFields);
     } else if (node is ConstructorInvocation) {
-      initializer =
-          buildSuperInitializer(node.target, node.arguments, token.charOffset);
+      initializer = buildSuperInitializer(
+          false, node.target, node.arguments, token.charOffset);
     } else {
       Expression value = toValue(node);
       if (node is! Throw) {
         value =
             wrapInCompileTimeError(value, fasta.messageExpectedAnInitializer);
       }
       initializer = buildInvalidInitializer(node, token.charOffset);
     }
     _typeInferrer.inferInitializer(initializer);
     if (member is KernelConstructorBuilder && !member.isExternal) {
@@ skipping 84 matching lines @@
           !checkArguments(
               superTarget.function, arguments, const <TypeParameter>[])) {
         String superclass = classBuilder.supertype.fullNameForErrors;
         String message = superTarget == null
             ? "'$superclass' doesn't have an unnamed constructor."
             : "The unnamed constructor in '$superclass' requires arguments.";
         initializer = buildInvalidInitializer(
             deprecated_buildCompileTimeError(message, builder.charOffset),
             builder.charOffset);
       } else {
-        initializer =
-            buildSuperInitializer(superTarget, arguments, builder.charOffset);
+        initializer = buildSuperInitializer(
+            true, superTarget, arguments, builder.charOffset);
       }
       constructor.initializers.add(initializer);
     }
     setParents(constructor.initializers, constructor);
     if (constructor.function.body == null) {
       /// >If a generative constructor c is not a redirecting constructor
       /// >and no body is provided, then c implicitly has an empty body {}.
       /// We use an empty statement instead.
       constructor.function.body = new EmptyStatement();
       constructor.function.body.parent = constructor.function;
@@ skipping 2464 matching lines @@
         deprecated_buildCompileTimeError(
             "'$name' has already been initialized.", offset),
         offset);
     deprecated_addCompileTimeError(
         initializedFields[name], "'$name' was initialized here.");
     return initializer;
   }
 
   @override
   Initializer buildFieldInitializer(
-      String name, int offset, Expression expression) {
+      bool isSynthetic, String name, int offset, Expression expression) {
     Builder builder = classBuilder.scope.local[name];
     if (builder is KernelFieldBuilder && builder.isInstanceMember) {
       initializedFields ??= <String, int>{};
       if (initializedFields.containsKey(name)) {
         return buildDuplicatedInitializer(
             name, offset, initializedFields[name]);
       }
       initializedFields[name] = offset;
       if (builder.isFinal && builder.hasInitializer) {
         // TODO(ahe): If CL 2843733002 is landed, this becomes a compile-time
         // error. Also, this is a compile-time error in strong mode.
         warningNotError(
             fasta.templateFinalInstanceVariableAlreadyInitialized
                 .withArguments(name),
             offset);
         warningNotError(
             fasta.templateFinalInstanceVariableAlreadyInitializedCause
                 .withArguments(name),
             builder.charOffset);
         Builder constructor =
             library.loader.getDuplicatedFieldInitializerError();
         return buildInvalidInitializer(
             new Throw(buildStaticInvocation(constructor.target,
                 new Arguments(<Expression>[new StringLiteral(name)]),
                 charOffset: offset)),
             offset);
       } else {
         return new FieldInitializer(builder.field, expression)
-          ..fileOffset = offset;
+          ..fileOffset = offset
+          ..isSynthetic = isSynthetic;
       }
     } else {
       return buildInvalidInitializer(
           deprecated_buildCompileTimeError(
               "'$name' isn't an instance field of this class.", offset),
           offset);
     }
   }
 
   @override
   Initializer buildSuperInitializer(
-      Constructor constructor, Arguments arguments,
+      bool isSynthetic, Constructor constructor, Arguments arguments,
       [int charOffset = -1]) {
     if (member.isConst && !constructor.isConst) {
       return buildInvalidInitializer(
           deprecated_buildCompileTimeError(
               "Super constructor isn't const.", charOffset),
           charOffset);
     }
     needsImplicitSuperInitializer = false;
     return new SuperInitializer(constructor, arguments)
-      ..fileOffset = charOffset;
+      ..fileOffset = charOffset
+      ..isSynthetic = isSynthetic;
   }
 
   @override
   Initializer buildRedirectingInitializer(
       Constructor constructor, Arguments arguments,
       [int charOffset = -1]) {
     needsImplicitSuperInitializer = false;
     return new KernelRedirectingInitializer(constructor, arguments)
       ..fileOffset = charOffset;
   }
@@ skipping 293 matching lines @@
     }
   }
 
   @override
   Initializer buildFieldInitializer(Map<String, int> initializedFields) {
     if (!identical("=", assignmentOperator) ||
         !accessor.isThisPropertyAccessor) {
       return accessor.buildFieldInitializer(initializedFields);
     }
     return helper.buildFieldInitializer(
-        accessor.plainNameForRead, offsetForToken(token), value);
+        false, accessor.plainNameForRead, offsetForToken(token), value);
   }
 }
 
 class DelayedPostfixIncrement extends ContextAccessor {
   final Name binaryOperator;
 
   final Procedure interfaceTarget;
 
   DelayedPostfixIncrement(BuilderHelper helper, Token token,
       FastaAccessor accessor, this.binaryOperator, this.interfaceTarget)
@@ skipping 266 matching lines @@
       return AsyncMarker.Async;
     } else {
       assert(identical(starToken.stringValue, "*"));
       return AsyncMarker.AsyncStar;
     }
   } else {
     return unhandled(asyncToken.lexeme, "asyncMarkerFromTokens",
         asyncToken.charOffset, null);
   }
 }