Index

absolute_indent/1

active scenarios

adding simple commands

An Morphine debugging session

A debugging session with

apropos/1

arg_undisplay/2

Example for a ``multiple'' | Parameters

arguments_display/1

attribute_display/15

attribute_display/8

Example for a ``single''

autoload file

browse/1

cc_query/1

check_arg/5

check_arg_type/5

collect

collect/2: Commands
collect_arg/1: Parameters
compile_collect/0: Primitives
current_grade/1: Primitives
dyn_link_collect/0: Primitives
generate_collect/1: Primitives
run_collect/1: Primitives

collect/2

collect_arg/1

Commands

abort_trace/0: Commands
absolute_indent/1: Commands
apropos/1: Commands
browse/1: Commands
cc_query/1: Commands
collect/2: Commands
control_flow_graph/1: Commands
current/1: Commands
current_live_var/3: Commands
det_fget/1: Commands
det_next/0: Commands
det_step/0: Commands
dynamic_call_graph/1: Commands
fget/1: Commands
finish/0: Commands
get_parameter/2: Commands
get_parameter_in_module/3: Commands
goto/1: Commands
indent/1: Commands
initialization/1: Commands
io_query/1: Commands
latex_manual/1: Commands
list_attribute_aliases/0: Commands
listing/2: Commands
listing/3: Commands
listing_current_procedure/0: Commands
listing_current_procedure/1: Commands
listing_hlds/2: Commands
listing_hlds/3: Commands
make/1: Commands
make/2: Commands
make/3: Commands
make/5: Commands
man/1: Commands
manual/1: Commands
mmc_options/1: Commands
next/0: Commands
next/1: Commands
no_trace/0: Commands
no_window/0: Commands
opium_help/0: Commands
print_displayed_attributes/0: Commands
print_event/0: Commands
print_full_displayed_attributes/0: Commands
print_full_event/0: Commands
query/1: Commands
re_init_opium/0: Commands
rebuild_object/5: Commands
rerun/0: Commands
retry/0: Commands
run/1: Commands
set_default/1: Commands
set_default/4: Commands
set_default_in_module/2: Commands
set_default_parameters/0: Commands
set_default_parameters/1: Commands
set_default_parameters_in_module/2: Commands
set_parameter/1: Commands
set_parameter/2: Commands
set_parameter_in_module/2: Commands
set_parameter_in_module/3: Commands
show_abbreviations/0: Commands
show_abbreviations/1: Commands
show_abbreviations_in_module/2: Commands
show_all/1: Commands
show_all/2: Commands
show_all_in_module/3: Commands
show_parameters/0: Commands
show_parameters/1: Commands
show_parameters_in_module/2: Commands
skip/0: Commands
stack/0: Commands
step/0: Commands
step/1: Commands
toggle/1: Commands
unset_parameter/2: Commands
unset_parameter_in_module/3: Commands
use_gdb/0: Commands
use_xterm/0: Commands

compile_collect/0

compile_dot/2

Scenario ``control_flow''

control_flow

compile_dot/2: Primitives
control_flow_graph/1: Commands
display_ps/1: Primitives
dynamic_call_graph/1: Commands
ps_viewer/1: Parameters

control_flow_graph/1

current/1

Example for a ``multiple'' | Adding simple commands | Advice | Commands

current_arg/1

current_arg_names/1

current_arg_types/1

current_grade/1

current_live_var/3

current_live_var_names_and_types/0

current_live_var_names_and_types/1

Customizing ``opium'' commands

current_port/1

current_vars/2

Customization and extensibility | Customizing existing objects

customizing the environment

debug_opium/1

det_fget/1

det_fget_np/1

det_next/0

det_next_np/0

det_step/0

det_step_np/0

display

Remaking an existing scenario | Scenario ``display''

absolute_indent/1: Commands
arg_undisplay/2: Parameters
arguments_display/1: Parameters
attribute_display/15: Parameters
display_list_var_names/1: Procedures
display_stack/1: Procedures
indent/1: Commands
indent_display/3: Parameters
indent_display_limit/1: Parameters
list_display/2: Parameters
print_displayed_attributes/0: Commands
print_event/0: Commands
print_full_displayed_attributes/0: Commands
print_full_event/0: Commands
read_input/1: Procedures
term_display/2: Parameters
toggle/1: Commands
write_arg/1: Procedures
write_arg_attribute/4: Procedures
write_attribute/2: Procedures
write_comma/0: Procedures
write_ersatz/0: Procedures
write_indent/4: Procedures
write_list/1: Procedures
write_nth_arg/3: Procedures
write_term/1: Procedures
write_trace/1: Procedures

