@statewalker/fsm-charts 0.2.5 → 0.2.7
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +213 -1
- package/dist/StateChart-cXyVRcs-.d.ts +94 -0
- package/dist/StateChart-cXyVRcs-.d.ts.map +1 -0
- package/dist/StateChartIndex-BK2315qj.d.ts +142 -0
- package/dist/StateChartIndex-BK2315qj.d.ts.map +1 -0
- package/dist/StateChartIndex-BOIrc_nq.js +355 -0
- package/dist/StateChartIndex-BOIrc_nq.js.map +1 -0
- package/dist/buildStatechartsPanel-BX7e0GzA.js +494 -0
- package/dist/buildStatechartsPanel-BX7e0GzA.js.map +1 -0
- package/dist/buildStatechartsPanel-hCtZbdiF.d.ts +79 -0
- package/dist/buildStatechartsPanel-hCtZbdiF.d.ts.map +1 -0
- package/dist/defineProperty-C0rC37pP.js +39 -0
- package/dist/description-panels-DI2MNlbK.js +184 -0
- package/dist/description-panels-DI2MNlbK.js.map +1 -0
- package/dist/getLabelDimensions-BY0q7j3D.d.ts +79 -0
- package/dist/getLabelDimensions-BY0q7j3D.d.ts.map +1 -0
- package/dist/getPadding-Cw0e7G2v.js +25 -0
- package/dist/getPadding-Cw0e7G2v.js.map +1 -0
- package/dist/index-config.d.ts +3 -12
- package/dist/index-config.js +2 -2
- package/dist/index-dom.d.ts +2 -49
- package/dist/index-dom.js +2 -2
- package/dist/index-html.d.ts +3 -2
- package/dist/index-html.js +2 -3
- package/dist/index-layout.d.ts +3 -77
- package/dist/index-layout.js +2 -3
- package/dist/index-runtime.d.ts +3 -141
- package/dist/index-runtime.js +2 -2
- package/dist/index.d.ts +11 -10
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +6 -7
- package/dist/layout-Dp671N6q.js +2465 -0
- package/dist/layout-Dp671N6q.js.map +1 -0
- package/dist/newTreeBuilder-CvtLDjGj.d.ts +54 -0
- package/dist/newTreeBuilder-CvtLDjGj.d.ts.map +1 -0
- package/dist/toFsmStateConfig-DlJkyZni.js +135 -0
- package/dist/toFsmStateConfig-DlJkyZni.js.map +1 -0
- package/dist/toFsmStateConfig-DmOlTRjv.d.ts +15 -0
- package/dist/toFsmStateConfig-DmOlTRjv.d.ts.map +1 -0
- package/package.json +52 -27
- package/src/config/concatTransitionsToString.ts +2 -2
- package/src/config/splitTransitionString.ts +1 -3
- package/src/config/toFsmStateConfig.ts +2 -9
- package/src/dom/buildSections.ts +3 -11
- package/src/dom/description-panels.ts +2 -4
- package/src/dom/getStatesDescriptions.ts +3 -9
- package/src/html/buildStatechartStyles.ts +4 -14
- package/src/html/buildStatechartSvg.ts +2 -14
- package/src/html/buildStatechartsPanel.ts +1 -3
- package/src/layout/buildCharts.ts +1 -2
- package/src/layout/buildFlatCharts.ts +6 -8
- package/src/layout/getGraphParamsProvider.ts +3 -12
- package/src/runtime/RuntimeStatechartApi.ts +10 -32
- package/src/runtime/StateChartIndex.ts +6 -23
- package/src/types/GraphParamsProvider.ts +1 -4
- package/src/utils/BasisCurve.ts +5 -14
- package/src/utils/domToText.ts +2 -6
- package/src/utils/getPadding.ts +1 -2
- package/src/utils/newId.ts +2 -1
- package/src/utils/newRegistry.ts +12 -12
- package/src/utils/serializeAttrs.ts +3 -13
- package/src/utils/serializeCss.ts +1 -5
- package/src/utils/serializeStyle.ts +1 -4
- package/src/utils/toKebabCase.ts +1 -4
- package/dist/StateChart-BYBjTmC2.d.ts +0 -82
- package/dist/chunk-2LFUT2C6.js +0 -2691
- package/dist/chunk-ARZYBFNA.js +0 -133
- package/dist/chunk-CR2M4445.js +0 -608
- package/dist/chunk-FIQDLBWD.js +0 -9
- package/dist/chunk-GW2Z65BN.js +0 -429
- package/dist/chunk-PKBMQBKP.js +0 -5
- package/dist/chunk-RZ4FP6JB.js +0 -233
- package/dist/index-html-BBQqYoST.d.ts +0 -75
- package/src/full/index.ts +0 -1
- package/src/full/toFsmStateCharts.ts +0 -119
package/dist/chunk-2LFUT2C6.js
DELETED
|
@@ -1,2691 +0,0 @@
|
|
|
1
|
-
import { getPadding } from './chunk-FIQDLBWD.js';
|
|
2
|
-
|
|
3
|
-
// src/lodash-es/index.ts
|
|
4
|
-
var _ = {
|
|
5
|
-
constant: (value) => () => value
|
|
6
|
-
};
|
|
7
|
-
function setLodash(lib) {
|
|
8
|
-
_ = lib;
|
|
9
|
-
}
|
|
10
|
-
function getLodash() {
|
|
11
|
-
return _;
|
|
12
|
-
}
|
|
13
|
-
|
|
14
|
-
// src/graphlib/graph.js
|
|
15
|
-
var DEFAULT_EDGE_NAME = "\0";
|
|
16
|
-
var GRAPH_NODE = "\0";
|
|
17
|
-
var EDGE_KEY_DELIM = "";
|
|
18
|
-
var Graph = class {
|
|
19
|
-
constructor(opts = {}) {
|
|
20
|
-
this._isDirected = _.has(opts, "directed") ? opts.directed : true;
|
|
21
|
-
this._isMultigraph = _.has(opts, "multigraph") ? opts.multigraph : false;
|
|
22
|
-
this._isCompound = _.has(opts, "compound") ? opts.compound : false;
|
|
23
|
-
this._label = void 0;
|
|
24
|
-
this._defaultNodeLabelFn = _.constant(void 0);
|
|
25
|
-
this._defaultEdgeLabelFn = _.constant(void 0);
|
|
26
|
-
this._nodes = {};
|
|
27
|
-
if (this._isCompound) {
|
|
28
|
-
this._parent = {};
|
|
29
|
-
this._children = {};
|
|
30
|
-
this._children[GRAPH_NODE] = {};
|
|
31
|
-
}
|
|
32
|
-
this._in = {};
|
|
33
|
-
this._preds = {};
|
|
34
|
-
this._out = {};
|
|
35
|
-
this._sucs = {};
|
|
36
|
-
this._edgeObjs = {};
|
|
37
|
-
this._edgeLabels = {};
|
|
38
|
-
}
|
|
39
|
-
/* === Graph functions ========= */
|
|
40
|
-
isDirected() {
|
|
41
|
-
return this._isDirected;
|
|
42
|
-
}
|
|
43
|
-
isMultigraph() {
|
|
44
|
-
return this._isMultigraph;
|
|
45
|
-
}
|
|
46
|
-
isCompound() {
|
|
47
|
-
return this._isCompound;
|
|
48
|
-
}
|
|
49
|
-
setGraph(label) {
|
|
50
|
-
this._label = label;
|
|
51
|
-
return this;
|
|
52
|
-
}
|
|
53
|
-
graph() {
|
|
54
|
-
return this._label;
|
|
55
|
-
}
|
|
56
|
-
/* === Node functions ========== */
|
|
57
|
-
setDefaultNodeLabel(newDefault) {
|
|
58
|
-
if (!_.isFunction(newDefault)) {
|
|
59
|
-
newDefault = _.constant(newDefault);
|
|
60
|
-
}
|
|
61
|
-
this._defaultNodeLabelFn = newDefault;
|
|
62
|
-
return this;
|
|
63
|
-
}
|
|
64
|
-
nodeCount() {
|
|
65
|
-
return this._nodeCount;
|
|
66
|
-
}
|
|
67
|
-
nodes() {
|
|
68
|
-
return _.keys(this._nodes);
|
|
69
|
-
}
|
|
70
|
-
sources() {
|
|
71
|
-
return _.filter(this.nodes(), (v) => _.isEmpty(this._in[v]));
|
|
72
|
-
}
|
|
73
|
-
sinks() {
|
|
74
|
-
return _.filter(this.nodes(), (v) => _.isEmpty(this._out[v]));
|
|
75
|
-
}
|
|
76
|
-
setNodes(vs, value) {
|
|
77
|
-
var args = arguments;
|
|
78
|
-
_.each(vs, (v) => {
|
|
79
|
-
if (args.length > 1) {
|
|
80
|
-
this.setNode(v, value);
|
|
81
|
-
} else {
|
|
82
|
-
this.setNode(v);
|
|
83
|
-
}
|
|
84
|
-
});
|
|
85
|
-
return this;
|
|
86
|
-
}
|
|
87
|
-
setNode(v, value) {
|
|
88
|
-
if (_.has(this._nodes, v)) {
|
|
89
|
-
if (arguments.length > 1) {
|
|
90
|
-
this._nodes[v] = value;
|
|
91
|
-
}
|
|
92
|
-
return this;
|
|
93
|
-
}
|
|
94
|
-
this._nodes[v] = arguments.length > 1 ? value : this._defaultNodeLabelFn(v);
|
|
95
|
-
if (this._isCompound) {
|
|
96
|
-
this._parent[v] = GRAPH_NODE;
|
|
97
|
-
this._children[v] = {};
|
|
98
|
-
this._children[GRAPH_NODE][v] = true;
|
|
99
|
-
}
|
|
100
|
-
this._in[v] = {};
|
|
101
|
-
this._preds[v] = {};
|
|
102
|
-
this._out[v] = {};
|
|
103
|
-
this._sucs[v] = {};
|
|
104
|
-
++this._nodeCount;
|
|
105
|
-
return this;
|
|
106
|
-
}
|
|
107
|
-
node(v) {
|
|
108
|
-
return this._nodes[v];
|
|
109
|
-
}
|
|
110
|
-
hasNode(v) {
|
|
111
|
-
return _.has(this._nodes, v);
|
|
112
|
-
}
|
|
113
|
-
removeNode(v) {
|
|
114
|
-
if (_.has(this._nodes, v)) {
|
|
115
|
-
var removeEdge = (e) => {
|
|
116
|
-
this.removeEdge(this._edgeObjs[e]);
|
|
117
|
-
};
|
|
118
|
-
delete this._nodes[v];
|
|
119
|
-
if (this._isCompound) {
|
|
120
|
-
this._removeFromParentsChildList(v);
|
|
121
|
-
delete this._parent[v];
|
|
122
|
-
_.each(this.children(v), (child) => {
|
|
123
|
-
this.setParent(child);
|
|
124
|
-
});
|
|
125
|
-
delete this._children[v];
|
|
126
|
-
}
|
|
127
|
-
_.each(_.keys(this._in[v]), removeEdge);
|
|
128
|
-
delete this._in[v];
|
|
129
|
-
delete this._preds[v];
|
|
130
|
-
_.each(_.keys(this._out[v]), removeEdge);
|
|
131
|
-
delete this._out[v];
|
|
132
|
-
delete this._sucs[v];
|
|
133
|
-
--this._nodeCount;
|
|
134
|
-
}
|
|
135
|
-
return this;
|
|
136
|
-
}
|
|
137
|
-
setParent(v, parent) {
|
|
138
|
-
if (!this._isCompound) {
|
|
139
|
-
throw new Error("Cannot set parent in a non-compound graph");
|
|
140
|
-
}
|
|
141
|
-
if (_.isUndefined(parent)) {
|
|
142
|
-
parent = GRAPH_NODE;
|
|
143
|
-
} else {
|
|
144
|
-
parent += "";
|
|
145
|
-
for (var ancestor = parent; !_.isUndefined(ancestor); ancestor = this.parent(ancestor)) {
|
|
146
|
-
if (ancestor === v) {
|
|
147
|
-
throw new Error(
|
|
148
|
-
`Setting ${parent} as parent of ${v} would create a cycle`
|
|
149
|
-
);
|
|
150
|
-
}
|
|
151
|
-
}
|
|
152
|
-
this.setNode(parent);
|
|
153
|
-
}
|
|
154
|
-
this.setNode(v);
|
|
155
|
-
this._removeFromParentsChildList(v);
|
|
156
|
-
this._parent[v] = parent;
|
|
157
|
-
this._children[parent][v] = true;
|
|
158
|
-
return this;
|
|
159
|
-
}
|
|
160
|
-
_removeFromParentsChildList(v) {
|
|
161
|
-
delete this._children[this._parent[v]][v];
|
|
162
|
-
}
|
|
163
|
-
parent(v) {
|
|
164
|
-
if (this._isCompound) {
|
|
165
|
-
var parent = this._parent[v];
|
|
166
|
-
if (parent !== GRAPH_NODE) {
|
|
167
|
-
return parent;
|
|
168
|
-
}
|
|
169
|
-
}
|
|
170
|
-
}
|
|
171
|
-
children(v) {
|
|
172
|
-
if (_.isUndefined(v)) {
|
|
173
|
-
v = GRAPH_NODE;
|
|
174
|
-
}
|
|
175
|
-
if (this._isCompound) {
|
|
176
|
-
var children = this._children[v];
|
|
177
|
-
if (children) {
|
|
178
|
-
return _.keys(children);
|
|
179
|
-
}
|
|
180
|
-
} else if (v === GRAPH_NODE) {
|
|
181
|
-
return this.nodes();
|
|
182
|
-
} else if (this.hasNode(v)) {
|
|
183
|
-
return [];
|
|
184
|
-
}
|
|
185
|
-
}
|
|
186
|
-
predecessors(v) {
|
|
187
|
-
var predsV = this._preds[v];
|
|
188
|
-
if (predsV) {
|
|
189
|
-
return _.keys(predsV);
|
|
190
|
-
}
|
|
191
|
-
}
|
|
192
|
-
successors(v) {
|
|
193
|
-
var sucsV = this._sucs[v];
|
|
194
|
-
if (sucsV) {
|
|
195
|
-
return _.keys(sucsV);
|
|
196
|
-
}
|
|
197
|
-
}
|
|
198
|
-
neighbors(v) {
|
|
199
|
-
var preds = this.predecessors(v);
|
|
200
|
-
if (preds) {
|
|
201
|
-
return _.union(preds, this.successors(v));
|
|
202
|
-
}
|
|
203
|
-
}
|
|
204
|
-
isLeaf(v) {
|
|
205
|
-
var neighbors;
|
|
206
|
-
if (this.isDirected()) {
|
|
207
|
-
neighbors = this.successors(v);
|
|
208
|
-
} else {
|
|
209
|
-
neighbors = this.neighbors(v);
|
|
210
|
-
}
|
|
211
|
-
return neighbors.length === 0;
|
|
212
|
-
}
|
|
213
|
-
filterNodes(filter) {
|
|
214
|
-
var copy = new this.constructor({
|
|
215
|
-
directed: this._isDirected,
|
|
216
|
-
multigraph: this._isMultigraph,
|
|
217
|
-
compound: this._isCompound
|
|
218
|
-
});
|
|
219
|
-
copy.setGraph(this.graph());
|
|
220
|
-
var self = this;
|
|
221
|
-
_.each(this._nodes, (value, v) => {
|
|
222
|
-
if (filter(v)) {
|
|
223
|
-
copy.setNode(v, value);
|
|
224
|
-
}
|
|
225
|
-
});
|
|
226
|
-
_.each(this._edgeObjs, (e) => {
|
|
227
|
-
if (copy.hasNode(e.v) && copy.hasNode(e.w)) {
|
|
228
|
-
copy.setEdge(e, self.edge(e));
|
|
229
|
-
}
|
|
230
|
-
});
|
|
231
|
-
var parents = {};
|
|
232
|
-
function findParent(v) {
|
|
233
|
-
var parent = self.parent(v);
|
|
234
|
-
if (parent === void 0 || copy.hasNode(parent)) {
|
|
235
|
-
parents[v] = parent;
|
|
236
|
-
return parent;
|
|
237
|
-
} else if (parent in parents) {
|
|
238
|
-
return parents[parent];
|
|
239
|
-
} else {
|
|
240
|
-
return findParent(parent);
|
|
241
|
-
}
|
|
242
|
-
}
|
|
243
|
-
if (this._isCompound) {
|
|
244
|
-
_.each(copy.nodes(), (v) => {
|
|
245
|
-
copy.setParent(v, findParent(v));
|
|
246
|
-
});
|
|
247
|
-
}
|
|
248
|
-
return copy;
|
|
249
|
-
}
|
|
250
|
-
/* === Edge functions ========== */
|
|
251
|
-
setDefaultEdgeLabel(newDefault) {
|
|
252
|
-
if (!_.isFunction(newDefault)) {
|
|
253
|
-
newDefault = _.constant(newDefault);
|
|
254
|
-
}
|
|
255
|
-
this._defaultEdgeLabelFn = newDefault;
|
|
256
|
-
return this;
|
|
257
|
-
}
|
|
258
|
-
edgeCount() {
|
|
259
|
-
return this._edgeCount;
|
|
260
|
-
}
|
|
261
|
-
edges() {
|
|
262
|
-
return _.values(this._edgeObjs);
|
|
263
|
-
}
|
|
264
|
-
setPath(vs, value) {
|
|
265
|
-
var args = arguments;
|
|
266
|
-
_.reduce(vs, (v, w) => {
|
|
267
|
-
if (args.length > 1) {
|
|
268
|
-
this.setEdge(v, w, value);
|
|
269
|
-
} else {
|
|
270
|
-
this.setEdge(v, w);
|
|
271
|
-
}
|
|
272
|
-
return w;
|
|
273
|
-
});
|
|
274
|
-
return this;
|
|
275
|
-
}
|
|
276
|
-
/*
|
|
277
|
-
* setEdge(v, w, [value, [name]])
|
|
278
|
-
* setEdge({ v, w, [name] }, [value])
|
|
279
|
-
*/
|
|
280
|
-
setEdge() {
|
|
281
|
-
var v, w, name, value;
|
|
282
|
-
var valueSpecified = false;
|
|
283
|
-
var arg0 = arguments[0];
|
|
284
|
-
if (typeof arg0 === "object" && arg0 !== null && "v" in arg0) {
|
|
285
|
-
v = arg0.v;
|
|
286
|
-
w = arg0.w;
|
|
287
|
-
name = arg0.name;
|
|
288
|
-
if (arguments.length === 2) {
|
|
289
|
-
value = arguments[1];
|
|
290
|
-
valueSpecified = true;
|
|
291
|
-
}
|
|
292
|
-
} else {
|
|
293
|
-
v = arg0;
|
|
294
|
-
w = arguments[1];
|
|
295
|
-
name = arguments[3];
|
|
296
|
-
if (arguments.length > 2) {
|
|
297
|
-
value = arguments[2];
|
|
298
|
-
valueSpecified = true;
|
|
299
|
-
}
|
|
300
|
-
}
|
|
301
|
-
v = `${v}`;
|
|
302
|
-
w = `${w}`;
|
|
303
|
-
if (!_.isUndefined(name)) {
|
|
304
|
-
name = `${name}`;
|
|
305
|
-
}
|
|
306
|
-
var e = edgeArgsToId(this._isDirected, v, w, name);
|
|
307
|
-
if (_.has(this._edgeLabels, e)) {
|
|
308
|
-
if (valueSpecified) {
|
|
309
|
-
this._edgeLabels[e] = value;
|
|
310
|
-
}
|
|
311
|
-
return this;
|
|
312
|
-
}
|
|
313
|
-
if (!_.isUndefined(name) && !this._isMultigraph) {
|
|
314
|
-
throw new Error("Cannot set a named edge when isMultigraph = false");
|
|
315
|
-
}
|
|
316
|
-
this.setNode(v);
|
|
317
|
-
this.setNode(w);
|
|
318
|
-
this._edgeLabels[e] = valueSpecified ? value : this._defaultEdgeLabelFn(v, w, name);
|
|
319
|
-
var edgeObj = edgeArgsToObj(this._isDirected, v, w, name);
|
|
320
|
-
v = edgeObj.v;
|
|
321
|
-
w = edgeObj.w;
|
|
322
|
-
Object.freeze(edgeObj);
|
|
323
|
-
this._edgeObjs[e] = edgeObj;
|
|
324
|
-
incrementOrInitEntry(this._preds[w], v);
|
|
325
|
-
incrementOrInitEntry(this._sucs[v], w);
|
|
326
|
-
this._in[w][e] = edgeObj;
|
|
327
|
-
this._out[v][e] = edgeObj;
|
|
328
|
-
this._edgeCount++;
|
|
329
|
-
return this;
|
|
330
|
-
}
|
|
331
|
-
edge(v, w, name) {
|
|
332
|
-
var e = arguments.length === 1 ? edgeObjToId(this._isDirected, arguments[0]) : edgeArgsToId(this._isDirected, v, w, name);
|
|
333
|
-
return this._edgeLabels[e];
|
|
334
|
-
}
|
|
335
|
-
hasEdge(v, w, name) {
|
|
336
|
-
var e = arguments.length === 1 ? edgeObjToId(this._isDirected, arguments[0]) : edgeArgsToId(this._isDirected, v, w, name);
|
|
337
|
-
return _.has(this._edgeLabels, e);
|
|
338
|
-
}
|
|
339
|
-
removeEdge(v, w, name) {
|
|
340
|
-
var e = arguments.length === 1 ? edgeObjToId(this._isDirected, arguments[0]) : edgeArgsToId(this._isDirected, v, w, name);
|
|
341
|
-
var edge = this._edgeObjs[e];
|
|
342
|
-
if (edge) {
|
|
343
|
-
v = edge.v;
|
|
344
|
-
w = edge.w;
|
|
345
|
-
delete this._edgeLabels[e];
|
|
346
|
-
delete this._edgeObjs[e];
|
|
347
|
-
decrementOrRemoveEntry(this._preds[w], v);
|
|
348
|
-
decrementOrRemoveEntry(this._sucs[v], w);
|
|
349
|
-
delete this._in[w][e];
|
|
350
|
-
delete this._out[v][e];
|
|
351
|
-
this._edgeCount--;
|
|
352
|
-
}
|
|
353
|
-
return this;
|
|
354
|
-
}
|
|
355
|
-
inEdges(v, u) {
|
|
356
|
-
var inV = this._in[v];
|
|
357
|
-
if (inV) {
|
|
358
|
-
var edges = _.values(inV);
|
|
359
|
-
if (!u) {
|
|
360
|
-
return edges;
|
|
361
|
-
}
|
|
362
|
-
return _.filter(edges, (edge) => edge.v === u);
|
|
363
|
-
}
|
|
364
|
-
}
|
|
365
|
-
outEdges(v, w) {
|
|
366
|
-
var outV = this._out[v];
|
|
367
|
-
if (outV) {
|
|
368
|
-
var edges = _.values(outV);
|
|
369
|
-
if (!w) {
|
|
370
|
-
return edges;
|
|
371
|
-
}
|
|
372
|
-
return _.filter(edges, (edge) => edge.w === w);
|
|
373
|
-
}
|
|
374
|
-
}
|
|
375
|
-
nodeEdges(v, w) {
|
|
376
|
-
var inEdges = this.inEdges(v, w);
|
|
377
|
-
if (inEdges) {
|
|
378
|
-
return inEdges.concat(this.outEdges(v, w));
|
|
379
|
-
}
|
|
380
|
-
}
|
|
381
|
-
};
|
|
382
|
-
Graph.prototype._nodeCount = 0;
|
|
383
|
-
Graph.prototype._edgeCount = 0;
|
|
384
|
-
function incrementOrInitEntry(map, k) {
|
|
385
|
-
if (map[k]) {
|
|
386
|
-
map[k]++;
|
|
387
|
-
} else {
|
|
388
|
-
map[k] = 1;
|
|
389
|
-
}
|
|
390
|
-
}
|
|
391
|
-
function decrementOrRemoveEntry(map, k) {
|
|
392
|
-
if (!--map[k]) {
|
|
393
|
-
delete map[k];
|
|
394
|
-
}
|
|
395
|
-
}
|
|
396
|
-
function edgeArgsToId(isDirected, v_, w_, name) {
|
|
397
|
-
var v = `${v_}`;
|
|
398
|
-
var w = `${w_}`;
|
|
399
|
-
if (!isDirected && v > w) {
|
|
400
|
-
var tmp = v;
|
|
401
|
-
v = w;
|
|
402
|
-
w = tmp;
|
|
403
|
-
}
|
|
404
|
-
return v + EDGE_KEY_DELIM + w + EDGE_KEY_DELIM + (_.isUndefined(name) ? DEFAULT_EDGE_NAME : name);
|
|
405
|
-
}
|
|
406
|
-
function edgeArgsToObj(isDirected, v_, w_, name) {
|
|
407
|
-
var v = `${v_}`;
|
|
408
|
-
var w = `${w_}`;
|
|
409
|
-
if (!isDirected && v > w) {
|
|
410
|
-
var tmp = v;
|
|
411
|
-
v = w;
|
|
412
|
-
w = tmp;
|
|
413
|
-
}
|
|
414
|
-
var edgeObj = { v, w };
|
|
415
|
-
if (name) {
|
|
416
|
-
edgeObj.name = name;
|
|
417
|
-
}
|
|
418
|
-
return edgeObj;
|
|
419
|
-
}
|
|
420
|
-
function edgeObjToId(isDirected, edgeObj) {
|
|
421
|
-
return edgeArgsToId(isDirected, edgeObj.v, edgeObj.w, edgeObj.name);
|
|
422
|
-
}
|
|
423
|
-
|
|
424
|
-
// src/dagre/data/list.js
|
|
425
|
-
var List = class {
|
|
426
|
-
constructor() {
|
|
427
|
-
var sentinel = {};
|
|
428
|
-
sentinel._next = sentinel._prev = sentinel;
|
|
429
|
-
this._sentinel = sentinel;
|
|
430
|
-
}
|
|
431
|
-
dequeue() {
|
|
432
|
-
var sentinel = this._sentinel;
|
|
433
|
-
var entry = sentinel._prev;
|
|
434
|
-
if (entry !== sentinel) {
|
|
435
|
-
unlink(entry);
|
|
436
|
-
return entry;
|
|
437
|
-
}
|
|
438
|
-
}
|
|
439
|
-
enqueue(entry) {
|
|
440
|
-
var sentinel = this._sentinel;
|
|
441
|
-
if (entry._prev && entry._next) {
|
|
442
|
-
unlink(entry);
|
|
443
|
-
}
|
|
444
|
-
entry._next = sentinel._next;
|
|
445
|
-
sentinel._next._prev = entry;
|
|
446
|
-
sentinel._next = entry;
|
|
447
|
-
entry._prev = sentinel;
|
|
448
|
-
}
|
|
449
|
-
toString() {
|
|
450
|
-
var strs = [];
|
|
451
|
-
var sentinel = this._sentinel;
|
|
452
|
-
var curr = sentinel._prev;
|
|
453
|
-
while (curr !== sentinel) {
|
|
454
|
-
strs.push(JSON.stringify(curr, filterOutLinks));
|
|
455
|
-
curr = curr._prev;
|
|
456
|
-
}
|
|
457
|
-
return `[${strs.join(", ")}]`;
|
|
458
|
-
}
|
|
459
|
-
};
|
|
460
|
-
function unlink(entry) {
|
|
461
|
-
entry._prev._next = entry._next;
|
|
462
|
-
entry._next._prev = entry._prev;
|
|
463
|
-
delete entry._next;
|
|
464
|
-
delete entry._prev;
|
|
465
|
-
}
|
|
466
|
-
function filterOutLinks(k, v) {
|
|
467
|
-
if (k !== "_next" && k !== "_prev") {
|
|
468
|
-
return v;
|
|
469
|
-
}
|
|
470
|
-
}
|
|
471
|
-
|
|
472
|
-
// src/dagre/greedy-fas.js
|
|
473
|
-
var DEFAULT_WEIGHT_FN = _.constant(1);
|
|
474
|
-
function greedyFAS(g, weightFn) {
|
|
475
|
-
if (g.nodeCount() <= 1) {
|
|
476
|
-
return [];
|
|
477
|
-
}
|
|
478
|
-
var state = buildState(g, weightFn || DEFAULT_WEIGHT_FN);
|
|
479
|
-
var results = doGreedyFAS(state.graph, state.buckets, state.zeroIdx);
|
|
480
|
-
return _.flatten(_.map(results, (e) => g.outEdges(e.v, e.w)));
|
|
481
|
-
}
|
|
482
|
-
function doGreedyFAS(g, buckets, zeroIdx) {
|
|
483
|
-
var results = [];
|
|
484
|
-
var sources = buckets[buckets.length - 1];
|
|
485
|
-
var sinks = buckets[0];
|
|
486
|
-
var entry;
|
|
487
|
-
while (g.nodeCount()) {
|
|
488
|
-
while (entry = sinks.dequeue()) {
|
|
489
|
-
removeNode(g, buckets, zeroIdx, entry);
|
|
490
|
-
}
|
|
491
|
-
while (entry = sources.dequeue()) {
|
|
492
|
-
removeNode(g, buckets, zeroIdx, entry);
|
|
493
|
-
}
|
|
494
|
-
if (g.nodeCount()) {
|
|
495
|
-
for (var i = buckets.length - 2; i > 0; --i) {
|
|
496
|
-
entry = buckets[i].dequeue();
|
|
497
|
-
if (entry) {
|
|
498
|
-
results = results.concat(
|
|
499
|
-
removeNode(g, buckets, zeroIdx, entry, true)
|
|
500
|
-
);
|
|
501
|
-
break;
|
|
502
|
-
}
|
|
503
|
-
}
|
|
504
|
-
}
|
|
505
|
-
}
|
|
506
|
-
return results;
|
|
507
|
-
}
|
|
508
|
-
function removeNode(g, buckets, zeroIdx, entry, collectPredecessors) {
|
|
509
|
-
var results = collectPredecessors ? [] : void 0;
|
|
510
|
-
_.forEach(g.inEdges(entry.v), (edge) => {
|
|
511
|
-
var weight = g.edge(edge);
|
|
512
|
-
var uEntry = g.node(edge.v);
|
|
513
|
-
if (collectPredecessors) {
|
|
514
|
-
results.push({ v: edge.v, w: edge.w });
|
|
515
|
-
}
|
|
516
|
-
uEntry.out -= weight;
|
|
517
|
-
assignBucket(buckets, zeroIdx, uEntry);
|
|
518
|
-
});
|
|
519
|
-
_.forEach(g.outEdges(entry.v), (edge) => {
|
|
520
|
-
var weight = g.edge(edge);
|
|
521
|
-
var w = edge.w;
|
|
522
|
-
var wEntry = g.node(w);
|
|
523
|
-
wEntry.in -= weight;
|
|
524
|
-
assignBucket(buckets, zeroIdx, wEntry);
|
|
525
|
-
});
|
|
526
|
-
g.removeNode(entry.v);
|
|
527
|
-
return results;
|
|
528
|
-
}
|
|
529
|
-
function buildState(g, weightFn) {
|
|
530
|
-
var fasGraph = new Graph();
|
|
531
|
-
var maxIn = 0;
|
|
532
|
-
var maxOut = 0;
|
|
533
|
-
_.forEach(g.nodes(), (v) => {
|
|
534
|
-
fasGraph.setNode(v, { v, in: 0, out: 0 });
|
|
535
|
-
});
|
|
536
|
-
_.forEach(g.edges(), (e) => {
|
|
537
|
-
var prevWeight = fasGraph.edge(e.v, e.w) || 0;
|
|
538
|
-
var weight = weightFn(e);
|
|
539
|
-
var edgeWeight = prevWeight + weight;
|
|
540
|
-
fasGraph.setEdge(e.v, e.w, edgeWeight);
|
|
541
|
-
maxOut = Math.max(maxOut, fasGraph.node(e.v).out += weight);
|
|
542
|
-
maxIn = Math.max(maxIn, fasGraph.node(e.w).in += weight);
|
|
543
|
-
});
|
|
544
|
-
var buckets = _.range(maxOut + maxIn + 3).map(() => new List());
|
|
545
|
-
var zeroIdx = maxIn + 1;
|
|
546
|
-
_.forEach(fasGraph.nodes(), (v) => {
|
|
547
|
-
assignBucket(buckets, zeroIdx, fasGraph.node(v));
|
|
548
|
-
});
|
|
549
|
-
return { graph: fasGraph, buckets, zeroIdx };
|
|
550
|
-
}
|
|
551
|
-
function assignBucket(buckets, zeroIdx, entry) {
|
|
552
|
-
if (!entry.out) {
|
|
553
|
-
buckets[0].enqueue(entry);
|
|
554
|
-
} else if (!entry.in) {
|
|
555
|
-
buckets[buckets.length - 1].enqueue(entry);
|
|
556
|
-
} else {
|
|
557
|
-
buckets[entry.out - entry.in + zeroIdx].enqueue(entry);
|
|
558
|
-
}
|
|
559
|
-
}
|
|
560
|
-
|
|
561
|
-
// src/dagre/acyclic.js
|
|
562
|
-
function run(g) {
|
|
563
|
-
var fas = g.graph().acyclicer === "greedy" ? greedyFAS(g, weightFn(g)) : dfsFAS(g);
|
|
564
|
-
_.forEach(fas, (e) => {
|
|
565
|
-
var label = g.edge(e);
|
|
566
|
-
g.removeEdge(e);
|
|
567
|
-
label.forwardName = e.name;
|
|
568
|
-
label.reversed = true;
|
|
569
|
-
g.setEdge(e.w, e.v, label, _.uniqueId("rev"));
|
|
570
|
-
});
|
|
571
|
-
function weightFn(g2) {
|
|
572
|
-
return (e) => g2.edge(e).weight;
|
|
573
|
-
}
|
|
574
|
-
}
|
|
575
|
-
function dfsFAS(g) {
|
|
576
|
-
var fas = [];
|
|
577
|
-
var stack = {};
|
|
578
|
-
var visited = {};
|
|
579
|
-
function dfs3(v) {
|
|
580
|
-
if (_.has(visited, v)) {
|
|
581
|
-
return;
|
|
582
|
-
}
|
|
583
|
-
visited[v] = true;
|
|
584
|
-
stack[v] = true;
|
|
585
|
-
_.forEach(g.outEdges(v), (e) => {
|
|
586
|
-
if (_.has(stack, e.w)) {
|
|
587
|
-
fas.push(e);
|
|
588
|
-
} else {
|
|
589
|
-
dfs3(e.w);
|
|
590
|
-
}
|
|
591
|
-
});
|
|
592
|
-
delete stack[v];
|
|
593
|
-
}
|
|
594
|
-
_.forEach(g.nodes(), dfs3);
|
|
595
|
-
return fas;
|
|
596
|
-
}
|
|
597
|
-
function undo(g) {
|
|
598
|
-
_.forEach(g.edges(), (e) => {
|
|
599
|
-
var label = g.edge(e);
|
|
600
|
-
if (label.reversed) {
|
|
601
|
-
g.removeEdge(e);
|
|
602
|
-
var forwardName = label.forwardName;
|
|
603
|
-
delete label.reversed;
|
|
604
|
-
delete label.forwardName;
|
|
605
|
-
g.setEdge(e.w, e.v, label, forwardName);
|
|
606
|
-
}
|
|
607
|
-
});
|
|
608
|
-
}
|
|
609
|
-
|
|
610
|
-
// src/dagre/util.js
|
|
611
|
-
function addDummyNode(g, type, attrs, name) {
|
|
612
|
-
var v;
|
|
613
|
-
do {
|
|
614
|
-
v = _.uniqueId(name);
|
|
615
|
-
} while (g.hasNode(v));
|
|
616
|
-
attrs.dummy = type;
|
|
617
|
-
g.setNode(v, attrs);
|
|
618
|
-
return v;
|
|
619
|
-
}
|
|
620
|
-
function simplify(g) {
|
|
621
|
-
var simplified = new Graph().setGraph(g.graph());
|
|
622
|
-
_.forEach(g.nodes(), (v) => {
|
|
623
|
-
simplified.setNode(v, g.node(v));
|
|
624
|
-
});
|
|
625
|
-
_.forEach(g.edges(), (e) => {
|
|
626
|
-
var simpleLabel = simplified.edge(e.v, e.w) || { weight: 0, minlen: 1 };
|
|
627
|
-
var label = g.edge(e);
|
|
628
|
-
simplified.setEdge(e.v, e.w, {
|
|
629
|
-
weight: simpleLabel.weight + label.weight,
|
|
630
|
-
minlen: Math.max(simpleLabel.minlen, label.minlen)
|
|
631
|
-
});
|
|
632
|
-
});
|
|
633
|
-
return simplified;
|
|
634
|
-
}
|
|
635
|
-
function asNonCompoundGraph(g) {
|
|
636
|
-
var simplified = new Graph({ multigraph: g.isMultigraph() }).setGraph(
|
|
637
|
-
g.graph()
|
|
638
|
-
);
|
|
639
|
-
_.forEach(g.nodes(), (v) => {
|
|
640
|
-
if (!g.children(v).length) {
|
|
641
|
-
simplified.setNode(v, g.node(v));
|
|
642
|
-
}
|
|
643
|
-
});
|
|
644
|
-
_.forEach(g.edges(), (e) => {
|
|
645
|
-
simplified.setEdge(e, g.edge(e));
|
|
646
|
-
});
|
|
647
|
-
return simplified;
|
|
648
|
-
}
|
|
649
|
-
function intersectRect(rect, point) {
|
|
650
|
-
var x = rect.x;
|
|
651
|
-
var y = rect.y;
|
|
652
|
-
var dx = point.x - x;
|
|
653
|
-
var dy = point.y - y;
|
|
654
|
-
var w = rect.width / 2;
|
|
655
|
-
var h = rect.height / 2;
|
|
656
|
-
if (!dx && !dy) {
|
|
657
|
-
throw new Error(
|
|
658
|
-
"Not possible to find intersection inside of the rectangle"
|
|
659
|
-
);
|
|
660
|
-
}
|
|
661
|
-
var sx, sy;
|
|
662
|
-
if (Math.abs(dy) * w > Math.abs(dx) * h) {
|
|
663
|
-
if (dy < 0) {
|
|
664
|
-
h = -h;
|
|
665
|
-
}
|
|
666
|
-
sx = h * dx / dy;
|
|
667
|
-
sy = h;
|
|
668
|
-
} else {
|
|
669
|
-
if (dx < 0) {
|
|
670
|
-
w = -w;
|
|
671
|
-
}
|
|
672
|
-
sx = w;
|
|
673
|
-
sy = w * dy / dx;
|
|
674
|
-
}
|
|
675
|
-
return { x: x + sx, y: y + sy };
|
|
676
|
-
}
|
|
677
|
-
function buildLayerMatrix(g) {
|
|
678
|
-
var layering = _.map(_.range(maxRank(g) + 1), () => []);
|
|
679
|
-
_.forEach(g.nodes(), (v) => {
|
|
680
|
-
var node = g.node(v);
|
|
681
|
-
var rank2 = node.rank;
|
|
682
|
-
if (!_.isUndefined(rank2)) {
|
|
683
|
-
layering[rank2][node.order] = v;
|
|
684
|
-
}
|
|
685
|
-
});
|
|
686
|
-
return layering;
|
|
687
|
-
}
|
|
688
|
-
function normalizeRanks(g) {
|
|
689
|
-
var min = _.min(_.map(g.nodes(), (v) => g.node(v).rank));
|
|
690
|
-
_.forEach(g.nodes(), (v) => {
|
|
691
|
-
var node = g.node(v);
|
|
692
|
-
if (_.has(node, "rank")) {
|
|
693
|
-
node.rank -= min;
|
|
694
|
-
}
|
|
695
|
-
});
|
|
696
|
-
}
|
|
697
|
-
function removeEmptyRanks(g) {
|
|
698
|
-
var offset = _.min(_.map(g.nodes(), (v) => g.node(v).rank));
|
|
699
|
-
var layers = [];
|
|
700
|
-
_.forEach(g.nodes(), (v) => {
|
|
701
|
-
var rank2 = g.node(v).rank - offset;
|
|
702
|
-
if (!layers[rank2]) {
|
|
703
|
-
layers[rank2] = [];
|
|
704
|
-
}
|
|
705
|
-
layers[rank2].push(v);
|
|
706
|
-
});
|
|
707
|
-
var delta = 0;
|
|
708
|
-
var nodeRankFactor = g.graph().nodeRankFactor;
|
|
709
|
-
_.forEach(layers, (vs, i) => {
|
|
710
|
-
if (_.isUndefined(vs) && i % nodeRankFactor !== 0) {
|
|
711
|
-
--delta;
|
|
712
|
-
} else if (delta) {
|
|
713
|
-
_.forEach(vs, (v) => {
|
|
714
|
-
g.node(v).rank += delta;
|
|
715
|
-
});
|
|
716
|
-
}
|
|
717
|
-
});
|
|
718
|
-
}
|
|
719
|
-
function addBorderNode(g, prefix, rank2, order2) {
|
|
720
|
-
var node = {
|
|
721
|
-
width: 0,
|
|
722
|
-
height: 0
|
|
723
|
-
};
|
|
724
|
-
if (arguments.length >= 4) {
|
|
725
|
-
node.rank = rank2;
|
|
726
|
-
node.order = order2;
|
|
727
|
-
}
|
|
728
|
-
return addDummyNode(g, "border", node, prefix);
|
|
729
|
-
}
|
|
730
|
-
function maxRank(g) {
|
|
731
|
-
return _.max(
|
|
732
|
-
_.map(g.nodes(), (v) => {
|
|
733
|
-
var rank2 = g.node(v).rank;
|
|
734
|
-
if (!_.isUndefined(rank2)) {
|
|
735
|
-
return rank2;
|
|
736
|
-
}
|
|
737
|
-
})
|
|
738
|
-
);
|
|
739
|
-
}
|
|
740
|
-
function partition(collection, fn) {
|
|
741
|
-
var result = { lhs: [], rhs: [] };
|
|
742
|
-
_.forEach(collection, (value) => {
|
|
743
|
-
if (fn(value)) {
|
|
744
|
-
result.lhs.push(value);
|
|
745
|
-
} else {
|
|
746
|
-
result.rhs.push(value);
|
|
747
|
-
}
|
|
748
|
-
});
|
|
749
|
-
return result;
|
|
750
|
-
}
|
|
751
|
-
function time(name, fn) {
|
|
752
|
-
var start = _.now();
|
|
753
|
-
try {
|
|
754
|
-
return fn();
|
|
755
|
-
} finally {
|
|
756
|
-
console.log(`${name} time: ${_.now() - start}ms`);
|
|
757
|
-
}
|
|
758
|
-
}
|
|
759
|
-
function notime(_name, fn) {
|
|
760
|
-
return fn();
|
|
761
|
-
}
|
|
762
|
-
|
|
763
|
-
// src/dagre/add-border-segments.js
|
|
764
|
-
function addBorderSegments(g) {
|
|
765
|
-
function dfs3(v) {
|
|
766
|
-
var children = g.children(v);
|
|
767
|
-
var node = g.node(v);
|
|
768
|
-
if (children.length) {
|
|
769
|
-
_.forEach(children, dfs3);
|
|
770
|
-
}
|
|
771
|
-
if (_.has(node, "minRank")) {
|
|
772
|
-
node.borderLeft = [];
|
|
773
|
-
node.borderRight = [];
|
|
774
|
-
for (var rank2 = node.minRank, maxRank2 = node.maxRank + 1; rank2 < maxRank2; ++rank2) {
|
|
775
|
-
addBorderNode2(g, "borderLeft", "_bl", v, node, rank2);
|
|
776
|
-
addBorderNode2(g, "borderRight", "_br", v, node, rank2);
|
|
777
|
-
}
|
|
778
|
-
}
|
|
779
|
-
}
|
|
780
|
-
_.forEach(g.children(), dfs3);
|
|
781
|
-
}
|
|
782
|
-
function addBorderNode2(g, prop, prefix, sg, sgNode, rank2) {
|
|
783
|
-
var label = { width: 0, height: 0, rank: rank2, borderType: prop };
|
|
784
|
-
var prev = sgNode[prop][rank2 - 1];
|
|
785
|
-
var curr = addDummyNode(g, "border", label, prefix);
|
|
786
|
-
sgNode[prop][rank2] = curr;
|
|
787
|
-
g.setParent(curr, sg);
|
|
788
|
-
if (prev) {
|
|
789
|
-
g.setEdge(prev, curr, { weight: 1 });
|
|
790
|
-
}
|
|
791
|
-
}
|
|
792
|
-
|
|
793
|
-
// src/dagre/coordinate-system.js
|
|
794
|
-
function adjust(g) {
|
|
795
|
-
var rankDir = g.graph().rankdir.toLowerCase();
|
|
796
|
-
if (rankDir === "lr" || rankDir === "rl") {
|
|
797
|
-
swapWidthHeight(g);
|
|
798
|
-
}
|
|
799
|
-
}
|
|
800
|
-
function undo2(g) {
|
|
801
|
-
var rankDir = g.graph().rankdir.toLowerCase();
|
|
802
|
-
if (rankDir === "bt" || rankDir === "rl") {
|
|
803
|
-
reverseY(g);
|
|
804
|
-
}
|
|
805
|
-
if (rankDir === "lr" || rankDir === "rl") {
|
|
806
|
-
swapXY(g);
|
|
807
|
-
swapWidthHeight(g);
|
|
808
|
-
}
|
|
809
|
-
}
|
|
810
|
-
function swapWidthHeight(g) {
|
|
811
|
-
_.forEach(g.nodes(), (v) => {
|
|
812
|
-
swapWidthHeightOne(g.node(v));
|
|
813
|
-
});
|
|
814
|
-
_.forEach(g.edges(), (e) => {
|
|
815
|
-
swapWidthHeightOne(g.edge(e));
|
|
816
|
-
});
|
|
817
|
-
}
|
|
818
|
-
function swapWidthHeightOne(attrs) {
|
|
819
|
-
var w = attrs.width;
|
|
820
|
-
attrs.width = attrs.height;
|
|
821
|
-
attrs.height = w;
|
|
822
|
-
}
|
|
823
|
-
function reverseY(g) {
|
|
824
|
-
_.forEach(g.nodes(), (v) => {
|
|
825
|
-
reverseYOne(g.node(v));
|
|
826
|
-
});
|
|
827
|
-
_.forEach(g.edges(), (e) => {
|
|
828
|
-
var edge = g.edge(e);
|
|
829
|
-
_.forEach(edge.points, reverseYOne);
|
|
830
|
-
if (_.has(edge, "y")) {
|
|
831
|
-
reverseYOne(edge);
|
|
832
|
-
}
|
|
833
|
-
});
|
|
834
|
-
}
|
|
835
|
-
function reverseYOne(attrs) {
|
|
836
|
-
attrs.y = -attrs.y;
|
|
837
|
-
}
|
|
838
|
-
function swapXY(g) {
|
|
839
|
-
_.forEach(g.nodes(), (v) => {
|
|
840
|
-
swapXYOne(g.node(v));
|
|
841
|
-
});
|
|
842
|
-
_.forEach(g.edges(), (e) => {
|
|
843
|
-
var edge = g.edge(e);
|
|
844
|
-
_.forEach(edge.points, swapXYOne);
|
|
845
|
-
if (_.has(edge, "x")) {
|
|
846
|
-
swapXYOne(edge);
|
|
847
|
-
}
|
|
848
|
-
});
|
|
849
|
-
}
|
|
850
|
-
function swapXYOne(attrs) {
|
|
851
|
-
var x = attrs.x;
|
|
852
|
-
attrs.x = attrs.y;
|
|
853
|
-
attrs.y = x;
|
|
854
|
-
}
|
|
855
|
-
|
|
856
|
-
// src/dagre/nesting-graph.js
|
|
857
|
-
function run2(g) {
|
|
858
|
-
var root = addDummyNode(g, "root", {}, "_root");
|
|
859
|
-
var depths = treeDepths(g);
|
|
860
|
-
var height = _.max(_.values(depths)) - 1;
|
|
861
|
-
var nodeSep = 2 * height + 1;
|
|
862
|
-
g.graph().nestingRoot = root;
|
|
863
|
-
_.forEach(g.edges(), (e) => {
|
|
864
|
-
g.edge(e).minlen *= nodeSep;
|
|
865
|
-
});
|
|
866
|
-
var weight = sumWeights(g) + 1;
|
|
867
|
-
_.forEach(g.children(), (child) => {
|
|
868
|
-
dfs(g, root, nodeSep, weight, height, depths, child);
|
|
869
|
-
});
|
|
870
|
-
g.graph().nodeRankFactor = nodeSep;
|
|
871
|
-
}
|
|
872
|
-
function dfs(g, root, nodeSep, weight, height, depths, v) {
|
|
873
|
-
var children = g.children(v);
|
|
874
|
-
if (!children.length) {
|
|
875
|
-
if (v !== root) {
|
|
876
|
-
g.setEdge(root, v, { weight: 0, minlen: nodeSep });
|
|
877
|
-
}
|
|
878
|
-
return;
|
|
879
|
-
}
|
|
880
|
-
var top = addBorderNode(g, "_bt");
|
|
881
|
-
var bottom = addBorderNode(g, "_bb");
|
|
882
|
-
var label = g.node(v);
|
|
883
|
-
g.setParent(top, v);
|
|
884
|
-
label.borderTop = top;
|
|
885
|
-
g.setParent(bottom, v);
|
|
886
|
-
label.borderBottom = bottom;
|
|
887
|
-
_.forEach(children, (child) => {
|
|
888
|
-
dfs(g, root, nodeSep, weight, height, depths, child);
|
|
889
|
-
var childNode = g.node(child);
|
|
890
|
-
var childTop = childNode.borderTop ? childNode.borderTop : child;
|
|
891
|
-
var childBottom = childNode.borderBottom ? childNode.borderBottom : child;
|
|
892
|
-
var thisWeight = childNode.borderTop ? weight : 2 * weight;
|
|
893
|
-
var minlen = childTop !== childBottom ? 1 : height - depths[v] + 1;
|
|
894
|
-
g.setEdge(top, childTop, {
|
|
895
|
-
weight: thisWeight,
|
|
896
|
-
minlen,
|
|
897
|
-
nestingEdge: true
|
|
898
|
-
});
|
|
899
|
-
g.setEdge(childBottom, bottom, {
|
|
900
|
-
weight: thisWeight,
|
|
901
|
-
minlen,
|
|
902
|
-
nestingEdge: true
|
|
903
|
-
});
|
|
904
|
-
});
|
|
905
|
-
if (!g.parent(v)) {
|
|
906
|
-
g.setEdge(root, top, { weight: 0, minlen: height + depths[v] });
|
|
907
|
-
}
|
|
908
|
-
}
|
|
909
|
-
function treeDepths(g) {
|
|
910
|
-
var depths = {};
|
|
911
|
-
function dfs3(v, depth) {
|
|
912
|
-
var children = g.children(v);
|
|
913
|
-
if (children?.length) {
|
|
914
|
-
_.forEach(children, (child) => {
|
|
915
|
-
dfs3(child, depth + 1);
|
|
916
|
-
});
|
|
917
|
-
}
|
|
918
|
-
depths[v] = depth;
|
|
919
|
-
}
|
|
920
|
-
_.forEach(g.children(), (v) => {
|
|
921
|
-
dfs3(v, 1);
|
|
922
|
-
});
|
|
923
|
-
return depths;
|
|
924
|
-
}
|
|
925
|
-
function sumWeights(g) {
|
|
926
|
-
return _.reduce(g.edges(), (acc, e) => acc + g.edge(e).weight, 0);
|
|
927
|
-
}
|
|
928
|
-
function cleanup(g) {
|
|
929
|
-
var graphLabel = g.graph();
|
|
930
|
-
g.removeNode(graphLabel.nestingRoot);
|
|
931
|
-
delete graphLabel.nestingRoot;
|
|
932
|
-
_.forEach(g.edges(), (e) => {
|
|
933
|
-
var edge = g.edge(e);
|
|
934
|
-
if (edge.nestingEdge) {
|
|
935
|
-
g.removeEdge(e);
|
|
936
|
-
}
|
|
937
|
-
});
|
|
938
|
-
}
|
|
939
|
-
|
|
940
|
-
// src/dagre/normalize.js
|
|
941
|
-
function run3(g) {
|
|
942
|
-
g.graph().dummyChains = [];
|
|
943
|
-
_.forEach(g.edges(), (edge) => {
|
|
944
|
-
normalizeEdge(g, edge);
|
|
945
|
-
});
|
|
946
|
-
}
|
|
947
|
-
function normalizeEdge(g, e) {
|
|
948
|
-
var v = e.v;
|
|
949
|
-
var vRank = g.node(v).rank;
|
|
950
|
-
var w = e.w;
|
|
951
|
-
var wRank = g.node(w).rank;
|
|
952
|
-
var name = e.name;
|
|
953
|
-
var edgeLabel = g.edge(e);
|
|
954
|
-
var labelRank = edgeLabel.labelRank;
|
|
955
|
-
if (wRank === vRank + 1) return;
|
|
956
|
-
g.removeEdge(e);
|
|
957
|
-
var dummy, attrs, i;
|
|
958
|
-
for (i = 0, ++vRank; vRank < wRank; ++i, ++vRank) {
|
|
959
|
-
edgeLabel.points = [];
|
|
960
|
-
attrs = {
|
|
961
|
-
width: 0,
|
|
962
|
-
height: 0,
|
|
963
|
-
edgeLabel,
|
|
964
|
-
edgeObj: e,
|
|
965
|
-
rank: vRank
|
|
966
|
-
};
|
|
967
|
-
dummy = addDummyNode(g, "edge", attrs, "_d");
|
|
968
|
-
if (vRank === labelRank) {
|
|
969
|
-
attrs.width = edgeLabel.width;
|
|
970
|
-
attrs.height = edgeLabel.height;
|
|
971
|
-
attrs.dummy = "edge-label";
|
|
972
|
-
attrs.labelpos = edgeLabel.labelpos;
|
|
973
|
-
}
|
|
974
|
-
g.setEdge(v, dummy, { weight: edgeLabel.weight }, name);
|
|
975
|
-
if (i === 0) {
|
|
976
|
-
g.graph().dummyChains.push(dummy);
|
|
977
|
-
}
|
|
978
|
-
v = dummy;
|
|
979
|
-
}
|
|
980
|
-
g.setEdge(v, w, { weight: edgeLabel.weight }, name);
|
|
981
|
-
}
|
|
982
|
-
function undo3(g) {
|
|
983
|
-
_.forEach(g.graph().dummyChains, (v) => {
|
|
984
|
-
var node = g.node(v);
|
|
985
|
-
var origLabel = node.edgeLabel;
|
|
986
|
-
var w;
|
|
987
|
-
g.setEdge(node.edgeObj, origLabel);
|
|
988
|
-
while (node.dummy) {
|
|
989
|
-
w = g.successors(v)[0];
|
|
990
|
-
g.removeNode(v);
|
|
991
|
-
origLabel.points.push({ x: node.x, y: node.y });
|
|
992
|
-
if (node.dummy === "edge-label") {
|
|
993
|
-
origLabel.x = node.x;
|
|
994
|
-
origLabel.y = node.y;
|
|
995
|
-
origLabel.width = node.width;
|
|
996
|
-
origLabel.height = node.height;
|
|
997
|
-
}
|
|
998
|
-
v = w;
|
|
999
|
-
node = g.node(v);
|
|
1000
|
-
}
|
|
1001
|
-
});
|
|
1002
|
-
}
|
|
1003
|
-
|
|
1004
|
-
// src/dagre/order/add-subgraph-constraints.js
|
|
1005
|
-
function addSubgraphConstraints(g, cg, vs) {
|
|
1006
|
-
var prev = {}, rootPrev;
|
|
1007
|
-
_.forEach(vs, (v) => {
|
|
1008
|
-
var child = g.parent(v), parent, prevChild;
|
|
1009
|
-
while (child) {
|
|
1010
|
-
parent = g.parent(child);
|
|
1011
|
-
if (parent) {
|
|
1012
|
-
prevChild = prev[parent];
|
|
1013
|
-
prev[parent] = child;
|
|
1014
|
-
} else {
|
|
1015
|
-
prevChild = rootPrev;
|
|
1016
|
-
rootPrev = child;
|
|
1017
|
-
}
|
|
1018
|
-
if (prevChild && prevChild !== child) {
|
|
1019
|
-
cg.setEdge(prevChild, child);
|
|
1020
|
-
return;
|
|
1021
|
-
}
|
|
1022
|
-
child = parent;
|
|
1023
|
-
}
|
|
1024
|
-
});
|
|
1025
|
-
}
|
|
1026
|
-
|
|
1027
|
-
// src/dagre/order/build-layer-graph.js
|
|
1028
|
-
function buildLayerGraph(g, rank2, relationship) {
|
|
1029
|
-
var root = createRootNode(g), result = new Graph({ compound: true }).setGraph({ root }).setDefaultNodeLabel((v) => g.node(v));
|
|
1030
|
-
_.forEach(g.nodes(), (v) => {
|
|
1031
|
-
var node = g.node(v), parent = g.parent(v);
|
|
1032
|
-
if (node.rank === rank2 || node.minRank <= rank2 && rank2 <= node.maxRank) {
|
|
1033
|
-
result.setNode(v);
|
|
1034
|
-
result.setParent(v, parent || root);
|
|
1035
|
-
_.forEach(g[relationship](v), (e) => {
|
|
1036
|
-
var u = e.v === v ? e.w : e.v, edge = result.edge(u, v), weight = !_.isUndefined(edge) ? edge.weight : 0;
|
|
1037
|
-
result.setEdge(u, v, { weight: g.edge(e).weight + weight });
|
|
1038
|
-
});
|
|
1039
|
-
if (_.has(node, "minRank")) {
|
|
1040
|
-
result.setNode(v, {
|
|
1041
|
-
borderLeft: node.borderLeft[rank2],
|
|
1042
|
-
borderRight: node.borderRight[rank2]
|
|
1043
|
-
});
|
|
1044
|
-
}
|
|
1045
|
-
}
|
|
1046
|
-
});
|
|
1047
|
-
return result;
|
|
1048
|
-
}
|
|
1049
|
-
function createRootNode(g) {
|
|
1050
|
-
var v;
|
|
1051
|
-
while (g.hasNode(v = _.uniqueId("_root"))) ;
|
|
1052
|
-
return v;
|
|
1053
|
-
}
|
|
1054
|
-
|
|
1055
|
-
// src/dagre/order/cross-count.js
|
|
1056
|
-
function crossCount(g, layering) {
|
|
1057
|
-
var cc = 0;
|
|
1058
|
-
for (var i = 1; i < layering.length; ++i) {
|
|
1059
|
-
cc += twoLayerCrossCount(g, layering[i - 1], layering[i]);
|
|
1060
|
-
}
|
|
1061
|
-
return cc;
|
|
1062
|
-
}
|
|
1063
|
-
function twoLayerCrossCount(g, northLayer, southLayer) {
|
|
1064
|
-
var southPos = _.zipObject(
|
|
1065
|
-
southLayer,
|
|
1066
|
-
_.map(southLayer, (_v, i) => i)
|
|
1067
|
-
);
|
|
1068
|
-
var southEntries = _.flatten(
|
|
1069
|
-
_.map(
|
|
1070
|
-
northLayer,
|
|
1071
|
-
(v) => _.sortBy(
|
|
1072
|
-
_.map(g.outEdges(v), (e) => ({
|
|
1073
|
-
pos: southPos[e.w],
|
|
1074
|
-
weight: g.edge(e).weight
|
|
1075
|
-
})),
|
|
1076
|
-
"pos"
|
|
1077
|
-
)
|
|
1078
|
-
)
|
|
1079
|
-
);
|
|
1080
|
-
var firstIndex = 1;
|
|
1081
|
-
while (firstIndex < southLayer.length) firstIndex <<= 1;
|
|
1082
|
-
var treeSize = 2 * firstIndex - 1;
|
|
1083
|
-
firstIndex -= 1;
|
|
1084
|
-
var tree = _.map(new Array(treeSize), () => 0);
|
|
1085
|
-
var cc = 0;
|
|
1086
|
-
_.forEach(
|
|
1087
|
-
// @ts-expect-error
|
|
1088
|
-
southEntries.forEach((entry) => {
|
|
1089
|
-
var index = entry.pos + firstIndex;
|
|
1090
|
-
tree[index] += entry.weight;
|
|
1091
|
-
var weightSum = 0;
|
|
1092
|
-
while (index > 0) {
|
|
1093
|
-
if (index % 2) {
|
|
1094
|
-
weightSum += tree[index + 1];
|
|
1095
|
-
}
|
|
1096
|
-
index = index - 1 >> 1;
|
|
1097
|
-
tree[index] += entry.weight;
|
|
1098
|
-
}
|
|
1099
|
-
cc += entry.weight * weightSum;
|
|
1100
|
-
})
|
|
1101
|
-
);
|
|
1102
|
-
return cc;
|
|
1103
|
-
}
|
|
1104
|
-
|
|
1105
|
-
// src/dagre/order/init-order.js
|
|
1106
|
-
function initOrder(g) {
|
|
1107
|
-
var visited = {};
|
|
1108
|
-
var simpleNodes = _.filter(g.nodes(), (v) => !g.children(v).length);
|
|
1109
|
-
var maxRank2 = _.max(_.map(simpleNodes, (v) => g.node(v).rank));
|
|
1110
|
-
var layers = _.map(_.range(maxRank2 + 1), () => []);
|
|
1111
|
-
function dfs3(v) {
|
|
1112
|
-
if (_.has(visited, v)) return;
|
|
1113
|
-
visited[v] = true;
|
|
1114
|
-
var node = g.node(v);
|
|
1115
|
-
layers[node.rank].push(v);
|
|
1116
|
-
_.forEach(g.successors(v), dfs3);
|
|
1117
|
-
}
|
|
1118
|
-
var orderedVs = _.sortBy(simpleNodes, (v) => g.node(v).rank);
|
|
1119
|
-
_.forEach(orderedVs, dfs3);
|
|
1120
|
-
return layers;
|
|
1121
|
-
}
|
|
1122
|
-
|
|
1123
|
-
// src/dagre/order/barycenter.js
|
|
1124
|
-
function barycenter(g, movable) {
|
|
1125
|
-
return _.map(movable, (v) => {
|
|
1126
|
-
var inV = g.inEdges(v);
|
|
1127
|
-
if (!inV.length) {
|
|
1128
|
-
return { v };
|
|
1129
|
-
} else {
|
|
1130
|
-
var result = _.reduce(
|
|
1131
|
-
inV,
|
|
1132
|
-
(acc, e) => {
|
|
1133
|
-
var edge = g.edge(e), nodeU = g.node(e.v);
|
|
1134
|
-
return {
|
|
1135
|
-
sum: acc.sum + edge.weight * nodeU.order,
|
|
1136
|
-
weight: acc.weight + edge.weight
|
|
1137
|
-
};
|
|
1138
|
-
},
|
|
1139
|
-
{ sum: 0, weight: 0 }
|
|
1140
|
-
);
|
|
1141
|
-
return {
|
|
1142
|
-
v,
|
|
1143
|
-
barycenter: result.sum / result.weight,
|
|
1144
|
-
weight: result.weight
|
|
1145
|
-
};
|
|
1146
|
-
}
|
|
1147
|
-
});
|
|
1148
|
-
}
|
|
1149
|
-
|
|
1150
|
-
// src/dagre/order/resolve-conflicts.js
|
|
1151
|
-
function resolveConflicts(entries, cg) {
|
|
1152
|
-
var mappedEntries = {};
|
|
1153
|
-
_.forEach(entries, (entry, i) => {
|
|
1154
|
-
var tmp = mappedEntries[entry.v] = {
|
|
1155
|
-
indegree: 0,
|
|
1156
|
-
in: [],
|
|
1157
|
-
out: [],
|
|
1158
|
-
vs: [entry.v],
|
|
1159
|
-
i
|
|
1160
|
-
};
|
|
1161
|
-
if (!_.isUndefined(entry.barycenter)) {
|
|
1162
|
-
tmp.barycenter = entry.barycenter;
|
|
1163
|
-
tmp.weight = entry.weight;
|
|
1164
|
-
}
|
|
1165
|
-
});
|
|
1166
|
-
_.forEach(cg.edges(), (e) => {
|
|
1167
|
-
var entryV = mappedEntries[e.v];
|
|
1168
|
-
var entryW = mappedEntries[e.w];
|
|
1169
|
-
if (!_.isUndefined(entryV) && !_.isUndefined(entryW)) {
|
|
1170
|
-
entryW.indegree++;
|
|
1171
|
-
entryV.out.push(mappedEntries[e.w]);
|
|
1172
|
-
}
|
|
1173
|
-
});
|
|
1174
|
-
var sourceSet = _.filter(mappedEntries, (entry) => {
|
|
1175
|
-
return !entry.indegree;
|
|
1176
|
-
});
|
|
1177
|
-
return doResolveConflicts(sourceSet);
|
|
1178
|
-
}
|
|
1179
|
-
function doResolveConflicts(sourceSet) {
|
|
1180
|
-
var entries = [];
|
|
1181
|
-
function handleIn(vEntry) {
|
|
1182
|
-
return (uEntry) => {
|
|
1183
|
-
if (uEntry.merged) {
|
|
1184
|
-
return;
|
|
1185
|
-
}
|
|
1186
|
-
if (_.isUndefined(uEntry.barycenter) || _.isUndefined(vEntry.barycenter) || uEntry.barycenter >= vEntry.barycenter) {
|
|
1187
|
-
mergeEntries(vEntry, uEntry);
|
|
1188
|
-
}
|
|
1189
|
-
};
|
|
1190
|
-
}
|
|
1191
|
-
function handleOut(vEntry) {
|
|
1192
|
-
return (wEntry) => {
|
|
1193
|
-
wEntry.in.push(vEntry);
|
|
1194
|
-
if (--wEntry.indegree === 0) {
|
|
1195
|
-
sourceSet.push(wEntry);
|
|
1196
|
-
}
|
|
1197
|
-
};
|
|
1198
|
-
}
|
|
1199
|
-
while (sourceSet.length) {
|
|
1200
|
-
var entry = sourceSet.pop();
|
|
1201
|
-
entries.push(entry);
|
|
1202
|
-
_.forEach(entry.in.reverse(), handleIn(entry));
|
|
1203
|
-
_.forEach(entry.out, handleOut(entry));
|
|
1204
|
-
}
|
|
1205
|
-
return _.map(
|
|
1206
|
-
_.filter(entries, (entry2) => !entry2.merged),
|
|
1207
|
-
(entry2) => _.pick(entry2, ["vs", "i", "barycenter", "weight"])
|
|
1208
|
-
);
|
|
1209
|
-
}
|
|
1210
|
-
function mergeEntries(target, source) {
|
|
1211
|
-
var sum = 0;
|
|
1212
|
-
var weight = 0;
|
|
1213
|
-
if (target.weight) {
|
|
1214
|
-
sum += target.barycenter * target.weight;
|
|
1215
|
-
weight += target.weight;
|
|
1216
|
-
}
|
|
1217
|
-
if (source.weight) {
|
|
1218
|
-
sum += source.barycenter * source.weight;
|
|
1219
|
-
weight += source.weight;
|
|
1220
|
-
}
|
|
1221
|
-
target.vs = source.vs.concat(target.vs);
|
|
1222
|
-
target.barycenter = sum / weight;
|
|
1223
|
-
target.weight = weight;
|
|
1224
|
-
target.i = Math.min(source.i, target.i);
|
|
1225
|
-
source.merged = true;
|
|
1226
|
-
}
|
|
1227
|
-
|
|
1228
|
-
// src/dagre/order/sort.js
|
|
1229
|
-
function sort(entries, biasRight) {
|
|
1230
|
-
var parts = partition(entries, (entry) => _.has(entry, "barycenter"));
|
|
1231
|
-
var sortable = parts.lhs, unsortable = _.sortBy(parts.rhs, (entry) => -entry.i), vs = [], sum = 0, weight = 0, vsIndex = 0;
|
|
1232
|
-
sortable.sort(compareWithBias(!!biasRight));
|
|
1233
|
-
vsIndex = consumeUnsortable(vs, unsortable, vsIndex);
|
|
1234
|
-
_.forEach(sortable, (entry) => {
|
|
1235
|
-
vsIndex += entry.vs.length;
|
|
1236
|
-
vs.push(entry.vs);
|
|
1237
|
-
sum += entry.barycenter * entry.weight;
|
|
1238
|
-
weight += entry.weight;
|
|
1239
|
-
vsIndex = consumeUnsortable(vs, unsortable, vsIndex);
|
|
1240
|
-
});
|
|
1241
|
-
var result = { vs: _.flatten(vs) };
|
|
1242
|
-
if (weight) {
|
|
1243
|
-
result.barycenter = sum / weight;
|
|
1244
|
-
result.weight = weight;
|
|
1245
|
-
}
|
|
1246
|
-
return result;
|
|
1247
|
-
}
|
|
1248
|
-
function consumeUnsortable(vs, unsortable, index) {
|
|
1249
|
-
var last;
|
|
1250
|
-
while (unsortable.length && (last = _.last(unsortable)).i <= index) {
|
|
1251
|
-
unsortable.pop();
|
|
1252
|
-
vs.push(last.vs);
|
|
1253
|
-
index++;
|
|
1254
|
-
}
|
|
1255
|
-
return index;
|
|
1256
|
-
}
|
|
1257
|
-
function compareWithBias(bias) {
|
|
1258
|
-
return (entryV, entryW) => {
|
|
1259
|
-
if (entryV.barycenter < entryW.barycenter) {
|
|
1260
|
-
return -1;
|
|
1261
|
-
} else if (entryV.barycenter > entryW.barycenter) {
|
|
1262
|
-
return 1;
|
|
1263
|
-
}
|
|
1264
|
-
return !bias ? entryV.i - entryW.i : entryW.i - entryV.i;
|
|
1265
|
-
};
|
|
1266
|
-
}
|
|
1267
|
-
|
|
1268
|
-
// src/dagre/order/sort-subgraph.js
|
|
1269
|
-
function sortSubgraph(g, v, cg, biasRight) {
|
|
1270
|
-
var movable = g.children(v);
|
|
1271
|
-
var node = g.node(v);
|
|
1272
|
-
var bl = node ? node.borderLeft : void 0;
|
|
1273
|
-
var br = node ? node.borderRight : void 0;
|
|
1274
|
-
var subgraphs = {};
|
|
1275
|
-
if (bl) {
|
|
1276
|
-
movable = _.filter(movable, (w) => w !== bl && w !== br);
|
|
1277
|
-
}
|
|
1278
|
-
var barycenters = barycenter(g, movable);
|
|
1279
|
-
_.forEach(barycenters, (entry) => {
|
|
1280
|
-
if (g.children(entry.v).length) {
|
|
1281
|
-
var subgraphResult = sortSubgraph(g, entry.v, cg, biasRight);
|
|
1282
|
-
subgraphs[entry.v] = subgraphResult;
|
|
1283
|
-
if (_.has(subgraphResult, "barycenter")) {
|
|
1284
|
-
mergeBarycenters(entry, subgraphResult);
|
|
1285
|
-
}
|
|
1286
|
-
}
|
|
1287
|
-
});
|
|
1288
|
-
var entries = resolveConflicts(barycenters, cg);
|
|
1289
|
-
expandSubgraphs(entries, subgraphs);
|
|
1290
|
-
var result = sort(entries, biasRight);
|
|
1291
|
-
if (bl) {
|
|
1292
|
-
result.vs = _.flatten([bl, result.vs, br]);
|
|
1293
|
-
if (g.predecessors(bl).length) {
|
|
1294
|
-
var blPred = g.node(g.predecessors(bl)[0]), brPred = g.node(g.predecessors(br)[0]);
|
|
1295
|
-
if (!_.has(result, "barycenter")) {
|
|
1296
|
-
result.barycenter = 0;
|
|
1297
|
-
result.weight = 0;
|
|
1298
|
-
}
|
|
1299
|
-
result.barycenter = (result.barycenter * result.weight + blPred.order + brPred.order) / (result.weight + 2);
|
|
1300
|
-
result.weight += 2;
|
|
1301
|
-
}
|
|
1302
|
-
}
|
|
1303
|
-
return result;
|
|
1304
|
-
}
|
|
1305
|
-
function expandSubgraphs(entries, subgraphs) {
|
|
1306
|
-
_.forEach(entries, (entry) => {
|
|
1307
|
-
entry.vs = _.flatten(
|
|
1308
|
-
entry.vs.map((v) => {
|
|
1309
|
-
if (subgraphs[v]) {
|
|
1310
|
-
return subgraphs[v].vs;
|
|
1311
|
-
}
|
|
1312
|
-
return v;
|
|
1313
|
-
})
|
|
1314
|
-
);
|
|
1315
|
-
});
|
|
1316
|
-
}
|
|
1317
|
-
function mergeBarycenters(target, other) {
|
|
1318
|
-
if (!_.isUndefined(target.barycenter)) {
|
|
1319
|
-
target.barycenter = (target.barycenter * target.weight + other.barycenter * other.weight) / (target.weight + other.weight);
|
|
1320
|
-
target.weight += other.weight;
|
|
1321
|
-
} else {
|
|
1322
|
-
target.barycenter = other.barycenter;
|
|
1323
|
-
target.weight = other.weight;
|
|
1324
|
-
}
|
|
1325
|
-
}
|
|
1326
|
-
|
|
1327
|
-
// src/dagre/order/index.js
|
|
1328
|
-
function order(g) {
|
|
1329
|
-
var maxRank2 = maxRank(g), downLayerGraphs = buildLayerGraphs(g, _.range(1, maxRank2 + 1), "inEdges"), upLayerGraphs = buildLayerGraphs(
|
|
1330
|
-
g,
|
|
1331
|
-
_.range(maxRank2 - 1, -1, -1),
|
|
1332
|
-
"outEdges"
|
|
1333
|
-
);
|
|
1334
|
-
var layering = initOrder(g);
|
|
1335
|
-
assignOrder(g, layering);
|
|
1336
|
-
var bestCC = Number.POSITIVE_INFINITY, best;
|
|
1337
|
-
for (var i = 0, lastBest = 0; lastBest < 4; ++i, ++lastBest) {
|
|
1338
|
-
sweepLayerGraphs(i % 2 ? downLayerGraphs : upLayerGraphs, i % 4 >= 2);
|
|
1339
|
-
layering = buildLayerMatrix(g);
|
|
1340
|
-
var cc = crossCount(g, layering);
|
|
1341
|
-
if (cc < bestCC) {
|
|
1342
|
-
lastBest = 0;
|
|
1343
|
-
best = _.cloneDeep(layering);
|
|
1344
|
-
bestCC = cc;
|
|
1345
|
-
}
|
|
1346
|
-
}
|
|
1347
|
-
assignOrder(g, best);
|
|
1348
|
-
}
|
|
1349
|
-
function buildLayerGraphs(g, ranks, relationship) {
|
|
1350
|
-
return _.map(ranks, (rank2) => buildLayerGraph(g, rank2, relationship));
|
|
1351
|
-
}
|
|
1352
|
-
function sweepLayerGraphs(layerGraphs, biasRight) {
|
|
1353
|
-
var cg = new Graph();
|
|
1354
|
-
_.forEach(layerGraphs, (lg) => {
|
|
1355
|
-
var root = lg.graph().root;
|
|
1356
|
-
var sorted = sortSubgraph(lg, root, cg, biasRight);
|
|
1357
|
-
_.forEach(sorted.vs, (v, i) => {
|
|
1358
|
-
lg.node(v).order = i;
|
|
1359
|
-
});
|
|
1360
|
-
addSubgraphConstraints(lg, cg, sorted.vs);
|
|
1361
|
-
});
|
|
1362
|
-
}
|
|
1363
|
-
function assignOrder(g, layering) {
|
|
1364
|
-
_.forEach(layering, (layer) => {
|
|
1365
|
-
_.forEach(layer, (v, i) => {
|
|
1366
|
-
g.node(v).order = i;
|
|
1367
|
-
});
|
|
1368
|
-
});
|
|
1369
|
-
}
|
|
1370
|
-
|
|
1371
|
-
// src/dagre/parent-dummy-chains.js
|
|
1372
|
-
function parentDummyChains(g) {
|
|
1373
|
-
var postorderNums = postorder(g);
|
|
1374
|
-
_.forEach(g.graph().dummyChains, (v) => {
|
|
1375
|
-
var node = g.node(v);
|
|
1376
|
-
var edgeObj = node.edgeObj;
|
|
1377
|
-
var pathData = findPath(g, postorderNums, edgeObj.v, edgeObj.w);
|
|
1378
|
-
var path = pathData.path;
|
|
1379
|
-
var lca = pathData.lca;
|
|
1380
|
-
var pathIdx = 0;
|
|
1381
|
-
var pathV = path[pathIdx];
|
|
1382
|
-
var ascending = true;
|
|
1383
|
-
while (v !== edgeObj.w) {
|
|
1384
|
-
node = g.node(v);
|
|
1385
|
-
if (ascending) {
|
|
1386
|
-
while ((pathV = path[pathIdx]) !== lca && g.node(pathV).maxRank < node.rank) {
|
|
1387
|
-
pathIdx++;
|
|
1388
|
-
}
|
|
1389
|
-
if (pathV === lca) {
|
|
1390
|
-
ascending = false;
|
|
1391
|
-
}
|
|
1392
|
-
}
|
|
1393
|
-
if (!ascending) {
|
|
1394
|
-
while (pathIdx < path.length - 1 && g.node(pathV = path[pathIdx + 1]).minRank <= node.rank) {
|
|
1395
|
-
pathIdx++;
|
|
1396
|
-
}
|
|
1397
|
-
pathV = path[pathIdx];
|
|
1398
|
-
}
|
|
1399
|
-
g.setParent(v, pathV);
|
|
1400
|
-
v = g.successors(v)[0];
|
|
1401
|
-
}
|
|
1402
|
-
});
|
|
1403
|
-
}
|
|
1404
|
-
function findPath(g, postorderNums, v, w) {
|
|
1405
|
-
var vPath = [];
|
|
1406
|
-
var wPath = [];
|
|
1407
|
-
var low = Math.min(postorderNums[v].low, postorderNums[w].low);
|
|
1408
|
-
var lim = Math.max(postorderNums[v].lim, postorderNums[w].lim);
|
|
1409
|
-
var parent;
|
|
1410
|
-
var lca;
|
|
1411
|
-
parent = v;
|
|
1412
|
-
do {
|
|
1413
|
-
parent = g.parent(parent);
|
|
1414
|
-
vPath.push(parent);
|
|
1415
|
-
} while (parent && (postorderNums[parent].low > low || lim > postorderNums[parent].lim));
|
|
1416
|
-
lca = parent;
|
|
1417
|
-
parent = w;
|
|
1418
|
-
while ((parent = g.parent(parent)) !== lca) {
|
|
1419
|
-
wPath.push(parent);
|
|
1420
|
-
}
|
|
1421
|
-
return { path: vPath.concat(wPath.reverse()), lca };
|
|
1422
|
-
}
|
|
1423
|
-
function postorder(g) {
|
|
1424
|
-
var result = {};
|
|
1425
|
-
var lim = 0;
|
|
1426
|
-
function dfs3(v) {
|
|
1427
|
-
var low = lim;
|
|
1428
|
-
_.forEach(g.children(v), dfs3);
|
|
1429
|
-
result[v] = { low, lim: lim++ };
|
|
1430
|
-
}
|
|
1431
|
-
_.forEach(g.children(), dfs3);
|
|
1432
|
-
return result;
|
|
1433
|
-
}
|
|
1434
|
-
|
|
1435
|
-
// src/dagre/position/bk.js
|
|
1436
|
-
function findType1Conflicts(g, layering) {
|
|
1437
|
-
var conflicts = {};
|
|
1438
|
-
function visitLayer(prevLayer, layer) {
|
|
1439
|
-
var k0 = 0, scanPos = 0, prevLayerLength = prevLayer.length, lastNode = _.last(layer);
|
|
1440
|
-
_.forEach(layer, (v, i) => {
|
|
1441
|
-
var w = findOtherInnerSegmentNode(g, v), k1 = w ? g.node(w).order : prevLayerLength;
|
|
1442
|
-
if (w || v === lastNode) {
|
|
1443
|
-
_.forEach(layer.slice(scanPos, i + 1), (scanNode) => {
|
|
1444
|
-
_.forEach(g.predecessors(scanNode), (u) => {
|
|
1445
|
-
var uLabel = g.node(u), uPos = uLabel.order;
|
|
1446
|
-
if ((uPos < k0 || k1 < uPos) && !(uLabel.dummy && g.node(scanNode).dummy)) {
|
|
1447
|
-
addConflict(conflicts, u, scanNode);
|
|
1448
|
-
}
|
|
1449
|
-
});
|
|
1450
|
-
});
|
|
1451
|
-
scanPos = i + 1;
|
|
1452
|
-
k0 = k1;
|
|
1453
|
-
}
|
|
1454
|
-
});
|
|
1455
|
-
return layer;
|
|
1456
|
-
}
|
|
1457
|
-
_.reduce(layering, visitLayer);
|
|
1458
|
-
return conflicts;
|
|
1459
|
-
}
|
|
1460
|
-
function findType2Conflicts(g, layering) {
|
|
1461
|
-
var conflicts = {};
|
|
1462
|
-
function scan(south, southPos, southEnd, prevNorthBorder, nextNorthBorder) {
|
|
1463
|
-
var v;
|
|
1464
|
-
_.forEach(_.range(southPos, southEnd), (i) => {
|
|
1465
|
-
v = south[i];
|
|
1466
|
-
if (g.node(v).dummy) {
|
|
1467
|
-
_.forEach(g.predecessors(v), (u) => {
|
|
1468
|
-
var uNode = g.node(u);
|
|
1469
|
-
if (uNode.dummy && (uNode.order < prevNorthBorder || uNode.order > nextNorthBorder)) {
|
|
1470
|
-
addConflict(conflicts, u, v);
|
|
1471
|
-
}
|
|
1472
|
-
});
|
|
1473
|
-
}
|
|
1474
|
-
});
|
|
1475
|
-
}
|
|
1476
|
-
function visitLayer(north, south) {
|
|
1477
|
-
var prevNorthPos = -1, nextNorthPos, southPos = 0;
|
|
1478
|
-
_.forEach(south, (v, southLookahead) => {
|
|
1479
|
-
if (g.node(v).dummy === "border") {
|
|
1480
|
-
var predecessors = g.predecessors(v);
|
|
1481
|
-
if (predecessors.length) {
|
|
1482
|
-
nextNorthPos = g.node(predecessors[0]).order;
|
|
1483
|
-
scan(south, southPos, southLookahead, prevNorthPos, nextNorthPos);
|
|
1484
|
-
southPos = southLookahead;
|
|
1485
|
-
prevNorthPos = nextNorthPos;
|
|
1486
|
-
}
|
|
1487
|
-
}
|
|
1488
|
-
scan(south, southPos, south.length, nextNorthPos, north.length);
|
|
1489
|
-
});
|
|
1490
|
-
return south;
|
|
1491
|
-
}
|
|
1492
|
-
_.reduce(layering, visitLayer);
|
|
1493
|
-
return conflicts;
|
|
1494
|
-
}
|
|
1495
|
-
function findOtherInnerSegmentNode(g, v) {
|
|
1496
|
-
if (g.node(v).dummy) {
|
|
1497
|
-
return _.find(g.predecessors(v), (u) => g.node(u).dummy);
|
|
1498
|
-
}
|
|
1499
|
-
}
|
|
1500
|
-
function addConflict(conflicts, v, w) {
|
|
1501
|
-
if (v > w) {
|
|
1502
|
-
var tmp = v;
|
|
1503
|
-
v = w;
|
|
1504
|
-
w = tmp;
|
|
1505
|
-
}
|
|
1506
|
-
var conflictsV = conflicts[v];
|
|
1507
|
-
if (!conflictsV) {
|
|
1508
|
-
conflicts[v] = conflictsV = {};
|
|
1509
|
-
}
|
|
1510
|
-
conflictsV[w] = true;
|
|
1511
|
-
}
|
|
1512
|
-
function hasConflict(conflicts, v, w) {
|
|
1513
|
-
if (v > w) {
|
|
1514
|
-
var tmp = v;
|
|
1515
|
-
v = w;
|
|
1516
|
-
w = tmp;
|
|
1517
|
-
}
|
|
1518
|
-
return _.has(conflicts[v], w);
|
|
1519
|
-
}
|
|
1520
|
-
function verticalAlignment(_g, layering, conflicts, neighborFn) {
|
|
1521
|
-
var root = {}, align = {}, pos = {};
|
|
1522
|
-
_.forEach(layering, (layer) => {
|
|
1523
|
-
_.forEach(layer, (v, order2) => {
|
|
1524
|
-
root[v] = v;
|
|
1525
|
-
align[v] = v;
|
|
1526
|
-
pos[v] = order2;
|
|
1527
|
-
});
|
|
1528
|
-
});
|
|
1529
|
-
_.forEach(layering, (layer) => {
|
|
1530
|
-
var prevIdx = -1;
|
|
1531
|
-
_.forEach(layer, (v) => {
|
|
1532
|
-
var ws = neighborFn(v);
|
|
1533
|
-
if (ws.length) {
|
|
1534
|
-
ws = _.sortBy(ws, (w2) => pos[w2]);
|
|
1535
|
-
var mp = (ws.length - 1) / 2;
|
|
1536
|
-
for (var i = Math.floor(mp), il = Math.ceil(mp); i <= il; ++i) {
|
|
1537
|
-
var w = ws[i];
|
|
1538
|
-
if (align[v] === v && prevIdx < pos[w] && !hasConflict(conflicts, v, w)) {
|
|
1539
|
-
align[w] = v;
|
|
1540
|
-
align[v] = root[v] = root[w];
|
|
1541
|
-
prevIdx = pos[w];
|
|
1542
|
-
}
|
|
1543
|
-
}
|
|
1544
|
-
}
|
|
1545
|
-
});
|
|
1546
|
-
});
|
|
1547
|
-
return { root, align };
|
|
1548
|
-
}
|
|
1549
|
-
function horizontalCompaction(g, layering, root, align, reverseSep) {
|
|
1550
|
-
var xs = {}, blockG = buildBlockGraph(g, layering, root, reverseSep), borderType = reverseSep ? "borderLeft" : "borderRight";
|
|
1551
|
-
function iterate(setXsFunc, nextNodesFunc) {
|
|
1552
|
-
var stack = blockG.nodes();
|
|
1553
|
-
var elem = stack.pop();
|
|
1554
|
-
var visited = {};
|
|
1555
|
-
while (elem) {
|
|
1556
|
-
if (visited[elem]) {
|
|
1557
|
-
setXsFunc(elem);
|
|
1558
|
-
} else {
|
|
1559
|
-
visited[elem] = true;
|
|
1560
|
-
stack.push(elem);
|
|
1561
|
-
stack = stack.concat(nextNodesFunc(elem));
|
|
1562
|
-
}
|
|
1563
|
-
elem = stack.pop();
|
|
1564
|
-
}
|
|
1565
|
-
}
|
|
1566
|
-
function pass1(elem) {
|
|
1567
|
-
xs[elem] = blockG.inEdges(elem).reduce((acc, e) => Math.max(acc, xs[e.v] + blockG.edge(e)), 0);
|
|
1568
|
-
}
|
|
1569
|
-
function pass2(elem) {
|
|
1570
|
-
var min = blockG.outEdges(elem).reduce(
|
|
1571
|
-
(acc, e) => Math.min(acc, xs[e.w] - blockG.edge(e)),
|
|
1572
|
-
Number.POSITIVE_INFINITY
|
|
1573
|
-
);
|
|
1574
|
-
var node = g.node(elem);
|
|
1575
|
-
if (min !== Number.POSITIVE_INFINITY && node.borderType !== borderType) {
|
|
1576
|
-
xs[elem] = Math.max(xs[elem], min);
|
|
1577
|
-
}
|
|
1578
|
-
}
|
|
1579
|
-
iterate(pass1, blockG.predecessors.bind(blockG));
|
|
1580
|
-
iterate(pass2, blockG.successors.bind(blockG));
|
|
1581
|
-
_.forEach(align, (v) => {
|
|
1582
|
-
xs[v] = xs[root[v]];
|
|
1583
|
-
});
|
|
1584
|
-
return xs;
|
|
1585
|
-
}
|
|
1586
|
-
function buildBlockGraph(g, layering, root, reverseSep) {
|
|
1587
|
-
var blockGraph = new Graph(), graphLabel = g.graph(), sepFn = sep(graphLabel.nodesep, graphLabel.edgesep, reverseSep);
|
|
1588
|
-
_.forEach(layering, (layer) => {
|
|
1589
|
-
var u;
|
|
1590
|
-
_.forEach(layer, (v) => {
|
|
1591
|
-
var vRoot = root[v];
|
|
1592
|
-
blockGraph.setNode(vRoot);
|
|
1593
|
-
if (u) {
|
|
1594
|
-
var uRoot = root[u], prevMax = blockGraph.edge(uRoot, vRoot);
|
|
1595
|
-
blockGraph.setEdge(
|
|
1596
|
-
uRoot,
|
|
1597
|
-
vRoot,
|
|
1598
|
-
Math.max(sepFn(g, v, u), prevMax || 0)
|
|
1599
|
-
);
|
|
1600
|
-
}
|
|
1601
|
-
u = v;
|
|
1602
|
-
});
|
|
1603
|
-
});
|
|
1604
|
-
return blockGraph;
|
|
1605
|
-
}
|
|
1606
|
-
function findSmallestWidthAlignment(g, xss) {
|
|
1607
|
-
return _.minBy(_.values(xss), (xs) => {
|
|
1608
|
-
var max = Number.NEGATIVE_INFINITY;
|
|
1609
|
-
var min = Number.POSITIVE_INFINITY;
|
|
1610
|
-
_.forIn(xs, (x, v) => {
|
|
1611
|
-
var halfWidth = width(g, v) / 2;
|
|
1612
|
-
max = Math.max(x + halfWidth, max);
|
|
1613
|
-
min = Math.min(x - halfWidth, min);
|
|
1614
|
-
});
|
|
1615
|
-
return max - min;
|
|
1616
|
-
});
|
|
1617
|
-
}
|
|
1618
|
-
function alignCoordinates(xss, alignTo) {
|
|
1619
|
-
var alignToVals = _.values(alignTo), alignToMin = _.min(alignToVals), alignToMax = _.max(alignToVals);
|
|
1620
|
-
_.forEach(["u", "d"], (vert) => {
|
|
1621
|
-
_.forEach(["l", "r"], (horiz) => {
|
|
1622
|
-
var alignment = vert + horiz, xs = xss[alignment], delta;
|
|
1623
|
-
if (xs === alignTo) return;
|
|
1624
|
-
var xsVals = _.values(xs);
|
|
1625
|
-
delta = horiz === "l" ? alignToMin - _.min(xsVals) : alignToMax - _.max(xsVals);
|
|
1626
|
-
if (delta) {
|
|
1627
|
-
xss[alignment] = _.mapValues(xs, (x) => x + delta);
|
|
1628
|
-
}
|
|
1629
|
-
});
|
|
1630
|
-
});
|
|
1631
|
-
}
|
|
1632
|
-
function balance(xss, align) {
|
|
1633
|
-
return _.mapValues(xss.ul, (_ignore, v) => {
|
|
1634
|
-
if (align) {
|
|
1635
|
-
return xss[align.toLowerCase()][v];
|
|
1636
|
-
} else {
|
|
1637
|
-
var xs = _.sortBy(_.map(xss, v));
|
|
1638
|
-
return (xs[1] + xs[2]) / 2;
|
|
1639
|
-
}
|
|
1640
|
-
});
|
|
1641
|
-
}
|
|
1642
|
-
function positionX(g) {
|
|
1643
|
-
var layering = buildLayerMatrix(g);
|
|
1644
|
-
var conflicts = _.merge(
|
|
1645
|
-
findType1Conflicts(g, layering),
|
|
1646
|
-
findType2Conflicts(g, layering)
|
|
1647
|
-
);
|
|
1648
|
-
var xss = {};
|
|
1649
|
-
var adjustedLayering;
|
|
1650
|
-
_.forEach(["u", "d"], (vert) => {
|
|
1651
|
-
adjustedLayering = vert === "u" ? layering : _.values(layering).reverse();
|
|
1652
|
-
_.forEach(["l", "r"], (horiz) => {
|
|
1653
|
-
if (horiz === "r") {
|
|
1654
|
-
adjustedLayering = _.map(
|
|
1655
|
-
adjustedLayering,
|
|
1656
|
-
(inner) => _.values(inner).reverse()
|
|
1657
|
-
);
|
|
1658
|
-
}
|
|
1659
|
-
var neighborFn = (vert === "u" ? g.predecessors : g.successors).bind(g);
|
|
1660
|
-
var align = verticalAlignment(g, adjustedLayering, conflicts, neighborFn);
|
|
1661
|
-
var xs = horizontalCompaction(
|
|
1662
|
-
g,
|
|
1663
|
-
adjustedLayering,
|
|
1664
|
-
align.root,
|
|
1665
|
-
align.align,
|
|
1666
|
-
horiz === "r"
|
|
1667
|
-
);
|
|
1668
|
-
if (horiz === "r") {
|
|
1669
|
-
xs = _.mapValues(xs, (x) => -x);
|
|
1670
|
-
}
|
|
1671
|
-
xss[vert + horiz] = xs;
|
|
1672
|
-
});
|
|
1673
|
-
});
|
|
1674
|
-
var smallestWidth = findSmallestWidthAlignment(g, xss);
|
|
1675
|
-
alignCoordinates(xss, smallestWidth);
|
|
1676
|
-
return balance(xss, g.graph().align);
|
|
1677
|
-
}
|
|
1678
|
-
function sep(nodeSep, edgeSep, reverseSep) {
|
|
1679
|
-
return (g, v, w) => {
|
|
1680
|
-
var vLabel = g.node(v);
|
|
1681
|
-
var wLabel = g.node(w);
|
|
1682
|
-
var sum = 0;
|
|
1683
|
-
var delta;
|
|
1684
|
-
sum += vLabel.width / 2;
|
|
1685
|
-
if (_.has(vLabel, "labelpos")) {
|
|
1686
|
-
switch (vLabel.labelpos.toLowerCase()) {
|
|
1687
|
-
case "l":
|
|
1688
|
-
delta = -vLabel.width / 2;
|
|
1689
|
-
break;
|
|
1690
|
-
case "r":
|
|
1691
|
-
delta = vLabel.width / 2;
|
|
1692
|
-
break;
|
|
1693
|
-
}
|
|
1694
|
-
}
|
|
1695
|
-
if (delta) {
|
|
1696
|
-
sum += reverseSep ? delta : -delta;
|
|
1697
|
-
}
|
|
1698
|
-
delta = 0;
|
|
1699
|
-
sum += (vLabel.dummy ? edgeSep : nodeSep) / 2;
|
|
1700
|
-
sum += (wLabel.dummy ? edgeSep : nodeSep) / 2;
|
|
1701
|
-
sum += wLabel.width / 2;
|
|
1702
|
-
if (_.has(wLabel, "labelpos")) {
|
|
1703
|
-
switch (wLabel.labelpos.toLowerCase()) {
|
|
1704
|
-
case "l":
|
|
1705
|
-
delta = wLabel.width / 2;
|
|
1706
|
-
break;
|
|
1707
|
-
case "r":
|
|
1708
|
-
delta = -wLabel.width / 2;
|
|
1709
|
-
break;
|
|
1710
|
-
}
|
|
1711
|
-
}
|
|
1712
|
-
if (delta) {
|
|
1713
|
-
sum += reverseSep ? delta : -delta;
|
|
1714
|
-
}
|
|
1715
|
-
delta = 0;
|
|
1716
|
-
return sum;
|
|
1717
|
-
};
|
|
1718
|
-
}
|
|
1719
|
-
function width(g, v) {
|
|
1720
|
-
return g.node(v).width;
|
|
1721
|
-
}
|
|
1722
|
-
|
|
1723
|
-
// src/dagre/position/index.js
|
|
1724
|
-
function position(g) {
|
|
1725
|
-
g = asNonCompoundGraph(g);
|
|
1726
|
-
positionY(g);
|
|
1727
|
-
_.forOwn(positionX(g), (x, v) => {
|
|
1728
|
-
g.node(v).x = x;
|
|
1729
|
-
});
|
|
1730
|
-
}
|
|
1731
|
-
function positionY(g) {
|
|
1732
|
-
var layering = buildLayerMatrix(g);
|
|
1733
|
-
var rankSep = g.graph().ranksep;
|
|
1734
|
-
var prevY = 0;
|
|
1735
|
-
_.forEach(layering, (layer) => {
|
|
1736
|
-
var maxHeight = _.max(_.map(layer, (v) => g.node(v).height));
|
|
1737
|
-
_.forEach(layer, (v) => {
|
|
1738
|
-
g.node(v).y = prevY + maxHeight / 2;
|
|
1739
|
-
});
|
|
1740
|
-
prevY += maxHeight + rankSep;
|
|
1741
|
-
});
|
|
1742
|
-
}
|
|
1743
|
-
|
|
1744
|
-
// src/dagre/rank/util.js
|
|
1745
|
-
function longestPath(g) {
|
|
1746
|
-
var visited = {};
|
|
1747
|
-
function dfs3(v) {
|
|
1748
|
-
var label = g.node(v);
|
|
1749
|
-
if (_.has(visited, v)) {
|
|
1750
|
-
return label.rank;
|
|
1751
|
-
}
|
|
1752
|
-
visited[v] = true;
|
|
1753
|
-
var rank2 = _.min(_.map(g.outEdges(v), (e) => dfs3(e.w) - g.edge(e).minlen));
|
|
1754
|
-
if (rank2 === Number.POSITIVE_INFINITY || // return value of _.map([]) for Lodash 3
|
|
1755
|
-
rank2 === void 0 || // return value of _.map([]) for Lodash 4
|
|
1756
|
-
rank2 === null) {
|
|
1757
|
-
rank2 = 0;
|
|
1758
|
-
}
|
|
1759
|
-
return label.rank = rank2;
|
|
1760
|
-
}
|
|
1761
|
-
_.forEach(g.sources(), dfs3);
|
|
1762
|
-
}
|
|
1763
|
-
function slack(g, e) {
|
|
1764
|
-
return g.node(e.w).rank - g.node(e.v).rank - g.edge(e).minlen;
|
|
1765
|
-
}
|
|
1766
|
-
|
|
1767
|
-
// src/dagre/rank/feasible-tree.js
|
|
1768
|
-
function feasibleTree(g) {
|
|
1769
|
-
var t = new Graph({ directed: false });
|
|
1770
|
-
var start = g.nodes()[0];
|
|
1771
|
-
var size = g.nodeCount();
|
|
1772
|
-
t.setNode(start, {});
|
|
1773
|
-
var edge, delta;
|
|
1774
|
-
while (tightTree(t, g) < size) {
|
|
1775
|
-
edge = findMinSlackEdge(t, g);
|
|
1776
|
-
delta = t.hasNode(edge.v) ? slack(g, edge) : -slack(g, edge);
|
|
1777
|
-
shiftRanks(t, g, delta);
|
|
1778
|
-
}
|
|
1779
|
-
return t;
|
|
1780
|
-
}
|
|
1781
|
-
function tightTree(t, g) {
|
|
1782
|
-
function dfs3(v) {
|
|
1783
|
-
_.forEach(g.nodeEdges(v), (e) => {
|
|
1784
|
-
var edgeV = e.v, w = v === edgeV ? e.w : edgeV;
|
|
1785
|
-
if (!t.hasNode(w) && !slack(g, e)) {
|
|
1786
|
-
t.setNode(w, {});
|
|
1787
|
-
t.setEdge(v, w, {});
|
|
1788
|
-
dfs3(w);
|
|
1789
|
-
}
|
|
1790
|
-
});
|
|
1791
|
-
}
|
|
1792
|
-
_.forEach(t.nodes(), dfs3);
|
|
1793
|
-
return t.nodeCount();
|
|
1794
|
-
}
|
|
1795
|
-
function findMinSlackEdge(t, g) {
|
|
1796
|
-
return _.minBy(g.edges(), (e) => {
|
|
1797
|
-
if (t.hasNode(e.v) !== t.hasNode(e.w)) {
|
|
1798
|
-
return slack(g, e);
|
|
1799
|
-
}
|
|
1800
|
-
});
|
|
1801
|
-
}
|
|
1802
|
-
function shiftRanks(t, g, delta) {
|
|
1803
|
-
_.forEach(t.nodes(), (v) => {
|
|
1804
|
-
g.node(v).rank += delta;
|
|
1805
|
-
});
|
|
1806
|
-
}
|
|
1807
|
-
|
|
1808
|
-
// src/graphlib/alg/dijkstra.js
|
|
1809
|
-
_.constant(1);
|
|
1810
|
-
|
|
1811
|
-
// src/graphlib/alg/floyd-warshall.js
|
|
1812
|
-
_.constant(1);
|
|
1813
|
-
function CycleException() {
|
|
1814
|
-
}
|
|
1815
|
-
CycleException.prototype = new Error();
|
|
1816
|
-
|
|
1817
|
-
// src/graphlib/alg/dfs.js
|
|
1818
|
-
function dfs2(g, vs, order2) {
|
|
1819
|
-
if (!_.isArray(vs)) {
|
|
1820
|
-
vs = [vs];
|
|
1821
|
-
}
|
|
1822
|
-
var navigation = (g.isDirected() ? g.successors : g.neighbors).bind(g);
|
|
1823
|
-
var acc = [];
|
|
1824
|
-
var visited = {};
|
|
1825
|
-
_.each(vs, (v) => {
|
|
1826
|
-
if (!g.hasNode(v)) {
|
|
1827
|
-
throw new Error(`Graph does not have node: ${v}`);
|
|
1828
|
-
}
|
|
1829
|
-
doDfs(g, v, order2 === "post", visited, navigation, acc);
|
|
1830
|
-
});
|
|
1831
|
-
return acc;
|
|
1832
|
-
}
|
|
1833
|
-
function doDfs(g, v, postorder3, visited, navigation, acc) {
|
|
1834
|
-
if (!_.has(visited, v)) {
|
|
1835
|
-
visited[v] = true;
|
|
1836
|
-
if (!postorder3) {
|
|
1837
|
-
acc.push(v);
|
|
1838
|
-
}
|
|
1839
|
-
_.each(navigation(v), (w) => {
|
|
1840
|
-
doDfs(g, w, postorder3, visited, navigation, acc);
|
|
1841
|
-
});
|
|
1842
|
-
if (postorder3) {
|
|
1843
|
-
acc.push(v);
|
|
1844
|
-
}
|
|
1845
|
-
}
|
|
1846
|
-
}
|
|
1847
|
-
|
|
1848
|
-
// src/graphlib/alg/postorder.js
|
|
1849
|
-
function postorder2(g, vs) {
|
|
1850
|
-
return dfs2(g, vs, "post");
|
|
1851
|
-
}
|
|
1852
|
-
|
|
1853
|
-
// src/graphlib/alg/preorder.js
|
|
1854
|
-
function preorder(g, vs) {
|
|
1855
|
-
return dfs2(g, vs, "pre");
|
|
1856
|
-
}
|
|
1857
|
-
|
|
1858
|
-
// src/dagre/rank/network-simplex.js
|
|
1859
|
-
networkSimplex.initLowLimValues = initLowLimValues;
|
|
1860
|
-
networkSimplex.initCutValues = initCutValues;
|
|
1861
|
-
networkSimplex.calcCutValue = calcCutValue;
|
|
1862
|
-
networkSimplex.leaveEdge = leaveEdge;
|
|
1863
|
-
networkSimplex.enterEdge = enterEdge;
|
|
1864
|
-
networkSimplex.exchangeEdges = exchangeEdges;
|
|
1865
|
-
function networkSimplex(g) {
|
|
1866
|
-
g = simplify(g);
|
|
1867
|
-
longestPath(g);
|
|
1868
|
-
var t = feasibleTree(g);
|
|
1869
|
-
initLowLimValues(t);
|
|
1870
|
-
initCutValues(t, g);
|
|
1871
|
-
var e, f;
|
|
1872
|
-
while (e = leaveEdge(t)) {
|
|
1873
|
-
f = enterEdge(t, g, e);
|
|
1874
|
-
exchangeEdges(t, g, e, f);
|
|
1875
|
-
}
|
|
1876
|
-
}
|
|
1877
|
-
function initCutValues(t, g) {
|
|
1878
|
-
var vs = postorder2(t, t.nodes());
|
|
1879
|
-
vs = vs.slice(0, vs.length - 1);
|
|
1880
|
-
_.forEach(vs, (v) => {
|
|
1881
|
-
assignCutValue(t, g, v);
|
|
1882
|
-
});
|
|
1883
|
-
}
|
|
1884
|
-
function assignCutValue(t, g, child) {
|
|
1885
|
-
var childLab = t.node(child);
|
|
1886
|
-
var parent = childLab.parent;
|
|
1887
|
-
t.edge(child, parent).cutvalue = calcCutValue(t, g, child);
|
|
1888
|
-
}
|
|
1889
|
-
function calcCutValue(t, g, child) {
|
|
1890
|
-
var childLab = t.node(child);
|
|
1891
|
-
var parent = childLab.parent;
|
|
1892
|
-
var childIsTail = true;
|
|
1893
|
-
var graphEdge = g.edge(child, parent);
|
|
1894
|
-
var cutValue = 0;
|
|
1895
|
-
if (!graphEdge) {
|
|
1896
|
-
childIsTail = false;
|
|
1897
|
-
graphEdge = g.edge(parent, child);
|
|
1898
|
-
}
|
|
1899
|
-
cutValue = graphEdge.weight;
|
|
1900
|
-
_.forEach(g.nodeEdges(child), (e) => {
|
|
1901
|
-
var isOutEdge = e.v === child, other = isOutEdge ? e.w : e.v;
|
|
1902
|
-
if (other !== parent) {
|
|
1903
|
-
var pointsToHead = isOutEdge === childIsTail, otherWeight = g.edge(e).weight;
|
|
1904
|
-
cutValue += pointsToHead ? otherWeight : -otherWeight;
|
|
1905
|
-
if (isTreeEdge(t, child, other)) {
|
|
1906
|
-
var otherCutValue = t.edge(child, other).cutvalue;
|
|
1907
|
-
cutValue += pointsToHead ? -otherCutValue : otherCutValue;
|
|
1908
|
-
}
|
|
1909
|
-
}
|
|
1910
|
-
});
|
|
1911
|
-
return cutValue;
|
|
1912
|
-
}
|
|
1913
|
-
function initLowLimValues(tree, root) {
|
|
1914
|
-
if (arguments.length < 2) {
|
|
1915
|
-
root = tree.nodes()[0];
|
|
1916
|
-
}
|
|
1917
|
-
dfsAssignLowLim(tree, {}, 1, root);
|
|
1918
|
-
}
|
|
1919
|
-
function dfsAssignLowLim(tree, visited, nextLim, v, parent) {
|
|
1920
|
-
var low = nextLim;
|
|
1921
|
-
var label = tree.node(v);
|
|
1922
|
-
visited[v] = true;
|
|
1923
|
-
_.forEach(tree.neighbors(v), (w) => {
|
|
1924
|
-
if (!_.has(visited, w)) {
|
|
1925
|
-
nextLim = dfsAssignLowLim(tree, visited, nextLim, w, v);
|
|
1926
|
-
}
|
|
1927
|
-
});
|
|
1928
|
-
label.low = low;
|
|
1929
|
-
label.lim = nextLim++;
|
|
1930
|
-
if (parent) {
|
|
1931
|
-
label.parent = parent;
|
|
1932
|
-
} else {
|
|
1933
|
-
delete label.parent;
|
|
1934
|
-
}
|
|
1935
|
-
return nextLim;
|
|
1936
|
-
}
|
|
1937
|
-
function leaveEdge(tree) {
|
|
1938
|
-
return _.find(tree.edges(), (e) => tree.edge(e).cutvalue < 0);
|
|
1939
|
-
}
|
|
1940
|
-
function enterEdge(t, g, edge) {
|
|
1941
|
-
var v = edge.v;
|
|
1942
|
-
var w = edge.w;
|
|
1943
|
-
if (!g.hasEdge(v, w)) {
|
|
1944
|
-
v = edge.w;
|
|
1945
|
-
w = edge.v;
|
|
1946
|
-
}
|
|
1947
|
-
var vLabel = t.node(v);
|
|
1948
|
-
var wLabel = t.node(w);
|
|
1949
|
-
var tailLabel = vLabel;
|
|
1950
|
-
var flip = false;
|
|
1951
|
-
if (vLabel.lim > wLabel.lim) {
|
|
1952
|
-
tailLabel = wLabel;
|
|
1953
|
-
flip = true;
|
|
1954
|
-
}
|
|
1955
|
-
var candidates = _.filter(
|
|
1956
|
-
g.edges(),
|
|
1957
|
-
(edge2) => flip === isDescendant(t, t.node(edge2.v), tailLabel) && flip !== isDescendant(t, t.node(edge2.w), tailLabel)
|
|
1958
|
-
);
|
|
1959
|
-
return _.minBy(candidates, (edge2) => slack(g, edge2));
|
|
1960
|
-
}
|
|
1961
|
-
function exchangeEdges(t, g, e, f) {
|
|
1962
|
-
var v = e.v;
|
|
1963
|
-
var w = e.w;
|
|
1964
|
-
t.removeEdge(v, w);
|
|
1965
|
-
t.setEdge(f.v, f.w, {});
|
|
1966
|
-
initLowLimValues(t);
|
|
1967
|
-
initCutValues(t, g);
|
|
1968
|
-
updateRanks(t, g);
|
|
1969
|
-
}
|
|
1970
|
-
function updateRanks(t, g) {
|
|
1971
|
-
var root = _.find(t.nodes(), (v) => !g.node(v).parent);
|
|
1972
|
-
var vs = preorder(t, root);
|
|
1973
|
-
vs = vs.slice(1);
|
|
1974
|
-
_.forEach(vs, (v) => {
|
|
1975
|
-
var parent = t.node(v).parent, edge = g.edge(v, parent), flipped = false;
|
|
1976
|
-
if (!edge) {
|
|
1977
|
-
edge = g.edge(parent, v);
|
|
1978
|
-
flipped = true;
|
|
1979
|
-
}
|
|
1980
|
-
g.node(v).rank = g.node(parent).rank + (flipped ? edge.minlen : -edge.minlen);
|
|
1981
|
-
});
|
|
1982
|
-
}
|
|
1983
|
-
function isTreeEdge(tree, u, v) {
|
|
1984
|
-
return tree.hasEdge(u, v);
|
|
1985
|
-
}
|
|
1986
|
-
function isDescendant(_tree, vLabel, rootLabel) {
|
|
1987
|
-
return rootLabel.low <= vLabel.lim && vLabel.lim <= rootLabel.lim;
|
|
1988
|
-
}
|
|
1989
|
-
|
|
1990
|
-
// src/dagre/rank/index.js
|
|
1991
|
-
function rank(g) {
|
|
1992
|
-
switch (g.graph().ranker) {
|
|
1993
|
-
case "network-simplex":
|
|
1994
|
-
networkSimplexRanker(g);
|
|
1995
|
-
break;
|
|
1996
|
-
case "tight-tree":
|
|
1997
|
-
tightTreeRanker(g);
|
|
1998
|
-
break;
|
|
1999
|
-
case "longest-path":
|
|
2000
|
-
longestPathRanker(g);
|
|
2001
|
-
break;
|
|
2002
|
-
default:
|
|
2003
|
-
networkSimplexRanker(g);
|
|
2004
|
-
}
|
|
2005
|
-
}
|
|
2006
|
-
var longestPathRanker = longestPath;
|
|
2007
|
-
function tightTreeRanker(g) {
|
|
2008
|
-
longestPath(g);
|
|
2009
|
-
feasibleTree(g);
|
|
2010
|
-
}
|
|
2011
|
-
function networkSimplexRanker(g) {
|
|
2012
|
-
networkSimplex(g);
|
|
2013
|
-
}
|
|
2014
|
-
|
|
2015
|
-
// src/dagre/layout.js
|
|
2016
|
-
function layout(g, opts) {
|
|
2017
|
-
var time2 = opts?.debugTiming ? time : notime;
|
|
2018
|
-
time2("layout", () => {
|
|
2019
|
-
var layoutGraph = time2(" buildLayoutGraph", () => buildLayoutGraph(g));
|
|
2020
|
-
time2(" runLayout", () => {
|
|
2021
|
-
runLayout(layoutGraph, time2);
|
|
2022
|
-
});
|
|
2023
|
-
time2(" updateInputGraph", () => {
|
|
2024
|
-
updateInputGraph(g, layoutGraph);
|
|
2025
|
-
});
|
|
2026
|
-
});
|
|
2027
|
-
}
|
|
2028
|
-
function runLayout(g, time2) {
|
|
2029
|
-
time2(" makeSpaceForEdgeLabels", () => {
|
|
2030
|
-
makeSpaceForEdgeLabels(g);
|
|
2031
|
-
});
|
|
2032
|
-
time2(" removeSelfEdges", () => {
|
|
2033
|
-
removeSelfEdges(g);
|
|
2034
|
-
});
|
|
2035
|
-
time2(" acyclic", () => {
|
|
2036
|
-
run(g);
|
|
2037
|
-
});
|
|
2038
|
-
time2(" nestingGraph.run", () => {
|
|
2039
|
-
run2(g);
|
|
2040
|
-
});
|
|
2041
|
-
time2(" rank", () => {
|
|
2042
|
-
rank(asNonCompoundGraph(g));
|
|
2043
|
-
});
|
|
2044
|
-
time2(" injectEdgeLabelProxies", () => {
|
|
2045
|
-
injectEdgeLabelProxies(g);
|
|
2046
|
-
});
|
|
2047
|
-
time2(" removeEmptyRanks", () => {
|
|
2048
|
-
removeEmptyRanks(g);
|
|
2049
|
-
});
|
|
2050
|
-
time2(" nestingGraph.cleanup", () => {
|
|
2051
|
-
cleanup(g);
|
|
2052
|
-
});
|
|
2053
|
-
time2(" normalizeRanks", () => {
|
|
2054
|
-
normalizeRanks(g);
|
|
2055
|
-
});
|
|
2056
|
-
time2(" assignRankMinMax", () => {
|
|
2057
|
-
assignRankMinMax(g);
|
|
2058
|
-
});
|
|
2059
|
-
time2(" removeEdgeLabelProxies", () => {
|
|
2060
|
-
removeEdgeLabelProxies(g);
|
|
2061
|
-
});
|
|
2062
|
-
time2(" normalize.run", () => {
|
|
2063
|
-
run3(g);
|
|
2064
|
-
});
|
|
2065
|
-
time2(" parentDummyChains", () => {
|
|
2066
|
-
parentDummyChains(g);
|
|
2067
|
-
});
|
|
2068
|
-
time2(" addBorderSegments", () => {
|
|
2069
|
-
addBorderSegments(g);
|
|
2070
|
-
});
|
|
2071
|
-
time2(" order", () => {
|
|
2072
|
-
order(g);
|
|
2073
|
-
});
|
|
2074
|
-
time2(" insertSelfEdges", () => {
|
|
2075
|
-
insertSelfEdges(g);
|
|
2076
|
-
});
|
|
2077
|
-
time2(" adjustCoordinateSystem", () => {
|
|
2078
|
-
adjust(g);
|
|
2079
|
-
});
|
|
2080
|
-
time2(" position", () => {
|
|
2081
|
-
position(g);
|
|
2082
|
-
});
|
|
2083
|
-
time2(" positionSelfEdges", () => {
|
|
2084
|
-
positionSelfEdges(g);
|
|
2085
|
-
});
|
|
2086
|
-
time2(" removeBorderNodes", () => {
|
|
2087
|
-
removeBorderNodes(g);
|
|
2088
|
-
});
|
|
2089
|
-
time2(" normalize.undo", () => {
|
|
2090
|
-
undo3(g);
|
|
2091
|
-
});
|
|
2092
|
-
time2(" fixupEdgeLabelCoords", () => {
|
|
2093
|
-
fixupEdgeLabelCoords(g);
|
|
2094
|
-
});
|
|
2095
|
-
time2(" undoCoordinateSystem", () => {
|
|
2096
|
-
undo2(g);
|
|
2097
|
-
});
|
|
2098
|
-
time2(" translateGraph", () => {
|
|
2099
|
-
translateGraph(g);
|
|
2100
|
-
});
|
|
2101
|
-
time2(" assignNodeIntersects", () => {
|
|
2102
|
-
assignNodeIntersects(g);
|
|
2103
|
-
});
|
|
2104
|
-
time2(" reversePoints", () => {
|
|
2105
|
-
reversePointsForReversedEdges(g);
|
|
2106
|
-
});
|
|
2107
|
-
time2(" acyclic.undo", () => {
|
|
2108
|
-
undo(g);
|
|
2109
|
-
});
|
|
2110
|
-
}
|
|
2111
|
-
function updateInputGraph(inputGraph, layoutGraph) {
|
|
2112
|
-
_.forEach(inputGraph.nodes(), (v) => {
|
|
2113
|
-
var inputLabel = inputGraph.node(v);
|
|
2114
|
-
var layoutLabel = layoutGraph.node(v);
|
|
2115
|
-
if (inputLabel) {
|
|
2116
|
-
inputLabel.x = layoutLabel.x;
|
|
2117
|
-
inputLabel.y = layoutLabel.y;
|
|
2118
|
-
if (layoutGraph.children(v).length) {
|
|
2119
|
-
inputLabel.width = layoutLabel.width;
|
|
2120
|
-
inputLabel.height = layoutLabel.height;
|
|
2121
|
-
}
|
|
2122
|
-
}
|
|
2123
|
-
});
|
|
2124
|
-
_.forEach(inputGraph.edges(), (e) => {
|
|
2125
|
-
var inputLabel = inputGraph.edge(e);
|
|
2126
|
-
var layoutLabel = layoutGraph.edge(e);
|
|
2127
|
-
inputLabel.points = layoutLabel.points;
|
|
2128
|
-
if (_.has(layoutLabel, "x")) {
|
|
2129
|
-
inputLabel.x = layoutLabel.x;
|
|
2130
|
-
inputLabel.y = layoutLabel.y;
|
|
2131
|
-
}
|
|
2132
|
-
});
|
|
2133
|
-
inputGraph.graph().width = layoutGraph.graph().width;
|
|
2134
|
-
inputGraph.graph().height = layoutGraph.graph().height;
|
|
2135
|
-
}
|
|
2136
|
-
var graphNumAttrs = ["nodesep", "edgesep", "ranksep", "marginx", "marginy"];
|
|
2137
|
-
var graphDefaults = { ranksep: 50, edgesep: 20, nodesep: 50, rankdir: "tb" };
|
|
2138
|
-
var graphAttrs = ["acyclicer", "ranker", "rankdir", "align"];
|
|
2139
|
-
var nodeNumAttrs = ["width", "height"];
|
|
2140
|
-
var nodeDefaults = { width: 0, height: 0 };
|
|
2141
|
-
var edgeNumAttrs = ["minlen", "weight", "width", "height", "labeloffset"];
|
|
2142
|
-
var edgeDefaults = {
|
|
2143
|
-
minlen: 1,
|
|
2144
|
-
weight: 1,
|
|
2145
|
-
width: 0,
|
|
2146
|
-
height: 0,
|
|
2147
|
-
labeloffset: 10,
|
|
2148
|
-
labelpos: "r"
|
|
2149
|
-
};
|
|
2150
|
-
var edgeAttrs = ["labelpos"];
|
|
2151
|
-
function buildLayoutGraph(inputGraph) {
|
|
2152
|
-
var g = new Graph({ multigraph: true, compound: true });
|
|
2153
|
-
var graph = canonicalize(inputGraph.graph());
|
|
2154
|
-
g.setGraph(
|
|
2155
|
-
_.merge(
|
|
2156
|
-
{},
|
|
2157
|
-
graphDefaults,
|
|
2158
|
-
selectNumberAttrs(graph, graphNumAttrs),
|
|
2159
|
-
_.pick(graph, graphAttrs)
|
|
2160
|
-
)
|
|
2161
|
-
);
|
|
2162
|
-
_.forEach(inputGraph.nodes(), (v) => {
|
|
2163
|
-
var node = canonicalize(inputGraph.node(v));
|
|
2164
|
-
g.setNode(
|
|
2165
|
-
v,
|
|
2166
|
-
_.defaults(selectNumberAttrs(node, nodeNumAttrs), nodeDefaults)
|
|
2167
|
-
);
|
|
2168
|
-
g.setParent(v, inputGraph.parent(v));
|
|
2169
|
-
});
|
|
2170
|
-
_.forEach(inputGraph.edges(), (e) => {
|
|
2171
|
-
var edge = canonicalize(inputGraph.edge(e));
|
|
2172
|
-
g.setEdge(
|
|
2173
|
-
e,
|
|
2174
|
-
_.merge(
|
|
2175
|
-
{},
|
|
2176
|
-
edgeDefaults,
|
|
2177
|
-
selectNumberAttrs(edge, edgeNumAttrs),
|
|
2178
|
-
_.pick(edge, edgeAttrs)
|
|
2179
|
-
)
|
|
2180
|
-
);
|
|
2181
|
-
});
|
|
2182
|
-
return g;
|
|
2183
|
-
}
|
|
2184
|
-
function makeSpaceForEdgeLabels(g) {
|
|
2185
|
-
var graph = g.graph();
|
|
2186
|
-
graph.ranksep /= 2;
|
|
2187
|
-
_.forEach(g.edges(), (e) => {
|
|
2188
|
-
var edge = g.edge(e);
|
|
2189
|
-
edge.minlen *= 2;
|
|
2190
|
-
if (edge.labelpos.toLowerCase() !== "c") {
|
|
2191
|
-
if (graph.rankdir === "TB" || graph.rankdir === "BT") {
|
|
2192
|
-
edge.width += edge.labeloffset;
|
|
2193
|
-
} else {
|
|
2194
|
-
edge.height += edge.labeloffset;
|
|
2195
|
-
}
|
|
2196
|
-
}
|
|
2197
|
-
});
|
|
2198
|
-
}
|
|
2199
|
-
function injectEdgeLabelProxies(g) {
|
|
2200
|
-
_.forEach(g.edges(), (e) => {
|
|
2201
|
-
var edge = g.edge(e);
|
|
2202
|
-
if (edge.width && edge.height) {
|
|
2203
|
-
var v = g.node(e.v);
|
|
2204
|
-
var w = g.node(e.w);
|
|
2205
|
-
var label = { rank: (w.rank - v.rank) / 2 + v.rank, e };
|
|
2206
|
-
addDummyNode(g, "edge-proxy", label, "_ep");
|
|
2207
|
-
}
|
|
2208
|
-
});
|
|
2209
|
-
}
|
|
2210
|
-
function assignRankMinMax(g) {
|
|
2211
|
-
var maxRank2 = 0;
|
|
2212
|
-
_.forEach(g.nodes(), (v) => {
|
|
2213
|
-
var node = g.node(v);
|
|
2214
|
-
if (node.borderTop) {
|
|
2215
|
-
node.minRank = g.node(node.borderTop).rank;
|
|
2216
|
-
node.maxRank = g.node(node.borderBottom).rank;
|
|
2217
|
-
maxRank2 = _.max(maxRank2, node.maxRank);
|
|
2218
|
-
}
|
|
2219
|
-
});
|
|
2220
|
-
g.graph().maxRank = maxRank2;
|
|
2221
|
-
}
|
|
2222
|
-
function removeEdgeLabelProxies(g) {
|
|
2223
|
-
_.forEach(g.nodes(), (v) => {
|
|
2224
|
-
var node = g.node(v);
|
|
2225
|
-
if (node.dummy === "edge-proxy") {
|
|
2226
|
-
g.edge(node.e).labelRank = node.rank;
|
|
2227
|
-
g.removeNode(v);
|
|
2228
|
-
}
|
|
2229
|
-
});
|
|
2230
|
-
}
|
|
2231
|
-
function translateGraph(g) {
|
|
2232
|
-
var minX = Number.POSITIVE_INFINITY;
|
|
2233
|
-
var maxX = 0;
|
|
2234
|
-
var minY = Number.POSITIVE_INFINITY;
|
|
2235
|
-
var maxY = 0;
|
|
2236
|
-
var graphLabel = g.graph();
|
|
2237
|
-
var marginX = graphLabel.marginx || 0;
|
|
2238
|
-
var marginY = graphLabel.marginy || 0;
|
|
2239
|
-
function getExtremes(attrs) {
|
|
2240
|
-
var x = attrs.x;
|
|
2241
|
-
var y = attrs.y;
|
|
2242
|
-
var w = attrs.width;
|
|
2243
|
-
var h = attrs.height;
|
|
2244
|
-
minX = Math.min(minX, x - w / 2);
|
|
2245
|
-
maxX = Math.max(maxX, x + w / 2);
|
|
2246
|
-
minY = Math.min(minY, y - h / 2);
|
|
2247
|
-
maxY = Math.max(maxY, y + h / 2);
|
|
2248
|
-
}
|
|
2249
|
-
_.forEach(g.nodes(), (v) => {
|
|
2250
|
-
getExtremes(g.node(v));
|
|
2251
|
-
});
|
|
2252
|
-
_.forEach(g.edges(), (e) => {
|
|
2253
|
-
var edge = g.edge(e);
|
|
2254
|
-
if (_.has(edge, "x")) {
|
|
2255
|
-
getExtremes(edge);
|
|
2256
|
-
}
|
|
2257
|
-
});
|
|
2258
|
-
minX -= marginX;
|
|
2259
|
-
minY -= marginY;
|
|
2260
|
-
_.forEach(g.nodes(), (v) => {
|
|
2261
|
-
var node = g.node(v);
|
|
2262
|
-
node.x -= minX;
|
|
2263
|
-
node.y -= minY;
|
|
2264
|
-
});
|
|
2265
|
-
_.forEach(g.edges(), (e) => {
|
|
2266
|
-
var edge = g.edge(e);
|
|
2267
|
-
_.forEach(edge.points, (p) => {
|
|
2268
|
-
p.x -= minX;
|
|
2269
|
-
p.y -= minY;
|
|
2270
|
-
});
|
|
2271
|
-
if (_.has(edge, "x")) {
|
|
2272
|
-
edge.x -= minX;
|
|
2273
|
-
}
|
|
2274
|
-
if (_.has(edge, "y")) {
|
|
2275
|
-
edge.y -= minY;
|
|
2276
|
-
}
|
|
2277
|
-
});
|
|
2278
|
-
graphLabel.width = maxX - minX + marginX;
|
|
2279
|
-
graphLabel.height = maxY - minY + marginY;
|
|
2280
|
-
}
|
|
2281
|
-
function assignNodeIntersects(g) {
|
|
2282
|
-
_.forEach(g.edges(), (e) => {
|
|
2283
|
-
var edge = g.edge(e);
|
|
2284
|
-
var nodeV = g.node(e.v);
|
|
2285
|
-
var nodeW = g.node(e.w);
|
|
2286
|
-
var p1, p2;
|
|
2287
|
-
if (!edge.points) {
|
|
2288
|
-
edge.points = [];
|
|
2289
|
-
p1 = nodeW;
|
|
2290
|
-
p2 = nodeV;
|
|
2291
|
-
} else {
|
|
2292
|
-
p1 = edge.points[0];
|
|
2293
|
-
p2 = edge.points[edge.points.length - 1];
|
|
2294
|
-
}
|
|
2295
|
-
edge.points.unshift(intersectRect(nodeV, p1));
|
|
2296
|
-
edge.points.push(intersectRect(nodeW, p2));
|
|
2297
|
-
});
|
|
2298
|
-
}
|
|
2299
|
-
function fixupEdgeLabelCoords(g) {
|
|
2300
|
-
_.forEach(g.edges(), (e) => {
|
|
2301
|
-
var edge = g.edge(e);
|
|
2302
|
-
if (_.has(edge, "x")) {
|
|
2303
|
-
if (edge.labelpos === "l" || edge.labelpos === "r") {
|
|
2304
|
-
edge.width -= edge.labeloffset;
|
|
2305
|
-
}
|
|
2306
|
-
switch (edge.labelpos) {
|
|
2307
|
-
case "l":
|
|
2308
|
-
edge.x -= edge.width / 2 + edge.labeloffset;
|
|
2309
|
-
break;
|
|
2310
|
-
case "r":
|
|
2311
|
-
edge.x += edge.width / 2 + edge.labeloffset;
|
|
2312
|
-
break;
|
|
2313
|
-
}
|
|
2314
|
-
}
|
|
2315
|
-
});
|
|
2316
|
-
}
|
|
2317
|
-
function reversePointsForReversedEdges(g) {
|
|
2318
|
-
_.forEach(g.edges(), (e) => {
|
|
2319
|
-
var edge = g.edge(e);
|
|
2320
|
-
if (edge.reversed) {
|
|
2321
|
-
edge.points.reverse();
|
|
2322
|
-
}
|
|
2323
|
-
});
|
|
2324
|
-
}
|
|
2325
|
-
function removeBorderNodes(g) {
|
|
2326
|
-
_.forEach(g.nodes(), (v) => {
|
|
2327
|
-
if (g.children(v).length) {
|
|
2328
|
-
var node = g.node(v);
|
|
2329
|
-
var t = g.node(node.borderTop);
|
|
2330
|
-
var b = g.node(node.borderBottom);
|
|
2331
|
-
var l = g.node(_.last(node.borderLeft));
|
|
2332
|
-
var r = g.node(_.last(node.borderRight));
|
|
2333
|
-
node.width = Math.abs(r.x - l.x);
|
|
2334
|
-
node.height = Math.abs(b.y - t.y);
|
|
2335
|
-
node.x = l.x + node.width / 2;
|
|
2336
|
-
node.y = t.y + node.height / 2;
|
|
2337
|
-
}
|
|
2338
|
-
});
|
|
2339
|
-
_.forEach(g.nodes(), (v) => {
|
|
2340
|
-
if (g.node(v).dummy === "border") {
|
|
2341
|
-
g.removeNode(v);
|
|
2342
|
-
}
|
|
2343
|
-
});
|
|
2344
|
-
}
|
|
2345
|
-
function removeSelfEdges(g) {
|
|
2346
|
-
_.forEach(g.edges(), (e) => {
|
|
2347
|
-
if (e.v === e.w) {
|
|
2348
|
-
var node = g.node(e.v);
|
|
2349
|
-
if (!node.selfEdges) {
|
|
2350
|
-
node.selfEdges = [];
|
|
2351
|
-
}
|
|
2352
|
-
node.selfEdges.push({ e, label: g.edge(e) });
|
|
2353
|
-
g.removeEdge(e);
|
|
2354
|
-
}
|
|
2355
|
-
});
|
|
2356
|
-
}
|
|
2357
|
-
function insertSelfEdges(g) {
|
|
2358
|
-
var layers = buildLayerMatrix(g);
|
|
2359
|
-
_.forEach(layers, (layer) => {
|
|
2360
|
-
var orderShift = 0;
|
|
2361
|
-
_.forEach(layer, (v, i) => {
|
|
2362
|
-
var node = g.node(v);
|
|
2363
|
-
node.order = i + orderShift;
|
|
2364
|
-
_.forEach(node.selfEdges, (selfEdge) => {
|
|
2365
|
-
addDummyNode(
|
|
2366
|
-
g,
|
|
2367
|
-
"selfedge",
|
|
2368
|
-
{
|
|
2369
|
-
width: selfEdge.label.width,
|
|
2370
|
-
height: selfEdge.label.height,
|
|
2371
|
-
rank: node.rank,
|
|
2372
|
-
order: i + ++orderShift,
|
|
2373
|
-
e: selfEdge.e,
|
|
2374
|
-
label: selfEdge.label
|
|
2375
|
-
},
|
|
2376
|
-
"_se"
|
|
2377
|
-
);
|
|
2378
|
-
});
|
|
2379
|
-
delete node.selfEdges;
|
|
2380
|
-
});
|
|
2381
|
-
});
|
|
2382
|
-
}
|
|
2383
|
-
function positionSelfEdges(g) {
|
|
2384
|
-
_.forEach(g.nodes(), (v) => {
|
|
2385
|
-
var node = g.node(v);
|
|
2386
|
-
if (node.dummy === "selfedge") {
|
|
2387
|
-
var selfNode = g.node(node.e.v);
|
|
2388
|
-
var x = selfNode.x + selfNode.width / 2;
|
|
2389
|
-
var y = selfNode.y;
|
|
2390
|
-
var dx = node.x - x;
|
|
2391
|
-
var dy = selfNode.height / 2;
|
|
2392
|
-
g.setEdge(node.e, node.label);
|
|
2393
|
-
g.removeNode(v);
|
|
2394
|
-
node.label.points = [
|
|
2395
|
-
{ x: x + 2 * dx / 3, y: y - dy },
|
|
2396
|
-
{ x: x + 5 * dx / 6, y: y - dy },
|
|
2397
|
-
{ x: x + dx, y },
|
|
2398
|
-
{ x: x + 5 * dx / 6, y: y + dy },
|
|
2399
|
-
{ x: x + 2 * dx / 3, y: y + dy }
|
|
2400
|
-
];
|
|
2401
|
-
node.label.x = node.x;
|
|
2402
|
-
node.label.y = node.y;
|
|
2403
|
-
}
|
|
2404
|
-
});
|
|
2405
|
-
}
|
|
2406
|
-
function selectNumberAttrs(obj, attrs) {
|
|
2407
|
-
return _.mapValues(_.pick(obj, attrs), Number);
|
|
2408
|
-
}
|
|
2409
|
-
function canonicalize(attrs) {
|
|
2410
|
-
var newAttrs = {};
|
|
2411
|
-
_.forEach(attrs, (v, k) => {
|
|
2412
|
-
newAttrs[k.toLowerCase()] = v;
|
|
2413
|
-
});
|
|
2414
|
-
return newAttrs;
|
|
2415
|
-
}
|
|
2416
|
-
|
|
2417
|
-
// src/layout/buildFlatCharts.ts
|
|
2418
|
-
function buildFlatCharts({
|
|
2419
|
-
lodash,
|
|
2420
|
-
transitions = [],
|
|
2421
|
-
newId,
|
|
2422
|
-
getStateParams,
|
|
2423
|
-
getTransitionParams,
|
|
2424
|
-
padding = [5, 5],
|
|
2425
|
-
initialStateKey = "<initial>",
|
|
2426
|
-
finalStateKey = "<final>",
|
|
2427
|
-
vertical = false,
|
|
2428
|
-
direction
|
|
2429
|
-
}) {
|
|
2430
|
-
const prevLodash = getLodash();
|
|
2431
|
-
try {
|
|
2432
|
-
setLodash(lodash);
|
|
2433
|
-
const rankdir = direction || (vertical ? "tb" : "lr");
|
|
2434
|
-
const graph = new Graph({
|
|
2435
|
-
directed: true,
|
|
2436
|
-
multigraph: true
|
|
2437
|
-
}).setGraph({ rankdir, multigraph: true });
|
|
2438
|
-
const nodesIndex = {};
|
|
2439
|
-
const getStateNodeId = (key, state = key) => {
|
|
2440
|
-
let id = nodesIndex[key];
|
|
2441
|
-
if (!id) {
|
|
2442
|
-
id = nodesIndex[key] = newId("s");
|
|
2443
|
-
const params = getStateParams(key, state);
|
|
2444
|
-
graph.setNode(id, { id, ...params });
|
|
2445
|
-
}
|
|
2446
|
-
return id;
|
|
2447
|
-
};
|
|
2448
|
-
for (const [fromState, event, toState] of transitions) {
|
|
2449
|
-
const fromStateKey = fromState || initialStateKey;
|
|
2450
|
-
const from = getStateNodeId(fromStateKey, fromState);
|
|
2451
|
-
const toStateKey = toState || finalStateKey;
|
|
2452
|
-
const to = getStateNodeId(toStateKey, toState);
|
|
2453
|
-
const params = getTransitionParams(fromStateKey, event, toStateKey);
|
|
2454
|
-
const edgeId = newId("t");
|
|
2455
|
-
graph.setEdge(
|
|
2456
|
-
from,
|
|
2457
|
-
to,
|
|
2458
|
-
{
|
|
2459
|
-
id: edgeId,
|
|
2460
|
-
...params
|
|
2461
|
-
},
|
|
2462
|
-
edgeId
|
|
2463
|
-
);
|
|
2464
|
-
}
|
|
2465
|
-
layout(graph, { rankdir });
|
|
2466
|
-
const [top, right, bottom, left] = getPadding(padding);
|
|
2467
|
-
const nodes = graph.nodes().map((id) => {
|
|
2468
|
-
const n = graph.node(id);
|
|
2469
|
-
n.x += -n.width / 2;
|
|
2470
|
-
n.y += -n.height / 2;
|
|
2471
|
-
return n;
|
|
2472
|
-
});
|
|
2473
|
-
const edges = graph.edges().map(({ v, w, name }) => {
|
|
2474
|
-
const e = graph.edge(v, w, name);
|
|
2475
|
-
e.x += -e.width / 2;
|
|
2476
|
-
e.y += -e.height / 2;
|
|
2477
|
-
return e;
|
|
2478
|
-
});
|
|
2479
|
-
let x = 0;
|
|
2480
|
-
let y = 0;
|
|
2481
|
-
let width2 = 0;
|
|
2482
|
-
let height = 0;
|
|
2483
|
-
const addCoords = (node) => {
|
|
2484
|
-
x = Math.min(x, node.x);
|
|
2485
|
-
y = Math.min(y, node.y);
|
|
2486
|
-
width2 = Math.max(width2, node.x + node.width);
|
|
2487
|
-
height = Math.max(height, node.y + node.height);
|
|
2488
|
-
};
|
|
2489
|
-
nodes.forEach(addCoords);
|
|
2490
|
-
edges.forEach(addCoords);
|
|
2491
|
-
edges.forEach((edge) => {
|
|
2492
|
-
for (const point of edge.points) {
|
|
2493
|
-
x = Math.min(x, edge.x);
|
|
2494
|
-
y = Math.min(y, edge.y);
|
|
2495
|
-
width2 = Math.max(width2, point.x);
|
|
2496
|
-
height = Math.max(height, point.y);
|
|
2497
|
-
}
|
|
2498
|
-
});
|
|
2499
|
-
width2 += left + right;
|
|
2500
|
-
height += bottom + top;
|
|
2501
|
-
const updateCoords = (node) => {
|
|
2502
|
-
node.x = Math.round(node.x + left);
|
|
2503
|
-
node.y = Math.round(node.y + bottom);
|
|
2504
|
-
};
|
|
2505
|
-
const updateBox = (node) => {
|
|
2506
|
-
updateCoords(node);
|
|
2507
|
-
node.y = Math.round(node.y + node.height);
|
|
2508
|
-
};
|
|
2509
|
-
nodes.forEach(updateBox);
|
|
2510
|
-
edges.forEach(updateBox);
|
|
2511
|
-
edges.forEach((edge) => {
|
|
2512
|
-
edge.points.forEach(updateCoords);
|
|
2513
|
-
});
|
|
2514
|
-
return { x, y, width: width2, height, nodes, edges };
|
|
2515
|
-
} finally {
|
|
2516
|
-
setLodash(prevLodash);
|
|
2517
|
-
}
|
|
2518
|
-
}
|
|
2519
|
-
|
|
2520
|
-
// src/layout/buildCharts.ts
|
|
2521
|
-
function buildCharts({
|
|
2522
|
-
lodash,
|
|
2523
|
-
config,
|
|
2524
|
-
newId,
|
|
2525
|
-
getStateParams,
|
|
2526
|
-
getStateLabel = (stateKey) => stateKey.replace(/([a-z])([A-Z])/g, "$1 $2"),
|
|
2527
|
-
getTransitionParams,
|
|
2528
|
-
padding = [5, 5],
|
|
2529
|
-
vertical = false,
|
|
2530
|
-
initialStateKey = "<initial>",
|
|
2531
|
-
finalStateKey = "<final>",
|
|
2532
|
-
direction
|
|
2533
|
-
}) {
|
|
2534
|
-
return buildChart(config);
|
|
2535
|
-
function buildChart(config2, id = newId("s"), stack = []) {
|
|
2536
|
-
stack.push(config2);
|
|
2537
|
-
try {
|
|
2538
|
-
const buildStateLabel = (state, key = state) => {
|
|
2539
|
-
if (key === initialStateKey || key === finalStateKey) {
|
|
2540
|
-
return "";
|
|
2541
|
-
}
|
|
2542
|
-
let result;
|
|
2543
|
-
for (let i = stack.length - 1; result === void 0 && i >= 0; i--) {
|
|
2544
|
-
const conf = stack[i];
|
|
2545
|
-
if (!conf.states) continue;
|
|
2546
|
-
for (const subState of conf.states) {
|
|
2547
|
-
if (subState.key !== state) continue;
|
|
2548
|
-
result = subState.label ?? getStateLabel(state);
|
|
2549
|
-
break;
|
|
2550
|
-
}
|
|
2551
|
-
}
|
|
2552
|
-
return result ?? getStateLabel(state) ?? state;
|
|
2553
|
-
};
|
|
2554
|
-
const graph = buildFlatCharts({
|
|
2555
|
-
lodash,
|
|
2556
|
-
transitions: config2.transitions || [],
|
|
2557
|
-
newId,
|
|
2558
|
-
getStateParams: (state, key) => {
|
|
2559
|
-
const params = getStateParams(state, key);
|
|
2560
|
-
delete params.state;
|
|
2561
|
-
params.text = buildStateLabel(state, key);
|
|
2562
|
-
return params;
|
|
2563
|
-
},
|
|
2564
|
-
getTransitionParams,
|
|
2565
|
-
padding,
|
|
2566
|
-
initialStateKey,
|
|
2567
|
-
finalStateKey,
|
|
2568
|
-
vertical,
|
|
2569
|
-
direction
|
|
2570
|
-
});
|
|
2571
|
-
const index = graph.nodes.reduce(
|
|
2572
|
-
(index2, node) => {
|
|
2573
|
-
index2[node.key] = node.id;
|
|
2574
|
-
return index2;
|
|
2575
|
-
},
|
|
2576
|
-
{}
|
|
2577
|
-
);
|
|
2578
|
-
const text = config2.label ?? getStateLabel(config2.key) ?? config2.key;
|
|
2579
|
-
const children = [];
|
|
2580
|
-
if (config2.states) {
|
|
2581
|
-
for (const child of config2.states) {
|
|
2582
|
-
const childId = index[child.key];
|
|
2583
|
-
children.push(buildChart(child, childId, [...stack]));
|
|
2584
|
-
}
|
|
2585
|
-
}
|
|
2586
|
-
return {
|
|
2587
|
-
id,
|
|
2588
|
-
key: config2.key,
|
|
2589
|
-
// state,
|
|
2590
|
-
text,
|
|
2591
|
-
...graph,
|
|
2592
|
-
children
|
|
2593
|
-
};
|
|
2594
|
-
} finally {
|
|
2595
|
-
}
|
|
2596
|
-
}
|
|
2597
|
-
}
|
|
2598
|
-
|
|
2599
|
-
// src/layout/getLabelDimensions.ts
|
|
2600
|
-
function getLabelDimensions(label, {
|
|
2601
|
-
padding = 0,
|
|
2602
|
-
fontSize = 14,
|
|
2603
|
-
getCharWidth = () => fontSize / 1.61,
|
|
2604
|
-
// Golden ratio and all that jazz :-)
|
|
2605
|
-
lineGap = fontSize * 0.2
|
|
2606
|
-
} = {}) {
|
|
2607
|
-
const lines = [label];
|
|
2608
|
-
let dimensions = { width: 0, height: 0 };
|
|
2609
|
-
let lineNumber = 0;
|
|
2610
|
-
for (const line of lines) {
|
|
2611
|
-
if (lineNumber++) dimensions.height += lineGap;
|
|
2612
|
-
dimensions = expandBox(
|
|
2613
|
-
dimensions,
|
|
2614
|
-
getLineDimensions({
|
|
2615
|
-
line,
|
|
2616
|
-
fontSize,
|
|
2617
|
-
getCharWidth
|
|
2618
|
-
})
|
|
2619
|
-
);
|
|
2620
|
-
}
|
|
2621
|
-
const [top, right, bottom, left] = getPadding(padding);
|
|
2622
|
-
return {
|
|
2623
|
-
width: Math.round(dimensions.width + left + right),
|
|
2624
|
-
height: Math.round(dimensions.height + top + bottom)
|
|
2625
|
-
};
|
|
2626
|
-
function expandBox(dim1, dim2) {
|
|
2627
|
-
return {
|
|
2628
|
-
width: Math.round(Math.max(dim1.width, dim2.width)),
|
|
2629
|
-
height: Math.round(dim1.height + dim2.height)
|
|
2630
|
-
};
|
|
2631
|
-
}
|
|
2632
|
-
function getLineDimensions({
|
|
2633
|
-
line,
|
|
2634
|
-
fontSize: fontSize2 = 14,
|
|
2635
|
-
getCharWidth: getCharWidth2 = () => fontSize2
|
|
2636
|
-
}) {
|
|
2637
|
-
return {
|
|
2638
|
-
width: line.split("").reduce((w, c) => w += getCharWidth2(c), 0),
|
|
2639
|
-
height: fontSize2
|
|
2640
|
-
};
|
|
2641
|
-
}
|
|
2642
|
-
}
|
|
2643
|
-
|
|
2644
|
-
// src/layout/getGraphParamsProvider.ts
|
|
2645
|
-
function getGraphParamsProvider({
|
|
2646
|
-
fontSize = 14,
|
|
2647
|
-
stateFontSize = fontSize,
|
|
2648
|
-
stateTextPadding = 0,
|
|
2649
|
-
transitionsFontSize = fontSize,
|
|
2650
|
-
transitionsTextPadding = 0,
|
|
2651
|
-
getStateLabel = (state) => state,
|
|
2652
|
-
getTransitionLabel = (_fromState, event, _toState) => event
|
|
2653
|
-
} = {}) {
|
|
2654
|
-
return {
|
|
2655
|
-
getStateParams: (stateKey, state = stateKey) => {
|
|
2656
|
-
const padding = getPadding(stateTextPadding);
|
|
2657
|
-
const fontSize2 = stateFontSize;
|
|
2658
|
-
const stateLabel = getStateLabel(state);
|
|
2659
|
-
return {
|
|
2660
|
-
...getLabelDimensions(stateLabel, {
|
|
2661
|
-
padding,
|
|
2662
|
-
fontSize: fontSize2
|
|
2663
|
-
}),
|
|
2664
|
-
state,
|
|
2665
|
-
text: stateLabel,
|
|
2666
|
-
key: stateKey,
|
|
2667
|
-
padding,
|
|
2668
|
-
fontSize: fontSize2
|
|
2669
|
-
};
|
|
2670
|
-
},
|
|
2671
|
-
getTransitionParams: (fromStateKey, event, toStateKey) => {
|
|
2672
|
-
const padding = getPadding(transitionsTextPadding);
|
|
2673
|
-
const fontSize2 = transitionsFontSize;
|
|
2674
|
-
const eventLabel = getTransitionLabel(fromStateKey, event, toStateKey);
|
|
2675
|
-
return {
|
|
2676
|
-
...getLabelDimensions(eventLabel, {
|
|
2677
|
-
padding,
|
|
2678
|
-
fontSize: fontSize2
|
|
2679
|
-
}),
|
|
2680
|
-
from: fromStateKey,
|
|
2681
|
-
event,
|
|
2682
|
-
to: toStateKey,
|
|
2683
|
-
text: eventLabel,
|
|
2684
|
-
padding,
|
|
2685
|
-
fontSize: fontSize2
|
|
2686
|
-
};
|
|
2687
|
-
}
|
|
2688
|
-
};
|
|
2689
|
-
}
|
|
2690
|
-
|
|
2691
|
-
export { buildCharts, buildFlatCharts, getGraphParamsProvider, getLabelDimensions };
|