/**
* Draws a top border.
*
* Crossings are drawn between each pair of columns if more than one column
* length is passed.
*
* @param IO $io The I/O.
* @param BorderStyle $style The border style.
* @param int[] $columnLengths An array of column lengths.
* @param int $indentation The number of spaces to indent.
*/
public static function drawTopBorder(IO $io, BorderStyle $style, array $columnLengths, $indentation = 0)
{
self::drawBorder($io, $columnLengths, $indentation, $style->getLineHTChar(), $style->getCornerTLChar(), $style->getCrossingTChar(), $style->getCornerTRChar(), $style->getStyle());
}