Serialize and resynthesize variable initializers.

pkg/analyzer/lib/src/summary/idl.dart

Index: pkg/analyzer/lib/src/summary/idl.dart
diff --git a/pkg/analyzer/lib/src/summary/idl.dart b/pkg/analyzer/lib/src/summary/idl.dart
index fca673cf41844f14a08ce41227d1d369aba711fb..001db1d0f92dcb1f53a71d0156417614505d17c0 100644
--- a/pkg/analyzer/lib/src/summary/idl.dart
+++ b/pkg/analyzer/lib/src/summary/idl.dart
@@ -380,6 +380,11 @@ enum ReferenceKind {
   typedef,
 
   /**
+   * The entity is a local function.
+   */
+  function,
+
+  /**
    * The entity is a top level function.
    */
   topLevelFunction,
@@ -1356,7 +1361,7 @@ abstract class UnlinkedParam extends base.SummaryClass {
   /**
    * Annotations for this parameter.
    */
-  @Id(9)
+  @Id(10)

[Paul Berry, 2016/02/17 21:15:29]

Don't change the ids of existing getters--it messes up forward/backward
compatibility.  Instead, just assign the new field to the next unused id (12 in
this case).

[scheglov, 2016/02/17 21:27:51]

Done.

   List<UnlinkedConst> get annotations;
 
   /**
@@ -1382,6 +1387,13 @@ abstract class UnlinkedParam extends base.SummaryClass {
   int get inferredTypeSlot;
 
   /**
+   * The synthetic initializer function of the parameter.  Absent if the variable
+   * does not have an initializer.
+   */
+  @Id(8)
+  UnlinkedExecutable get initializer;
+
+  /**
    * Indicates whether this is a function-typed parameter.
    */
   @Id(5)
@@ -1416,7 +1428,7 @@ abstract class UnlinkedParam extends base.SummaryClass {
   /**
    * If [isFunctionTyped] is `true`, the parameters of the function type.
    */
-  @Id(8)
+  @Id(9)
   List<UnlinkedParam> get parameters;
 
   /**
@@ -1430,13 +1442,13 @@ abstract class UnlinkedParam extends base.SummaryClass {
   /**
    * The length of the visible range.
    */
-  @Id(10)
+  @Id(11)
   int get visibleLength;
 
   /**
    * The beginning of the visible range.
    */
-  @Id(11)
+  @Id(12)
   int get visibleOffset;
 }
 
@@ -1783,7 +1795,7 @@ abstract class UnlinkedVariable extends base.SummaryClass {
   /**
    * Annotations for this variable.
    */
-  @Id(8)
+  @Id(9)

[Paul Berry, 2016/02/17 21:15:29]

Similar issue here.

[scheglov, 2016/02/17 21:27:51]

Done.

   List<UnlinkedConst> get annotations;
 
   /**
@@ -1799,7 +1811,7 @@ abstract class UnlinkedVariable extends base.SummaryClass {
    * documentation comment.
    */
   @informative
-  @Id(10)
+  @Id(11)
   UnlinkedDocumentationComment get documentationComment;
 
   /**
@@ -1808,10 +1820,17 @@ abstract class UnlinkedVariable extends base.SummaryClass {
    * there is no matching entry in [LinkedLibrary.types], then no type was
    * inferred for this variable, so its static type is `dynamic`.
    */
-  @Id(9)
+  @Id(10)
   int get inferredTypeSlot;
 
   /**
+   * The synthetic initializer function of the variable.  Absent if the variable
+   * does not have an initializer.
+   */
+  @Id(8)
+  UnlinkedExecutable get initializer;
+
+  /**
    * Indicates whether the variable is declared using the `const` keyword.
    */
   @Id(6)
@@ -1866,12 +1885,12 @@ abstract class UnlinkedVariable extends base.SummaryClass {
   /**
    * If a local variable, the length of the visible range; zero otherwise.
    */
-  @Id(11)
+  @Id(12)
   int get visibleLength;
 
   /**
    * If a local variable, the beginning of the visible range; zero otherwise.
    */
-  @Id(12)
+  @Id(13)
   int get visibleOffset;
 }