+++ /dev/null
-
- (* ATTENZIONE: ci sono problemi con i .ind e i .var!!!! *)
-
-
-
-open MathQL;;
-open Mathql_semantics;;
-
-(* estrae il fid dalla uri(str) e toglie le virgole, es: ",1,1,1,1" -> "1111" *)
-let extract_fid str =
- let pos = String.index str ',' in
- Str.string_after str (pos+1)
-;;
-
-
-(*
- * valuta il preambolo
- *)
-let preeval p =
- match p with
- Some s -> s
- | None -> "[^/]*"
-;;
-
-
-
-
-(* FUNZIONE DI MATCHING: prende il descrittore del file delle uri e il path da
-matchare formato stringa e restituisce la lista dei path che fanno match in
-formato stringa !! TAIL-RECURSIVE !! *)
-
-let pmatch inp pre path fi =
- let rec aux inp pre path fi acc =
-
- let s= try
- Some (Str.string_after (input_line(inp)) 57)
- with End_of_file -> None
- in
- match s with
- | Some s ->
- if (String.get s 0) != ' '
- then
- begin
- let cpos = String.index s ':' in
-
- let apre = Str.string_before s cpos in (* prendo il pre in s *)
-
- let s2 = Str.string_after s (cpos+1) in
- let p = (String.length s2)-2 (* NON capisco perche' con 3 non vada bene !!!!*)
- in
-
- let sok = Str.string_before s2 p in
-
-
- if fi = "" (* CASO fi VUOTO*)
- then
- if pre = "[^/]*" (* CASO pre QUALSIASI*)
- then
- if (Str.string_match (Str.regexp path) sok 0)
- then
- begin
- (*let sokg = Str.replace_first (Str.regexp ",") "#" sok
- in
- let sokgs = Str.global_replace (Str.regexp ",") "/" sokg
- *)
- let pos= String.index sok '"'
- in
- let sokv= Str.string_before sok pos
- in
-
- (* let sokve = sokv ^ ".xml"
- in*)
- aux inp pre path fi (sokv::acc)
- end
- else
- (aux inp pre path fi acc)
-
- else (* CASO pre SPECIFICO *)
-
- begin
- (*print_endline ("sok:" ^ sok);
- print_endline ("path:" ^ path);*)
-
- if (Str.string_match (Str.regexp path) sok 0) && (apre = pre)
- then
- begin
- (*let sokg = Str.replace_first (Str.regexp ",") "#" sok
- in
- let sokgs = Str.global_replace (Str.regexp ",") "/" sokg
- in*)
- let pos= String.index sok '"'
- in
- let sokv= Str.string_before sok pos
- in
-
- (*let sokve = sokv ^ ".xml"
- in*)
- aux inp pre path fi (sokv::acc)
- end
- else
- (aux inp pre path fi acc)
-
- end
-
- else (* CASO fi ESISTENTE *)
-
- if pre = "[^/]*" (* CASO pre QUALSIASI*)
- then
-
- if String.contains sok ','
- then
- let pos = String.index sok ',' in
- let sokwfi = Str.string_before sok pos in
- if (Str.string_match (Str.regexp path) sokwfi 0) &&
- (Str.string_match (Str.regexp fi) (extract_fid sok) 0)
- then
- begin
- (*let sokg = Str.replace_first (Str.regexp ",") "#" sok
- in
- let sokgs = Str.global_replace (Str.regexp ",") "/" sokg
- in*)
- let pos= String.index sok '"'
- in
- let sokv= Str.string_before sok pos
- in
- (* let sokve = sokv ^ ".xml"
- in*)
- aux inp pre path fi (sokv::acc)
- end
- else
- (aux inp pre path fi acc)
- else
- (aux inp pre path fi acc)
-
- else (* CASO pre SPECIFICO *)
- if String.contains sok ','
- then
- let pos = String.index sok ',' in
- let sokwfi = Str.string_before sok pos in
- if (Str.string_match (Str.regexp path) sokwfi 0) &&
- (Str.string_match (Str.regexp fi) (extract_fid sok) 0) && (apre = pre)
- then
- begin
- (*let sokg = Str.replace_first (Str.regexp ",") "#" sok
- in
- let sokgs = Str.global_replace (Str.regexp ",") "/" sokg
- in*)
- let pos= String.index sok '"'
- in
- let sokv= Str.string_before sok pos
- in
- (*let sokve = sokv ^ ".xml"
- in*)
- aux inp pre path fi (sokv::acc)
- end
- else
- (aux inp pre path fi acc)
- else
- (aux inp pre path fi acc)
- end
- else
- (aux inp pre path fi acc)
- | None -> List.rev acc
- in
- aux inp pre path fi []
-;;
-
-
-
-
-(* Data una lista di token restituisce la stringa formata da tutti i token ----> DA TESTARE!!!! *)
-let rec token_to_str p =
- match p with
- [] -> ""
- | head::tail ->
- let h = match head with
- MQBC s -> Str.global_replace (Str.regexp "\.") "." s
- | MQBD -> "/"
- | MQBQ -> "[^/#]?"
- | MQBS -> "[^/#]*"
- | MQBSS -> "[^#]*"
- in
- h ^ (token_to_str tail)
-;;
-
-
-let rec fieval fi =
- match fi with
- [] -> ""
- | MQFC i :: tail -> "/" ^ (string_of_int i) ^ (fieval tail)
- | MQFS :: tail -> "[^/]*" ^ (fieval tail)
- | MQFSS :: tail -> ".*" ^ (fieval tail)
-;;
-
-(*
- * conversione di un fragment identifier
- *)
-let fieval fi =
- if fi = [] then
- ""
- else
- "#xpointer\\\\(1" ^ fieval fi ^ "\\\\)" (* NON MI E' CHIARO IL PERCHE'!!!! *)
-;;
-
-
-let rec attul uril =
- match uril with
- head::tail -> let uril_hd = List.hd uril in
- { uri = uril_hd; attributes = []; extra = ""}::attul (List.tl uril);
- | [] -> [];
-;;
-
-
-(* prende preambolo, body (lista di token con "/"), fi (lista di token senza
-"/") e restituisce la lista
-di uri (LISTA DI attributed_uri), contenuti nel file getallrdfuris.xml, che fanno match con l'espressione regolare ricavata da body e con quella ricavata da fi.. tutto
-chiamando la "pmatch()"
-
-ATTENZIONE: il tag in getallrdfuris.xml <allrdfuris> deve essere piu' lungo,
- altrimenti "string_match()" da' errore!
-
-*)
-let pattern_ex (apreamble, apattern, afragid) =
- let path = token_to_str apattern in
- let fi = fieval afragid in
- let pre = preeval apreamble in
- let inp = open_in "./getallrdfuris.xml" in
- seek_in inp 146;
- let uril = pmatch inp pre path fi in
- attul uril;
-;;
-
-
-
-
-
projects / helm.git / blobdiff