DevTools: Convert TextEditor from Interface to Abstract class

third_party/WebKit/Source/devtools/front_end/source_frame/SourceCodeDiff.js

 // Copyright 2016 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 /**
  * @unrestricted
  */
 SourceFrame.SourceCodeDiff = class {
   /**
    * @param {!WorkspaceDiff.WorkspaceDiff} workspaceDiff
-   * @param {!TextEditor.CodeMirrorTextEditor} textEditor
+   * @param {!SourceFrame.SourcesTextEditor} textEditor
    */
   constructor(workspaceDiff, textEditor) {
     this._textEditor = textEditor;
     this._decorations = [];
     this._textEditor.installGutter(SourceFrame.SourceCodeDiff.DiffGutterType, true);
     this._uiSourceCode = null;
     this._workspaceDiff = workspaceDiff;
     /** @type {!Array<!TextEditor.TextEditorPositionHandle>}*/
     this._animatedLines = [];
 
@@ skipping 211 matching lines @@
   Insert: Symbol('Insert'),
   Delete: Symbol('Delete'),
   Modify: Symbol('Modify'),
 };
 
 /**
  * @unrestricted
  */
 SourceFrame.SourceCodeDiff.GutterDecoration = class {
   /**
-   * @param {!TextEditor.CodeMirrorTextEditor} textEditor
+   * @param {!SourceFrame.SourcesTextEditor} textEditor
    * @param {number} lineNumber
    * @param {!SourceFrame.SourceCodeDiff.GutterDecorationType} type
    */
   constructor(textEditor, lineNumber, type) {
     this._textEditor = textEditor;
     this._position = this._textEditor.textEditorPositionHandle(lineNumber, 0);
     this._className = '';
     if (type === SourceFrame.SourceCodeDiff.GutterDecorationType.Insert)
       this._className = 'diff-entry-insert';
     else if (type === SourceFrame.SourceCodeDiff.GutterDecorationType.Delete)
@@ skipping 24 matching lines @@
   }
 
   remove() {
     var location = this._position.resolve();
     if (!location)
       return;
     this._textEditor.setGutterDecoration(location.lineNumber, SourceFrame.SourceCodeDiff.DiffGutterType, null);
     this._textEditor.toggleLineClass(location.lineNumber, this._className, false);
   }
 };