From a5b0a8ab9e22e813dace0602faa71c9d626c2ae3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9onard=20G=C3=A9rard?= Date: Tue, 3 Aug 2010 22:41:51 +0200 Subject: [PATCH] A script to use when debugging. It allows pretty printing of nearly anything inside the debugger. If raw data printing is needed (and possible) just comment the line of the printer you want to disable. --- tools/debugger_script | 116 ++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 116 insertions(+) create mode 100644 tools/debugger_script diff --git a/tools/debugger_script b/tools/debugger_script new file mode 100644 index 0000000..cc5b45f --- /dev/null +++ b/tools/debugger_script @@ -0,0 +1,116 @@ +load_printer "/sw/lib/ocaml/menhirLib/menhirLib.cmo" +load_printer "_build/global/location.d.cmo" +load_printer "_build/global/names.d.cmo" +load_printer "_build/utilities/misc.d.cmo" +load_printer "_build/utilities/pp_tools.d.cmo" +load_printer "_build/global/types.d.cmo" +load_printer "_build/global/signature.d.cmo" +load_printer "_build/global/modules.d.cmo" +load_printer "_build/global/idents.d.cmo" +load_printer "_build/global/initial.d.cmo" +load_printer "_build/global/static.d.cmo" +load_printer "_build/heptagon/heptagon.d.cmo" +load_printer "_build/utilities/graph.d.cmo" +load_printer "_build/heptagon/analysis/causal.d.cmo" +load_printer "_build/heptagon/analysis/causality.d.cmo" +load_printer "_build/heptagon/analysis/initialization.d.cmo" +load_printer "_build/global/global_mapfold.d.cmo" +load_printer "_build/heptagon/hept_mapfold.d.cmo" +load_printer "_build/heptagon/hept_printer.d.cmo" +load_printer "_build/heptagon/analysis/typing.d.cmo" +load_printer "_build/heptagon/analysis/interface.d.cmo" +load_printer "_build/heptagon/analysis/statefull.d.cmo" +load_printer "_build/heptagon/parsing/hept_parsetree.d.cmo" +load_printer "_build/heptagon/parsing/hept_parser.d.cmo" +load_printer "_build/heptagon/parsing/hept_lexer.d.cmo" +load_printer "_build/heptagon/parsing/hept_scoping.d.cmo" +load_printer "_build/heptagon/transformations/automata.d.cmo" +load_printer "_build/heptagon/transformations/completion.d.cmo" +load_printer "_build/heptagon/transformations/reset.d.cmo" +load_printer "_build/heptagon/transformations/every.d.cmo" +load_printer "_build/heptagon/transformations/inline.d.cmo" +load_printer "_build/heptagon/transformations/last.d.cmo" +load_printer "_build/heptagon/transformations/present.d.cmo" +load_printer "_build/global/clocks.d.cmo" +load_printer "_build/minils/minils.d.cmo" +load_printer "_build/utilities/global/compiler_utils.d.cmo" +load_printer "_build/heptagon/main/hept_compiler.d.cmo" +load_printer "_build/minils/mls_mapfold.d.cmo" +load_printer "_build/minils/mls_printer.d.cmo" +load_printer "_build/utilities/global/dep.d.cmo" +load_printer "_build/minils/mls_utils.d.cmo" +load_printer "_build/main/hept2mls.d.cmo" +load_printer "_build/obc/obc.d.cmo" +load_printer "_build/obc/control.d.cmo" +load_printer "_build/obc/obc_mapfold.d.cmo" +load_printer "_build/main/mls2obc.d.cmo" +load_printer "_build/minils/transformations/callgraph_mapfold.d.cmo" +load_printer "_build/obc/c/c.d.cmo" +load_printer "_build/obc/c/csubst.d.cmo" +load_printer "_build/obc/obc_utils.d.cmo" +load_printer "_build/obc/c/cgen.d.cmo" +load_printer "_build/obc/c/cmain.d.cmo" +load_printer "_build/obc/obc_printer.d.cmo" +load_printer "_build/minils/main/mls2seq.d.cmo" +load_printer "_build/minils/analysis/clocking.d.cmo" +load_printer "_build/minils/transformations/itfusion.d.cmo" +load_printer "_build/minils/transformations/normalize.d.cmo" +load_printer "_build/minils/transformations/schedule.d.cmo" +load_printer "_build/minils/main/mls_compiler.d.cmo" + +install_printer Idents.print_ident +install_printer Idents.IdentSet.fprint_t + +install_printer Names.print_name +install_printer Names.print_longname + +install_printer Signature.print_param + +install_printer Static.print_size_constraint + +install_printer Types.print_static_exp +install_printer Types.print_static_exp_tuple +install_printer Types.print_type + +install_printer Hept_printer.print_iterator +install_printer Hept_printer.print_pat +install_printer Hept_printer.print_vd +install_printer Hept_printer.print_exps +install_printer Hept_printer.print_exp +install_printer Hept_printer.print_call_params +install_printer Hept_printer.print_eq +install_printer Hept_printer.print_eq_list +install_printer Hept_printer.print_state_handler +install_printer Hept_printer.print_switch_handler +install_printer Hept_printer.print_present_handler +install_printer Hept_printer.print_escape +install_printer Hept_printer.print_block +install_printer Hept_printer.print_type_def +install_printer Hept_printer.print_const_dec +install_printer Hept_printer.print_contract +install_printer Hept_printer.print_node_params +install_printer Hept_printer.print_node +install_printer Hept_printer.print_open_module + + +install_printer Mls_printer.print_pat +install_printer Mls_printer.print_ck +install_printer Mls_printer.print_vd +install_printer Mls_printer.print_local_vars +install_printer Mls_printer.print_const_dec +install_printer Mls_printer.print_params +install_printer Mls_printer.print_node_params +install_printer Mls_printer.print_exp_tuple +install_printer Mls_printer.print_vd_tuple +install_printer Mls_printer.print_index +install_printer Mls_printer.print_dyn_index +install_printer Mls_printer.print_every +install_printer Mls_printer.print_exp_desc +install_printer Mls_printer.print_eq +install_printer Mls_printer.print_eqs +install_printer Mls_printer.print_open_module +install_printer Mls_printer.print_type_dec +install_printer Mls_printer.print_type_desc +install_printer Mls_printer.print_field +install_printer Mls_printer.print_contract +install_printer Mls_printer.print_node