+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") {
+ return Model.addTask(timestamp, data);
+ }
+ if (command == "Destroy") {
+ return Model.destroyTask(data.split(" ", 1)[0]);
+ }
+ if (command == "State") {
+ const [createTimestamp, state] = splitN(data, " ", 1);
+ return Model.setState(timestamp, createTimestamp, state);
+ }
+ if (command == "Priority") {
+ const [createTimestamp, newPriority] = splitN(data, " ", 1);
+ return Model.setPriority(createTimestamp, parseFloat(newPriority));
+ }
+ },
+
+ record: function (entry: string) {
+ window.localStorage.setItem(`${prefix}${next_log_index++}`, entry);
+ },
+
+ recordAndApply: function (entry: string) {
+ this.record(entry);
+ return 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++;
+ }
+ },
+ };
+}
+const log = Log();
+
+const UI = {
+ addTask: function (description: string): Element {
+ return <Element>log.recordAndApply(`${Date.now()} Create ${description}`);
+ },
+ destroyTask: function (createTimestamp: string) {
+ return log.recordAndApply(`${Date.now()} Destroy ${createTimestamp} ${Model.getTask(createTimestamp)?.textContent}`);
+ },
+ setPriority: function (createTimestamp: string, priority: number) {
+ return log.recordAndApply(`${Date.now()} Priority ${createTimestamp} ${priority}`);
+ },
+ setState: function (createTimestamp: string, state: string) {
+ return log.recordAndApply(`${Date.now()} State ${createTimestamp} ${state}`);