During resolution, record the target of break/continue statements.

pkg/analyzer/lib/src/generated/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.
 
 // This code was auto-generated, is not intended to be edited, and is subject to
 // significant change. Please see the README file for more information.
 
 library engine.ast;
 
 import 'dart:collection';
@@ skipping 3837 matching lines @@
    * The label associated with the statement, or `null` if there is no label.
    */
   SimpleIdentifier _label;
 
   /**
    * The semicolon terminating the statement.
    */
   Token semicolon;
 
   /**
+   * The AstNode which this break statement is breaking from.  This will be
+   * either a Statement (in the case of breaking out of a loop) or a
+   * SwitchMember (in the case of a labeled break statement whose label matches
+   * a label on a switch case in an enclosing switch statement).  Null if the
+   * AST has not yet been resolved or if the target could not be resolved.
+   * Note that if the source code has errors, the target may be invalid (e.g.
+   * trying to break to a switch case).
+   */
+  AstNode target;
+
+  /**
    * Initialize a newly created break statement.
    *
    * @param keyword the token representing the 'break' keyword
    * @param label the label associated with the statement
    * @param semicolon the semicolon terminating the statement
    */
   BreakStatement(this.keyword, SimpleIdentifier label, this.semicolon) {
     _label = becomeParentOf(label);
   }
 
@@ skipping 2216 matching lines @@
    * The label associated with the statement, or `null` if there is no label.
    */
   SimpleIdentifier _label;
 
   /**
    * The semicolon terminating the statement.
    */
   Token semicolon;
 
   /**
+   * The AstNode which this continue statement is continuing to.  This will be
+   * either a Statement (in the case of continuing a loop) or a SwitchMember
+   * (in the case of continuing from one switch case to another).  Null if the
+   * AST has not yet been resolved or if the target could not be resolved.
+   * Note that if the source code has errors, the target may be invalid (e.g.
+   * the target may be in an enclosing function).
+   */
+  AstNode target;
+
+  /**
    * Initialize a newly created continue statement.
    *
    * @param keyword the token representing the 'continue' keyword
    * @param label the label associated with the statement
    * @param semicolon the semicolon terminating the statement
    */
   ContinueStatement(this.keyword, SimpleIdentifier label, this.semicolon) {
     _label = becomeParentOf(label);
   }
 
@@ skipping 1672 matching lines @@
   }
 
   /**
    * Return the expression evaluated to produce the iterator.
    *
    * @return the expression evaluated to produce the iterator
    */
   Expression get iterable => _iterable;
 
   /**
-   * Return the expression evaluated to produce the iterator.
-   *
-   * Deprecated, use [iterable] instead.
-   */
-  @deprecated
-  Expression get iterator => iterable;
-
-  /**
    * Set the expression evaluated to produce the iterator to the given expression.
    *
    * @param expression the expression evaluated to produce the iterator
    */
   void set iterable(Expression expression) {
     _iterable = becomeParentOf(expression);
   }
 
   /**
+   * Return the expression evaluated to produce the iterator.
+   *
+   * Deprecated, use [iterable] instead.
+   */
+  @deprecated
+  Expression get iterator => iterable;
+
+  /**
    * Return the declaration of the loop variable, or `null` if the loop variable is a simple
    * identifier.
    *
    * @return the declaration of the loop variable
    */
   DeclaredIdentifier get loopVariable => _loopVariable;
 
   /**
    * Set the declaration of the loop variable to the given variable.
    *
@@ skipping 3911 matching lines @@
   /**
    * Set the statement with which the labels are being associated to the given statement.
    *
    * @param statement the statement with which the labels are being associated
    */
   void set statement(Statement statement) {
     _statement = becomeParentOf(statement);
   }
 
   @override
+  Statement get unlabeled => _statement.unlabeled;
+
+  @override
   accept(AstVisitor visitor) => visitor.visitLabeledStatement(this);
 
   @override
   void visitChildren(AstVisitor visitor) {
     _labels.accept(visitor);
     safelyVisitChild(_statement, visitor);
   }
 }
 
 /**
@@ skipping 5474 matching lines @@
  *   | [IfStatement]
  *   | [TryStatement]
  *   | [BreakStatement]
  *   | [ContinueStatement]
  *   | [ReturnStatement]
  *   | [ExpressionStatement]
  *   | [FunctionDeclarationStatement]
  * </pre>
  */
 abstract class Statement extends AstNode {
+  /**
+   * If this is a labeled statement, return the unlabeled portion of the
+   * statement.  Otherwise return the statement itself.
+   */
+  Statement get unlabeled => this;
 }
 
 /**
  * Instances of the class `StringInterpolation` represent a string interpolation literal.
  *
  * <pre>
  * stringInterpolation ::=
  *     ''' [InterpolationElement]* '''
  *   | '"' [InterpolationElement]* '"'
  * </pre>
@@ skipping 3436 matching lines @@
   }
 
   @override
   accept(AstVisitor visitor) => visitor.visitYieldStatement(this);
 
   @override
   void visitChildren(AstVisitor visitor) {
     safelyVisitChild(_expression, visitor);
   }
 }