Merge pull request #2815 from jcollins-g/nnbd-mainmerge-0928

Merge from head into the nnbd branch once more

Author: jcollins-g

.github/workflows/test.yaml

@@ -38,11 +38,33 @@ jobs:
             job: sdk-analyzer
 
     steps:
+      - name: Store date
+        id: date
+        run: echo "::set-output name=today::$(date +'%Y-%m-%d')"
+        shell: bash
+      - name: Cache clean flutter
+        uses: actions/cache@v2
+        if: matrix.job == 'flutter'
+        env:
+          # Increment version to invalidate bad/obsolete caches.
+          cache-name: cache-grinder-flutter-v1
+        with:
+          path: ~/.dartdoc_grinder
+          key: ${{ runner.os }}-test-${{ env.cache-name }}-${{ steps.date.outputs.today }}
+      - name: Cache .pub-cache
+        uses: actions/cache@v2
+        if: matrix.job == 'flutter'
+        env:
+          # Increment version to invalidate bad/obsolete caches.
+          cache-name: cache-dart-pub-v1
+        with:
+          path: ~/.pub-cache
+          key: ${{ runner.os }}-test-${{ env.cache-name }}-${{ steps.date.outputs.today }}
       - name: Configure git
         if: runner.os == 'Windows'
         run: git config --global core.autocrlf input
       - uses: actions/checkout@v2
-      - uses: dart-lang/setup-dart@v1.0
+      - uses: dart-lang/setup-dart@v1.2
         with:
           sdk: ${{ matrix.sdk }}
       - name: Install dependencies

analysis_options.yaml

@@ -7,6 +7,8 @@ analyzer:
     todo: ignore
     unused_import: warning
     unused_shown_name: warning
+  language:
+    strict-raw-types: true
   exclude:
     - 'doc/**'
     - 'lib/src/third_party/pkg/**'

analysis_options_presubmit.yaml

@@ -12,6 +12,8 @@ analyzer:
     deprecated_member_use_from_same_package: ignore
     ### Temporary presubmit ignore for NNBD migration
     import_of_legacy_library_into_null_safe: ignore
+  language:
+    strict-raw-types: true
   exclude:
     - 'doc/**'
     - 'lib/src/third_party/pkg/**'

lib/dartdoc.dart

@@ -17,6 +17,7 @@ import 'dart:io' show Platform, exitCode, stderr;
 import 'package:analyzer/file_system/file_system.dart';
 import 'package:dartdoc/options.dart';
 import 'package:dartdoc/src/dartdoc_options.dart';
+import 'package:dartdoc/src/failure.dart';
 import 'package:dartdoc/src/generator/empty_generator.dart';
 import 'package:dartdoc/src/generator/generator.dart';
 import 'package:dartdoc/src/generator/html_generator.dart';
@@ -529,17 +530,6 @@ class Dartdoc {
   }
 }
 