display_list_var_names/1

display_ps/1

display_stack/1

dyn_link_collect/0

dynamic_call_graph/1

Declaring Opium objects with

Emacs (declaring objects with)

end_connection/0

Customization and extensibility | Extending the debugging environment

error messages

Error messages given by

extending the environment

fget/1

fget_np/1

finish/0

finish_np/0

generate_collect/1

get_opium_filename/2

get_parameter/2

Setting parameters | Customizing ``opium'' commands | Commands

get_parameter_in_module/3

get_parameter_info/7

global scenarios

goto/1

goto_np/1

help

Getting some help | Scenario ``help''

apropos/1: Commands
latex_manual/1: Commands
man/1: Commands
manual/1: Commands
opium_help/0: Commands
print_header/4: Procedures
print_man/6: Procedures
print_syntax/5: Procedures
show_abbreviations/0: Commands
show_abbreviations/1: Commands
show_abbreviations_in_module/2: Commands
show_all/1: Commands
show_all/2: Commands
show_all_in_module/3: Commands

help/0

Getting some help

implementation_link/4

General mechanism | Primitives

inactivescenarios

indent/1

indent_display/3

indent_display_limit/1

init_opium_session/0

Initialization of scenarios

initialization of scenarios

initialization/1

Initialization of scenarios | Commands

interface

Remaking an existing scenario

io_query/1

is_absolute_dir/0

is_arg_attribute/0

is_atom_attribute/0

is_atom_or_list_of_atoms/0

is_atom_or_string/0

is_atom_or_var/0

is_customizable_type/0

is_customizable_type_or_var/0

is_det_marker/0

is_det_marker_attribute/0

is_det_marker_or_var/0

is_goal/0

is_goal_or_var/0

is_goal_path/0

is_goal_path_attribute/0

is_goal_path_or_var/0

is_integer_attribute/0

is_integer_or_var/0

is_list/0

is_list_of_atoms/0

is_list_of_atoms_or_empty_list/0

is_list_of_dets/0

is_list_of_integers/0

is_list_of_integers_or_var/0

is_list_of_ports/0

is_list_of_preds/0

is_list_of_vars_or_empty_list/0

is_list_or_conj_of_attribute_constraints_fget/0

is_list_or_conj_of_attributes_current/0

is_list_or_var/0

is_mercury_proc_or_type/0

is_opium_declaration/0

is_opium_module/0

is_opium_module_or_var/0

is_opium_object_or_var/0

is_opium_parameter/0

is_opium_scenario/0

is_opium_scenario_or_var/0

is_option_list/0

is_port/0

is_port_attribute/0

is_port_or_var/0

is_pred/0

is_pred_id/0

is_pred_or_list_of_preds/0

is_pred_or_var/0

is_proc/0

is_proc_or_var/0

is_proc_type/0

is_proc_type_attribute/0

is_string_attribute/0

is_string_or_integer/0

is_string_or_integer_or_var/0

is_string_or_var/0

is_term/0

latex_manual/1

list_attribute_aliases/0

list_display/2

listing/2

listing/3

listing_current_procedure/0

listing_current_procedure/1

listing_hlds/2

listing_hlds/3

load file

local scenarios

make/1

Advice | How to make a | Commands

make/2

make/3

make/5

How to make a | Commands

man/1

Customizing commands | Commands

manual/1

Morphine - Reference Manual | Commands

mastermind program

mastermindprogram

mmc_options/1

modify_time/2

Remaking an existing scenario | Scenario ``morphine_kernel''

Morphine command types

Customizing commands

Morphine commands

Customizing commands

Morphine files

Profiles

morphine_kernel

