Resynthesize literal expressions from Kernel.

pkg/analyzer/test/src/summary/resynthesize_kernel_test.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.
 
 library analyzer.test.src.summary.resynthesize_kernel_test;
 
 import 'dart:async';
 
+import 'package:analyzer/dart/ast/ast.dart';
+import 'package:analyzer/dart/ast/standard_ast_factory.dart';
 import 'package:analyzer/dart/element/type.dart';
 import 'package:analyzer/file_system/file_system.dart';
 import 'package:analyzer/file_system/memory_file_system.dart';
 import 'package:analyzer/src/dart/element/element.dart';
 import 'package:analyzer/src/dart/element/type.dart';
 import 'package:analyzer/src/generated/engine.dart' show AnalysisContext;
 import 'package:analyzer/src/generated/source.dart';
+import 'package:analyzer/src/generated/testing/ast_test_factory.dart';
 import 'package:analyzer/src/summary/resynthesize.dart';
 import 'package:front_end/file_system.dart';
 import 'package:front_end/src/base/performace_logger.dart';
 import 'package:front_end/src/fasta/uri_translator_impl.dart';
 import 'package:front_end/src/incremental/byte_store.dart';
 import 'package:front_end/src/incremental/kernel_driver.dart';
 import 'package:kernel/kernel.dart' as kernel;
 import 'package:kernel/target/targets.dart';
 import 'package:package_config/packages.dart';
 import 'package:path/path.dart' as pathos;
@@ skipping 637 matching lines @@
   test_const_topLevel_identical() async {
     await super.test_const_topLevel_identical();
   }
 
   @failingTest
   test_const_topLevel_ifNull() async {
     await super.test_const_topLevel_ifNull();
   }
 
   @failingTest
-  test_const_topLevel_literal() async {
-    await super.test_const_topLevel_literal();
-  }
-
-  @failingTest
   test_const_topLevel_prefix() async {
     await super.test_const_topLevel_prefix();
   }
 
   @failingTest
   test_const_topLevel_super() async {
     await super.test_const_topLevel_super();
   }
 
   @failingTest
@@ skipping 1072 matching lines @@
   test_metadata_simpleFormalParameter_withDefault() async {
     await super.test_metadata_simpleFormalParameter_withDefault();
   }
 
   @failingTest
   test_metadata_topLevelVariableDeclaration() async {
     await super.test_metadata_topLevelVariableDeclaration();
   }
 
   @failingTest
-  test_metadata_typeParameter_ofClass() async {
-    await super.test_metadata_typeParameter_ofClass();
-  }
-
-  @failingTest
   test_metadata_typeParameter_ofClassTypeAlias() async {
     await super.test_metadata_typeParameter_ofClassTypeAlias();
   }
 
   @failingTest
   test_metadata_typeParameter_ofFunction() async {
     await super.test_metadata_typeParameter_ofFunction();
   }
 
   @failingTest
@@ skipping 487 matching lines @@
   test_unresolved_part() async {
     await super.test_unresolved_part();
   }
 
   @failingTest
   test_unused_type_parameter() async {
     await super.test_unused_type_parameter();
   }
 
   @failingTest
-  test_variable_const() async {
-    await super.test_variable_const();
-  }
-
-  @failingTest
   test_variable_documented() async {
     await super.test_variable_documented();
   }
 
   @failingTest
   test_variable_getterInLib_setterInPart() async {
     await super.test_variable_getterInLib_setterInPart();
   }
 
   @failingTest
   test_variable_getterInPart_setterInLib() async {
     await super.test_variable_getterInPart_setterInLib();
   }
 
   @failingTest
   test_variable_getterInPart_setterInPart() async {
     await super.test_variable_getterInPart_setterInPart();
   }
 
   @failingTest
