-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.ts
125 lines (117 loc) · 2.03 KB
/
index.ts
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
import { DirectedGraph, Util } from "@vizdom/vizdom-ts-node";
import fs from "node:fs/promises";
import path from "node:path";
import { fileURLToPath } from "node:url";
const __filename = fileURLToPath(import.meta.url);
const __dirname = path.dirname(__filename);
// First graph
const g0 = new DirectedGraph();
const v0_g0 = g0.new_vertex({
render: {
id: "0",
label: "A",
},
});
const v1_g0 = g0.new_vertex({
render: {
id: "1",
label: "B",
},
});
const v2_g0 = g0.new_vertex({
render: {
id: "2",
label: "C",
},
});
const v3_g0 = g0.new_vertex({
render: {
id: "3",
label: "D",
},
});
g0.new_edge(v0_g0, v1_g0, {
render: {
id: "0",
},
});
g0.new_edge(v0_g0, v2_g0, {
render: {
id: "1",
},
});
g0.new_edge(v1_g0, v3_g0, {
render: {
id: "2",
},
});
g0.new_edge(v2_g0, v3_g0, {
render: {
id: "3",
},
});
// Second graph
const g1 = new DirectedGraph();
const v0_g1 = g1.new_vertex({
render: {
id: "0",
// Notice the change in 'label'.
label: "Modified",
},
});
const v1_g1 = g1.new_vertex({
render: {
id: "1",
label: "B",
},
});
const v2_g1 = g1.new_vertex({
render: {
id: "2",
label: "C",
},
});
const v4_g1 = g1.new_vertex({
render: {
// Notice the change in 'id'.
id: "4",
label: "D",
},
});
g1.new_edge(v0_g1, v1_g1, {
render: {
id: "0",
},
});
g1.new_edge(v0_g1, v2_g1, {
render: {
id: "1",
},
});
g1.new_edge(v1_g1, v4_g1, {
render: {
id: "2",
},
});
g1.new_edge(v2_g1, v4_g1, {
render: {
id: "3",
},
});
// Next, we compute the difference which changes some
// styling attributes on __both__ graphs.
//
// NOTE: this is irreversible!
Util.diff(g0, g1);
const positionted0 = g0.layout();
const svg0 = positionted0.to_svg();
const positionted1 = g1.layout();
const svg1 = positionted1.to_svg();
await fs.writeFile(
path.join(__dirname, "graph0.svg"),
svg0.with_width_and_height().to_string()
);
await fs.writeFile(
path.join(__dirname, "graph1.svg"),
svg1.with_width_and_height().to_string()
);