abort_trace/0: Commands
browse/1: Commands
cc_query/1: Commands
current/1: Commands
current_arg/1: Primitives
current_arg_names/1: Primitives
current_arg_types/1: Primitives
current_live_var/3: Commands
current_live_var_names_and_types/0: Primitives
current_live_var_names_and_types/1: Primitives
current_vars/2: Primitives
debug_opium/1: Parameters
det_fget/1: Commands
det_fget_np/1: Primitives
end_connection/0: Primitives
fget/1: Commands
fget_np/1: Primitives
goto/1: Commands
goto_np/1: Primitives
init_opium_session/0: Primitives
io_query/1: Commands
is_arg_attribute/0: Types
is_atom_attribute/0: Types
is_det_marker/0: Types
is_det_marker_attribute/0: Types
is_det_marker_or_var/0: Types
is_goal_path/0: Types
is_goal_path_attribute/0: Types
is_goal_path_or_var/0: Types
is_integer_attribute/0: Types
is_list_of_dets/0: Types
is_list_of_ports/0: Types
is_list_or_conj_of_attribute_constraints_fget/0: Types
is_list_or_conj_of_attributes_current/0: Types
is_port/0: Types
is_port_attribute/0: Types
is_port_or_var/0: Types
is_proc/0: Types
is_proc_or_var/0: Types
is_proc_type/0: Types
is_proc_type_attribute/0: Types
is_string_attribute/0: Types
list_attribute_aliases/0: Commands
mmc_options/1: Commands
no_trace/0: Commands
no_window/0: Commands
nondet_stack/0: Primitives
opium_printf_debug/2: Procedures
opium_printf_debug/3: Procedures
opium_write_debug/1: Procedures
opium_write_debug/2: Procedures
query/1: Commands
re_init_opium/0: Commands
rerun/0: Commands
retry/0: Commands
retry_np/0: Primitives
run/1: Commands
socket_domain/1: Parameters
stack/0: Commands
stack_regs/0: Primitives
use_gdb/0: Commands
use_xterm/0: Commands

multiple (parameter type)

Example for a ``multiple'' | The Opium parameter

multiple(parameter type)

Setting parameters

next/0

A first try with | A first try with | Customizing ``opium'' commands | Customizing ``trace'' commands | Commands

next/1

Customizing ``opium'' commands | The Opium command

next_np/0

A first try with | Primitives

no_trace/0

no_window/0

nondet_stack/0

Nqueens program

opium (command type)

Opium commands

The Opium command

Opium declarations

The declaration of Opium

Opium files

Setting parameters

Opium parameters

The Opium parameter

Opium primitives

Customizing primitives, procedures and | The Opium primitive

Opium procedures

Customizing primitives, procedures and | The Opium procedure

Opium scenarios

The Opium scenario

Opium types

Customizing primitives, procedures and | The Opium type

opium_command_in_module/2

opium_demo_in_module/2

opium_help/0

opium_module/1

opium_parameter_in_module/2

opium_primitive_in_module/2

opium_printf_debug/2

opium_printf_debug/3

opium_procedure_in_module/2

opium_scenario_in_module/2

opium_type_in_module/2

opium_write_debug/1

opium_write_debug/2

Opiumcommand types

The Opium command

parameter handling

Setting parameters

Parameters

Customizing ``opium'' commands

arg_undisplay/2: Parameters
arguments_display/1: Parameters
attribute_display/15: Parameters
collect_arg/1: Parameters
debug_opium/1: Parameters
indent_display/3: Parameters
indent_display_limit/1: Parameters
list_display/2: Parameters
ps_viewer/1: Parameters
socket_domain/1: Parameters
term_display/2: Parameters
traced_ports/1: Parameters

ports

Primitives

compile_collect/0: Primitives
compile_dot/2: Primitives
current_arg/1: Primitives
current_arg_names/1: Primitives
current_arg_types/1: Primitives
current_grade/1: Primitives
current_live_var_names_and_types/0: Primitives
current_live_var_names_and_types/1: Primitives
current_vars/2: Primitives
det_fget_np/1: Primitives
det_next_np/0: Primitives
det_step_np/0: Primitives
display_ps/1: Primitives
dyn_link_collect/0: Primitives
end_connection/0: Primitives
fget_np/1: Primitives
finish_np/0: Primitives
generate_collect/1: Primitives
get_opium_filename/2: Primitives
get_parameter_info/7: Primitives
goto_np/1: Primitives
implementation_link/4: Primitives
init_opium_session/0: Primitives
next_np/0: Primitives
nondet_stack/0: Primitives
opium_module/1: Primitives
retry_np/0: Primitives
run_collect/1: Primitives
skip_np/0: Primitives
stack_regs/0: Primitives
step_np/0: Primitives

print_displayed_attributes/0

print_event/0

print_full_displayed_attributes/0

print_full_event/0

print_header/4

print_man/6

print_syntax/5

Procedures

