Files
sdk/pkg/analysis_server/tool/code_completion/output_utilities.dart
T
Brian Wilkerson 8fee2b96af Rename the tool/completion_metrics directory
The directory contains tools related to code completion that are not
used to measure completion metrics, so the old name was too specific.

Change-Id: Ie8745901655df6e7b29da645b3b0a48011ca9f10
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/174483
Reviewed-by: Konstantin Shcheglov <scheglov@google.com>
Commit-Queue: Brian Wilkerson <brianwilkerson@google.com>
2020-11-30 23:57:44 +00:00

70 lines
2.3 KiB
Dart

// Copyright (c) 2020, 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:math' as math;
extension OutputUtilities on StringSink {
/// Write the given [table].
///
/// The table is represented as a list or rows, where each row is a list of
/// the contents of the cells in that row.
///
/// Throws an [ArgumentError] if the table is empty or if the rows do not
/// contain the same number of cells.
void writeTable(List<List<String>> table) {
var columnWidths = _computeColumnWidths(table);
for (var row in table) {
var lastNonEmpty = row.length - 1;
while (lastNonEmpty > 0) {
if (row[lastNonEmpty].isNotEmpty) {
break;
}
lastNonEmpty--;
}
for (var i = 0; i <= lastNonEmpty; i++) {
var cellContent = row[i];
var columnWidth = columnWidths[i];
var padding = columnWidth - cellContent.length;
write(cellContent);
if (i < lastNonEmpty) {
write(' ' * (padding + 2));
}
}
writeln();
}
}
/// Return the minimum widths for each of the columns in the given [table].
///
/// The table is represented as a list or rows, where each row is a list of
/// the contents of the cells in that row.
///
/// Throws an [ArgumentError] if the table is empty or if the rows do not
/// contain the same number of cells.
List<int> _computeColumnWidths(List<List<String>> table) {
if (table.isEmpty) {
throw ArgumentError('table cannot be empty');
}
var columnCount = table[0].length;
if (columnCount == 0) {
throw ArgumentError('rows cannot be empty');
}
var columnWidths = List<int>.filled(columnCount, 0);
for (var row in table) {
var rowLength = row.length;
if (rowLength > 0) {
if (rowLength != columnCount) {
throw ArgumentError(
'non-empty rows must contain the same number of columns');
}
for (var i = 0; i < rowLength; i++) {
var cellWidth = row[i].length;
columnWidths[i] = math.max(columnWidths[i], cellWidth);
}
}
}
return columnWidths;
}
}