let debug_display_all_specs () =
display_operations_spec_sorted_bycase ();
display "\n########\n# Loops specification:\n#";
let sortedLoopsIndex =
List.sort (fun r1 r2 ->
if !r1.sid > !r2.sid then 1
else if !r1.sid < !r2.sid then -1
else 0
) (Data_for_aorai.get_loops_index ())
in
List.iter
(fun stmt_ref ->
Aorai_option.result "# stmt.sid=%d" !stmt_ref.sid;
Aorai_option.result "# loop pres : %s"
(Spec_tools.debug_display_stmt_all_pre (Data_for_aorai.get_loop_ext_pre stmt_ref));
Aorai_option.result "# %s"
(Spec_tools.debug_display_stmt_all_pre_bycase (Data_for_aorai.get_loop_ext_pre_bycase stmt_ref));
Aorai_option.result "# block pres : %s"
(Spec_tools.debug_display_stmt_all_pre (Data_for_aorai.get_loop_int_pre stmt_ref));
Aorai_option.result "# %s"
(Spec_tools.debug_display_stmt_all_pre_bycase (Data_for_aorai.get_loop_int_pre_bycase stmt_ref));
Aorai_option.result "# block posts: %s"
(Spec_tools.debug_display_stmt_all_pre (Data_for_aorai.get_loop_int_post stmt_ref));
Aorai_option.result "# %s"
(Spec_tools.debug_display_stmt_all_pre_bycase (Data_for_aorai.get_loop_int_post_bycase stmt_ref));
Aorai_option.result "# loop posts : %s"
(Spec_tools.debug_display_stmt_all_pre (Data_for_aorai.get_loop_ext_post stmt_ref));
Aorai_option.result "# %s"
(Spec_tools.debug_display_stmt_all_pre_bycase (Data_for_aorai.get_loop_ext_post_bycase stmt_ref));
)
sortedLoopsIndex;
display "# End of loops specification\n########\n"