| Index: pkg/compiler/lib/src/io/line_column_provider.dart
|
| diff --git a/pkg/compiler/lib/src/io/line_column_provider.dart b/pkg/compiler/lib/src/io/line_column_provider.dart
|
| deleted file mode 100644
|
| index 1abebc0265bff7c893e1988ee004104ea31ace67..0000000000000000000000000000000000000000
|
| --- a/pkg/compiler/lib/src/io/line_column_provider.dart
|
| +++ /dev/null
|
| @@ -1,82 +0,0 @@
|
| -// Copyright (c) 2012, 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.
|
| -
|
| -library dart2js.io.line_column;
|
| -
|
| -import 'code_output.dart' show CodeOutputListener;
|
| -
|
| -/// Interface for providing line/column information.
|
| -abstract class LineColumnProvider {
|
| - /// Returns the line number (0-based) for [offset].
|
| - int getLine(int offset);
|
| -
|
| - /// Returns the column number (0-based) for [offset] at the given [line].
|
| - int getColumn(int line, int offset);
|
| -
|
| - /// Returns the offset for 0-based [line] and [column] numbers.
|
| - int getOffset(int line, int column);
|
| -}
|
| -
|
| -/// [CodeOutputListener] that collects line information.
|
| -class LineColumnCollector extends CodeOutputListener
|
| - implements LineColumnProvider {
|
| - int length = 0;
|
| - List<int> lineStarts = <int>[0];
|
| -
|
| - void _collect(String text) {
|
| - int index = 0;
|
| - while (index < text.length) {
|
| - // Unix uses '\n' and Windows uses '\r\n', so this algorithm works for
|
| - // both platforms.
|
| - index = text.indexOf('\n', index) + 1;
|
| - if (index <= 0) break;
|
| - lineStarts.add(length + index);
|
| - }
|
| - length += text.length;
|
| - }
|
| -
|
| - @override
|
| - void onText(String text) {
|
| - _collect(text);
|
| - }
|
| -
|
| - @override
|
| - int getLine(int offset) {
|
| - List<int> starts = lineStarts;
|
| - if (offset < 0 || starts.last <= offset) {
|
| - throw 'bad position #$offset in buffer with length ${length}.';
|
| - }
|
| - int first = 0;
|
| - int count = starts.length;
|
| - while (count > 1) {
|
| - int step = count ~/ 2;
|
| - int middle = first + step;
|
| - int lineStart = starts[middle];
|
| - if (offset < lineStart) {
|
| - count = step;
|
| - } else {
|
| - first = middle;
|
| - count -= step;
|
| - }
|
| - }
|
| - return first;
|
| - }
|
| -
|
| - @override
|
| - int getColumn(int line, int offset) {
|
| - return offset - lineStarts[line];
|
| - }
|
| -
|
| - int getOffset(int line, int column) => lineStarts[line] + column;
|
| -
|
| - @override
|
| - void onDone(int length) {
|
| - lineStarts.add(length + 1);
|
| - this.length = length;
|
| - }
|
| -
|
| - String toString() {
|
| - return 'lineStarts=$lineStarts,length=$length';
|
| - }
|
| -}
|
|
|