![]() Server : Apache System : Linux server2.corals.io 4.18.0-348.2.1.el8_5.x86_64 #1 SMP Mon Nov 15 09:17:08 EST 2021 x86_64 User : corals ( 1002) PHP Version : 7.4.33 Disable Function : exec,passthru,shell_exec,system Directory : /proc/self/root/usr/share/graphviz/gvpr/ |
/* anonymize the graph */ BEG_G { node_t map[node_t]; graph_t dup; int id = 0; char* gtype; node_t n; edge_t e; char* l; if ($.directed) gtype = "D"; else gtype = "U"; if ($.strict) gtype = gtype + "S"; dup = graph ($.name, gtype); $tvtype = TV_ne; } N { n = node(dup, (char*)id); n.label=$.name; map[$] = n; id++; } E { edge (map[$.tail],map[$.head],""); } END_G { write (dup); }