-  test_variable_propagatedType_const_noDep() async {
-    await super.test_variable_propagatedType_const_noDep();
-  }
-
-  @failingTest
   test_variable_propagatedType_final_dep_inLib() async {
     await super.test_variable_propagatedType_final_dep_inLib();
   }
 
   @failingTest
   test_variable_propagatedType_final_dep_inPart() async {
     await super.test_variable_propagatedType_final_dep_inPart();
   }
 
   @failingTest
   test_variable_propagatedType_implicit_dep() async {
     await super.test_variable_propagatedType_implicit_dep();
   }
 
   @failingTest
   test_variable_setterInPart_getterInPart() async {
     await super.test_variable_setterInPart_getterInPart();
   }
 }
 
+/**
+ * Builder of [Expression]s from [kernel.Expression]s.
+ */
+class _ExprBuilder {
+  Expression build(kernel.Expression expr) {
+    if (expr is kernel.NullLiteral) {
+      return AstTestFactory.nullLiteral();
+    }
+    if (expr is kernel.BoolLiteral) {
+      return AstTestFactory.booleanLiteral(expr.value);
+    }
+    if (expr is kernel.IntLiteral) {
+      return AstTestFactory.integer(expr.value);
+    }
+    if (expr is kernel.DoubleLiteral) {
+      return AstTestFactory.doubleLiteral(expr.value);
+    }
+    if (expr is kernel.StringLiteral) {
+      return AstTestFactory.string2(expr.value);
+    }
+    if (expr is kernel.StringConcatenation) {
+      List<InterpolationElement> elements = expr.expressions
+          .map(build)
+          .map(_newInterpolationElement)
+          .toList(growable: false);
+      return AstTestFactory.string(elements);
+    }
+    if (expr is kernel.SymbolLiteral) {
+      List<String> components = expr.value.split('.').toList();
+      return AstTestFactory.symbolLiteral(components);
+    }
+    // TODO(scheglov): complete getExpression
+    throw new UnimplementedError('kernel: $expr');
+  }
+
+  InterpolationElement _newInterpolationElement(Expression expr) {
+    if (expr is SimpleStringLiteral) {
+      return astFactory.interpolationString(expr.literal, expr.value);
+    } else {
+      return AstTestFactory.interpolationExpression(expr);
+    }
+  }
+}
+
 class _FileSystemAdaptor implements FileSystem {
   final ResourceProvider provider;
 
   _FileSystemAdaptor(this.provider);
 
   @override
   FileSystemEntity entityForUri(Uri uri) {
     if (uri.isScheme('file')) {
       var file = provider.getFile(uri.path);
       return new _FileSystemEntityAdaptor(uri, file);
@@ skipping 35 matching lines @@
 class _KernelLibraryResynthesizerContextImpl
     implements KernelLibraryResynthesizerContext {
   final _KernelResynthesizer _resynthesizer;
 
   @override
   final kernel.Library library;
 
   _KernelLibraryResynthesizerContextImpl(this._resynthesizer, this.library);
 
   @override
+  Expression getExpression(kernel.Expression expression) {
+    return new _ExprBuilder().build(expression);
+  }
+
+  @override
   InterfaceType getInterfaceType(
       ElementImpl context, kernel.Supertype kernelType) {
     return _getInterfaceType(
         kernelType.className.canonicalName, kernelType.typeArguments);
   }
 
   DartType getType(ElementImpl context, kernel.DartType kernelType) {
     if (kernelType is kernel.DynamicType) return DynamicTypeImpl.instance;
     if (kernelType is kernel.InterfaceType) {
       return _getInterfaceType(
@@ skipping 34 matching lines @@
   LibraryElementImpl getLibrary(String uriStr) {
     return _libraryMap.putIfAbsent(uriStr, () {
       var kernel = _kernelMap[uriStr];
       if (kernel == null) return null;
       var libraryContext =
           new _KernelLibraryResynthesizerContextImpl(this, kernel);
       return new LibraryElementImpl.forKernel(_analysisContext, libraryContext);
     });
   }
 }