-/// This class is returned if dartdoc fails in an expected way (for instance, if
-/// there is an analysis error in the library).
-class DartdocFailure {
-  final String message;
-
-  DartdocFailure(this.message);
-
-  @override
-  String toString() => message;
-}
-
 /// The results of a [Dartdoc.generateDocs] call.
 class DartdocResults {
   final PackageMeta packageMeta;

lib/src/comment_references/parser.dart

@@ -39,15 +39,22 @@ class StringTrie {
   /// Does [this] node represent a valid entry in the trie?
   bool valid = false;
 
-  /// Greedily match on the string trie.  Returns the index of the first
-  /// non-operator character if valid, otherwise -1.
-  int match(String toMatch, [int index = 0]) {
-    if (index < 0 || index >= toMatch.length) return valid ? index : 1;
+  /// Greedily match on the string trie starting at the given index.  Returns
+  /// the index of the first non-operator character if a match is valid,
+  /// otherwise -1.
+  int match(String toMatch, [int index = 0, int lastValid = -1]) {
+    if (index < 0 || index > toMatch.length) {
+      return lastValid;
+    }
+    if (index == toMatch.length) {
+      return valid ? index : lastValid;
+    }
     var matchChar = toMatch.codeUnitAt(index);
     if (children.containsKey(matchChar)) {
-      return children[matchChar].match(toMatch, index + 1);
+      lastValid = valid ? index : lastValid;
+      return children[matchChar].match(toMatch, index + 1, lastValid);
     }
-    return valid ? index : -1;
+    return valid ? index : lastValid;
   }
 
   void addWord(String toAdd) {

lib/src/dartdoc_options.dart

@@ -20,9 +20,10 @@ import 'dart:io' show Platform, stdout;
 import 'package:analyzer/dart/element/element.dart';
 import 'package:analyzer/file_system/file_system.dart';
 import 'package:args/args.dart';
-import 'package:dartdoc/dartdoc.dart';
 import 'package:dartdoc/src/experiment_options.dart';
+import 'package:dartdoc/src/failure.dart';
 import 'package:dartdoc/src/io_utils.dart';
+import 'package:dartdoc/src/package_meta.dart';
 import 'package:dartdoc/src/source_linker.dart';
 import 'package:dartdoc/src/tool_definition.dart';
 import 'package:dartdoc/src/tool_runner.dart';
@@ -335,7 +336,7 @@ class _OptionValueWithContext<T> {
 ///
 /// Use via implementations [DartdocOptionSet], [DartdocOptionArgFile],
 /// [DartdocOptionArgOnly], and [DartdocOptionFileOnly].
-abstract class DartdocOption<T> {
+abstract class DartdocOption<T extends Object?> {
   /// This is the value returned if we couldn't find one otherwise.
   final T? defaultsTo;
 
@@ -457,7 +458,7 @@ abstract class DartdocOption<T> {
 
   /// The [DartdocOptionRoot] containing this object.
   DartdocOptionRoot get root {
-    DartdocOption p = this;
+    DartdocOption<dynamic> p = this;
     while (p is! DartdocOptionRoot) {
       p = p.parent;
     }
@@ -467,7 +468,7 @@ abstract class DartdocOption<T> {
   /// All object names starting at the root.
   Iterable<String> get keys {
     var keyList = <String>[];
-    DartdocOption option = this;
+    DartdocOption<dynamic> option = this;
     while (option is! DartdocOptionRoot) {
       keyList.add(option.name);
       option = option.parent;
@@ -490,10 +491,12 @@ abstract class DartdocOption<T> {
   /// type.  If [mustExist] is true, will throw [DartdocFileMissing] for command
   /// line parameters and file paths in config files that don't point to
   /// corresponding files or directories.
-  T? valueAt(Folder dir);
+  // TODO(jcollins-g): use of dynamic.  https://github.com/dart-lang/dartdoc/issues/2814
+  dynamic valueAt(Folder dir);
 
   /// Calls [valueAt] with the working directory at the start of the program.
-  T? valueAtCurrent() => valueAt(_directoryCurrent);
+  // TODO(jcollins-g): use of dynamic.  https://github.com/dart-lang/dartdoc/issues/2814
+  dynamic valueAtCurrent() => valueAt(_directoryCurrent);
 
   late final Folder _directoryCurrent =
       resourceProvider.getFolder(_directoryCurrentPath);
@@ -523,8 +526,9 @@ abstract class DartdocOption<T> {
     return _children[name]!;
   }
 
-  /// Get the immediate child of this node named [name] as a [DartdocOption<U>].
-  DartdocOption<U> getAs<U>(String name) => _children[name] as DartdocOption<U>;
+  /// Get the immediate child of this node named [name] and its value at [dir].
+  U getValueAs<U extends Object?>(String name, Folder dir) =>
+      _children[name]?.valueAt(dir) as U;
 
   /// Apply the function [visit] to [this] and all children.
   void traverse(void Function(DartdocOption option) visit) {

lib/src/failure.dart

@@ -0,0 +1,16 @@
+// Copyright (c) 2021, 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.
+
+/// A class representing a failure during dartdoc execution.
+///
+/// An instance of this is returned if dartdoc fails in an expected way (for
+/// instance, if there is an analysis error in the library).
+class DartdocFailure {
+  final String message;
+
+  DartdocFailure(this.message);
+
+  @override
+  String toString() => message;
+}

lib/src/generator/dartdoc_generator_backend.dart

@@ -5,12 +5,14 @@
 // @dart=2.9
 
 import 'package:analyzer/file_system/file_system.dart';
-import 'package:dartdoc/dartdoc.dart';
 import 'package:dartdoc/options.dart';
+import 'package:dartdoc/src/generator/generator.dart';
 import 'package:dartdoc/src/generator/generator_frontend.dart';
 import 'package:dartdoc/src/generator/generator_utils.dart' as generator_util;
 import 'package:dartdoc/src/generator/template_data.dart';
 import 'package:dartdoc/src/generator/templates.dart';
+import 'package:dartdoc/src/model/model.dart';
+import 'package:dartdoc/src/version.dart';
 import 'package:dartdoc/src/warnings.dart';
 import 'package:path/path.dart' as path show Context;
 
@@ -41,7 +43,7 @@ class DartdocGeneratorBackendOptions implements TemplateOptions {
   DartdocGeneratorBackendOptions.fromContext(
       DartdocGeneratorOptionContext context)
       : relCanonicalPrefix = context.relCanonicalPrefix,
-        toolVersion = dartdocVersion,
+        toolVersion = packageVersion,
         favicon = context.favicon,
         prettyIndexJson = context.prettyIndexJson,
         useBaseHref = context.useBaseHref,

lib/src/generator/templates.dart

@@ -29,8 +29,9 @@
 library dartdoc.templates;
 
 import 'package:analyzer/file_system/file_system.dart';
-import 'package:dartdoc/dartdoc.dart';
 import 'package:dartdoc/options.dart';
+import 'package:dartdoc/src/element_type.dart';
+import 'package:dartdoc/src/failure.dart';
 import 'package:dartdoc/src/generator/resource_loader.dart';
 import 'package:dartdoc/src/generator/template_data.dart';
 import 'package:dartdoc/src/generator/templates.aot_renderers_for_html.dart'
@@ -42,6 +43,7 @@ import 'package:dartdoc/src/generator/templates.runtime_renderers.dart'
 import 'package:dartdoc/src/model/annotation.dart';
 import 'package:dartdoc/src/model/feature_set.dart';
 import 'package:dartdoc/src/model/language_feature.dart';
+import 'package:dartdoc/src/model/model.dart';
 import 'package:dartdoc/src/mustachio/annotations.dart';
 import 'package:dartdoc/src/mustachio/renderer_base.dart';
 import 'package:meta/meta.dart';

lib/src/generator/templates.runtime_renderers.dart

@@ -6,14 +6,15 @@
 // ignore_for_file: camel_case_types, deprecated_member_use_from_same_package
 // ignore_for_file: unused_import
 // @dart=2.9
-import 'package:dartdoc/dartdoc.dart';
+import 'package:dartdoc/src/element_type.dart';
 import 'package:dartdoc/src/generator/template_data.dart';
 import 'package:dartdoc/src/model/annotation.dart';
 import 'package:dartdoc/src/model/comment_referable.dart';
 import 'package:dartdoc/src/model/extension_target.dart';
 import 'package:dartdoc/src/model/feature.dart';
 import 'package:dartdoc/src/model/feature_set.dart';
 import 'package:dartdoc/src/model/language_feature.dart';
+import 'package:dartdoc/src/model/model.dart';
 import 'package:dartdoc/src/mustachio/parser.dart';
 import 'package:dartdoc/src/mustachio/renderer_base.dart';
 import 'package:dartdoc/src/warnings.dart';
@@ -4229,6 +4230,7 @@ class _Renderer_Enum extends RendererBase<Enum> {
           CT_,
           () => {
                 ..._Renderer_InheritingContainer.propertyMap<CT_>(),
+                ..._Renderer_TypeImplementing.propertyMap<CT_>(),
                 'inheritanceChain': Property(
                   getValue: (CT_ c) => c.inheritanceChain,
                   renderVariable: (CT_ c, Property<CT_> self,