% coding: utf-8
% Ce module permet la gestion des conversations du minichat d'euphorik.
% Un message (enfant) peut répondre à des messages (ses parents).
% Un message (parent) peut avoir plusieurs réponses (enfants)
% @author G.Burri

-module(euphorik_minichat_conversation).
-export([
   conversations/4
]).

-include("euphorik_bd.hrl").
-include_lib("stdlib/include/qlc.hrl").

-import(lists, [reverse/1, any/2, map/2, sublist/3, filter/2]).
-import(euphorik_minichat, [resultat_transaction/1]).
-import(qlc, [e/1, q/1, keysort/3]).
-import(mnesia, [table/1, transaction/1]).
  
   
% Renvoie les conversations sous la forme d'une liste de conversation.
% Chaque conversation est un tuple {[{Message, Parents}], Plus} où
% Message est le message de type #minichat et Parents une liste d'Id.
% Plus est un bool. Si Plus vaut true alors il y a encore des messages.
% Si il n'y a pas de nouveaux message alors la fonction est bloquante et attend un nouveau message.
conversations(Racines, N, D, P) ->
   % écoute des nouveaux messages
   case subscribe(minichat, 2) of
      erreur = E ->
         E;
      _ ->
         % demande des conversations
         Conversations = conversations_detailees(Racines, N, D, P),
         %io:format("~p~n", [Conversations]),
         % si les conversations sont vides alors on attend un nouveau message
         Vide = not lists:any(
            fun(C) ->
               case C of
                  {[], _} -> false;
                  {_, [], _, _} -> false;
                  _ -> true
               end
            end,
            Conversations
         ),
         Conversations_mises_en_forme = mise_en_forme_conversations(
            if Vide ->
               attend_nouveau_message(),
               conversations_detailees(Racines, N, D, P);
            true ->
               Conversations
            end
         ),
         unsubscribe(minichat),
         Conversations_mises_en_forme
   end.
   
   
% Ecoute les événements de modification d'une table.
subscribe(_Table, 0) ->
   erreur;
subscribe(Table, C) ->
   case mnesia:subscribe({table, Table, simple}) of 
   	{error, {not_active_local, Table}} ->	    
         mnesia:add_table_copy(minichat, node(), ram_copies),
         subscribe(Table, C - 1);
      {error, _}->
         erreur;
      _ ->
         ok
   end.   
   
   
% Arrête d'écouter les modifications d'une table.
unsubscribe(Table) -> 
   mnesia:unsubscribe({table, Table, simple}).
 
 
