Add data structures to AST to indicate potentially mutated variables.

pkg/analyzer/lib/src/dart/ast/ast.dart

 // Copyright (c) 2014, 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.src.dart.ast.ast;
 
 import 'dart:collection';
 
 import 'package:analyzer/dart/ast/ast.dart';
 import 'package:analyzer/dart/ast/token.dart';
@@ skipping 4703 matching lines @@
 
 /**
  * A node representing the body of a function or method.
  *
  * > functionBody ::=
  * >     [BlockFunctionBody]
  * >   | [EmptyFunctionBody]
  * >   | [ExpressionFunctionBody]
  */
 abstract class FunctionBodyImpl extends AstNodeImpl implements FunctionBody {
+  @override
+  LocalVariableInfoImpl localVariableInfo;
+
   /**
    * Return `true` if this function body is asynchronous.
    */
   bool get isAsynchronous => false;
 
   /**
    * Return `true` if this function body is a generator.
    */
   bool get isGenerator => false;
 
@@ skipping 1816 matching lines @@
  * >   | [MapLiteral]
  * >   | [NullLiteral]
  * >   | [StringLiteral]
  */
 abstract class LiteralImpl extends ExpressionImpl implements Literal {
   @override
   int get precedence => 16;
 }
 
 /**
+ * Concrete implementation of [LocalVariableInfo].
+ */
+class LocalVariableInfoImpl extends LocalVariableInfo {
+  @override
+  final Set<VariableElement> potentiallyMutatedInClosure =
+      new Set<VariableElement>();
+
+  @override
+  final Set<VariableElement> potentiallyMutatedInScope =
+      new Set<VariableElement>();
+}
+
+/**
  * A single key/value pair in a map literal.
  *
  * > mapLiteralEntry ::=
  * >     [Expression] ':' [Expression]
  */
 class MapLiteralEntryImpl extends AstNodeImpl implements MapLiteralEntry {
   /**
    * The expression computing the key with which the value will be associated.
    */
   Expression _key;
@@ skipping 4235 matching lines @@
   }
 
   @override
   accept(AstVisitor visitor) => visitor.visitYieldStatement(this);
 
   @override
   void visitChildren(AstVisitor visitor) {
     _safelyVisitChild(_expression, visitor);
   }
 }