package dose3

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Un-installability reasons
1. Helpers Functions
Pretty Priting Functions

package dose3

dose3.algo
- Dose_algo
  - Defaultgraphs
    
    ActionGraph
    
    DotPrinter
    
    Display
    
    G
    
    E
    
    V
    
    GmlPrinter
    
    PkgV
    
    GraphOper
    
    G
    
    E
    
    V
    
    O
    
    S
    
    IntPkgGraph
    
    DIn
    
    DotPrinter
    
    Display
    
    G
    
    E
    
    V
    
    GmlPrinter
    
    O
    
    O
    
    S
    
    PkgV
    
    S
    
    PackageGraph
    
    DotPrinter
    
    Display
    
    G
    
    E
    
    V
    
    GmlPrinter
    
    GraphmlPrinter
    
    O
    
    O
    
    S
    
    PkgV
    
    S
    
    UG
    
    E
    
    V
    
    SyntacticDependencyGraph
    
    DotPrinter
    
    Display
    
    G
    
    E
    
    V
    
    GmlPrinter
    
    GraphmlPrinter
    
    PkgE
    
    PkgV
    
    S
  - Depsolver
  - Depsolver_int
    
    R
    
    S
  - Diagnostic
    
    ResultHash
  - Dominators
    
    O
    
    O
    
    S
  - Flatten
    
    CSet
    
    Conflict
    
    Disj
    
    Formula
    
    PSet
    
    PTbl
    
    Package
  - Statistics
    
    Make
    
    G
    
    E
    
    V
    
    MSin
    
    MSout
    
    UndG
    
    E
    
    V
    
    VS
  - Strongconflicts
    
    CG
    
    E
    
    V
    
    CflE
  - Strongconflicts_int
    
    CG
    
    E
    
    V
    
    CflE
    
    S
  - Strongdeps
dose3.common
- Dose_common
  - CudfAdd
    
    Cudf_hashtbl
    
    Cudf_set
    
    StringSet
  - CudfDiff
  - CudfSolver
  - EdosSolver
    
    M
    
    X
    
    S
    
    T
    
    X
  - GitVersionInfo
  - Shell_lexer
  - Util
    
    Debug
    
    Info
    
    IntHashtbl
    
    IntPairHashtbl
    
    Logging
    
    X
    
    Messages
    
    Notice
    
    Progress
    
    StringHashtbl
    
    StringPairHashtbl
    
    Timer
    
    Warning
    
    identity
    
    intprojection
    
    projection
  - VersionInfo
dose3.versioning
- Dose_versioning
  - Debian
  - Semver
  - SemverNode
  - Utils

Legend:
Library
Module
Module type
Parameter
Class
Class type

Un-installability reasons

type request = Cudf.package list

The request provided to the solver

type reason =

| Dependency of Cudf.package * Cudf_types.vpkg list * Cudf.package list
(*
Not strictly a un-installability, Dependency (a,vpkglist,pkglist) is used to recontruct the the dependency path from the root package to the offending un-installable package
*)
| Missing of Cudf.package * Cudf_types.vpkg list
(*
Missing (a,vpkglist) means that the dependency vpkglist of package a cannot be satisfied
*)
| Conflict of Cudf.package * Cudf.package * Cudf_types.vpkg
(*
Conflict (a,b,vpkg) means that the package a is in conflict with package b because of vpkg
*)

type result =

| Success of ?all:bool -> unit -> Cudf.package list
(*
If successfull returns a function that will return the installation set for the given query. Since not all packages are tested for installability directly, the installation set might be empty. In this case, the solver can be called again to provide the real installation set using the parameter ~all:true
*)
| Failure of unit -> reason list
(*
If unsuccessful returns a function containing the list of reason
*)

The result of an installability query

type diagnosis = {

result : result;
request : request;

}

The aggregated result from the solver

type reason_int =

| DependencyInt of int * Cudf_types.vpkg list * int list
| MissingInt of int * Cudf_types.vpkg list
| ConflictInt of int * int * Cudf_types.vpkg

Low level Integer Un-installability reasons

type result_int =

| SuccessInt of ?all:bool -> unit -> int list
| FailureInt of unit -> reason_int list

the low-level result. All integers are sat solver indexes and need to be converted using a projection map. Moreover the result also contains the global constraints index that must filtered out before returing the final result to the user

type request_int = int list

Helpers Functions

val diagnosis : 
  Dose_common.Util.projection ->
  Cudf.universe ->
  result_int ->
  request_int ->
  diagnosis

Turn an integer result into a cudf result

val result : 
  Dose_common.Util.projection ->
  Cudf.universe ->
  result_int ->
  result

Turn an integer result into a cudf result

val request : Cudf.universe -> request_int -> Cudf.package list

Turn an integer request into a cudf request

Pretty Priting Functions

module ResultHash : Hashtbl.S with type key = reason

type summary = {

mutable missing : int;
mutable conflict : int;
mutable unique_missing : int;
mutable unique_conflict : int;
mutable unique_selfconflict : int;
summary : Cudf.package list ref ResultHash.t;
statistic : (int * int, int ref) Hashtbl.t;

}

Collect aggregate information about not installable packages

val default_result : int -> summary

val collect : summary -> diagnosis -> unit

collect summary result. Callback function to collect result information in the summary data structure. Can be used to build a custom callback function for Depsolver.listcheck or Depsolver.univcheck

val pp_out_version : Format.formatter -> unit

print output version

val pp_package : 
  ?source:bool ->
  ?fields:bool ->
  Dose_common.CudfAdd.pp ->
  Format.formatter ->
  Cudf.package ->
  unit

default package pretty printer.

val pp_list : 
  (Format.formatter -> 'a -> unit) ->
  Format.formatter ->
  'a list ->
  unit

val print_error : 
  ?condense:bool ->
  ?minimal:bool ->
  Dose_common.CudfAdd.pp ->
  Cudf.package ->
  Format.formatter ->
  reason list ->
  unit

val get_installationset : ?minimal:bool -> diagnosis -> Cudf.package list

If the installablity query is successfull, get_installationset return the associated installation set . If minimal is true (false by default), the installation set is restricted to the dependency cone of the packages specified in the installablity query.

raises [Not_found]
if the result is a failure.

val is_solution : diagnosis -> bool

True is the result of an installablity query is successfull. False otherwise

val pp_summary : 
  ?pp:Dose_common.CudfAdd.pp ->
  ?explain:bool ->
  unit ->
  Format.formatter ->
  summary ->
  unit

print a aggregate information of not installable packages.

parameter pp
cudf package printer

parameter explain
if true, print the list of all affected packages associated to and installation problem.

val fprintf : 
  ?pp:Dose_common.CudfAdd.pp ->
  ?failure:bool ->
  ?success:bool ->
  ?explain:bool ->
  ?minimal:bool ->
  ?condense:bool ->
  Format.formatter ->
  diagnosis ->
  unit

printf fmt d print the output of the solver in yaml format to the formatter fmt.

parameter pp
cudf package printer

parameter failure
print the list of not installable packages

parameter success
print the list of installable packages

parameter explain
for installable packages, print the associated installation set for not installable packages, print the all dependencies chains

val printf : 
  ?pp:Dose_common.CudfAdd.pp ->
  ?failure:bool ->
  ?success:bool ->
  ?explain:bool ->
  diagnosis ->
  unit

like fprintf but print using the standard formatter

val print_dot : 
  ?pp:Dose_common.CudfAdd.pp ->
  ?condense:bool ->
  ?addmissing:bool ->
  ?dir:string ->
  diagnosis ->
  unit

print the explanation graph in dot format to the standard formatter