% Attend qu'un nouveau message arrive, function bloquante.
% Renvoie le nouveau message.
attend_nouveau_message() ->
   %io:format(F, "En attente d'un message !~n", []),
   receive % attente d'un post
      {mnesia_table_event, {write, Message, _}} ->
         Message;
         %io:format(F, "Debloquage !~n", []),
         %file:close(F);
      %~ {tcp_closed, _} ->
         %~ mnesia:unsubscribe({table, minichat, simple});      
      _ ->
         %io:format(F, "~p~n", [M]),
         attend_nouveau_message()
   % 60 minutes de timeout (le cas ou il n'y a que des consultations et jamais de post)
   % Après 60 minutes de connexion, le client doit donc reétablir une connexion
   % TODO : pour être mieux : quand le socket se ferme alors un message devrait être envoyé et débloquer ce receive (demande en cours sur la mailing list de yaws)
   after 1000 * 60 * 60 -> 
      timeout
   end.   
     

% Mise en forme des conversations pour l'utilisateur du module.
mise_en_forme_conversations([]) -> [];
mise_en_forme_conversations([{Principale, Plus_principale} | Conversations]) ->
   [{mise_en_forme_conversation(Principale), Plus_principale} | lists:map(fun({_, Cn, _, Plus}) -> {mise_en_forme_conversation(Cn), Plus} end, Conversations)].
   
   
% Mise en forme d'une liste d'id de messages : [4, 5, 8, ...].
mise_en_forme_conversation(Messages) ->
   lists:map(
      fun(Id) ->
         {ok, Message} = euphorik_minichat:message_by_id(Id),
         {Message, parents(Id)}
      end,
      Messages
   ).
   
   
% Renvoie une liste de conversations, le première élément correspond à la conversation principale.
% Les autres éléments sont des tuples {C, Cn, X}, voir conversation/4 pour plus d'infos.
% Racines est une liste de tuple {Id, P} des racines des conversations ou P est la page et Id l'id du message.
conversations_detailees(Racines, N, D, P) ->   
   Conversations = map(fun({Racine, P_conv}) -> conversation(Racine, N, D, P_conv) end, Racines),
   Conversation_principale = resultat_transaction(transaction(fun() ->
      Curseur = qlc:cursor(q([E#minichat.id || E <- qlc:sort(table(minichat), [{order, descending}])])),
      {CP, Plus} = conversation_principale(Curseur, Conversations, N, P),
      qlc:delete_cursor(Curseur),
      {reverse([M || M <- CP, M > D]), Plus} % filtre en fonction de D
   end)),
   [Conversation_principale | Conversations].
   

% Construit la conversation principale en fonction d'un curseur C initialement placé sur le dernier message
% et la liste de conversations.
% N est le nombre de messages que l'on souhaite.
% P est le numéro de la page (1, 2, 3...)
% Renvoie {[Id], Plus}
conversation_principale(C, Conversations, N, P) ->
   CP = conversation_principale2(C, lists:flatten(map(fun({C2, _, X, _}) -> C2 -- X end, Conversations)), N + 1, (P - 1) * N),
   Plus = length(CP) =:= N + 1,
   {
      if Plus ->
         [_| Suivants] = CP,
         Suivants;
      true ->
         CP
      end,
      Plus
   }.
      
      
% C est le curseur (voir ci dessus)
% 'Messages' sont les messages que l'on doit enlever de la conversation
% S est le nombre de messages qu'il faut sauter
conversation_principale2(_, _, 0, _) ->
   [];
conversation_principale2(C, Messages, N, S) ->
   case qlc:next_answers(C, 1) of
      [] -> [];
      [M] -> % traitement message par message (pas des plus performant :/)
         %io:format("M: ~p~n", [M]),
         Doit_etre_saute = lists:any(fun(E) -> E == M end, Messages),
         if  Doit_etre_saute -> 
               conversation_principale2(C, Messages, N, S); % le message ne fait pas partie de la conversation
            S =:= 0 ->
               [M | conversation_principale2(C, Messages, N - 1, S)]; % ok : le message fait partie de la conversation
            true ->
               conversation_principale2(C, Messages, N, S - 1) % on n'a pas encore atteint le début de la page
         end
   end.
   
   
% Renvoie un tuple {C, Cn, X, Plus} où
% C : La conversation complète
% Cn : La conversation tronqué en fonction de N, D et P
% X : La liste des messages répondant à des mess qui ne font pas partie de la conversation
% Plus : true s'il y a encore des messages après
% Inputs :
% R : l'id d'un message représentant la racine de la conversation
% N : le nombre de message par page
% D : Le dernier message connu 0 si aucun de connu
% P : La page désirée
conversation(R, N, D, P) ->
   {C, X} = conversation([], [R], []),
   Decalage = N*(P-1)+1,
   { 
      reverse(C),
      if Decalage > length(C) ->
            [];
         true ->
            reverse(filter(
               fun(E) -> E > D end,
               sublist(C, Decalage, N)
            ))
      end,
      reverse(X),
      Decalage + N - 1 < length(C) 
   }.
   
   
% 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
% Attention : les messages de C et de X sont ordrés du plus grand Id au plus petit.
% @spec conversation([integer()], [integer()], [integer()]) -> {}
conversation(Messages, [M | Reste], X) ->
   Est_deja_traite = any(fun(E) -> E =:= M end, Messages),
   if  Est_deja_traite ->
      conversation(Messages, Reste, X);
   true ->
      Enfants = enfants(M),
      Parents = parents(M),
      % un message est dit exiterne si un de ses parent ne fait pas partie de la conversation ou si un de ses parents fait partie de X
      Est_message_externe =  Parents -- Messages =/= [] orelse intersection(Parents, X) =/= [],
      conversation([M | Messages], Reste ++ Enfants, if Est_message_externe -> [M | X]; true -> X end)
   end;
conversation(Messages, [], X) ->
   {Messages, X}.
   
   
% Renvoie les enfants d'un message M (les messages qui répondent à M)
% ordrés du plus petit au plus grand.
% @spec enfants(integer()) -> [integer()]
enfants(M) ->
   resultat_transaction(transaction(fun() ->
      e(q([E#reponse_minichat.repondant || E <- qlc:sort(table(reponse_minichat), [{order, ascending}]), E#reponse_minichat.cible =:= M]))
   end)).
   
   
% Renvoie les parents d'un message M (les messages auquels répond M)
% ordrés du plus petit au plus grand..
% @spec parents(integer()) -> [integer()]
parents(M) ->
   resultat_transaction(transaction(fun() ->
      e(q([E#reponse_minichat.cible || E <- keysort(1, table(reponse_minichat), [{order, ascending}]), E#reponse_minichat.repondant =:= M]))
   end)).
   

% Intersection entre deux listes : [1, 3, 4] n [2, 4, 7] = [4]
% @spec intersection(list(term()), list(term())) -> list(term())
intersection(L1, L2) ->
   lists:filter(fun(X) -> lists:member(X, L1) end, L2).