-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathvisualization.html
146 lines (124 loc) · 3.38 KB
/
visualization.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
<!DOCTYPE html>
<html>
<head>
<meta charset="utf-8">
<title>Rasa Core Visualisation</title>
<script src="https://dagrejs.github.io/project/dagre-d3/latest/dagre-d3.min.js"></script>
<script src="https://dagrejs.github.io/project/dagre/latest/dagre.min.js"></script>
<script src="https://d3js.org/d3.v4.js"></script>
<script src="https://dagrejs.github.io/project/graphlib-dot/v0.6.3/graphlib-dot.js"></script>
</head>
<body>
<div id="errormsg" style="color: #b00"></div>
<svg>
<style>
.node.invisible > rect {
display: none;
}
.node.start > rect {
fill: #7f7;
rx: 30;
ry: 18;
}
.node.end > rect {
fill: #f77;
rx: 30;
ry: 18;
}
.node:not(.active) > rect, .node:not(.active) > .label {
opacity: 0.4;
}
.edgePath:not(.active) path {
opacity: 0.4;
}
.node.ellipsis > rect {
fill: #CCC;
}
.node.intent > rect {
fill: #7ff;
}
.node.dashed > rect {
stroke-dasharray: 5;
}
text {
font-weight: 300;
font-family: "Helvetica Neue", Helvetica, Arial, sans-serf, serif;
font-size: 14px;
color: #1f1d1d;
}
.node rect {
stroke: #444;
fill: #fff;
stroke-width: 1.5px;
}
.edgePath path {
stroke: #333;
stroke-width: 1.5px;
}
svg {
position: fixed;
top: 10px;
left: 0;
height: 100%;
width: 100%
}
</style>
<g></g>
</svg>
<script>
function serveGraph() {
let oldInputGraphValue;
const url = 'visualization.dot';
const refreshInterval = 500;
// trigger a refresh by fetching an updated graph
setInterval(function () {
fetch(url).then(r => r.text()).then(dot => {
document.getElementById('errormsg').innerHTML = '';
if (oldInputGraphValue === dot) return;
oldInputGraphValue = dot;
drawGraph(dot);
}).catch(err => {
document.getElementById('errormsg').innerHTML =
'Failed to update plot. (' + err.message + ')';
});
}, refreshInterval);
}
function drawGraph(graph) {
let g = graphlibDot.read(graph);
// Set margins, if not present
if (!g.graph().hasOwnProperty("marginx") &&
!g.graph().hasOwnProperty("marginy")) {
g.graph().marginx = 20;
g.graph().marginy = 20;
}
g.graph().transition = function (selection) {
return selection.transition().duration(300);
};
// Render the graph into svg g
d3.select("svg g").call(render, g);
}
// Set up zoom support
const svg = d3.select("svg"),
inner = d3.select("svg g"),
zoom = d3.zoom().on("zoom", function () {
inner.attr("transform", d3.event.transform);
});
svg.call(zoom);
// Create and configure the renderer
const render = dagreD3.render();
let isClient = false;
// { is-client };
if (isClient) {
// Mark all nodes and their edges as active
cssRules = document.styleSheets[0].cssRules;
cssRules[3].style.opacity = 1;
cssRules[4].style.opacity = 1;
let graph;
// { graph-content };
drawGraph(graph);
} else {
serveGraph();
}
</script>
</body>
</html>