Files
2025-12-27 05:31:21 -08:00

271 lines
10 KiB
TypeScript

/**
* Copyright (c) 2025 The xterm.js authors. All rights reserved.
* @license MIT
*/
import { Terminal } from '@xterm/xterm';
export type UnicodeRangeDefinition = [
label: string,
start: number,
end: number,
reserved?: number[],
];
/**
* Write a unicode table to the terminal from start to end code points.
*
* Beware: Vibe coding ahead
*/
export function writeUnicodeTable(term: Terminal, name: string, start: number, end: number, definitions?: UnicodeRangeDefinition[]): void {
function bold(text: string): string {
return '\x1b[1m' + text + '\x1b[22m';
}
function faint(text: string): string {
return '\x1b[2m' + text + '\x1b[22m';
}
// Rotating colors: Red, Green, Yellow, Blue, Magenta, Cyan
const colors = [31, 32, 33, 34, 35, 36];
function color(text: string, colorIndex: number): string {
const c = colors[colorIndex % colors.length];
return '\x1b[' + c + 'm' + text + '\x1b[39m';
}
term.write('\n\r');
term.write('\n\r');
term.write(`${bold(name)} (${start.toString(16).toUpperCase()}-${end.toString(16).toUpperCase()})\n\r`);
term.write('\n\r');
term.write(bold(' 0 1 2 3 4 5 6 7 8 9 A B C D E F') + '\n\r');
const startRow = Math.floor(start / 16);
// Build a map of codepoint -> label and colorIndex for start positions
const labelStartMap = new Map<number, { label: string, colorIndex: number }>();
// Build a map of codepoint -> colorIndex for all codepoints in each range
const codePointColorMap = new Map<number, number>();
// Build a set of reserved codepoints
const reservedSet = new Set<number>();
let lastDefinitionEnd = start; // Track the last definition's end to stop printing there
if (definitions) {
for (let i = 0; i < definitions.length; i++) {
const [label, labelStart, labelEnd, reserved] = definitions[i];
labelStartMap.set(labelStart, { label, colorIndex: i });
// Map all codepoints in the range to this color
for (let cp = labelStart; cp <= labelEnd; cp++) {
codePointColorMap.set(cp, i);
}
// Track reserved codepoints
if (reserved) {
for (const cp of reserved) {
reservedSet.add(cp);
}
}
if (labelEnd > lastDefinitionEnd) {
lastDefinitionEnd = labelEnd;
}
}
}
const effectiveEnd = definitions ? lastDefinitionEnd : end;
const endRow = Math.floor(effectiveEnd / 16);
for (let row = startRow; row <= endRow; row++) {
// Collect labels for this row with their column positions and color
const rowLabels: { col: number, label: string, colorIndex: number }[] = [];
// Collect reserved codepoints for this row
const rowReserved: { col: number, colorIndex: number }[] = [];
for (let col = 0; col < 16; col++) {
const codePoint = row * 16 + col;
const labelInfo = labelStartMap.get(codePoint);
if (labelInfo) {
rowLabels.push({ col, label: labelInfo.label, colorIndex: labelInfo.colorIndex });
}
if (reservedSet.has(codePoint)) {
const charColorIndex = codePointColorMap.get(codePoint);
rowReserved.push({ col, colorIndex: charColorIndex ?? -1 });
}
}
// If labels exist and don't start at column 0, first output chars before first label
if (rowLabels.length > 0 && rowLabels[0].col > 0) {
const rowHex = row.toString(16).toUpperCase();
const rowPrefix = `U+${rowHex}x`.padEnd(8, ' ');
term.write(bold(rowPrefix));
for (let col = 0; col < rowLabels[0].col; col++) {
const codePoint = row * 16 + col;
term.write(' ');
if (codePoint >= start && codePoint <= end) {
const charColorIndex = codePointColorMap.get(codePoint);
const isReserved = reservedSet.has(codePoint);
let char = String.fromCodePoint(codePoint);
if (charColorIndex !== undefined) {
char = color(char, charColorIndex);
}
if (isReserved) {
char = faint(char);
}
term.write(char);
} else {
term.write(' ');
}
}
term.write('\n\r');
// Render reserved labels that appear before the first label (below the first part of row)
const earlyReserved = rowReserved.filter(r => r.col < rowLabels[0].col);
if (earlyReserved.length > 0) {
for (let i = earlyReserved.length - 1; i >= 0; i--) {
const prefix = ' '.repeat(8);
let line = '';
let visualLen = 0;
for (let col = 0; col < rowLabels[0].col; col++) {
const colPos = col * 2 + 1; // +1 to align with character position
const reservedAtCol = earlyReserved.findIndex(r => r.col === col);
if (reservedAtCol === i) {
const padding = ' '.repeat(colPos - visualLen);
const reservedItem = earlyReserved[i];
if (reservedItem.colorIndex >= 0) {
line += padding + color('└<reserved>', reservedItem.colorIndex);
} else {
line += padding + '└<reserved>';
}
break;
} else if (reservedAtCol !== -1 && reservedAtCol < i) {
const padding = ' '.repeat(colPos - visualLen);
const prevReserved = earlyReserved[reservedAtCol];
if (prevReserved.colorIndex >= 0) {
line += padding + color('│', prevReserved.colorIndex);
} else {
line += padding + '│';
}
visualLen = colPos + 1;
}
}
term.write(faint(prefix + line) + '\n\r');
}
}
}
// If labels exist, render them above the row
if (rowLabels.length > 0) {
// Render label lines from top to bottom (first label on top, last label closest to row)
for (let i = 0; i < rowLabels.length; i++) {
const prefix = ' '.repeat(8); // Same width as "U+1FB0x "
let line = '';
let visualLen = 0; // Track visual length separately from string length (escape codes don't count)
for (let col = 0; col < 16; col++) {
const colPos = col * 2; // Each char takes 2 positions (char + space)
const labelAtCol = rowLabels.findIndex(l => l.col === col);
if (labelAtCol === i) {
// This is where we show the label
const padding = ' '.repeat(colPos - visualLen);
line += padding + color('┌' + rowLabels[i].label, rowLabels[i].colorIndex);
break;
} else if (labelAtCol !== -1 && labelAtCol < i) {
// Show vertical line for labels that were already rendered above
const padding = ' '.repeat(colPos - visualLen);
line += padding + color('│', rowLabels[labelAtCol].colorIndex);
visualLen = colPos + 1;
}
}
term.write(faint(prefix + line) + '\n\r');
}
}
// Row prefix (e.g., "U+1FB0x ")
const rowHex = row.toString(16).toUpperCase();
const rowPrefix = `U+${rowHex}x`.padEnd(8, ' ');
const isSecondPrint = rowLabels.length > 0 && rowLabels[0].col > 0;
term.write(isSecondPrint ? ' '.repeat(rowPrefix.length) : bold(rowPrefix));
// Determine starting column (skip chars already output if we had labels not at col 0)
const startCol = isSecondPrint ? rowLabels[0].col : 0;
// Determine ending column (stop at effectiveEnd on the last row)
const endCol = (row === endRow) ? (effectiveEnd % 16) + 1 : 16;
// Pad for skipped columns
for (let col = 0; col < startCol; col++) {
term.write(' ');
}
// Characters in this row
for (let col = startCol; col < endCol; col++) {
const codePoint = row * 16 + col;
// Check if a label starts here
const labelInfo = labelStartMap.get(codePoint);
if (labelInfo) {
term.write(faint(color('└', labelInfo.colorIndex)));
} else {
term.write(' ');
}
if (codePoint >= start && codePoint <= effectiveEnd) {
// Color the character if it's part of a definition range
const charColorIndex = codePointColorMap.get(codePoint);
const isReserved = reservedSet.has(codePoint);
let char = String.fromCodePoint(codePoint);
if (charColorIndex !== undefined) {
char = color(char, charColorIndex);
}
if (isReserved) {
char = faint(char);
}
term.write(char);
} else {
term.write(' ');
}
}
term.write('\n\r');
// Render reserved labels that appear after the first label (below the row)
// Show one label per non-contiguous reserved range
const lateReserved = rowLabels.length > 0
? rowReserved.filter(r => r.col >= rowLabels[0].col)
: rowReserved;
if (lateReserved.length > 0) {
// Group contiguous reserved ranges
const reservedGroups: { startCol: number, colorIndex: number }[] = [];
for (let i = 0; i < lateReserved.length; i++) {
const curr = lateReserved[i];
const prev = lateReserved[i - 1];
// Start a new group if not contiguous (gap of more than 1 column)
if (i === 0 || curr.col > prev.col + 1) {
reservedGroups.push({ startCol: curr.col, colorIndex: curr.colorIndex });
}
}
// Render from bottom to top (last group at bottom with └, earlier groups with │)
for (let i = reservedGroups.length - 1; i >= 0; i--) {
const prefix = ' '.repeat(8);
let line = '';
let visualLen = 0;
for (let g = 0; g <= i; g++) {
const group = reservedGroups[g];
const colPos = group.startCol * 2 + 1;
const padding = ' '.repeat(colPos - visualLen);
if (g === i) {
// This is the label for this line
if (group.colorIndex >= 0) {
line += padding + color('└<reserved>', group.colorIndex);
} else {
line += padding + '└<reserved>';
}
} else {
// Vertical connector for groups below
if (group.colorIndex >= 0) {
line += padding + color('│', group.colorIndex);
} else {
line += padding + '│';
}
visualLen = colPos + 1;
}
}
term.write(faint(prefix + line) + '\n\r');
}
}
}
}