@statewalker/fsm-charts 0.2.4 → 0.2.6

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