Add filtering to 'summary'

tools/gardening/lib/src/util.dart

 // Copyright (c) 2017, 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.
 
 import 'dart:async';
 import 'dart:convert';
 import 'dart:io';
 
 import 'package:args/args.dart';
 
 import 'cache.dart';
 
+/// Checks that [haystack] contains substring [needle], case insensitive.
+/// Throws an exception if either parameter is `null`.
+bool containsIgnoreCase(String haystack, String needle) {
+  if (haystack == null) {
+    throw "Unexpected null as the first paramter value of containsIgnoreCase";
+  }
+  if (needle == null) {
+    throw "Unexpected null as the second parameter value of containsIgnoreCase";
+  }
+  return haystack.toLowerCase().contains(needle.toLowerCase());
+}
+
 /// Split [text] using [infixes] as infix markers.
 List<String> split(String text, List<String> infixes) {
   List<String> result = <String>[];
   int start = 0;
   for (String infix in infixes) {
     int index = text.indexOf(infix, start);
     if (index == -1)
       throw "'$infix' not found in '$text' from offset ${start}.";
     result.add(text.substring(start, index));
     start = index + infix.length;
@@ skipping 58 matching lines @@
   if (argResults['verbose']) {
     LOG = true;
   }
   if (argResults['cache'] != null) {
     cache.base = Uri.base.resolve('${argResults['cache']}/');
   }
   if (argResults['no-cache']) {
     cache.base = null;
   }
 }