Remove unused implementation of SearchEngine and rename the driver-based implementation

pkg/analysis_server/lib/src/services/refactoring/rename_constructor.dart

 // Copyright (c) 2014, 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 'package:analysis_server/src/protocol_server.dart' hide Element;
 import 'package:analysis_server/src/services/correction/status.dart';
 import 'package:analysis_server/src/services/correction/util.dart';
 import 'package:analysis_server/src/services/refactoring/naming_conventions.dart';
@@ skipping 82 matching lines @@
 
   SourceReference _createDeclarationReference() {
     SourceRange sourceRange;
     int offset = element.periodOffset;
     if (offset != null) {
       sourceRange = range.startOffsetEndOffset(offset, element.nameEnd);
     } else {
       sourceRange = new SourceRange(element.nameEnd, 0);
     }
     return new SourceReference(new SearchMatchImpl(
-        element.context,
-        element.library.source.uri.toString(),
-        element.source.uri.toString(),
+        element.source.fullName,
+        element.library.source,
+        element.source,
+        element.library,
+        element,
+        true,
+        true,
         MatchKind.DECLARATION,
-        sourceRange,
-        true,
-        true));
+        sourceRange));
   }
 
   Future<Null> _replaceSynthetic() async {
     ClassElement classElement = element.enclosingElement;
     AstNode name = await astProvider.getResolvedNameForElement(classElement);
     ClassDeclaration classNode = name.parent as ClassDeclaration;
     CorrectionUtils utils = new CorrectionUtils(classNode.parent);
     ClassMemberLocation location =
         utils.prepareNewConstructorLocation(classNode);
     doSourceChange_addElementEdit(
         change,
         classElement,
         new SourceEdit(
             location.offset,
             0,
             location.prefix +
                 '${classElement.name}.$newName();' +
                 location.suffix));
   }
 }