More support for generic function types

pkg/analyzer/lib/dart/element/element.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.
 
 /**
  * Defines the element model. The element model describes the semantic (as
  * opposed to syntactic) structure of Dart code. The syntactic structure of the
  * code is modeled by the [AST structure](../ast/ast.dart).
  *
  * The element model consists of two closely related kinds of objects: elements
@@ skipping 1265 matching lines @@
  * Clients may not extend, implement or mix-in this class.
  */
 abstract class FunctionTypeAliasElement
     implements FunctionTypedElement, TypeDefiningElement {
   /**
    * An empty array of type alias elements.
    */
   static List<FunctionTypeAliasElement> EMPTY_LIST =
       new List<FunctionTypeAliasElement>(0);
 
-  /**
-   * Return the compilation unit in which this type alias is defined.
-   */
   @override
   CompilationUnitElement get enclosingElement;
 
   @override
-  FunctionTypeAlias computeNode();
+  TypeAlias computeNode();
 }
 
 /**
  * An element that has a [FunctionType] as its [type].
  *
  * This also provides convenient access to the parameters and return type.
  *
  * Clients may not extend, implement or mix-in this class.
  */
 abstract class FunctionTypedElement implements TypeParameterizedElement {
   /**
    * Return a list containing all of the parameters defined by this executable
    * element.
    */
   List<ParameterElement> get parameters;
 
   /**
    * Return the return type defined by this element. If the element model is
    * fully populated, then the [returnType] will not be `null`, even if no
    * return type was explicitly specified.
    */
   DartType get returnType;
 
-  /**
-   * The type of this element, which will be a function type.
-   */
+  @override
   FunctionType get type;
 }
 
 /**
  * A combinator that causes some of the names in a namespace to be hidden when
  * being imported.
  *
  * Clients may not extend, implement or mix-in this class.
  */
 abstract class HideElementCombinator implements NamespaceCombinator {
@@ skipping 727 matching lines @@
   DartType get type;
 
   /**
    * Return a representation of the value of this variable, forcing the value
    * to be computed if it had not previously been computed, or `null` if either
    * this variable was not declared with the 'const' modifier or if the value of
    * this variable could not be computed because of errors.
    */
   DartObject computeConstantValue();
 }