check_arg/5: Procedures
check_arg_type/5: Procedures
display_list_var_names/1: Procedures
display_stack/1: Procedures
modify_time/2: Procedures
opium_command_in_module/2: Procedures
opium_demo_in_module/2: Procedures
opium_parameter_in_module/2: Procedures
opium_primitive_in_module/2: Procedures
opium_printf_debug/2: Procedures
opium_printf_debug/3: Procedures
opium_procedure_in_module/2: Procedures
opium_scenario_in_module/2: Procedures
opium_type_in_module/2: Procedures
opium_write_debug/1: Procedures
opium_write_debug/2: Procedures
print_header/4: Procedures
print_man/6: Procedures
print_syntax/5: Procedures
read_input/1: Procedures
write_arg/1: Procedures
write_arg_attribute/4: Procedures
write_attribute/2: Procedures
write_comma/0: Procedures
write_ersatz/0: Procedures
write_indent/4: Procedures
write_list/1: Procedures
write_nth_arg/3: Procedures
write_term/1: Procedures
write_trace/1: Procedures

programmability

Programmability

ps_viewer/1

Example for a ``multiple''

qsort program

query/1

re_init_opium/0

read_input/1

Example for a ``single'' | Example for a ``multiple''

rebuild_object/5

General mechanism | Customizing ``trace'' commands | Commands

recovering hidden trace information

remaking an existing scenario

Remaking an existing scenario

rerun/0

retry/0

retry_np/0

run/1

run_collect/1

scenario paradigm

Scenario paradigm

scenario_handler

How to make a | Remaking an existing scenario | Scenario ``scenario_handler''

check_arg/5: Procedures
check_arg_type/5: Procedures
get_opium_filename/2: Primitives
get_parameter/2: Commands
get_parameter_in_module/3: Commands
get_parameter_info/7: Primitives
implementation_link/4: Primitives
initialization/1: Commands
is_absolute_dir/0: Types
is_atom_or_list_of_atoms/0: Types
is_atom_or_var/0: Types
is_customizable_type/0: Types
is_customizable_type_or_var/0: Types
is_goal/0: Types
is_goal_or_var/0: Types
is_integer_or_var/0: Types
is_list/0: Types
is_list_of_atoms/0: Types
is_list_of_atoms_or_empty_list/0: Types
is_list_of_integers/0: Types
is_list_of_integers_or_var/0: Types
is_list_of_preds/0: Types
is_list_of_vars_or_empty_list/0: Types
is_list_or_var/0: Types
is_opium_declaration/0: Types
is_opium_module/0: Types
is_opium_module_or_var/0: Types
is_opium_object_or_var/0: Types
is_opium_parameter/0: Types
is_opium_scenario/0: Types
is_opium_scenario_or_var/0: Types
is_option_list/0: Types
is_pred/0: Types
is_pred_id/0: Types
is_pred_or_list_of_preds/0: Types
is_pred_or_var/0: Types
is_string_or_integer/0: Types
is_string_or_integer_or_var/0: Types
is_string_or_var/0: Types
is_term/0: Types
make/1: Commands
make/2: Commands
make/3: Commands
make/5: Commands
modify_time/2: Procedures
opium_command_in_module/2: Procedures
opium_demo_in_module/2: Procedures
opium_module/1: Primitives
opium_parameter_in_module/2: Procedures
opium_primitive_in_module/2: Procedures
opium_procedure_in_module/2: Procedures
opium_scenario_in_module/2: Procedures
opium_type_in_module/2: Procedures
rebuild_object/5: Commands
set_default/1: Commands
set_default/4: Commands
set_default_in_module/2: Commands
set_default_parameters/0: Commands
set_default_parameters/1: Commands
set_default_parameters_in_module/2: Commands
set_parameter/1: Commands
set_parameter/2: Commands
set_parameter_in_module/2: Commands
set_parameter_in_module/3: Commands
show_parameters/0: Commands
show_parameters/1: Commands
show_parameters_in_module/2: Commands
unset_parameter/2: Commands
unset_parameter_in_module/3: Commands

Scenarios

collect: Scenario ``collect''
control_flow: Scenario ``control_flow''
display: Scenario ``display''
help: Scenario ``help''
morphine_kernel: Scenario ``morphine_kernel''
scenario_handler: Scenario ``scenario_handler''
source: Scenario ``source''
step_by_step: Scenario ``step_by_step''

selective tracing

A first try with

set_default/1

Setting parameters | Example for a ``multiple'' | Initialization of scenarios | Commands

