let dump () =
let cg = get () in
let file = Filename.get () in
feedback ~level:2 "dumping the graph into file %s" file;
try
let o = open_out file in
Service.output_graph o cg;
close_out o
with e ->
error
"error while dumping the semantic callgraph: %s"
(Printexc.to_string e)