Task: Build Type Aliases.

pkg/analyzer/lib/src/task/dart.dart

 // Copyright (c) 2015, 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.task.dart;
 
 import 'dart:collection';
 
 import 'package:analyzer/src/generated/ast.dart';
 import 'package:analyzer/src/generated/element.dart';
@@ skipping 19 matching lines @@
  * The list will be empty if there were no errors, but will not be `null`.
  *
  * The result is only available for targets representing a Dart library.
  */
 final ResultDescriptor<List<AnalysisError>> BUILD_DIRECTIVES_ERRORS =
     new ResultDescriptor<List<AnalysisError>>(
         'BUILD_DIRECTIVES_ERRORS', AnalysisError.NO_ERRORS,
         contributesTo: DART_ERRORS);
 
 /**
- * The errors produced while builing a library element.
+ * The errors produced while building function type aliases.
  *
  * The list will be empty if there were no errors, but will not be `null`.
  *
+ * The result is only available for targets representing a Dart library.
+ */
+final ResultDescriptor<List<AnalysisError>> BUILD_FUNCTION_TYPE_ALIASES_ERRORS =
+    new ResultDescriptor<List<AnalysisError>>(
+        'BUILD_FUNCTION_TYPE_ALIASES_ERRORS', AnalysisError.NO_ERRORS,
+        contributesTo: DART_ERRORS);
+
+/**
+ * The errors produced while building a library element.
+ *
+ * The list will be empty if there were no errors, but will not be `null`.
+ *
  * The result is only available for targets representing a Dart library.
  */
 final ResultDescriptor<List<AnalysisError>> BUILD_LIBRARY_ERRORS =
     new ResultDescriptor<List<AnalysisError>>(
         'BUILD_LIBRARY_ERRORS', AnalysisError.NO_ERRORS,
         contributesTo: DART_ERRORS);
 
 /**
  * The sources representing the export closure of a library.
  *
@@ skipping 82 matching lines @@
  * The partially resolved [CompilationUnit] associated with a unit.
  *
  * All the enum member elements are built.
  *
  * The result is only available for targets representing a unit.
  */
 final ResultDescriptor<CompilationUnit> RESOLVED_UNIT4 =
     new ResultDescriptor<CompilationUnit>('RESOLVED_UNIT4', null);
 
 /**
+ * The partially resolved [CompilationUnit] associated with a unit.
+ *
+ * All the function type aliases are resolved.
+ *
+ * The result is only available for targets representing a unit.
+ */
+final ResultDescriptor<CompilationUnit> RESOLVED_UNIT5 =
+    new ResultDescriptor<CompilationUnit>('RESOLVED_UNIT5', null);
+
+/**
  * The [TypeProvider] of the context.
  */
 final ResultDescriptor<TypeProvider> TYPE_PROVIDER =
     new ResultDescriptor<TypeProvider>('TYPE_PROVIDER', null);
 
 /**
  * A task that builds a compilation unit element for a single compilation unit.
  */
 class BuildCompilationUnitElementTask extends SourceBasedAnalysisTask {
   /**
@@ skipping 516 matching lines @@
       Set<LibraryElement> libraries, LibraryElement library) {
     if (library != null && libraries.add(library)) {
       for (ExportElement exportElement in library.exports) {
         _buildExportClosure(libraries, exportElement.exportedLibrary);
       }
     }
   }
 }
 
 /**
+ * A task that builds [RESOLVED_UNIT5] for a library.
+ */
+class BuildFunctionTypeAliasesTask extends SourceBasedAnalysisTask {
+  /**
+   * The name of the [TYPE_PROVIDER] input.
+   */
+  static const String TYPE_PROVIDER_INPUT = 'TYPE_PROVIDER_INPUT';
+
+  /**
+   * The name of the [RESOLVED_UNIT3] input.
+   */
+  static const String UNIT_INPUT = 'UNIT_INPUT';
+
+  /**
+   * The task descriptor describing this kind of task.
+   */
+  static final TaskDescriptor DESCRIPTOR = new TaskDescriptor(
+      'BuildFunctionTypeAliasesTask', createTask, buildInputs,
+      <ResultDescriptor>[BUILD_FUNCTION_TYPE_ALIASES_ERRORS, RESOLVED_UNIT5]);
+
+  BuildFunctionTypeAliasesTask(
+      InternalAnalysisContext context, AnalysisTarget target)
+      : super(context, target);
+
+  @override
+  TaskDescriptor get descriptor => DESCRIPTOR;
+
+  @override
+  void internalPerform() {
+    RecordingErrorListener errorListener = new RecordingErrorListener();
+    //
+    // Prepare inputs.
+    //
+    Source source = getRequiredSource();
+    TypeProvider typeProvider = getRequiredInput(TYPE_PROVIDER_INPUT);
+    CompilationUnit unit = getRequiredInput(UNIT_INPUT);
+    LibraryElement libraryElement = unit.element.library;
+    //
+    // Resolve FunctionTypeAlias declarations.
+    //
+    TypeResolverVisitor visitor = new TypeResolverVisitor.con2(
+        libraryElement, source, typeProvider, errorListener);
+    for (CompilationUnitMember member in unit.declarations) {
+      if (member is FunctionTypeAlias) {
+        member.accept(visitor);
+      }
+    }
+    //
+    // Record outputs.
+    //
+    outputs[BUILD_FUNCTION_TYPE_ALIASES_ERRORS] = errorListener.errors;
+    outputs[RESOLVED_UNIT5] = unit;
+  }
+
+  /**
+   * Return a map from the names of the inputs of this kind of task to the task
+   * input descriptors describing those inputs for a task with the
+   * given [target].
+   */
+  static Map<String, TaskInput> buildInputs(LibraryUnitTarget target) {
+    return <String, TaskInput>{
+      TYPE_PROVIDER_INPUT:
+          TYPE_PROVIDER.inputFor(AnalysisContextTarget.request),
+      'importsExportNamespace': new ListToMapTaskInput<Source, LibraryElement>(
+          IMPORTED_LIBRARIES.inputFor(target.library),
+          (Source importSource) => LIBRARY_ELEMENT4.inputFor(importSource)),
+      UNIT_INPUT: RESOLVED_UNIT4.inputFor(target.unit)
+    };
+  }
+
+  /**
+   * Create a [BuildFunctionTypeAliasesTask] based on the given [target] in
+   * the given [context].
+   */
+  static BuildFunctionTypeAliasesTask createTask(
+      AnalysisContext context, AnalysisTarget target) {
+    return new BuildFunctionTypeAliasesTask(context, target);
+  }
+}
+
+/**
  * A task that builds a library element for a Dart library.
  */
 class BuildLibraryElementTask extends SourceBasedAnalysisTask {
   /**
    * The name of the input whose value is the defining [RESOLVED_UNIT1].
    */
   static const String DEFINING_RESOLVER_UNIT1_INPUT_NAME =
       'DEFINING_RESOLVER_UNIT1_INPUT_NAME';
 
   /**
@@ skipping 472 matching lines @@
     return newNames;
   }
 }
 
 /**
  * A pair of a library [Source] and a unit [Source] in this library.
  */
 class LibraryUnitTarget implements AnalysisTarget {
   final Source library;
   final Source unit;
+
   LibraryUnitTarget(this.library, this.unit);
 
   @override
   int get hashCode {
     return JenkinsSmiHash.combine(library.hashCode, unit.hashCode);
   }
 
   @override
   Source get source => unit;
 
@@ skipping 264 matching lines @@
   }
 
   /**
    * Create a [ScanDartTask] based on the given [target] in the given [context].
    */
   static ScanDartTask createTask(
       AnalysisContext context, AnalysisTarget target) {
     return new ScanDartTask(context, target);
   }
 }