let setCData () =
let (f_decl,f_def) =
Globals.Functions.fold
(fun f (lf_decl,lf_def) ->
let name = (Kernel_function.get_name f) in
match f.Db_types.fundec with
| Db_types.Definition _ -> (lf_decl,name::lf_def)
| Db_types.Declaration _ -> (name::lf_decl,lf_def))
([],[])
in
functions_from_c:=f_def;
ignored_functions:=f_decl;
variables_from_c:=
Globals.Vars.fold (fun v _ lv -> (Pretty_utils.sfprintf "%a" Ast_info.pretty_vname v)::lv) []