Scenario ``control_flow''

Scenario that provides commands which generates various control flow graphs. This scenario make use of the graph generator `dot' program (so you will need to have dot available from your PATH environment variable to be able to use this scenario).

Commands

control_flow_graph(ProgramCall) {cfg}    
This command generates a control flow graph of the Mercury program execution.
ProgramCall : is_mercury_program_call
type of command : opium

dynamic_call_graph(ProgramCall) {dcg}    
This command generates a dynamic call graph of the Mercury program execution. We call a dynamic call graph the dynamic slice of the (static) call graph, i.e. the calls that have effectively been done during the execution.
ProgramCall : is_mercury_program_call
type of command : opium

Primitives

compile_dot(DotFile, PsFile)    
Primitive which applies `dot' to DotFile and outputs the resulting post-script in PsFile.
DotFile : string
PsFile : string

display_ps(PsFile)    
primitive which displays post-script files.
PsFile : string

Parameters

ps_viewer(String)    
Parameter which sets the name of the command used to visualize the generated post-script file.
String : string
default value : ps_viewer("gv ")
type of parameter : single