1
0
Fork 0

Update solver to use PackageInterface and store pool package ids inside of packages

pull/1/head
Nils Adermann 2011-06-03 18:22:20 +02:00
parent 8cbf3f4d75
commit 2e41993822
5 changed files with 86 additions and 56 deletions

View File

@ -37,6 +37,7 @@ class Pool
foreach ($repo->getPackages() as $package) {
$this->packages[] = $package;
$package->setId(sizeof($this->packages));
foreach ($package->getNames() as $name) {
$this->packageByName[$name][] = $package;

View File

@ -72,8 +72,9 @@ class Rule
$this->type = $type;
}
public function getType($type)
public function getType()
{
return $this->type;
}
public function disable()

View File

@ -83,10 +83,10 @@ class Solver
*
* @param PackageInterface $package The package with a requirement
* @param array $providers The providers of the requirement
* @param int $reason A RULE_* constant describing the reason for
* generating this rule
* @param mixed $reasonData Any data, e.g. the requirement name, that goes with
* the reason
* @param int $reason A RULE_* constant describing the
* reason for generating this rule
* @param mixed $reasonData Any data, e.g. the requirement name,
* that goes with the reason
* @return Rule The generated rule or null if tautological
*/
public function createRequireRule(PackageInterface $package, array $providers, $reason, $reasonData = null)
@ -111,10 +111,10 @@ class Solver
*
* @param PackageInterface $package The package to be updated
* @param array $updates An array of update candidate packages
* @param int $reason A RULE_* constant describing the reason for
* generating this rule
* @param mixed $reasonData Any data, e.g. the package name, that goes with
* the reason
* @param int $reason A RULE_* constant describing the
* reason for generating this rule
* @param mixed $reasonData Any data, e.g. the package name, that
* goes with the reason
* @return Rule The generated rule or null if tautology
*/
protected function createUpdateRule(PackageInterface $package, array $updates, $reason, $reasonData = null)
@ -134,10 +134,10 @@ class Solver
* The rule is simply (A) for a package A to be installed.
*
* @param PackageInterface $package The package to be installed
* @param int $reason A RULE_* constant describing the reason for
* generating this rule
* @param mixed $reasonData Any data, e.g. the package name, that goes with
* the reason
* @param int $reason A RULE_* constant describing the
* reason for generating this rule
* @param mixed $reasonData Any data, e.g. the package name, that
* goes with the reason
* @return Rule The generated rule
*/
public function createInstallRule(PackageInterface $package, $reason, $reasonData = null)
@ -178,10 +178,10 @@ class Solver
* The rule for a package A is (-A).
*
* @param PackageInterface $package The package to be removed
* @param int $reason A RULE_* constant describing the reason for
* generating this rule
* @param mixed $reasonData Any data, e.g. the package name, that goes with
* the reason
* @param int $reason A RULE_* constant describing the
* reason for generating this rule
* @param mixed $reasonData Any data, e.g. the package name, that
* goes with the reason
* @return Rule The generated rule
*/
public function createRemoveRule(PackageInterface $package, $reason, $reasonData = null)
@ -195,15 +195,15 @@ class Solver
* The rule for conflicting packages A and B is (-A|-B). A is called the issuer
* and B the provider.
*
* @param Package $issuer The package declaring the conflict
* @param PackageInterface $issuer The package declaring the conflict
* @param Package $provider The package causing the conflict
* @param int $reason A RULE_* constant describing the reason for
* generating this rule
* @param mixed $reasonData Any data, e.g. the package name, that goes with
* the reason
* @param int $reason A RULE_* constant describing the
* reason for generating this rule
* @param mixed $reasonData Any data, e.g. the package name, that
* goes with the reason
* @return Rule The generated rule
*/
public function createConflictRule(Package $issuer, Package $provider, $reason, $reasonData = null)
public function createConflictRule(PackageInterface $issuer, Package $provider, $reason, $reasonData = null)
{
// ignore self conflict
if ($issuer === $provider) {
@ -261,14 +261,14 @@ class Solver
while (!$workQueue->isEmpty()) {
$package = $workQueue->dequeue();
if (isset($this->addedMap[$this->getId($package)])) {
if (isset($this->addedMap[$package->getId()])) {
continue;
}
$this->addedMap[$this->getId($package)] = true;
$this->addedMap[$package->getId()] = true;
$dontFix = 0;
if ($this->installed === $package->getRepository() && !isset($this->fixMap[$this->getId($package)])) {
if ($this->installed === $package->getRepository() && !isset($this->fixMap[$package->getId()])) {
$dontFix = 1;
}
@ -335,7 +335,8 @@ class Solver
/**
* Adds all rules for all update packages of a given package
*
* @param PackageInterface $package Rules for this package's updates are to be added
* @param PackageInterface $package Rules for this package's updates are to
* be added
* @param bool $allowAll Whether downgrades are allowed
*/
private function addRulesForUpdatePackages(PackageInterface $package, $allowAll)
@ -427,7 +428,7 @@ class Solver
$conflict = $this->findDecisionRule($literal->getPackage());
// todo: handle conflict with systemsolvable?
if (self::TYPE_PACKAGE === $conflict->getType()) {
if ($conflict && self::TYPE_PACKAGE === $conflict->getType()) {
}
}
@ -456,13 +457,13 @@ class Solver
switch ($job['cmd']) {
case 'update-all':
foreach ($installedPackages as $package) {
$this->updateMap[$this->getId($package)] = true;
$this->updateMap[$package->getId()] = true;
}
break;
case 'fix-all':
foreach ($installedPackages as $package) {
$this->fixMap[$this->getId($package)] = true;
$this->fixMap[$package->getId()] = true;
}
break;
}
@ -471,12 +472,12 @@ class Solver
switch ($job['cmd']) {
case 'fix':
if ($this->installed === $package->getRepository()) {
$this->fixMap[$this->getId($package)] = true;
$this->fixMap[$package->getId()] = true;
}
break;
case 'update':
if ($this->installed === $package->getRepository()) {
$this->updateMap[$this->getId($package)] = true;
$this->updateMap[$package->getId()] = true;
}
break;
}
@ -496,7 +497,7 @@ class Solver
foreach ($job['packages'] as $package) {
switch ($job['cmd']) {
case 'install':
$this->installCandidateMap[$this->getId($package)] = true;
$this->installCandidateMap[$package->getId()] = true;
$this->addRulesForPackage($package);
break;
}
@ -641,22 +642,22 @@ class Solver
));
}
protected function decided(PackageInterface $package)
protected function decided(PackageInterface $p)
{
return isset($this->decisionMap[$this->getId($package)]);
return isset($this->decisionMap[$p->getId()]);
}
protected function undecided(PackageInterface $package)
protected function undecided(PackageInterface $p)
{
return !isset($this->decisionMap[$this->getId($package)]);
return !isset($this->decisionMap[$p->getId()]);
}
protected function decidedInstall(PackageInterface $package) {
return isset($this->decisionMap[$this->getId($package)]) && $this->decisionMap[$this->getId($package)] > 0;
protected function decidedInstall(PackageInterface $p) {
return isset($this->decisionMap[$p->getId()]) && $this->decisionMap[$p->getId()] > 0;
}
protected function decidedRemove(PackageInterface $package) {
return isset($this->decisionMap[$this->getId($package)]) && $this->decisionMap[$this->getId($package)] < 0;
protected function decidedRemove(PackageInterface $p) {
return isset($this->decisionMap[$p->getId()]) && $this->decisionMap[$p->getId()] < 0;
}
/**
@ -730,11 +731,6 @@ class Solver
return null;
}
private function getId($package)
{
return spl_object_hash($package);
}
private function setPropagateLearn($level, Literal $literal, $disableRules, Rule $rule)
{
return 0;

View File

@ -25,6 +25,7 @@ abstract class BasePackage implements PackageInterface
{
protected $name;
protected $repository;
protected $id;
/**
* All descendents' constructors should call this parent constructor
@ -34,6 +35,7 @@ abstract class BasePackage implements PackageInterface
public function __construct($name)
{
$this->name = $name;
$this->id = -1;
}
/**
@ -71,6 +73,22 @@ abstract class BasePackage implements PackageInterface
return $names;
}
/**
* {@inheritDoc}
*/
public function setId($id)
{
$this->id = $id;
}
/**
* {@inheritDoc}
*/
public function getId()
{
return $this->id;
}
/**
* Checks if the package matches the given constraint directly or through
* provided or replaced packages

View File

@ -37,6 +37,20 @@ interface PackageInterface
*/
function getNames();
/**
* Allows the solver to set an id for this package to refer to it.
*
* @param int $id
*/
function setId($id);
/**
* Retrieves the package's id set through setId
*
* @return int The previously set package id
*/
function getId();
/**
* Checks if the package matches the given constraint directly or through
* provided or replaced packages