1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
|
(**************************************************************************************)
(* Copyright (C) 2010 Pietro Abate <pietro.abate@pps.jussieu.fr> *)
(* Copyright (C) 2010 Mancoosi Project *)
(* *)
(* This library is free software: you can redistribute it and/or modify *)
(* it under the terms of the GNU Lesser General Public License as *)
(* published by the Free Software Foundation, either version 3 of the *)
(* License, or (at your option) any later version. A special linking *)
(* exception to the GNU Lesser General Public License applies to this *)
(* library, see the COPYING file for more information. *)
(**************************************************************************************)
(** This module compute the difference between a cudf universe and a cudf solution *)
open ExtLib
module Cudf_set = CudfAdd.Cudf_set
module StringSet = CudfAdd.StringSet
type solution = {
installed : Cudf_set.t ;
removed : Cudf_set.t ;
}
(* the 'package' is always taken from the universe *)
let to_set univ l =
List.fold_left (fun s p ->
let q = Cudf.lookup_package univ (p.Cudf.package,p.Cudf.version) in
Cudf_set.add q s
) Cudf_set.empty l
;;
(** [diff univ sol] for each pkgname returns the list of all
versions that were installed (in the solution) or removed (from the
universe) *)
let diff univ sol =
let pkgnames = CudfAdd.pkgnames univ in
let h = Hashtbl.create (StringSet.cardinal pkgnames) in
StringSet.iter (fun pkgname ->
let were_installed = to_set univ (Cudf.get_installed univ pkgname) in
let are_installed = to_set univ (Cudf.get_installed sol pkgname) in
let r = Cudf_set.diff were_installed are_installed in
let i = Cudf_set.diff are_installed were_installed in
let s = { removed = r ; installed = i } in
Hashtbl.add h pkgname s
) pkgnames ;
h
;;
(**
[all] : all versions of a package in the universe .
[s] : the set of version for version of a package in a solution
returns a list that contains for each version its status : installed,
removed, upgraded, etc
*)
type summary_t = {
mutable i : Cudf.package list; (* installed *)
mutable r : Cudf.package list; (* removed *)
mutable u : (Cudf.package * Cudf.package) option ; (* upgraded *)
mutable d : (Cudf.package * Cudf.package) option ; (* downgraded *)
mutable nu : Cudf.package list; (* not upgraded *)
}
(* for one package *)
let default_summary () = { u = None; d = None ; i = [] ; r = [] ; nu = [] }
let uniqueversion all s =
let l = default_summary () in
let i = Cudf_set.filter (fun pkg -> pkg.Cudf.installed) all in
if (Cudf_set.cardinal i <= 1) && ((Cudf_set.cardinal s.installed) <= 1) then
begin
if (Cudf_set.cardinal s.installed) = 1 then begin
if (Cudf_set.cardinal i) = 1 then begin
let np = Cudf_set.choose i in
let op = Cudf_set.choose s.installed in
if np.Cudf.version < op.Cudf.version
then l.u <- Some(np,op)
else l.d <- Some(op,np)
end
else
l.i <- Cudf_set.elements s.installed;
end else
if not (Cudf_set.is_empty s.removed) then
l.r <- Cudf_set.elements s.removed;
end
else begin
if not (Cudf_set.is_empty s.removed) then
l.r <- Cudf_set.elements s.removed;
if not (Cudf_set.is_empty s.installed) then
l.i <- Cudf_set.elements s.installed;
end;
l
;;
let summary univ diff =
let i = ref [] in
let u = ref [] in
let d = ref [] in
let r = ref [] in
let names = CudfAdd.pkgnames univ in
StringSet.iter (fun pkgname ->
let all = CudfAdd.to_set (Cudf.lookup_packages univ pkgname) in
let s = Hashtbl.find diff pkgname in
let l = uniqueversion all s in
i := l.i @ !i ;
r := l.r @ !r ;
if not (Option.is_none l.u) then
u := (Option.get l.u) :: !u;
if not (Option.is_none l.d) then
d := (Option.get l.d) :: !d;
) names;
(!i,!u,!d,!r)
;;
|
