wavl/web
1
0
Fork 0
Code Issues 3 Pull requests Projects Releases 1 Wiki Activity

fix: newlines in toDot

Browse source 
Signed-off-by: Matej Focko <mfocko@redhat.com>
This commit is contained in:
Matej Focko 2022-05-15 22:46:55 +02:00
parent dafe85c6d3
commit 7a896e0fa7
Signed by: mfocko
GPG key ID: 7C47D46246790496
1 changed files with 7 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
ranked_tree.js
View file

@ -21,7 +21,7 @@ class RankedTree {
let highlight = let highlight =
node === highlightedNode ? ', color="blue", penwidth=3' : ""; node === highlightedNode ? ', color="blue", penwidth=3' : "";
result.push( result.push(
`\t"Node(${value})" [label="${value}, ${rank}"${highlight}];` `\t"Node(${value})" [label="${value}, ${rank}"${highlight}];\n`
); );
[node.left, node.right] [node.left, node.right]
@ -39,7 +39,7 @@ class RankedTree {
result.push( result.push(
`\t"Node(${u.value})" -> "Node(${ `\t"Node(${u.value})" -> "Node(${
v.value v.value
})" [label="${nodeDifference(v)}"]` })" [label="${nodeDifference(v)}"];\n`
); );
}); });
@ -47,7 +47,11 @@ class RankedTree {
} }
toDot(highlightedNode) { toDot(highlightedNode) {
return ["digraph {", ...this._getUnwrappedGraph(highlightedNode), "}"]; return [
"digraph {\n",
...this._getUnwrappedGraph(highlightedNode),
"}\n",
];
} }
toString() { toString() {