1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
#!/usr/bin/env python3
import json, sys
j = None
if len(sys.argv) == 1:
j = json.loads(sys.stdin.read())
else:
file_name = sys.argv[1]
with open(file_name) as f:
j = json.loads(f.read())
nodes = j["nodes"]
arcs = j["arcs"]
print("digraph D {")
for node in nodes:
print(" Node{} [label=\"{} {}\", shape=box]".format(node["node"], node["node"], ", ".join(node["info"])))
for arc in arcs:
print(" Node{} -> Node{} [label=\"{}\"]".format(arc["from"], arc["to"], arc["type"]))
print("}")
|
