Implement generalized function types.

pkg/front_end/lib/src/fasta/parser/listener.dart

 // Copyright (c) 2012, 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 fasta.parser.listener;
 
 import '../fasta_codes.dart' show FastaMessage;
 
 import '../../scanner/token.dart' show Token, TokenType;
 
 import '../scanner/token.dart' show BeginGroupToken, SymbolToken;
 
 import '../util/link.dart' show Link;
 
-import 'parser.dart' show FormalParameterType;
+import 'parser.dart' show FormalParameterType, MemberKind;
 
 import 'identifier_context.dart' show IdentifierContext;
 
 /// A parser event listener that does nothing except throw exceptions
 /// on parser errors.
 ///
 /// Events are methods that begin with one of: `begin`, `end`, or `handle`.
 ///
 /// Events starting with `begin` and `end` come in pairs. Normally, a
 /// `beginFoo` event is followed by an `endFoo` event. There's a few exceptions
@@ skipping 147 matching lines @@
     logEvent("ExpressionStatement");
   }
 
   void beginFactoryMethod(Token token) {}
 
   void endFactoryMethod(
       Token beginToken, Token factoryKeyword, Token endToken) {
     logEvent("FactoryMethod");
   }
 
-  void beginFormalParameter(Token token) {}
+  void beginFormalParameter(Token token, MemberKind kind) {}
 
-  void endFormalParameter(Token covariantKeyword, Token thisKeyword,
-      Token nameToken, FormalParameterType kind) {
+  void endFormalParameter(Token thisKeyword, Token nameToken,
+      FormalParameterType kind, MemberKind memberKind) {
     logEvent("FormalParameter");
   }
 
-  void handleNoFormalParameters(Token token) {
+  void handleNoFormalParameters(Token token, MemberKind kind) {
     logEvent("NoFormalParameters");
   }
 
-  void beginFormalParameters(Token token) {}
+  void beginFormalParameters(Token token, MemberKind kind) {}
 
-  void endFormalParameters(int count, Token beginToken, Token endToken) {
+  void endFormalParameters(
+      int count, Token beginToken, Token endToken, MemberKind kind) {
     logEvent("FormalParameters");
   }
 
   /// Handle the end of a field declaration.  Substructures:
   /// - Metadata
   /// - Modifiers
   /// - Type
   /// - Variable declarations (count times)
   ///
   /// Doesn't have a corresponding begin event, use [beginMember] instead.
-  void endFields(
-      int count, Token covariantKeyword, Token beginToken, Token endToken) {
+  void endFields(int count, Token beginToken, Token endToken) {
     logEvent("Fields");
   }
 
   void beginForStatement(Token token) {}
 
   void endForStatement(Token forKeyword, Token leftSeparator,
       int updateExpressionCount, Token endToken) {
     logEvent("ForStatement");
   }
 
@@ skipping 589 matching lines @@
   void beginFunctionTypedFormalParameter(Token token) {}
 
   /// Handle the end of a function typed formal parameter.  Substructures:
   /// - metadata
   /// - modifiers
   /// - return type
   /// - parameter name (simple identifier)
   /// - type parameters
   /// - formal parameters
   void endFunctionTypedFormalParameter(
-      Token covariantKeyword, Token thisKeyword, FormalParameterType kind) {
+      Token thisKeyword, FormalParameterType kind) {
     logEvent("FunctionTypedFormalParameter");
   }
 
   /// Handle an identifier token.
   ///
   /// [context] indicates what kind of construct the identifier appears in.
   void handleIdentifier(Token token, IdentifierContext context) {
     logEvent("Identifier");
   }
 
@@ skipping 245 matching lines @@
 
   final FastaMessage message;
 
   ParserError(this.beginOffset, this.endOffset, this.message);
 
   ParserError.fromTokens(Token begin, Token end, FastaMessage message)
       : this(begin.charOffset, end.charOffset + end.charCount, message);
 
   String toString() => "@${beginOffset}: ${message.message}\n${message.tip}";
 }