let display_operations_spec__ (sorted:bool) (bycase:bool) =
display "\n########\n# Operations specification:\n#";
let listOfNames = (Data_for_aorai.getFunctions_from_c ()) in
let listOfNames = if sorted then List.sort (String.compare) listOfNames else listOfNames in
List.iter
(fun name ->
let pre = Spec_tools.debug_display_stmt_all_pre (Data_for_aorai.get_func_pre ~securised:true name) in
let post = if bycase then
Spec_tools.debug_display_stmt_all_pre_bycase (Data_for_aorai.get_func_post_bycase ~securised:true name)
else
Spec_tools.debug_display_stmt_all_pre (Data_for_aorai.get_func_post ~securised:true name)
in
Aorai_option.result "# %s %s %s" pre name post;
Aorai_option.result "\n"
)
listOfNames;
let ignFuncs=List.fold_left
(fun ls s -> (ls^" "^s))
""
(List.sort (String.compare) (Data_for_aorai.getIgnoredFunctions()))
in
display ("#\n# Ignored functions: { "^ignFuncs^" }");
display "#\n# End of operations specification\n########"