Module Cfg.PpSource

Pretty-printing for CFG.

Text printing

Sourceval cfg_printer : ('a, Mopsa.stmt) Ast.CFG.printer

DOT output

Sourceval pp_location : Stdlib.Format.formatter -> Mopsa.Location.pos -> unit
Sourceval dot_printer : ('a, Mopsa.stmt) Ast.CFG.dot_printer
Sourceval output_dot : string -> string -> Ast.cfg -> unit

Prints the graph in dot format in the specified filename.