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