• en

Module Csw

module Version : sig
module Pcre = Re_pcre
val it : Common.Util.Info.t
val info : ('a, unit, string, unit) Pervasives.format4 -> 'a
val nt : Common.Util.Notice.t
val notice : ('a, unit, string, unit) Pervasives.format4 -> 'a
val wt : Common.Util.Warning.t
val warning : ('a, unit, string, unit) Pervasives.format4 -> 'a
val dt : Common.Util.Debug.t
val debug : ('a, unit, string, unit) Pervasives.format4 -> 'a
val fatal : ('a, unit, string, 'b) Pervasives.format4 -> 'a
val rex : Re.re
val parse_version : string -> string
val compare : string -> string -> int
end
module Packages : sig
module Pcre = Re_pcre
val it : Common.Util.Info.t
val info : ('a, unit, string, unit) Pervasives.format4 -> 'a
val nt : Common.Util.Notice.t
val notice : ('a, unit, string, unit) Pervasives.format4 -> 'a
val wt : Common.Util.Warning.t
val warning : ('a, unit, string, unit) Pervasives.format4 -> 'a
val dt : Common.Util.Debug.t
val debug : ('a, unit, string, unit) Pervasives.format4 -> 'a
val fatal : ('a, unit, string, 'b) Pervasives.format4 -> 'a
type name = string
type version = string
type vpkg = string
type package = {
name : name;
version : version;
depends : vpkg list;
conflicts : vpkg list;
extras : (string * string) list;
}
val default_package : package
module Set : sig
type elt = package
type t
val empty : t
val is_empty : t -> bool
val mem : elt -> t -> bool
val add : elt -> t -> t
val singleton : elt -> t
val remove : elt -> t -> t
val union : t -> t -> t
val inter : t -> t -> t
val diff : t -> t -> t
val compare : t -> t -> int
val equal : t -> t -> bool
val subset : t -> t -> bool
val iter : elt -> unit -> t -> unit
val fold : elt -> 'a -> 'a -> t -> 'a -> 'a
val for_all : elt -> bool -> t -> bool
val exists : elt -> bool -> t -> bool
val filter : elt -> bool -> t -> t
val partition : elt -> bool -> t -> (t * t)
val cardinal : t -> int
val elements : t -> elt list
val min_elt : t -> elt
val max_elt : t -> elt
val choose : t -> elt
val split : elt -> t -> (t * bool * t)
val find : elt -> t -> elt
val of_list : elt list -> t
end
val input_raw_priv : 'a -> 'a -> string -> Set.elt list -> string list -> Set.elt list
exception Eof
val parse_paragraph : package -> IO.input -> package option
val parse_packages_rec : package list -> IO.input -> package list
val parse_packages_in : 'a -> IO.input -> package list
val parse_packages : 'a -> string -> package list
val input_raw : ?extras:'a list -> string list -> Set.elt list
end
module Cswcudf : sig
type tables = {
units : (Packages.name, (int * string) list) ExtLib.Hashtbl.t;
reverse : (int, string) ExtLib.Hashtbl.t;
}
val create : int -> tables
val clear : tables -> unit
val init_tables : Packages.package list -> tables
val add_extra : 'a -> 'b -> 'c -> 'd list
val get_cudf_version : tables -> (Packages.name * string) -> int
val get_real_version : tables -> ('a * int) -> string
val preamble : Cudf.preamble
val tocudf : tables -> ?extras:'a list -> Packages.package -> Cudf.package
end