Depend on LIBRARY_ELEMENT5 to invalidate CONSTRUCTORS.

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 'dart:math' as math;
 
 import 'package:analyzer/src/context/cache.dart';
@@ skipping 483 matching lines @@
       outputs[CONSTRUCTORS_ERRORS] = errors;
     }
   }
 
   /**
    * 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 [classElement].
    */
   static Map<String, TaskInput> buildInputs(ClassElement classElement) {
-    // TODO(scheglov) Here we implicitly depend on LIBRARY_ELEMENT5, i.e. that
-    // "supertype" for the "classElement" is set.
-    // We need to make it an explicit dependency.
+    Source librarySource = classElement.library.source;
     DartType superType = classElement.supertype;
     if (superType is InterfaceType) {
       if (classElement.isTypedef || classElement.mixins.isNotEmpty) {
         ClassElement superElement = superType.element;
         return <String, TaskInput>{
+          'libraryDep': LIBRARY_ELEMENT5.of(librarySource),
           SUPER_CONSTRUCTORS: CONSTRUCTORS.of(superElement)
         };
       }
     }
-    // No implicit constructors, no inputs required.
-    return <String, TaskInput>{};
+    // No implicit constructors.
+    // Depend on LIBRARY_ELEMENT5 for invalidation.
+    return <String, TaskInput>{
+      'libraryDep': LIBRARY_ELEMENT5.of(librarySource)
+    };
   }
 
   /**
    * Create a [BuildClassConstructorsTask] based on the given
    * [target] in the given [context].
    */
   static BuildClassConstructorsTask createTask(
       AnalysisContext context, AnalysisTarget target) {
     return new BuildClassConstructorsTask(context, target);
   }
@@ skipping 2831 matching lines @@
   @override
   bool moveNext() {
     if (_newSources.isEmpty) {
       return false;
     }
     currentTarget = _newSources.first;
     _newSources.remove(currentTarget);
     return true;
   }
 }