set_default/4

General mechanism | Customizing ``opium'' commands | Commands

set_default_in_module/2

set_default_parameters/0

set_default_parameters/1

set_default_parameters_in_module/2

set_parameter/1

Setting parameters | Example for a ``single'' | Commands

set_parameter/2

set_parameter_in_module/2

set_parameter_in_module/3

Setting up your debugging

setting up the environment

show_abbreviations/0

show_abbreviations/1

show_abbreviations_in_module/2

show_all/1

Setting parameters | Advice | Commands

show_all/2

Setting parameters | Adding simple commands | Advice | Commands

show_all_in_module/3

show_parameters/0

show_parameters/1

Customizing ``tool'' commands | Commands

show_parameters_in_module/2

single (parameter type)

Setting parameters | The Opium parameter

skip till condition

skip/0

skip_np/0

socket_domain/1

sophisticated data display

Remaking an existing scenario | Scenario ``source''

source

is_atom_or_string/0: Types
is_mercury_proc_or_type/0: Types
listing/2: Commands
listing/3: Commands
listing_current_procedure/0: Commands
listing_current_procedure/1: Commands
listing_hlds/2: Commands
listing_hlds/3: Commands

stack/0

stack_regs/0

step/0

step/1

step_by_step

When to make a | Scenario ``step_by_step''

det_next/0: Commands
det_next_np/0: Primitives
det_step/0: Commands
det_step_np/0: Primitives
finish/0: Commands
finish_np/0: Primitives
next/0: Commands
next/1: Commands
next_np/0: Primitives
skip/0: Commands
skip_np/0: Primitives
step/0: Commands
step/1: Commands
step_np/0: Primitives
traced_ports/1: Parameters

step_by_step_M

step_np/0

term_display/2

toggle/1

tool (command type)

Customizing ``tool'' commands | The Opium command

trace (command type)

Customizing ``trace'' commands | The Opium command

trace event attributes

Example for a ``single'' | Customizing primitives, procedures and

trace till condition

A first try with

traceablescenarios

traced_ports/1

Types

is_absolute_dir/0: Types
is_arg_attribute/0: Types
is_atom_attribute/0: Types
is_atom_or_list_of_atoms/0: Types
is_atom_or_string/0: Types
is_atom_or_var/0: Types
is_customizable_type/0: Types
is_customizable_type_or_var/0: Types
is_det_marker/0: Types
is_det_marker_attribute/0: Types
is_det_marker_or_var/0: Types
is_goal/0: Types
is_goal_or_var/0: Types
is_goal_path/0: Types
is_goal_path_attribute/0: Types
is_goal_path_or_var/0: Types
is_integer_attribute/0: Types
is_integer_or_var/0: Types
is_list/0: Types
is_list_of_atoms/0: Types
is_list_of_atoms_or_empty_list/0: Types
is_list_of_dets/0: Types
is_list_of_integers/0: Types
is_list_of_integers_or_var/0: Types
is_list_of_ports/0: Types
is_list_of_preds/0: Types
is_list_of_vars_or_empty_list/0: Types
is_list_or_conj_of_attribute_constraints_fget/0: Types
is_list_or_conj_of_attributes_current/0: Types
is_list_or_var/0: Types
is_mercury_proc_or_type/0: Types
is_opium_declaration/0: Types
is_opium_module/0: Types
is_opium_module_or_var/0: Types
is_opium_object_or_var/0: Types
is_opium_parameter/0: Types
is_opium_scenario/0: Types
is_opium_scenario_or_var/0: Types
is_option_list/0: Types
is_port/0: Types
is_port_attribute/0: Types
is_port_or_var/0: Types
is_pred/0: Types
is_pred_id/0: Types
is_pred_or_list_of_preds/0: Types
is_pred_or_var/0: Types
is_proc/0: Types
is_proc_or_var/0: Types
is_proc_type/0: Types
is_proc_type_attribute/0: Types
is_string_attribute/0: Types
is_string_or_integer/0: Types
is_string_or_integer_or_var/0: Types
is_string_or_var/0: Types
is_term/0: Types

unset_parameter/2

Setting parameters | Example for a ``multiple'' | Commands

unset_parameter_in_module/3

untraceable scenarios

use_gdb/0

use_xterm/0

window-based user interface

The Opium command

write_arg/1

write_arg_attribute/4

Customizing primitives, procedures and | Procedures

write_attribute/2

write_comma/0