gitbutlerapp/gitbutler
1
1
Fork 0
mirror of https://github.com/gitbutlerapp/gitbutler.git synced 2024-11-28 04:47:42 +03:00
Code Issues Packages Projects Releases Wiki Activity

simplify crdt text document constructor

Browse Source
This commit is contained in:
Nikita Galaiko 2023-02-03 15:32:48 +01:00
parent 163155c319
commit c20b2e3139
No known key found for this signature in database
GPG Key ID: EBAB54E845BA519D
1 changed files with 17 additions and 26 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
src/lib/crdt.ts
View File

@ -41,40 +41,33 @@ const getDeltaOperations = (
return deltas;
};
export type HistoryEntry = { time: number; deltas: Delta[] };
export class TextDocument {
private doc: Doc = new Doc();
private history: { time: number; deltas: Delta[] }[] = [];
private history: HistoryEntry[] = [];
private constructor({
content,
history,
}: {
content?: string;
history: { time: number; deltas: Delta[] }[];
}) {
if (content !== undefined && history.length > 0) {
throw new Error("only one of content and history can be set");
} else if (content !== undefined) {
this.doc.getText().insert(0, content);
} else if (history.length > 0) {
this.doc
.getText()
.applyDelta(
history.sort((a, b) => a.time - b.time).flatMap((h) => h.deltas)
);
this.history = history;
}
private constructor(history: HistoryEntry[]) {
this.doc
.getText()
.applyDelta(
history.sort((a, b) => a.time - b.time).flatMap((h) => h.deltas)
);
this.history = history;
}
static new(content?: string) {
return new TextDocument({ content, history: [] });
return new TextDocument([
{
time: new Date().getTime(),
deltas: content ? [{ insert: content }] : [],
},
]);
}
update(content: string) {
const deltas = getDeltaOperations(this.toString(), content);
if (deltas.length == 0) return;
this.doc.getText().applyDelta(deltas);
this.history.push({ time: new Date().getTime(), deltas });
}
@ -87,8 +80,6 @@ export class TextDocument {
}
at(time: number) {
return new TextDocument({
history: this.history.filter((entry) => entry.time <= time),
});
return new TextDocument(this.history.filter((entry) => entry.time <= time));
}
}