|
|
@@ -1,7 +1,9 @@
|
|
|
// -*- mode: cpp; mode: fold -*-
|
|
|
-// Description /*{{{*/
|
|
|
-/* ######################################################################
|
|
|
+/** Description \file edsp.h {{{
|
|
|
+ ######################################################################
|
|
|
Set of methods to help writing and reading everything needed for EDSP
|
|
|
+ with the noteable exception of reading a scenario for conversion into
|
|
|
+ a Cache as this is handled by edsp interface for listparser and friends
|
|
|
##################################################################### */
|
|
|
/*}}}*/
|
|
|
#ifndef PKGLIB_EDSP_H
|
|
|
@@ -32,27 +34,173 @@ class EDSP /*{{{*/
|
|
|
pkgCache::VerIterator const &Ver,
|
|
|
APT::PackageSet const &pkgset);
|
|
|
public:
|
|
|
+ /** \brief creates the EDSP request stanza
|
|
|
+ *
|
|
|
+ * In the EDSP protocol the first thing send to the resolver is a stanza
|
|
|
+ * encoding the request. This method will write this stanza by looking at
|
|
|
+ * the given Cache and requests the installation of all packages which were
|
|
|
+ * marked for installation in it (equally for remove).
|
|
|
+ *
|
|
|
+ * \param Cache in which the request is encoded
|
|
|
+ * \param output is written to this "file"
|
|
|
+ * \param upgrade is true if it is an request like apt-get upgrade
|
|
|
+ * \param distUpgrade is true if it is a request like apt-get dist-upgrade
|
|
|
+ * \param autoRemove is true if removal of unneeded packages should be performed
|
|
|
+ *
|
|
|
+ * \return true if request was composed successfully, otherwise false
|
|
|
+ */
|
|
|
bool static WriteRequest(pkgDepCache &Cache, FILE* output,
|
|
|
bool const upgrade = false,
|
|
|
bool const distUpgrade = false,
|
|
|
bool const autoRemove = false);
|
|
|
+
|
|
|
+ /** \brief creates the scenario representing the package universe
|
|
|
+ *
|
|
|
+ * After the request all known information about a package are send
|
|
|
+ * to the solver. The output looks similar to a Packages or status file
|
|
|
+ *
|
|
|
+ * All packages and version included in this Cache are send, even if
|
|
|
+ * it doesn't make sense from an APT resolver point of view like versions
|
|
|
+ * with a negative pin to enable the solver to propose even that as a
|
|
|
+ * solution or at least to be able to give a hint what can be done to
|
|
|
+ * statisfy a request.
|
|
|
+ *
|
|
|
+ * \param Cache is the known package universe
|
|
|
+ * \param output is written to this "file"
|
|
|
+ *
|
|
|
+ * \return true if universe was composed successfully, otherwise false
|
|
|
+ */
|
|
|
bool static WriteScenario(pkgDepCache &Cache, FILE* output);
|
|
|
+
|
|
|
+ /** \brief creates a limited scenario representing the package universe
|
|
|
+ *
|
|
|
+ * This method works similar to #WriteScenario as it works in the same
|
|
|
+ * way but doesn't send the complete universe to the solver but only
|
|
|
+ * packages included in the pkgset which will have only dependencies
|
|
|
+ * on packages which are in the given set. All other dependencies will
|
|
|
+ * be removed, so that this method can be used to create testcases
|
|
|
+ *
|
|
|
+ * \param Cache is the known package universe
|
|
|
+ * \param output is written to this "file"
|
|
|
+ * \param pkgset is a set of packages the universe should be limited to
|
|
|
+ *
|
|
|
+ * \return true if universe was composed successfully, otherwise false
|
|
|
+ */
|
|
|
bool static WriteLimitedScenario(pkgDepCache &Cache, FILE* output,
|
|
|
APT::PackageSet const &pkgset);
|
|
|
+
|
|
|
+ /** \brief waits and acts on the information returned from the solver
|
|
|
+ *
|
|
|
+ * This method takes care of interpreting whatever the solver sends
|
|
|
+ * through the standard output like a solution, progress or an error.
|
|
|
+ * The main thread should handle his control over to this method to
|
|
|
+ * wait for the solver to finish the given task
|
|
|
+ *
|
|
|
+ * \param input file descriptor with the response from the solver
|
|
|
+ * \param Cache the solution should be applied on if any
|
|
|
+ *
|
|
|
+ * \return true if a solution is found and applied correctly, otherwise false
|
|
|
+ */
|
|
|
bool static ReadResponse(int const input, pkgDepCache &Cache);
|
|
|
|
|
|
- // ReadScenario is provided by the listparser infrastructure
|
|
|
+ /** \brief search and read the request stanza for action later
|
|
|
+ *
|
|
|
+ * This method while ignore the input up to the point it finds the
|
|
|
+ * Request: line as an indicator for the Request stanza.
|
|
|
+ * The request is stored in the parameters install and remove then,
|
|
|
+ * as the cache isn't build yet as the scenario follows the request.
|
|
|
+ *
|
|
|
+ * \param input file descriptor with the edsp input for the solver
|
|
|
+ * \param[out] install is a list which gets populated with requested installs
|
|
|
+ * \param[out] remove is a list which gets populated with requested removals
|
|
|
+ * \param[out] upgrade is true if it is a request like apt-get upgrade
|
|
|
+ * \param[out] distUpgrade is true if it is a request like apt-get dist-upgrade
|
|
|
+ * \param[out] autoRemove is true if removal of uneeded packages should be performed
|
|
|
+ *
|
|
|
+ * \return true if the request could be found and worked on, otherwise false
|
|
|
+ */
|
|
|
bool static ReadRequest(int const input, std::list<std::string> &install,
|
|
|
std::list<std::string> &remove, bool &upgrade,
|
|
|
bool &distUpgrade, bool &autoRemove);
|
|
|
+
|
|
|
+ /** \brief takes the request lists and applies it on the cache
|
|
|
+ *
|
|
|
+ * The lists as created by #ReadRequest will be used to find the
|
|
|
+ * packages in question and mark them for install/remove.
|
|
|
+ * No solving is done and no auto-install/-remove.
|
|
|
+ *
|
|
|
+ * \param install is a list of packages to mark for installation
|
|
|
+ * \param remove is a list of packages to mark for removal
|
|
|
+ * \param Cache is there the markers should be set
|
|
|
+ *
|
|
|
+ * \return false if the request couldn't be applied, true otherwise
|
|
|
+ */
|
|
|
bool static ApplyRequest(std::list<std::string> const &install,
|
|
|
std::list<std::string> const &remove,
|
|
|
pkgDepCache &Cache);
|
|
|
+
|
|
|
+ /** \brief encodes the changes in the Cache as a EDSP solution
|
|
|
+ *
|
|
|
+ * The markers in the Cache are observed and send to given
|
|
|
+ * file. The solution isn't checked for consistency or alike,
|
|
|
+ * so even broken solutions can be written successfully,
|
|
|
+ * but the front-end revicing it will properly fail then.
|
|
|
+ *
|
|
|
+ * \param Cache which represents the solution
|
|
|
+ * \param output to write the stanzas forming the solution to
|
|
|
+ *
|
|
|
+ * \return true if solution could be written, otherwise false
|
|
|
+ */
|
|
|
bool static WriteSolution(pkgDepCache &Cache, FILE* output);
|
|
|
+
|
|
|
+ /** \brief sends a progress report
|
|
|
+ *
|
|
|
+ * \param percent of the solving completed
|
|
|
+ * \param message the solver wants the user to see
|
|
|
+ * \param output the front-end listens for progress report
|
|
|
+ */
|
|
|
bool static WriteProgress(unsigned short const percent, const char* const message, FILE* output);
|
|
|
+
|
|
|
+ /** \brief sends an error report
|
|
|
+ *
|
|
|
+ * Solvers are expected to execute successfully even if
|
|
|
+ * they were unable to calculate a solution for a given task.
|
|
|
+ * Obviously they can't send a solution through, so this
|
|
|
+ * methods deals with formatting an error message correctly
|
|
|
+ * so that the front-ends can recieve and display it.
|
|
|
+ *
|
|
|
+ * The first line of the message should be a short description
|
|
|
+ * of the error so it can be used for dialog titles or alike
|
|
|
+ */
|
|
|
bool static WriteError(std::string const &message, FILE* output);
|
|
|
|
|
|
+ /** \brief executes the given solver and returns the pipe ends
|
|
|
+ *
|
|
|
+ * The given solver is executed if it can be found in one of the
|
|
|
+ * configured directories and setup for it is performed.
|
|
|
+ *
|
|
|
+ * \param solver to execute
|
|
|
+ * \param[out] solver_in will be the stdin of the solver
|
|
|
+ * \param[out] solver_out will be the stdout of the solver
|
|
|
+ *
|
|
|
+ * \return true if the solver could be started and the pipes
|
|
|
+ * are set up correctly, otherwise false and the pipes are invalid
|
|
|
+ */
|
|
|
bool static ExecuteSolver(const char* const solver, int *solver_in, int *solver_out);
|
|
|
+
|
|
|
+ /** \brief call an external resolver to handle the request
|
|
|
+ *
|
|
|
+ * This method wraps all the methods above to call an external solver
|
|
|
+ *
|
|
|
+ * \param solver to execute
|
|
|
+ * \param Cache with the problem and as universe to work in
|
|
|
+ * \param upgrade is true if it is a request like apt-get upgrade
|
|
|
+ * \param distUpgrade is true if it is a request like apt-get dist-upgrade
|
|
|
+ * \param autoRemove is true if unneeded packages should be removed
|
|
|
+ *
|
|
|
+ * \return true if the solver has successfully solved the problem,
|
|
|
+ * otherwise false
|
|
|
+ */
|
|
|
bool static ResolveExternal(const char* const solver, pkgDepCache &Cache,
|
|
|
bool const upgrade, bool const distUpgrade,
|
|
|
bool const autoRemove);
|