scala.tools.nsc.interpreter.shell.Tabulators.scala Maven / Gradle / Ivy
The newest version!
/*
* Scala (https://www.scala-lang.org)
*
* Copyright EPFL and Lightbend, Inc.
*
* Licensed under Apache License 2.0
* (http://www.apache.org/licenses/LICENSE-2.0).
*
* See the NOTICE file distributed with this work for
* additional information regarding copyright ownership.
*/
package scala.tools.nsc.interpreter.shell
import scala.util.chaining._
trait Tabulator {
def isAcross: Boolean
def width: Int
def marginSize: Int
protected def fits(items: Seq[String], width: Int): Boolean = (
(items map (graphemeCount)).sum + (items.length - 1) * marginSize < width
)
def tabulate(items: Seq[String]): Seq[Seq[String]] = (
if (fits(items, width)) Seq(Seq(items mkString " " * marginSize))
else printMultiLineColumns(items)
)
protected def columnize(ss: Seq[String]): Seq[Seq[String]] = ss map (s => Seq(s))
protected def printMultiLineColumns(items: Seq[String]): Seq[Seq[String]] = {
import SimpleMath._
val longest = (items map (graphemeCount)).max
val columnWidth = longest + marginSize
val maxcols = (
if (columnWidth >= width) 1
else 1 max (width / columnWidth) // make sure it doesn't divide to 0
)
val nrows = items.size /% maxcols
val ncols = items.size /% nrows
val groupSize = ncols
val padded = items map (pad(columnWidth, _))
val xwise = isAcross || ncols >= items.length
val grouped: Seq[Seq[String]] =
if (groupSize == 1) columnize(items)
else if (xwise) (padded grouped groupSize).toSeq
else {
val h = 1 max padded.size /% groupSize
val cols = (padded grouped h).toList
for (i <- 0 until h) yield
for (j <- 0 until groupSize) yield
if (i < cols(j).size) cols(j)(i) else ""
}
grouped
}
protected def graphemeCount(s: String): Int = {
import java.text.BreakIterator
val it = BreakIterator.getCharacterInstance
it.setText(s)
Iterator.continually(it.next()).takeWhile(_ != BreakIterator.DONE).size
}
protected def pad(width: Int, s: String): String = {
val count = 0 max (width - graphemeCount(s))
s + (" " * count)
}
}
/** Adjust the column width and number of columns to minimize the row count. */
trait VariColumnTabulator extends Tabulator {
override protected def printMultiLineColumns(items: Seq[String]): Seq[Seq[String]] = {
import SimpleMath._
val (longest, shortest) = items.map(graphemeCount).pipe(vs => (vs.max, vs.min))
val fattest = longest + marginSize
val skinny = shortest + marginSize
// given ncols, calculate nrows and a list of column widths, or none if not possible
// if ncols > items.size, then columnWidths.size == items.size
def layout(ncols: Int): Option[(Int, Seq[Int], Seq[Seq[String]])] = {
val nrows = items.size /% ncols
val xwise = isAcross || ncols >= items.length
// max width item in each column
def maxima(rows: Seq[Seq[String]]) =
(0 until (ncols min items.size)) map { col =>
val widths = for (r <- rows if r.size > col) yield graphemeCount(r(col))
widths.max
}
def resulting(rows: Seq[Seq[String]]) = {
val columnWidths = maxima(rows) map (_ + marginSize)
val linelen = columnWidths.sum
if (linelen <= width) Some((nrows, columnWidths, rows))
else None
}
if (ncols == 1) resulting(columnize(items))
else if (xwise) resulting((items grouped ncols).toSeq)
else {
val cols = (items grouped nrows).toList
val rows =
for (i <- 0 until nrows) yield
for (j <- 0 until ncols) yield
if (j < cols.size && i < cols(j).size) cols(j)(i) else ""
resulting(rows)
}
}
if (fattest >= width) {
columnize(items)
} else {
// if every col is widest, we have at least this many cols
val mincols = 1 max (width / fattest)
// if every other col is skinniest, we have at most this many cols
val maxcols = 1 + ((width - fattest) / skinny)
val possibles = (mincols to maxcols).map(n => layout(n)).flatten
val minrows = (possibles map (_._1)).min
// select the min ncols that results in minrows
val (_, columnWidths, sss) = (possibles find (_._1 == minrows)).get
// format to column width
sss map (ss => ss.zipWithIndex map {
case (s, i) => pad(columnWidths(i), s)
})
}
}
}
private[interpreter] object SimpleMath {
implicit class DivRem(private val i: Int) extends AnyVal {
/** i/n + if (i % n != 0) 1 else 0 */
def /%(n: Int): Int = (i + n - 1) / n
}
}
© 2015 - 2024 Weber Informatics LLC | Privacy Policy