ai_coder/vscode-debug-visualizer
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 1 Wiki Activity

Fixes graphviz graph visualizer (undefined labels).

Browse Source
This commit is contained in:
Henning Dieterichs
2020-02-20 13:51:00 +01:00
parent 27b9bc1905
commit dcdb1c43d5
1 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
extension/ui/src/Visualizers/GraphVisualizer/GraphvizGraphVisualizer.tsx
View File

@@ -36,8 +36,8 @@ export class GraphvizGraphVisualizer extends VisualizationProvider {
@observer
export class GraphvizGraphViewer extends React.Component<{
nodes: { id: string; label: string }[];
edges: { from: string; to: string; label: string }[];
nodes: { id: string; label?: string }[];
edges: { from: string; to: string; label?: string }[];
}> {
render() {
const { nodes, edges } = this.props;
@@ -45,7 +45,10 @@ export class GraphvizGraphViewer extends React.Component<{
digraph MyGraph {
${nodes
.map(
n => `"${n.id}" [ label = ${JSON.stringify(n.label)} ];`
n =>
`"${n.id}" [ label = ${JSON.stringify(
n.label !== undefined ? n.label : n.id
)} ];`
)
.join("\n ")}
${edges
@@ -53,7 +56,9 @@ export class GraphvizGraphViewer extends React.Component<{
e =>
`"${e.from}" -> "${
e.to
}" [ label = ${JSON.stringify(e.label)} ];`
}" [ label = ${JSON.stringify(
e.label !== undefined ? e.label : ""
)} ];`
)
.join("\n")}
}