+ let module G = Getter in
+ let module U = UriManager in
+ let cicfilename = G.getxml (U.cicuri_of_uri uri) in
+ match (U.bodyuri_of_uri uri) with
+ None ->
+ let obj = CicParser.obj_of_xml cicfilename None in
+ Unix.unlink cicfilename ;
+ obj
+ | Some bodyuri ->
+ let cicbodyfilename = G.getxml (U.cicuri_of_uri bodyuri) in
+ let obj = CicParser.obj_of_xml cicfilename (Some cicbodyfilename) in
+ Unix.unlink cicfilename ;
+ Unix.unlink cicbodyfilename ;
+ obj