Files
ThreadNet-Web/src/utils/stringOrderField.ts
T

Ignoring revisions in .git-blame-ignore-revs. Click here to bypass and see the normal blame view.

144 lines
4.9 KiB
TypeScript
Raw Normal View History

/*
2024-09-09 14:57:16 +01:00
Copyright 2024 New Vector Ltd.
Copyright 2021 The Matrix.org Foundation C.I.C.
2024-09-09 14:57:16 +01:00
SPDX-License-Identifier: AGPL-3.0-only OR GPL-3.0-only
Please see LICENSE files in the repository root for full details.
*/
2021-06-14 21:32:11 +01:00
import { alphabetPad, baseToString, stringToBase, DEFAULT_ALPHABET } from "matrix-js-sdk/src/utils";
2021-06-16 09:23:06 +01:00
import { moveElement } from "./arrays";
export function midPointsBetweenStrings(
2021-06-11 16:28:07 +01:00
a: string,
b: string,
count: number,
maxLen: number,
2021-06-14 21:32:11 +01:00
alphabet = DEFAULT_ALPHABET,
): string[] {
const padN = Math.min(Math.max(a.length, b.length), maxLen);
const padA = alphabetPad(a, padN, alphabet);
const padB = alphabetPad(b, padN, alphabet);
const baseA = stringToBase(padA, alphabet);
const baseB = stringToBase(padB, alphabet);
if (baseB - baseA - BigInt(1) < count) {
if (padN < maxLen) {
2021-06-11 16:28:07 +01:00
// this recurses once at most due to the new limit of n+1
return midPointsBetweenStrings(
alphabetPad(padA, padN + 1, alphabet),
alphabetPad(padB, padN + 1, alphabet),
2021-06-11 16:28:07 +01:00
count,
padN + 1,
2021-06-11 16:28:07 +01:00
alphabet,
);
}
return [];
}
const step = (baseB - baseA) / BigInt(count + 1);
const start = BigInt(baseA + step);
2021-06-14 14:37:05 +01:00
return Array(count)
.fill(undefined)
.map((_, i) => baseToString(start + BigInt(i) * step, alphabet));
}
interface IEntry {
index: number;
order?: string;
}
export const reorderLexicographically = (
orders: Array<string | undefined>,
fromIndex: number,
toIndex: number,
2021-06-11 16:28:07 +01:00
maxLen = 50,
): IEntry[] => {
2021-06-14 14:37:05 +01:00
// sanity check inputs
if (fromIndex < 0 || toIndex < 0 || fromIndex > orders.length || toIndex > orders.length || fromIndex === toIndex) {
return [];
}
2021-06-14 14:37:05 +01:00
// zip orders with their indices to simplify later index wrangling
const ordersWithIndices: IEntry[] = orders.map((order, index) => ({ index, order }));
2021-06-14 14:37:05 +01:00
// apply the fundamental order update to the zipped array
2021-06-16 09:23:06 +01:00
const newOrder = moveElement(ordersWithIndices, fromIndex, toIndex);
// check if we have to fill undefined orders to complete placement
const orderToLeftUndefined = newOrder[toIndex - 1]?.order === undefined;
let leftBoundIdx = toIndex;
let rightBoundIdx = toIndex;
2021-06-14 14:37:05 +01:00
let canMoveLeft = true;
const nextBase =
newOrder[toIndex + 1]?.order !== undefined
? stringToBase(newOrder[toIndex + 1].order!)
2021-06-14 14:37:05 +01:00
: BigInt(Number.MAX_VALUE);
// check how far left we would have to mutate to fit in that direction
2021-06-14 14:37:05 +01:00
for (let i = toIndex - 1, j = 1; i >= 0; i--, j++) {
if (newOrder[i]?.order !== undefined && nextBase - stringToBase(newOrder[i].order!) > j) break;
2021-06-14 14:37:05 +01:00
leftBoundIdx = i;
}
// verify the left move would be sufficient
const firstOrderBase = newOrder[0].order === undefined ? undefined : stringToBase(newOrder[0].order);
const bigToIndex = BigInt(toIndex);
2021-06-14 14:37:05 +01:00
if (
leftBoundIdx === 0 &&
firstOrderBase !== undefined &&
nextBase - firstOrderBase <= bigToIndex &&
firstOrderBase <= bigToIndex
2021-06-14 14:37:05 +01:00
) {
canMoveLeft = false;
}
const canDisplaceRight = !orderToLeftUndefined;
2021-06-14 14:37:05 +01:00
let canMoveRight = canDisplaceRight;
if (canDisplaceRight) {
const prevBase =
newOrder[toIndex - 1]?.order !== undefined
? stringToBase(newOrder[toIndex - 1].order!)
2021-06-14 14:37:05 +01:00
: BigInt(Number.MIN_VALUE);
// check how far right we would have to mutate to fit in that direction
2021-06-11 16:28:07 +01:00
for (let i = toIndex + 1, j = 1; i < newOrder.length; i++, j++) {
if (newOrder[i]?.order === undefined || stringToBase(newOrder[i].order!) - prevBase > j) break;
rightBoundIdx = i;
}
2021-06-14 14:37:05 +01:00
// verify the right move would be sufficient
2021-06-14 14:37:05 +01:00
if (
rightBoundIdx === newOrder.length - 1 &&
(newOrder[rightBoundIdx]?.order ? stringToBase(newOrder[rightBoundIdx].order!) : BigInt(Number.MAX_VALUE)) -
2021-06-14 14:37:05 +01:00
prevBase <=
rightBoundIdx - toIndex
) {
canMoveRight = false;
}
}
// pick the cheaper direction
2021-06-14 14:37:05 +01:00
const leftDiff = canMoveLeft ? toIndex - leftBoundIdx : Number.MAX_SAFE_INTEGER;
const rightDiff = canMoveRight ? rightBoundIdx - toIndex : Number.MAX_SAFE_INTEGER;
if (orderToLeftUndefined || leftDiff < rightDiff) {
rightBoundIdx = toIndex;
} else {
leftBoundIdx = toIndex;
}
const prevOrder = newOrder[leftBoundIdx - 1]?.order ?? "";
const nextOrder =
newOrder[rightBoundIdx + 1]?.order ??
2021-06-14 21:32:11 +01:00
DEFAULT_ALPHABET.charAt(DEFAULT_ALPHABET.length - 1).repeat(prevOrder.length || 1);
2021-06-11 16:28:07 +01:00
const changes = midPointsBetweenStrings(prevOrder, nextOrder, 1 + rightBoundIdx - leftBoundIdx, maxLen);
return changes.map((order, i) => ({
index: newOrder[leftBoundIdx + i].index,
order,
}));
};