Resynthesize top-level accessors and variables from Kernel.

pkg/analyzer/lib/src/kernel/resynthesize.dart

 // Copyright (c) 2017, 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 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/ast/standard_ast_factory.dart';
 import 'package:analyzer/dart/ast/token.dart';
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/dart/element/type.dart';
 import 'package:analyzer/src/dart/element/element.dart';
@@ skipping 366 matching lines @@
 class _KernelLibraryResynthesizerContextImpl
     implements KernelLibraryResynthesizerContext {
   final KernelResynthesizer _resynthesizer;
 
   @override
   final kernel.Library library;
 
   _KernelLibraryResynthesizerContextImpl(this._resynthesizer, this.library);
 
   @override
+  UnitExplicitTopLevelAccessors buildTopLevelAccessors(
+      CompilationUnitElementImpl unit) {
+    var accessorsData = new UnitExplicitTopLevelAccessors();
+    var implicitVariables = <String, TopLevelVariableElementImpl>{};
+    // Build explicit property accessors and implicit fields.
+    for (var k in library.procedures) {

[Brian Wilkerson, 2017/07/26 18:17:11]

"k" --> "procedure"? ("k" seems like a strange name, even "p" would make more
sense)

+      bool isGetter = k.kind == kernel.ProcedureKind.Getter;
+      bool isSetter = k.kind == kernel.ProcedureKind.Setter;
+      if (isGetter || isSetter) {
+        var accessor = new PropertyAccessorElementImpl.forKernel(unit, k);
+        accessorsData.accessors.add(accessor);
+
+        // Create or update the implicit variable.
+        String name = accessor.displayName;
+        TopLevelVariableElementImpl variable = implicitVariables[name];
+        if (variable == null) {
+          variable = new TopLevelVariableElementImpl(name, -1);
+          implicitVariables[name] = variable;
+          variable.enclosingElement = unit;
+          variable.isSynthetic = true;
+          variable.isFinal = isGetter;
+        } else {
+          variable.isFinal = false;
+        }
+
+        // Attach the accessor to the variable.
+        accessor.variable = variable;
+        if (isGetter) {
+          variable.getter = accessor;
+        } else {
+          variable.setter = accessor;
+        }
+      }
+    }
+    accessorsData.implicitVariables.addAll(implicitVariables.values);
+    return accessorsData;
+  }
+
+  @override
+  UnitExplicitTopLevelVariables buildTopLevelVariables(
+      CompilationUnitElementImpl unit) {
+    int numberOfVariables = library.fields.length;
+    var variablesData = new UnitExplicitTopLevelVariables(numberOfVariables);
+    for (int i = 0; i < numberOfVariables; i++) {
+      kernel.Field kField = library.fields[i];

[Brian Wilkerson, 2017/07/26 18:17:11]

"kField" --> "field"?

+
+      // Add the explicit variables.
+      TopLevelVariableElementImpl variable;
+      if (kField.isConst && kField.initializer != null) {
+        variable = new ConstTopLevelVariableElementImpl.forKernel(unit, kField);
+      } else {
+        variable = new TopLevelVariableElementImpl.forKernel(unit, kField);
+      }
+      variablesData.variables[i] = variable;
+
+      // Add the implicit accessors.
+      variablesData.implicitAccessors
+          .add(new PropertyAccessorElementImpl_ImplicitGetter(variable));
+      if (!(variable.isConst || variable.isFinal)) {
+        variablesData.implicitAccessors
+            .add(new PropertyAccessorElementImpl_ImplicitSetter(variable));
+      }
+    }
+    return variablesData;
+  }
+
+  @override
   ConstructorInitializer getConstructorInitializer(
       ConstructorElementImpl constructor, kernel.Initializer k) {
     if (k is kernel.LocalInitializer ||
         k is kernel.FieldInitializer && k.isSynthetic ||
         k is kernel.SuperInitializer && k.isSynthetic) {
       return null;
     }
     return new _ExprBuilder(this).buildInitializer(k);
   }
 
@@ skipping 185 matching lines @@
         for (var typeParameter in ctx.typeParameters) {
           if (typeParameter.name == name) {
             return typeParameter;
           }
         }
       }
     }
     throw new StateError('Not found $kernelTypeParameter in $context');
   }
 }