@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.
- package/README.md +206 -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-CxQlIwTh.js +494 -0
- package/dist/buildStatechartsPanel-CxQlIwTh.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 -1
- package/dist/index-dom.d.ts +2 -49
- package/dist/index-dom.js +2 -1
- package/dist/index-html.d.ts +3 -2
- package/dist/index-html.js +2 -2
- package/dist/index-layout.d.ts +3 -77
- package/dist/index-layout.js +2 -2
- package/dist/index-runtime.d.ts +3 -141
- package/dist/index-runtime.js +2 -1
- package/dist/index.d.ts +11 -10
- package/dist/index.d.ts.map +1 -0
- package/dist/index.js +6 -6
- 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 +54 -28
- package/src/config/concatTransitionsToString.ts +4 -4
- package/src/config/index.ts +4 -4
- package/src/config/serializeProcessConfig.ts +3 -3
- package/src/config/splitTransitionString.ts +2 -4
- package/src/config/toFsmStateConfig.ts +5 -12
- package/src/dagre/acyclic.js +9 -10
- package/src/dagre/add-border-segments.js +11 -7
- package/src/dagre/coordinate-system.js +12 -12
- package/src/dagre/data/list.js +2 -2
- package/src/dagre/debug.d.ts +1 -1
- package/src/dagre/debug.js +11 -11
- package/src/dagre/greedy-fas.js +17 -21
- package/src/dagre/index.d.ts +4 -4
- package/src/dagre/index.js +4 -4
- package/src/dagre/layout.js +107 -96
- package/src/dagre/nesting-graph.js +13 -19
- package/src/dagre/normalize.js +7 -7
- package/src/dagre/order/add-subgraph-constraints.js +2 -2
- package/src/dagre/order/barycenter.d.ts +1 -1
- package/src/dagre/order/barycenter.js +4 -4
- package/src/dagre/order/build-layer-graph.d.ts +1 -1
- package/src/dagre/order/build-layer-graph.js +7 -9
- package/src/dagre/order/cross-count.js +14 -17
- package/src/dagre/order/index.js +19 -17
- package/src/dagre/order/init-order.js +5 -15
- package/src/dagre/order/resolve-conflicts.js +10 -14
- package/src/dagre/order/sort-subgraph.d.ts +1 -1
- package/src/dagre/order/sort-subgraph.js +13 -14
- package/src/dagre/order/sort.d.ts +1 -1
- package/src/dagre/order/sort.js +6 -10
- package/src/dagre/parent-dummy-chains.js +10 -4
- package/src/dagre/position/bk.d.ts +3 -3
- package/src/dagre/position/bk.js +84 -65
- package/src/dagre/position/index.js +7 -11
- package/src/dagre/rank/feasible-tree.d.ts +1 -1
- package/src/dagre/rank/feasible-tree.js +6 -6
- package/src/dagre/rank/index.js +6 -6
- package/src/dagre/rank/network-simplex.d.ts +0 -1
- package/src/dagre/rank/network-simplex.js +20 -25
- package/src/dagre/rank/util.js +2 -6
- package/src/dagre/util.d.ts +12 -6
- package/src/dagre/util.js +31 -37
- package/src/dom/buildSections.ts +15 -19
- package/src/dom/description-panels.ts +5 -7
- package/src/dom/getStatesDescriptions.ts +4 -10
- package/src/full/index.ts +1 -1
- package/src/full/toFsmStateCharts.ts +11 -11
- package/src/graphlib/alg/components.js +2 -2
- package/src/graphlib/alg/dfs.js +5 -5
- package/src/graphlib/alg/dijkstra-all.js +4 -4
- package/src/graphlib/alg/dijkstra.js +9 -12
- package/src/graphlib/alg/find-cycles.js +7 -5
- package/src/graphlib/alg/floyd-warshall.js +8 -11
- package/src/graphlib/alg/index.d.ts +11 -11
- package/src/graphlib/alg/index.js +11 -11
- package/src/graphlib/alg/is-acyclic.js +1 -1
- package/src/graphlib/alg/postorder.js +2 -2
- package/src/graphlib/alg/preorder.js +2 -2
- package/src/graphlib/alg/prim.d.ts +1 -1
- package/src/graphlib/alg/prim.js +5 -5
- package/src/graphlib/alg/tarjan.js +3 -3
- package/src/graphlib/alg/topsort.js +1 -1
- package/src/graphlib/data/priority-queue.js +8 -10
- package/src/graphlib/graph.js +53 -52
- package/src/graphlib/index.d.ts +2 -2
- package/src/graphlib/index.js +2 -2
- package/src/graphlib/json.d.ts +1 -1
- package/src/graphlib/json.js +6 -6
- package/src/html/buildStatechartCss.ts +2 -2
- package/src/html/buildStatechartStyles.ts +5 -15
- package/src/html/buildStatechartSvg.ts +8 -20
- package/src/html/buildStatechartsPanel.ts +3 -5
- package/src/html/index.ts +4 -4
- package/src/index-config.ts +2 -2
- package/src/index-dom.ts +1 -1
- package/src/index-html.ts +2 -2
- package/src/index-layout.ts +2 -2
- package/src/index-runtime.ts +2 -2
- package/src/index.ts +8 -8
- package/src/layout/buildCharts.ts +6 -7
- package/src/layout/buildFlatCharts.ts +17 -21
- package/src/layout/getGraphParamsProvider.ts +7 -19
- package/src/layout/getLabelDimensions.ts +5 -5
- package/src/layout/index.ts +5 -4
- package/src/lodash-es/index.ts +2 -2
- package/src/lodash-es/types.ts +37 -35
- package/src/runtime/RuntimeStatechartApi.ts +13 -46
- package/src/runtime/StateChartIndex.ts +7 -24
- package/src/runtime/index.ts +2 -2
- package/src/types/FsmStateConfig.ts +1 -1
- package/src/types/GraphParamsProvider.ts +3 -6
- package/src/types/Position.ts +1 -1
- package/src/types/StateChart.ts +2 -2
- package/src/types/StateGraphEdge.ts +2 -2
- package/src/types/StateGraphNode.ts +2 -2
- package/src/types/TransitionsGraph.ts +4 -4
- package/src/types/index.ts +11 -11
- package/src/utils/BasisCurve.ts +6 -15
- package/src/utils/domToText.ts +3 -7
- package/src/utils/getPadding.ts +2 -3
- package/src/utils/newId.ts +2 -1
- package/src/utils/newRegistry.ts +13 -13
- package/src/utils/serializeAttrs.ts +6 -14
- package/src/utils/serializeCss.ts +3 -7
- package/src/utils/serializeStyle.ts +2 -5
- package/src/utils/toKebabCase.ts +1 -4
- package/CHANGELOG.md +0 -1
- package/dist/StateChart-BYBjTmC2.d.ts +0 -82
- package/dist/chunk-36ZLXJVD.js +0 -606
- package/dist/chunk-AZBRQNTU.js +0 -2739
- package/dist/chunk-FIQDLBWD.js +0 -9
- package/dist/chunk-SVKVQY7B.js +0 -133
- package/dist/chunk-TZHCBZVP.js +0 -422
- package/dist/chunk-VILLJJJD.js +0 -231
- package/dist/index-html-DgSCNHkR.d.ts +0 -75
package/dist/chunk-AZBRQNTU.js
DELETED
|
@@ -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 };
|