Files
rio/frontend/code/components/grid.ts
2024-04-03 19:23:29 +02:00

331 lines
11 KiB
TypeScript

import { componentsById } from '../componentManagement';
import { LayoutContext } from '../layouting';
import { ComponentId } from '../models';
import { range } from '../utils';
import { ComponentBase, ComponentState } from './componentBase';
type GridChildPosition = {
row: number;
column: number;
width: number;
height: number;
};
type GridChild = {
id: ComponentId;
allRows: number[];
allColumns: number[];
} & GridChildPosition;
export type GridState = ComponentState & {
_type_: 'Grid-builtin';
_children?: ComponentId[];
_child_positions?: GridChildPosition[];
row_spacing?: number;
column_spacing?: number;
};
export class GridComponent extends ComponentBase {
state: Required<GridState>;
private childrenByNumberOfColumns: GridChild[];
private childrenByNumberOfRows: GridChild[];
private growingRows: Set<number>;
private growingColumns: Set<number>;
private nRows: number;
private nColumns: number;
private rowNaturalHeights: number[];
private columnNaturalWidths: number[];
private rowAllocatedHeights: number[];
private columnAllocatedWidths: number[];
createElement(): HTMLElement {
let element = document.createElement('div');
element.classList.add('rio-grid');
return element;
}
precomputeChildData(deltaState: GridState): void {
let children = deltaState._children as ComponentId[];
// Build the list of grid children
for (let ii = 0; ii < children.length; ii++) {
let child = deltaState._child_positions![ii] as GridChild;
child.id = children[ii];
child.allRows = range(child.row, child.row + child.height);
child.allColumns = range(child.column, child.column + child.width);
}
// Sort the children by the number of rows they take up
this.childrenByNumberOfRows = Array.from(
deltaState._child_positions!
) as GridChild[];
this.childrenByNumberOfRows.sort((a, b) => a.height - b.height);
this.nRows = 0;
this.growingRows = new Set();
for (let gridChild of this.childrenByNumberOfRows) {
let childInstance = componentsById[gridChild.id]!;
// Keep track of how how many rows this grid has
this.nRows = Math.max(this.nRows, gridChild.row + gridChild.height);
// Determine which rows need to grow
if (!childInstance.state._grow_[1]) {
continue;
}
// Does any of the rows already grow?
let alreadyGrowing = gridChild.allRows.some((row) =>
this.growingRows.has(row)
);
// If not, mark them all as growing
if (!alreadyGrowing) {
for (let row of gridChild.allRows) {
this.growingRows.add(row);
}
}
}
// Sort the children by the number of columns they take up
this.childrenByNumberOfColumns = Array.from(
this.childrenByNumberOfRows
);
this.childrenByNumberOfColumns.sort((a, b) => a.width - b.width);
this.nColumns = 0;
this.growingColumns = new Set();
for (let gridChild of this.childrenByNumberOfColumns) {
let childInstance = componentsById[gridChild.id]!;
// Keep track of how how many columns this grid has
this.nColumns = Math.max(
this.nColumns,
gridChild.column + gridChild.width
);
// Determine which columns need to grow
if (!childInstance.state._grow_[0]) {
continue;
}
// Does any of the columns already grow?
let alreadyGrowing = gridChild.allColumns.some((column) =>
this.growingColumns.has(column)
);
// If not, mark them all as growing
if (!alreadyGrowing) {
for (let column of gridChild.allColumns) {
this.growingColumns.add(column);
}
}
}
}
updateElement(
deltaState: GridState,
latentComponents: Set<ComponentBase>
): void {
let element = this.element;
if (deltaState._children !== undefined) {
this.replaceChildren(latentComponents, deltaState._children);
this.precomputeChildData(deltaState);
}
if (deltaState.row_spacing !== undefined) {
element.style.rowGap = `${deltaState.row_spacing}rem`;
}
if (deltaState.column_spacing !== undefined) {
element.style.columnGap = `${deltaState.column_spacing}rem`;
}
this.makeLayoutDirty();
}
updateNaturalWidth(ctx: LayoutContext): void {
this.columnNaturalWidths = new Array(this.nColumns).fill(0);
// Determine the width of each column
for (let gridChild of this.childrenByNumberOfColumns) {
let childInstance = componentsById[gridChild.id]!;
// How much of the child's width can the columns already
// accommodate?
let availableWidthTotal: number =
(gridChild.width - 1) * this.state.column_spacing;
let growCols: number[] = [];
for (let ii of gridChild.allColumns) {
let columnWidth = this.columnNaturalWidths[ii];
availableWidthTotal += columnWidth;
if (this.growingColumns.has(ii)) {
growCols.push(ii);
}
}
let neededSpace =
childInstance.requestedWidth - availableWidthTotal;
// The columns have enough free space
if (neededSpace <= 0) {
continue;
}
// Expand the columns
let targetColumns =
growCols.length > 0 ? growCols : gridChild.allColumns;
let spacePerColumn = neededSpace / targetColumns.length;
for (let column of targetColumns) {
this.columnNaturalWidths[column] += spacePerColumn;
}
}
// Sum over all widths
this.naturalWidth = this.state.column_spacing * (this.nColumns - 1);
for (let columnWidth of this.columnNaturalWidths) {
this.naturalWidth += columnWidth;
}
}
updateAllocatedWidth(ctx: LayoutContext): void {
// Determine the width of each column
let additionalSpace = this.allocatedWidth - this.naturalWidth;
let targetColumns =
this.growingColumns.size > 0
? this.growingColumns
: new Set(range(0, this.nColumns));
let spacePerColumn = additionalSpace / targetColumns.size;
this.columnAllocatedWidths = [...this.columnNaturalWidths];
for (let column of targetColumns) {
this.columnAllocatedWidths[column] += spacePerColumn;
}
// Pass on the space to the children
for (let gridChild of this.childrenByNumberOfColumns) {
let childInstance = componentsById[gridChild.id]!;
childInstance.allocatedWidth =
this.state.column_spacing * (gridChild.width - 1);
for (let column of gridChild.allColumns) {
childInstance.allocatedWidth +=
this.columnAllocatedWidths[column];
}
}
}
updateNaturalHeight(ctx: LayoutContext): void {
this.rowNaturalHeights = new Array(this.nRows).fill(0);
// Determine the height of each row
for (let gridChild of this.childrenByNumberOfRows) {
let childInstance = componentsById[gridChild.id]!;
// How much of the child's height can the rows already accommodate?
let availableHeightTotal: number =
(gridChild.height - 1) * this.state.row_spacing;
let growRows: number[] = [];
for (let ii of gridChild.allRows) {
let rowHeight = this.rowNaturalHeights[ii];
availableHeightTotal += rowHeight;
if (this.growingRows.has(ii)) {
growRows.push(ii);
}
}
let neededSpace =
childInstance.requestedHeight - availableHeightTotal;
// The rows have enough free space
if (neededSpace <= 0) {
continue;
}
// Expand the rows
let targetRows = growRows.length > 0 ? growRows : gridChild.allRows;
let spacePerRow = neededSpace / targetRows.length;
for (let row of targetRows) {
this.rowNaturalHeights[row] += spacePerRow;
}
}
// Sum over all heights
this.naturalHeight = this.state.row_spacing * (this.nRows - 1);
for (let rowHeight of this.rowNaturalHeights) {
this.naturalHeight += rowHeight;
}
}
updateAllocatedHeight(ctx: LayoutContext): void {
// Determine the height of each row
let additionalSpace = this.allocatedHeight - this.naturalHeight;
let targetRows =
this.growingRows.size > 0
? this.growingRows
: new Set(range(0, this.nRows));
let spacePerRow = additionalSpace / targetRows.size;
this.rowAllocatedHeights = [...this.rowNaturalHeights];
for (let row of targetRows) {
this.rowAllocatedHeights[row] += spacePerRow;
}
// Precompute position data
let columnWidthCumSum: number[] = [0];
for (let columnWidth of this.columnAllocatedWidths) {
columnWidthCumSum.push(
columnWidthCumSum[columnWidthCumSum.length - 1] +
columnWidth +
this.state.column_spacing
);
}
let rowHeightCumSum: number[] = [0];
for (let rowHeight of this.rowAllocatedHeights) {
rowHeightCumSum.push(
rowHeightCumSum[rowHeightCumSum.length - 1] +
rowHeight +
this.state.row_spacing
);
}
// Pass on the space to the children
for (let gridChild of this.childrenByNumberOfRows) {
let childInstance = componentsById[gridChild.id]!;
childInstance.allocatedHeight =
this.state.row_spacing * (gridChild.height - 1);
for (let row of gridChild.allRows) {
childInstance.allocatedHeight += this.rowAllocatedHeights[row];
}
// Set everybody's position
let childElement = componentsById[gridChild.id]!.element;
childElement.style.left = `${
columnWidthCumSum[gridChild.column]
}rem`;
childElement.style.top = `${rowHeightCumSum[gridChild.row]}rem`;
}
}
}