+ addTask: function (timestamp: string, description: string) {
+ document.body.appendChild(this.createTask(timestamp, description)).focus();
+ },
+
+ getTask: function (createTimestamp: string) {
+ for (const task of document.getElementsByClassName("task")) {
+ if (task.getAttribute("data-created") === createTimestamp) {
+ return task;
+ }
+ }
+ },
+
+ destroyTask: function (createTimestamp: string) {
+ const task = this.getTask(createTimestamp);
+ task!.parentElement!.removeChild(task!);
+ },
+};
+
+const Log = (function () {
+ 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]);
+ }
+ },
+
+ record: function (entry: string) {
+ window.localStorage.setItem(`${next_log_index++}`, entry);
+ },
+
+ recordAndApply: function (entry: string) {
+ this.record(entry);
+ this.apply(entry);
+ },
+
+ replay: function () {
+ while (true) {
+ const entry = window.localStorage.getItem(`${next_log_index}`);
+ if (entry === null) {
+ break;
+ }
+ this.apply(entry);
+ next_log_index++;
+ }
+ },
+ };
+})();
+
+const UI = {