source: code/trunk/lib/header_pack.ml@ 71

Last change on this file since 71 was 43, checked in by fox, 2 years ago

Relation dates, with conversion condition upon it

File size: 4.9 KB
Line 
1let version = 0
2type info_t = { version: int; id: string; title: string; people: string list; locations: string list }
3type t = { info: info_t; fields: Msgpck.t; texts: Msgpck.t; peers: Msgpck.t }
4
5let of_id id = Msgpck.of_string id
6let to_id = Msgpck.to_string
7
8let person p = Msgpck.String (Person.to_string p)
9let persons ps = Msgpck.of_list @@ List.rev @@ Person.Set.fold (fun p a -> person p :: a) ps []
10
11let str = Msgpck.of_string
12let str_list ls = Msgpck.of_list @@ List.map str ls
13let to_str_list x = List.map Msgpck.to_string
14 (try Msgpck.to_list x with e -> prerr_endline "to_str_list"; raise e)
15
16let of_set field t =
17 List.rev @@ String_set.fold (fun s a -> Msgpck.String s :: a) (Text.set field t) []
18
19let date = function "" -> Int32.zero | date -> Int32.of_int (Date.to_secs date)
20
21let to_sec = function Msgpck.Int i -> Int32.of_int i | Msgpck.Uint32 i -> i | x -> Msgpck.to_uint32 x
22
23let fields = Msgpck.(List [
24 String "id"; String "time"; String "title"; String "authors"; String "topics";
25 String "references"; String "replies";
26 ])
27let to_fields fieldpack = List.map Msgpck.to_string (Msgpck.to_list fieldpack)
28
29let to_info = function
30 | Msgpck.List (v::id::n::a::ls::[]) ->
31 let people = to_str_list a in
32 let locations = to_str_list ls in
33 Msgpck.({version = to_int v; id = to_string id; title = to_string n; people; locations})
34 | _ -> invalid_arg "Pack header"
35
36let of_info i = let open Msgpck in
37 List [Int i.version; String i.id; String i.title; str_list i.people; str_list i.locations]
38
39let of_text a t =
40 let open Text in
41 Msgpck.(List [
42 of_id t.id;
43 of_uint32 (date (Date.listing t.date));
44 String t.title;
45 persons t.authors;
46 List (of_set "topics" t);
47 List (of_set "references" t);
48 List (of_set "in-reply-to" t);
49 ]) :: a
50
51let of_text_list l = Msgpck.List l
52
53let pack p = Msgpck.List [of_info p.info; p.fields; p.texts; p.peers]
54let string p = Bytes.to_string @@ Msgpck.Bytes.to_string @@ pack p
55
56let unpack = function
57 | Msgpck.List (i::fields::texts::[]) ->
58 Ok { info = to_info i; fields; texts; peers = Msgpck.List [] }
59 | Msgpck.List (i::fields::texts::peers::[]) ->
60 Ok { info = to_info i; fields; texts; peers }
61 | _ -> Error "format mismatch"
62
63let of_string s = unpack @@ snd @@ Msgpck.StringBuf.read s
64
65let of_kv kv =
66 let find k kv = try Store.KV.find k kv with Not_found -> "" in
67 let find_ls k kv = try String_set.list_of_csv (Store.KV.find k kv) with Not_found -> [] in
68 {
69 info = { version = version; id = find "Id" kv; title = find "Title" kv;
70 people = find_ls "Authors" kv; locations = find_ls "Locations" kv };
71 fields;
72 texts = Msgpck.List [];
73 peers = str_list (find_ls "Peers" kv);
74 }
75
76let list filename = try
77 let texts_list = function
78 | Msgpck.List (_info :: _fields :: [texts]) -> Msgpck.to_list texts
79 | _ -> prerr_endline "malformed feed"; [] in
80 let _pos, data = Msgpck.StringBuf.read @@ File_store.to_string filename in
81 Ok (texts_list data)
82 with Not_found -> Error "unspecified export dir"
83
84let contains text = function
85 | Msgpck.List (id::_time::title::_authors::_topics::[]) ->
86 (match to_id id with
87 | "" -> Printf.eprintf "Invalid id for %s" (Msgpck.to_string title); false
88 | id -> text.Text.id = id)
89 | _ -> prerr_endline ("Invalid record pattern"); false
90
91let numof_texts pack = List.length (Msgpck.to_list pack.texts)
92
93let txt_iter_apply fn i = function
94 | Msgpck.List (id::time::title::authors::topics::extra) ->
95 let t = match time with Msgpck.Int i -> Int32.of_int i | Msgpck.Uint32 i -> i
96 | x -> Msgpck.to_uint32 x in
97 let id = to_id id in
98 let title = Msgpck.to_string title in
99 let topics = to_str_list topics in
100 let authors = to_str_list authors in
101 let references, replies =
102 try begin match extra with [] -> [], []
103 | refs::[] -> to_str_list refs, []
104 | refs::replies::_xs -> to_str_list refs, to_str_list replies
105 end with e -> prerr_endline "iter ref reps"; raise e
106 in
107 fn i id t title authors topics references replies
108 | x -> Printf.eprintf "Invalid record structure: %s\n%!" (Msgpck.show x)
109
110let txt_fold_apply fn i = function
111 | Msgpck.List (id::time::title::authors::topics::extra) ->
112 let t = match time with Msgpck.Int i -> Int32.of_int i | Msgpck.Uint32 i -> i
113 | x -> Msgpck.to_uint32 x in
114 let id = to_id id in
115 let title = Msgpck.to_string title in
116 let topics = to_str_list topics in
117 let authors = to_str_list authors in
118 let references, replies = begin match extra with
119 | [] -> [], []
120 | refs::[] -> to_str_list refs, []
121 | refs::replies::_xs -> to_str_list refs, to_str_list replies
122 end
123 in
124 fn i id t title authors topics references replies
125 | x -> Printf.eprintf "Invalid record structure: %s\n%!" (Msgpck.show x); i
126
127let iteri fn pack = List.iteri
128 (txt_iter_apply fn)
129 (Msgpck.to_list pack.texts)
130
131let fold fn init pack = List.fold_left
132 (fun acc m -> try txt_fold_apply fn acc m with Invalid_argument x -> prerr_endline x; acc) init
133 (try Msgpck.to_list pack.texts with e -> prerr_string "Invalid pack.texts"; raise e)
Note: See TracBrowser for help on using the repository browser.