import cfg_base
redef class CFG
- fun print_dot( f: OFStream, long: Bool )
+ fun print_dot( f: OStream, long: Bool )
do
f.write("digraph \{\n")
f.write("charset=latin1\n")
end
redef class BasicBlock
- fun print_dot_nodes( f: OFStream, long: Bool )
+ fun print_dot_nodes( f: OStream, long: Bool )
do
var lbl
if long then
fun dot_node_header: String do return ""
fun dot_node_footer: String do return ""
- fun print_dot_edges( f: OFStream, long: Bool )
+ fun print_dot_edges( f: OStream, long: Bool )
do
for s in successors do
f.write( "{name} -> {s.name}\n" )