X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Frdfly%2Frdfly.ml;h=b9a79d1397da4941f444b678bc6d62d04322e995;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=bb734a62b275bfaaa11dd5dbcf482ea269fc34da;hpb=56596fe01a41313f91ca8fea870c21bcea0c372c;p=helm.git diff --git a/helm/DEVEL/rdfly/rdfly.ml b/helm/DEVEL/rdfly/rdfly.ml index bb734a62b..b9a79d139 100644 --- a/helm/DEVEL/rdfly/rdfly.ml +++ b/helm/DEVEL/rdfly/rdfly.ml @@ -24,7 +24,7 @@ let mk_new_msg () = ref [] let msg_output_string msg s = msg := s::!msg let msg_serialize msg = - List.fold_left (fun acc s -> s ^ acc) "" !msg + String.concat "" (List.rev !msg) let msg_output_header msg obj = msg_output_string msg "\n\n" ; @@ -33,6 +33,16 @@ let msg_output_header msg obj = let msg_output_trailer msg = msg_output_string msg " \n\n" +let msg_output_dc_header msg obj = + msg_output_string msg "\n\n" ; + msg_output_string msg ("\n") ; + msg_output_string msg " " +;; + +let msg_output_dc_trailer msg = + msg_output_string msg " \n" +;; + let value_of_optional_value = function None -> assert false @@ -54,6 +64,7 @@ let forward_metadata db obj = ) ; msg_output_trailer msg ; msg_serialize msg +;; let backward_metadata db obj = let res = M.exec db ("SELECT * FROM refObj WHERE h_occurrence = '" ^ obj ^ "';") in @@ -70,6 +81,47 @@ let backward_metadata db obj = ) ; msg_output_trailer msg ; msg_serialize msg +;; + +let dc_metadata db obj = + let tables = + [ "dc:creator","dccreator" ; + "dc:date","dcdate" ; + "dc:description","dcdescription" ; + "dc:format","dcformat" ; + "dc:identifier","dcidentifier" ; + "dc:language","dclanguage" ; + "dc:publisher","dcpublisher" ; + "dcq:RelationType","dcqRelationType" ; + "dc:relation","dcrelation" ; + "dc:rights","dcrights" ; + "dc:source","dcsource" ; + "dc:subject","dcsubject" ; + "dc:title","dctitle" ; + "hth:ResourceFormat","hthResourceFormat" ; + "hth:contact","hthcontact" ; + "hth:firstVersion","hthfirstVersion" ; + "hth:institution","hthinstitution" ; + "hth:modified","hthmodified" + ] + in + let msg = mk_new_msg () in + msg_output_dc_header msg obj ; + List.iter + (fun (propertyname,tablename) -> + let res = + M.exec db + ("SELECT * FROM " ^ tablename ^ " WHERE uri = '" ^ obj ^ "';") in + M.iter res + ~f:(function cols -> + let value = value_of_optional_value (cols.(0)) in + msg_output_string msg + (" <" ^ propertyname ^ ">" ^ value ^ "\n") ; + ) ; + ) tables ; + msg_output_dc_trailer msg ; + msg_serialize msg +;; let debug_print s = prerr_endline ("[RDFly] " ^ s) @@ -79,7 +131,8 @@ let mk_return_fun contype msg outchan = let return_html = mk_return_fun "text/html" let return_xml = mk_return_fun "text/xml" -let return_400 body ch = Http_daemon.respond_error ~code:400 ~body ch +let return_400 body ch = + Http_daemon.respond_error ~code:(`Code 400) ~body ch let return_html_error s = return_html ("" ^ s ^ "") let get_option key = @@ -102,7 +155,7 @@ let daemonport = Helm_registry.get_int "rdfly.port";; let callback (req: Http_types.request) ch = try debug_print ("Connection from " ^ req#clientAddr) ; - debug_print ("Received request: " ^ req#path) ; + debug_print ("Received request: " ^ req#uri) ; (match req#path with | "/help" -> return_html_error "yeah right..." ch @@ -114,10 +167,13 @@ let callback (req: Http_types.request) ch = match kind with "forward" -> return_xml (forward_metadata db obj) ch | "backward" -> return_xml (backward_metadata db obj) ch + | "dc" -> return_xml (dc_metadata db obj) ch | s -> return_html_error ("unsupported kind: " ^ s) ch end ; M.disconnect db - | invalid_request -> Http_daemon.respond_error ~status:(`Client_error `Bad_request) ch) + | invalid_request -> + Http_daemon.respond_error ~code:(`Status (`Client_error `Bad_request)) + ch) with | Http_types.Param_not_found attr_name -> return_400 (Printf.sprintf "Parameter '%s' is missing" attr_name) ch