Add static type checking of "yield" statements to analyzer.

pkg/analyzer/lib/src/generated/resolver.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 engine.resolver;
 
 import "dart:math" as math;
 import 'dart:collection';
 
 import 'package:analyzer/src/generated/utilities_collection.dart';
@@ skipping 13409 matching lines @@
   InterfaceType get futureType;
 
   /**
    * Return the type representing the built-in type 'int'.
    *
    * @return the type representing the built-in type 'int'
    */
   InterfaceType get intType;
 
   /**
+   * Return the type representing the type 'Iterable<dynamic>'.
+   */
+  InterfaceType get iterableDynamicType;
+
+  /**
+   * Return the type representing the built-in type 'Iterable'.
+   */
+  InterfaceType get iterableType;
+
+  /**
    * Return the type representing the built-in type 'List'.
    *
    * @return the type representing the built-in type 'List'
    */
   InterfaceType get listType;
 
   /**
    * Return the type representing the built-in type 'Map'.
    *
    * @return the type representing the built-in type 'Map'
@@ skipping 22 matching lines @@
   InterfaceType get objectType;
 
   /**
    * Return the type representing the built-in type 'StackTrace'.
    *
    * @return the type representing the built-in type 'StackTrace'
    */
   InterfaceType get stackTraceType;
 
   /**
+   * Return the type representing 'Stream<dynamic>'.
+   */
+  InterfaceType get streamDynamicType;
+
+  /**
+   * Return the type representing the built-in type 'Stream'.
+   */
+  InterfaceType get streamType;
+
+  /**
    * Return the type representing the built-in type 'String'.
    *
    * @return the type representing the built-in type 'String'
    */
   InterfaceType get stringType;
 
   /**
    * Return the type representing the built-in type 'Symbol'.
    *
    * @return the type representing the built-in type 'Symbol'
@@ skipping 57 matching lines @@
    * The type representing the built-in type 'Future'.
    */
   InterfaceType _futureType;
 
   /**
    * The type representing the built-in type 'int'.
    */
   InterfaceType _intType;
 
   /**
+   * The type representing 'Iterable<dynamic>'.
+   */
+  InterfaceType _iterableDynamicType;
+
+  /**
+   * The type representing the built-in type 'Iterable'.
+   */
+  InterfaceType _iterableType;
+
+  /**
    * The type representing the built-in type 'List'.
    */
   InterfaceType _listType;
 
   /**
    * The type representing the built-in type 'Map'.
    */
   InterfaceType _mapType;
 
   /**
@@ skipping 10 matching lines @@
    * The type representing the built-in type 'Object'.
    */
   InterfaceType _objectType;
 
   /**
    * The type representing the built-in type 'StackTrace'.
    */
   InterfaceType _stackTraceType;
 
   /**
+   * The type representing 'Stream<dynamic>'.
+   */
+  InterfaceType _streamDynamicType;
+
+  /**
+   * The type representing the built-in type 'Stream'.
+   */
+  InterfaceType _streamType;
+
+  /**
    * The type representing the built-in type 'String'.
    */
   InterfaceType _stringType;
 
   /**
    * The type representing the built-in type 'Symbol'.
    */
   InterfaceType _symbolType;
 
   /**
@@ skipping 36 matching lines @@
   @override
   InterfaceType get futureNullType => _futureNullType;
 
   @override
   InterfaceType get futureType => _futureType;
 
   @override
   InterfaceType get intType => _intType;
 
   @override
+  InterfaceType get iterableDynamicType => _iterableDynamicType;
+
+  @override
+  InterfaceType get iterableType => _iterableType;
+
+  @override
   InterfaceType get listType => _listType;
 
   @override
   InterfaceType get mapType => _mapType;
 
   @override
   InterfaceType get nullType => _nullType;
 
   @override
   InterfaceType get numType => _numType;
 
   @override
   InterfaceType get objectType => _objectType;
 
   @override
   InterfaceType get stackTraceType => _stackTraceType;
 
   @override
+  InterfaceType get streamDynamicType => _streamDynamicType;
+
+  @override
+  InterfaceType get streamType => _streamType;
+
+  @override
   InterfaceType get stringType => _stringType;
 
   @override
   InterfaceType get symbolType => _symbolType;
 
   @override
   InterfaceType get typeType => _typeType;
 
   @override
   DartType get undefinedType => _undefinedType;
@@ skipping 28 matching lines @@
     Namespace asyncNamespace =
         new NamespaceBuilder().createPublicNamespaceForLibrary(asyncLibrary);
     _boolType = _getType(coreNamespace, "bool");
     _bottomType = BottomTypeImpl.instance;
     _deprecatedType = _getType(coreNamespace, "Deprecated");
     _doubleType = _getType(coreNamespace, "double");
     _dynamicType = DynamicTypeImpl.instance;
     _functionType = _getType(coreNamespace, "Function");
     _futureType = _getType(asyncNamespace, "Future");
     _intType = _getType(coreNamespace, "int");
+    _iterableType = _getType(coreNamespace, "Iterable");
     _listType = _getType(coreNamespace, "List");
     _mapType = _getType(coreNamespace, "Map");
     _nullType = _getType(coreNamespace, "Null");
     _numType = _getType(coreNamespace, "num");
     _objectType = _getType(coreNamespace, "Object");
     _stackTraceType = _getType(coreNamespace, "StackTrace");
+    _streamType = _getType(asyncNamespace, "Stream");
     _stringType = _getType(coreNamespace, "String");
     _symbolType = _getType(coreNamespace, "Symbol");
     _typeType = _getType(coreNamespace, "Type");
     _undefinedType = UndefinedTypeImpl.instance;
     _futureNullType = _futureType.substitute4(<DartType>[_nullType]);
+    _iterableDynamicType = _iterableType.substitute4(<DartType>[_dynamicType]);
+    _streamDynamicType = _streamType.substitute4(<DartType>[_dynamicType]);
   }
 }
 
 /**
  * Instances of the class `TypeResolverVisitor` are used to resolve the types associated with
  * the elements in the element model. This includes the types of superclasses, mixins, interfaces,
  * fields, methods, parameters, and local variables. As a side-effect, this also finishes building
  * the type hierarchy.
  */
 class TypeResolverVisitor extends ScopedVisitor {
@@ skipping 1879 matching lines @@
    * library.
    */
   final HashSet<String> members = new HashSet<String>();
 
   /**
    * Names of resolved or unresolved class members that are read in the
    * library.
    */
   final HashSet<String> readMembers = new HashSet<String>();
 }