REPORT de la branche 1.0
[euphorik.git] / modules / erl / euphorik_minichat_conversation.erl
1 % coding: utf-8
2 % Copyright 2008 Grégory Burri
3 %
4 % This file is part of Euphorik.
5 %
6 % Euphorik is free software: you can redistribute it and/or modify
7 % it under the terms of the GNU General Public License as published by
8 % the Free Software Foundation, either version 3 of the License, or
9 % (at your option) any later version.
10 %
11 % Euphorik is distributed in the hope that it will be useful,
12 % but WITHOUT ANY WARRANTY; without even the implied warranty of
13 % MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 % GNU General Public License for more details.
15 %
16 % You should have received a copy of the GNU General Public License
17 % along with Euphorik. If not, see <http://www.gnu.org/licenses/>.
18 %
19 % Ce module permet la gestion des conversations du minichat d'euphorik.
20 % Un message (enfant) peut répondre à des messages (ses parents).
21 % Un message (parent) peut avoir plusieurs réponses (enfants)
22 % @author G.Burri
23 %
24 % @type Message() = {integer(), [integer()]}
25 % @type Conversation_detailee() = {[integer()], [integer()], [integer()], bool()}
26 % @type Conversation = {[Message()] , bool()} bool() : si true alors il y a encore des messages dans les pages suivantes.
27
28
29 -module(euphorik_minichat_conversation).
30 -export([
31 conversations/4
32 ]).
33 -include("../include/euphorik_bd.hrl").
34 -include("../include/euphorik_defines.hrl").
35 -include_lib("stdlib/include/qlc.hrl").
36 -import(lists, [reverse/1, any/2, map/2, sublist/3, filter/2]).
37 -import(euphorik_bd, [resultat_transaction/1]).
38 -import(qlc, [e/2, q/1, keysort/3]).
39 -import(mnesia, [table/1, transaction/1]).
40
41
42 % Renvoie les conversations sous la forme d'une liste de conversation.
43 % Chaque conversation est un tuple {[{Message, Parents}], Plus} où
44 % Message est le message de type #minichat et Parents une liste d'Id.
45 % Plus est un bool. Si Plus vaut true alors il y a encore des messages.
46 % Si il n'y a pas de nouveaux message alors vide est renvoyé.
47 % @spec conversations([{integer(), integer(), integer()}], integer(), integer(), integer()) -> [Conversation()]
48 conversations(Racines, N, D, P) ->
49 Conversations = conversations_detailees(Racines, N, D, P),
50 % si les conversations sont vides alors on attend un nouveau message
51 Vide = not any(
52 fun(C) ->
53 case C of
54 {[], _} -> false;
55 {_, [], _, _} -> false;
56 _ -> true
57 end
58 end,
59 Conversations
60 ),
61 if Vide ->
62 vide;
63 true ->
64 mise_en_forme_conversations(Conversations)
65 end.
66
67
68 % Mise en forme des conversations pour l'utilisateur du module.
69 % @spec mise_en_forme_conversations([[integer()] | Conversation_detailee()]) -> [Conversation()]
70 mise_en_forme_conversations([]) -> [];
71 mise_en_forme_conversations([{Principale, Plus_principale} | Conversations]) ->
72 [{mise_en_forme_conversation(Principale), Plus_principale} | map(fun({_, Cn, _, Plus}) -> {mise_en_forme_conversation(Cn), Plus} end, Conversations)].
73
74
75 % Mise en forme d'une liste d'id de messages : [4, 5, 8, ...] -> [{4, [5, 6]}, ...].
76 % Ajoute les parents de chaque message.
77 % @spec mise_en_forme_conversation([integer()]) -> [{integer(), [integer()]}]
78 mise_en_forme_conversation(Messages) ->
79 resultat_transaction(mnesia:transaction(
80 fun() ->
81 lists:foldr(
82 fun(Id, Acc) ->
83 case euphorik_bd:message_by_id_sans_transaction(Id) of
84 {ok, Message} ->
85 [{Message, parents(Id)} | Acc];
86 _ ->
87 Acc
88 end
89 end,
90 [],
91 Messages
92 )
93 end
94 )).
95
96
97 % Renvoie une liste de conversations, le première élément correspond à la conversation principale.
98 % Les autres éléments sont des tuples {C, Cn, X}, voir conversation/4 pour plus d'infos.
99 % Racines est une liste de tuple {Id, P} des racines des conversations ou P est la page et Id l'id du message.
100 % @spec conversations_detailees([{integer(), integer()}], integer(), integer(), integer()) -> [[integer()] | Conversation_detailee()]
101 conversations_detailees(Racines, N, D, P) ->
102 Conversations = map(fun({Racine, P_conv, Dernier}) -> conversation(Racine, N, Dernier, P_conv) end, Racines),
103 Conversation_principale = resultat_transaction(transaction(fun() ->
104 Curseur = qlc:cursor(q([E#minichat.id || E <- qlc:sort(table(minichat), [{order, descending}])]), [{tmpdir, ?KEY_SORT_TEMP_DIR}]),
105 {CP, Plus} = conversation_principale(Curseur, Conversations, N, P),
106 qlc:delete_cursor(Curseur),
107 {[M || M <- CP, M > D], Plus} % filtre en fonction de D
108 end)),
109 [Conversation_principale | Conversations].
110
111
112 % Construit la conversation principale en fonction d'un curseur C initialement placé sur le dernier message
113 % et la liste de conversations.
114 % N est le nombre de messages que l'on souhaite.
115 % P est le numéro de la page (1, 2, 3...)
116 % @spec conversation_principale(qlc:QueryCursor(), [Conversation_detailee()], integer(), integer()) -> {[Id], Plus}
117 conversation_principale(C, Conversations, N, P) ->
118 % on prend en message de plus pour savoir s'il y en a plus que ce que l'on désire
119 CP = reverse(conversation_principale2(C, lists:flatten(map(fun({C2, _, X, _}) -> C2 -- X end, Conversations)), N + 1, (P - 1) * N)),
120 Plus = length(CP) =:= N + 1,
121 {
122 if Plus ->
123 [_| Suivants] = CP,
124 Suivants;
125 true ->
126 CP
127 end,
128 Plus
129 }.
130
131
132 % C est le curseur (voir ci dessus)
133 % 'Messages' sont les messages que l'on doit enlever de la conversation
134 % S est le nombre de messages qu'il faut sauter.
135 % @spec conversation_principale2(qlc:QueryCursor(), [integer()], integer(), integer())
136 conversation_principale2(_, _, 0, _) ->
137 [];
138 conversation_principale2(C, Messages, N, S) ->
139 case qlc:next_answers(C, 1) of
140 [] -> [];
141 [M] -> % traitement message par message (pas des plus performant :/)
142 Doit_etre_saute = any(fun(E) -> E == M end, Messages),
143 if Doit_etre_saute ->
144 conversation_principale2(C, Messages, N, S); % le message ne fait pas partie de la conversation
145 S =:= 0 ->
146 [M | conversation_principale2(C, Messages, N - 1, S)]; % ok : le message fait partie de la conversation
147 true ->
148 conversation_principale2(C, Messages, N, S - 1) % on n'a pas encore atteint le début de la page
149 end
150 end.
151
152
153 % Renvoie un tuple {C, Cn, X, Plus} où
154 % C : La conversation complète
155 % Cn : La conversation tronqué en fonction de N, D et P
156 % X : La liste des messages répondant à des mess qui ne font pas partie de la conversation
157 % Plus : true s'il y a encore des messages après
158 % Inputs :
159 % R : l'id d'un message représentant la racine de la conversation
160 % N : le nombre de message par page
161 % D : Le dernier message connu 0 si aucun de connu
162 % P : La page désirée
163 % @spec conversation([integer()], integer(), integer(), integer()) -> Conversation_detailee()
164 conversation(R, N, D, P) ->
165 {C, X} = conversation([], [R], []),
166 Decalage = N * (P - 1) + 1,
167 {
168 reverse(C),
169 if Decalage > length(C) ->
170 [];
171 true ->
172 filter(
173 fun(E) -> E > D end,
174 reverse(sublist(C, Decalage, N))
175 )
176 end,
177 reverse(X),
178 Decalage + N - 1 < length(C)
179 }.
180
181
182 % Renvoie un tuple {C, X} où C est la conversation complète et X les messages répondant à des mess qui ne font pas partie de la conversation
183 % Attention : les messages de C et de X sont ordrés du plus grand Id au plus petit.
184 % @spec conversation([integer()], [integer()], [integer()]) -> {}
185 conversation(Conv, [M | Reste], X) ->
186 Est_deja_traite = any(fun(E) -> E =:= M end, Conv),
187 if Est_deja_traite ->
188 conversation(Conv, Reste, X);
189 true ->
190 Enfants = enfants(M),
191 Parents = parents(M),
192 % un message est dit externe si un de ses parent ne fait pas partie de la conversation ou si un de ses parents fait partie de X
193 Est_message_externe = Parents -- Conv =/= [] orelse intersection(Parents, X) =/= [],
194 conversation([M | Conv], lists:merge(Reste, Enfants), if Est_message_externe -> [M | X]; true -> X end)
195 end;
196 conversation(Messages, [], X) ->
197 {Messages, X}.
198
199
200 % Renvoie les enfants d'un message M (les messages qui répondent à M)
201 % ordrés du plus petit au plus grand.
202 % @spec enfants(integer()) -> [integer()]
203 enfants(M) ->
204 resultat_transaction(transaction(fun() ->
205 e(
206 qlc:sort(
207 q([E#reponse_minichat.repondant || E <- table(reponse_minichat), E#reponse_minichat.cible =:= M]),
208 [{order, ascending}]
209 ),
210 [{tmpdir, ?KEY_SORT_TEMP_DIR}]
211 )
212 end)).
213
214
215 % Renvoie les parents d'un message M (les messages auquels répond M)
216 % ordrés du plus petit au plus grand..
217 % @spec parents(integer()) -> [integer()]
218 parents(M) ->
219 resultat_transaction(transaction(fun() ->
220 e(
221 qlc:sort(
222 q([E#reponse_minichat.cible || E <- table(reponse_minichat), E#reponse_minichat.repondant =:= M]),
223 [{order, ascending}]
224 ),
225 [{tmpdir, ?KEY_SORT_TEMP_DIR}]
226 )
227 end)).
228
229
230 % Intersection entre deux listes : [1, 3, 4] n [2, 4, 7] = [4]
231 % @spec intersection(list(term()), list(term())) -> list(term())
232 intersection(L1, L2) ->
233 filter(fun(X) -> lists:member(X, L1) end, L2).
234