| Index: mojo/public/dart/third_party/source_maps/lib/refactor.dart
|
| diff --git a/mojo/public/dart/third_party/source_maps/lib/refactor.dart b/mojo/public/dart/third_party/source_maps/lib/refactor.dart
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..a33b86bec0d39184ba63fa0905c392ab72e00887
|
| --- /dev/null
|
| +++ b/mojo/public/dart/third_party/source_maps/lib/refactor.dart
|
| @@ -0,0 +1,133 @@
|
| +// Copyright (c) 2013, 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.
|
| +
|
| +/// Tools to help implement refactoring like transformations to Dart code.
|
| +///
|
| +/// [TextEditTransaction] supports making a series of changes to a text buffer.
|
| +/// [guessIndent] helps to guess the appropriate indentiation for the new code.
|
| +library source_maps.refactor;
|
| +
|
| +import 'package:source_span/source_span.dart';
|
| +
|
| +import 'printer.dart';
|
| +
|
| +/// Editable text transaction.
|
| +///
|
| +/// Applies a series of edits using original location
|
| +/// information, and composes them into the edited string.
|
| +class TextEditTransaction {
|
| + final SourceFile file;
|
| + final String original;
|
| + final _edits = <_TextEdit>[];
|
| +
|
| + /// Creates a new transaction.
|
| + TextEditTransaction(this.original, this.file);
|
| +
|
| + bool get hasEdits => _edits.length > 0;
|
| +
|
| + /// Edit the original text, replacing text on the range [begin] and [end]
|
| + /// with the [replacement]. [replacement] can be either a string or a
|
| + /// [NestedPrinter].
|
| + void edit(int begin, int end, replacement) {
|
| + _edits.add(new _TextEdit(begin, end, replacement));
|
| + }
|
| +
|
| + /// Create a source map [SourceLocation] for [offset].
|
| + SourceLocation _loc(int offset) =>
|
| + file != null ? file.location(offset) : null;
|
| +
|
| + /// Applies all pending [edit]s and returns a [NestedPrinter] containing the
|
| + /// rewritten string and source map information. [filename] is given to the
|
| + /// underlying printer to indicate the name of the generated file that will
|
| + /// contains the source map information.
|
| + ///
|
| + /// Throws [UnsupportedError] if the edits were overlapping. If no edits were
|
| + /// made, the printer simply contains the original string.
|
| + NestedPrinter commit() {
|
| + var printer = new NestedPrinter();
|
| + if (_edits.length == 0) {
|
| + return printer..add(original, location: _loc(0), isOriginal: true);
|
| + }
|
| +
|
| + // Sort edits by start location.
|
| + _edits.sort();
|
| +
|
| + int consumed = 0;
|
| + for (var edit in _edits) {
|
| + if (consumed > edit.begin) {
|
| + var sb = new StringBuffer();
|
| + sb..write(file.location(edit.begin).toolString)
|
| + ..write(': overlapping edits. Insert at offset ')
|
| + ..write(edit.begin)
|
| + ..write(' but have consumed ')
|
| + ..write(consumed)
|
| + ..write(' input characters. List of edits:');
|
| + for (var e in _edits) sb..write('\n ')..write(e);
|
| + throw new UnsupportedError(sb.toString());
|
| + }
|
| +
|
| + // Add characters from the original string between this edit and the last
|
| + // one, if any.
|
| + var betweenEdits = original.substring(consumed, edit.begin);
|
| + printer..add(betweenEdits, location: _loc(consumed), isOriginal: true)
|
| + ..add(edit.replace, location: _loc(edit.begin));
|
| + consumed = edit.end;
|
| + }
|
| +
|
| + // Add any text from the end of the original string that was not replaced.
|
| + printer.add(original.substring(consumed),
|
| + location: _loc(consumed), isOriginal: true);
|
| + return printer;
|
| + }
|
| +}
|
| +
|
| +class _TextEdit implements Comparable<_TextEdit> {
|
| + final int begin;
|
| + final int end;
|
| +
|
| + /// The replacement used by the edit, can be a string or a [NestedPrinter].
|
| + final replace;
|
| +
|
| + _TextEdit(this.begin, this.end, this.replace);
|
| +
|
| + int get length => end - begin;
|
| +
|
| + String toString() => '(Edit @ $begin,$end: "$replace")';
|
| +
|
| + int compareTo(_TextEdit other) {
|
| + int diff = begin - other.begin;
|
| + if (diff != 0) return diff;
|
| + return end - other.end;
|
| + }
|
| +}
|
| +
|
| +/// Returns all whitespace characters at the start of [charOffset]'s line.
|
| +String guessIndent(String code, int charOffset) {
|
| + // Find the beginning of the line
|
| + int lineStart = 0;
|
| + for (int i = charOffset - 1; i >= 0; i--) {
|
| + var c = code.codeUnitAt(i);
|
| + if (c == _LF || c == _CR) {
|
| + lineStart = i + 1;
|
| + break;
|
| + }
|
| + }
|
| +
|
| + // Grab all the whitespace
|
| + int whitespaceEnd = code.length;
|
| + for (int i = lineStart; i < code.length; i++) {
|
| + var c = code.codeUnitAt(i);
|
| + if (c != _SPACE && c != _TAB) {
|
| + whitespaceEnd = i;
|
| + break;
|
| + }
|
| + }
|
| +
|
| + return code.substring(lineStart, whitespaceEnd);
|
| +}
|
| +
|
| +const int _CR = 13;
|
| +const int _LF = 10;
|
| +const int _TAB = 9;
|
| +const int _SPACE = 32;
|
|
|