+// Typescript doesn't know about MAX_SAFE_INTEGER?? This was supposed to be
+// fixed in typescript 2.0.1 in 2016, but is not working for me in typescript
+// 4.2.4 in 2022. :( https://github.com/microsoft/TypeScript/issues/9937
+//const MAX_SAFE_INTEGER = Number.MAX_SAFE_INTEGER;
+const MAX_SAFE_INTEGER = 9007199254740991;
+
+// A sane split that splits N *times*, leaving the last chunk unsplit.
+function splitN(str: string, delimiter: string, limit: number = MAX_SAFE_INTEGER): string[] {
+ if (limit < 1) {
+ return [str];
+ }
+ const at = str.indexOf(delimiter);
+ return at === -1 ? [str] : [str.substring(0, at)].concat(splitN(str.substring(at + delimiter.length), delimiter, limit - 1));
+}
+
+const Model = {
+ addTask: function (timestamp: string, description: string) {
+ document.getElementById("tasks")!.appendChild(this.createTask(timestamp, description)).focus();
+ },
+
+ createTask: function (timestamp: string, description: string) {
+ const task = document.createElement("div");
+ task.appendChild(document.createTextNode(description));
+ task.setAttribute("class", "task");
+ task.setAttribute("tabindex", "0");
+ task.setAttribute("data-created", timestamp);
+ return task;
+ },
+
+ destroyTask: function (createTimestamp: string) {
+ const task = this.getTask(createTimestamp);
+ if (task) {
+ task.parentElement!.removeChild(task);
+ }
+ },
+
+ getTask: function (createTimestamp: string) {
+ for (const task of document.getElementsByClassName("task")) {
+ if (task.getAttribute("data-created") === createTimestamp) {
+ return task;
+ }
+ }
+ },
+
+ setState: function (stateTimestamp: string, createTimestamp: string, state: string) {
+ const task = this.getTask(createTimestamp);
+ if (task) {
+ task.setAttribute(`data-${state}`, stateTimestamp);
+ if (task instanceof HTMLElement) {
+ task.style.display = "none"; // Until view filtering
+ }
+ }
+ },
+};
+
+function Log(prefix: string = "vp-") {
+ var next_log_index = 0;
+ return {
+ apply: function (entry: string) {
+ const [timestamp, command, data] = splitN(entry, " ", 2);
+ if (command == "Create") {
+ Model.addTask(timestamp, data);
+ }
+ if (command == "Destroy") {
+ Model.destroyTask(data.split(" ", 1)[0]);
+ }
+ if (command == "State") {
+ const [createTimestamp, state] = splitN(data, " ", 1);
+ Model.setState(timestamp, createTimestamp, state);
+ }
+ },
+
+ record: function (entry: string) {
+ window.localStorage.setItem(`${prefix}${next_log_index++}`, entry);
+ },
+
+ recordAndApply: function (entry: string) {
+ this.record(entry);
+ this.apply(entry);
+ },
+
+ replay: function () {
+ while (true) {
+ const entry = window.localStorage.getItem(`${prefix}${next_log_index}`);
+ if (entry === null) {
+ break;
+ }
+ this.apply(entry);
+ next_log_index++;
+ }
+ },
+ };