Resynthesize default parameter values.

pkg/analyzer/test/src/summary/resynthesize_test.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 test.src.serialization.elements_test;
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/dart/element/type.dart';
 import 'package:analyzer/src/dart/element/element.dart';
@@ skipping 652 matching lines @@
     compareElements(resynthesized, original, desc);
     expect(resynthesized.uri, original.uri);
     expect(resynthesized.uriOffset, original.uriOffset, reason: desc);
     expect(resynthesized.uriEnd, original.uriEnd, reason: desc);
   }
 
   void compareVariableElements(VariableElementImpl resynthesized,
       VariableElementImpl original, String desc) {
     compareElements(resynthesized, original, desc);
     compareTypes(resynthesized.type, original.type, desc);
-    // TODO(scheglov) implement and validate other constant variable types
-    if (shouldCompareConstValues &&
-        original is ConstTopLevelVariableElementImpl) {
-      compareConstantExpressions(resynthesized.constantInitializer,
-          original.constantInitializer, desc);
+    // TODO(scheglov) enable for any ConstVariableElement
+    if (shouldCompareConstValues) {
+      if (original is ConstVariableElement) {
+        compareConstantExpressions(resynthesized.constantInitializer,
+            original.constantInitializer, desc);
+      }
     }
-    // TODO(paulberry): test initializer
   }
 
   /**
    * Serialize the given [library] into a summary.  Then create a
    * [_TestSummaryResynthesizer] which can deserialize it, along with any
    * references it makes to `dart:core`.
    *
    * Errors will lead to a test failure unless [allowErrors] is `true`.
    */
   _TestSummaryResynthesizer encodeLibrary(LibraryElementImpl library,
@@ skipping 636 matching lines @@
   test_const_length_staticMethod() {
     shouldCompareConstValues = true;
     checkLibrary(r'''
 class C {
   static int length() => 42;
 }
 const v = C.length;
 ''');
   }
 
+  test_const_parameterDefaultValue_initializingFormal_functionTyped() {
+    shouldCompareConstValues = true;
+    checkLibrary(r'''
+class C {
+  final x;
+  const C({this.x: foo});
+}
+int foo() => 42;
+''');
+  }
+
+  test_const_parameterDefaultValue_initializingFormal_named() {
+    shouldCompareConstValues = true;
+    checkLibrary(r'''
+class C {
+  final x;
+  const C({this.x: 1 + 2});
+}
+''');
+  }
+
+  test_const_parameterDefaultValue_initializingFormal_positional() {
+    shouldCompareConstValues = true;
+    checkLibrary(r'''
+class C {
+  final x;
+  const C([this.x = 1 + 2]);
+}
+''');
+  }
+
+  test_const_parameterDefaultValue_normal() {
+    shouldCompareConstValues = true;
+    checkLibrary(r'''
+class C {
+  const C.positional([p = 1 + 2]);
+  const C.named({p: 1 + 2});
+  void methodPositional([p = 1 + 2]) {}
+  void methodNamed({p: 1 + 2}) {}
+}
+''');
+  }
+
   test_const_reference_staticField() {
     shouldCompareConstValues = true;
     checkLibrary(r'''
 class C {
   static const int F = 42;
 }
 const V = C.F;
 ''');
   }
 
@@ skipping 450 matching lines @@
   }
 
   test_field_propagatedType_const_noDep() {
     checkLibrary('''
 class C {
   static const x = 0;
 }''');
   }
 
   test_field_propagatedType_final_dep_inLib() {
-    addNamedSource('/a.dart', 'final a = 1;');
+    addLibrarySource('/a.dart', 'final a = 1;');
     checkLibrary('''
 import "a.dart";
 class C {
   final b = a / 2;
 }''');
   }
 
   test_field_propagatedType_final_dep_inPart() {
     addNamedSource('/a.dart', 'part of lib; final a = 1;');
     checkLibrary('''
@@ skipping 802 matching lines @@
       fail('Unexpectedly tried to get unlinked summary for $uri');
     }
     return serializedUnit;
   }
 
   @override
   bool hasLibrarySummary(String uri) {
     return true;
   }
 }