web/visualization.js
Matej Focko f945d4dcdb
chore: factor out recorder
Signed-off-by: Matej Focko <mfocko@redhat.com>
2022-05-07 16:54:28 +02:00

36 lines
764 B
JavaScript

let recorder = new Recorder(d3.select("#graph").graphviz(), "graph");
let tree = new WAVLTree();
tree.recorder = recorder;
function insertCallback() {
let number = document.getElementById("insertInput").value;
if (number === "") {
return false;
}
let value = parseInt(number);
tree.insert(value);
document.getElementById("insertInput").value = "";
return false;
}
function deleteCallback() {
let number = document.getElementById("deleteInput").value;
if (number === "") {
return false;
}
let value = parseInt(number);
tree.delete(value);
document.getElementById("deleteInput").value = "";
return false;
}
function render() {
recorder.render();
setTimeout(render);
}
render();