mirror of
https://github.com/composer/composer
synced 2025-05-09 00:22:53 +00:00
5bdc0fc9c5
The only type of request job remaining was "install" which is really a root requirement. The only other kind of input for the solver is now a set of fixed packages. Rules have been updated to account for only two kinds of former job reason: FIXED or ROOT_REQUIRE. The job property has always been redundant and has been removed, since reasonData suffices. Problem reasons are always rules, so the unnecessary wrapping in an array has been removed. We now only ever generate a single rule per root require or fixed package, so there is no need for the solver to special handle disabling "jobs" anymore, the rule can just be disabled as usual. For consistency special handling of rules for jobs in problems has been integrated into the rule class like all other rule reasons. As part of this change the error message for root requirements has been improved a bit to make it clearer where the package installation request came from. The word job has also been removed from operations, which are called operations, not jobs.
925 lines
37 KiB
PHP
925 lines
37 KiB
PHP
<?php
|
|
|
|
/*
|
|
* This file is part of Composer.
|
|
*
|
|
* (c) Nils Adermann <naderman@naderman.de>
|
|
* Jordi Boggiano <j.boggiano@seld.be>
|
|
*
|
|
* For the full copyright and license information, please view the LICENSE
|
|
* file that was distributed with this source code.
|
|
*/
|
|
|
|
namespace Composer\Test\DependencyResolver;
|
|
|
|
use Composer\IO\NullIO;
|
|
use Composer\Repository\ArrayRepository;
|
|
use Composer\Repository\LockArrayRepository;
|
|
use Composer\DependencyResolver\DefaultPolicy;
|
|
use Composer\DependencyResolver\Pool;
|
|
use Composer\DependencyResolver\Request;
|
|
use Composer\DependencyResolver\Solver;
|
|
use Composer\DependencyResolver\SolverProblemsException;
|
|
use Composer\Package\Link;
|
|
use Composer\Repository\InstalledArrayRepository;
|
|
use Composer\Repository\RepositorySet;
|
|
use Composer\Test\TestCase;
|
|
use Composer\Semver\Constraint\MultiConstraint;
|
|
|
|
class SolverTest extends TestCase
|
|
{
|
|
protected $repoSet;
|
|
protected $repo;
|
|
protected $repoLocked;
|
|
protected $request;
|
|
protected $policy;
|
|
protected $solver;
|
|
|
|
public function setUp()
|
|
{
|
|
$this->repoSet = new RepositorySet(array());
|
|
$this->repo = new ArrayRepository;
|
|
$this->repoLocked = new LockArrayRepository;
|
|
|
|
$this->request = new Request($this->repoLocked);
|
|
$this->policy = new DefaultPolicy;
|
|
}
|
|
|
|
public function testSolverInstallSingle()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageA),
|
|
));
|
|
}
|
|
|
|
public function testSolverRemoveIfNotRequested()
|
|
{
|
|
$this->repoLocked->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->reposComplete();
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'remove', 'package' => $packageA),
|
|
));
|
|
}
|
|
|
|
public function testInstallNonExistingPackageFails()
|
|
{
|
|
$this->repo->addPackage($this->getPackage('A', '1.0'));
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('B', $this->getVersionConstraint('==', '1'));
|
|
|
|
$this->createSolver();
|
|
try {
|
|
$transaction = $this->solver->solve($this->request);
|
|
$this->fail('Unsolvable conflict did not result in exception.');
|
|
} catch (SolverProblemsException $e) {
|
|
$problems = $e->getProblems();
|
|
$this->assertCount(1, $problems);
|
|
$this->assertEquals(2, $e->getCode());
|
|
$this->assertEquals("\n - The requested package b could not be found in any version, there may be a typo in the package name.", $problems[0]->getPrettyString());
|
|
}
|
|
}
|
|
|
|
public function testSolverInstallSamePackageFromDifferentRepositories()
|
|
{
|
|
$repo1 = new ArrayRepository;
|
|
$repo2 = new ArrayRepository;
|
|
|
|
$repo1->addPackage($foo1 = $this->getPackage('foo', '1'));
|
|
$repo2->addPackage($foo2 = $this->getPackage('foo', '1'));
|
|
|
|
$this->repoSet->addRepository($repo1);
|
|
$this->repoSet->addRepository($repo2);
|
|
|
|
$this->request->require('foo');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $foo1),
|
|
));
|
|
}
|
|
|
|
public function testSolverInstallWithDeps()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($newPackageB = $this->getPackage('B', '1.1'));
|
|
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('<', '1.1'), 'requires')));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageB),
|
|
array('job' => 'install', 'package' => $packageA),
|
|
));
|
|
}
|
|
|
|
public function testSolverInstallHonoursNotEqualOperator()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($newPackageB11 = $this->getPackage('B', '1.1'));
|
|
$this->repo->addPackage($newPackageB12 = $this->getPackage('B', '1.2'));
|
|
$this->repo->addPackage($newPackageB13 = $this->getPackage('B', '1.3'));
|
|
|
|
$packageA->setRequires(array(
|
|
'b' => new Link('A', 'B', new MultiConstraint(array(
|
|
$this->getVersionConstraint('<=', '1.3'),
|
|
$this->getVersionConstraint('<>', '1.3'),
|
|
$this->getVersionConstraint('!=', '1.2'),
|
|
)), 'requires'),
|
|
));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $newPackageB11),
|
|
array('job' => 'install', 'package' => $packageA),
|
|
));
|
|
}
|
|
|
|
public function testSolverInstallWithDepsInOrder()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($packageC = $this->getPackage('C', '1.0'));
|
|
|
|
$packageB->setRequires(array(
|
|
'a' => new Link('B', 'A', $this->getVersionConstraint('>=', '1.0'), 'requires'),
|
|
'c' => new Link('B', 'C', $this->getVersionConstraint('>=', '1.0'), 'requires'),
|
|
));
|
|
$packageC->setRequires(array(
|
|
'a' => new Link('C', 'A', $this->getVersionConstraint('>=', '1.0'), 'requires'),
|
|
));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
$this->request->require('B');
|
|
$this->request->require('C');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageA),
|
|
array('job' => 'install', 'package' => $packageC),
|
|
array('job' => 'install', 'package' => $packageB),
|
|
));
|
|
}
|
|
|
|
public function testSolverFixLocked()
|
|
{
|
|
$this->repoLocked->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->reposComplete();
|
|
|
|
$this->request->fixPackage($packageA);
|
|
|
|
$this->checkSolverResult(array());
|
|
}
|
|
|
|
public function testSolverFixLockedWithAlternative()
|
|
{
|
|
$this->repo->addPackage($this->getPackage('A', '1.0'));
|
|
$this->repoLocked->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->reposComplete();
|
|
|
|
$this->request->fixPackage($packageA);
|
|
|
|
$this->checkSolverResult(array());
|
|
}
|
|
|
|
public function testSolverUpdateDoesOnlyUpdate()
|
|
{
|
|
$this->repoLocked->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repoLocked->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($newPackageB = $this->getPackage('B', '1.1'));
|
|
$this->reposComplete();
|
|
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('>=', '1.0.0.0'), 'requires')));
|
|
|
|
$this->request->fixPackage($packageA);
|
|
$this->request->require('B', $this->getVersionConstraint('=', '1.1.0.0'));
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'update', 'from' => $packageB, 'to' => $newPackageB),
|
|
));
|
|
}
|
|
|
|
public function testSolverUpdateSingle()
|
|
{
|
|
$this->repoLocked->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($newPackageA = $this->getPackage('A', '1.1'));
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'update', 'from' => $packageA, 'to' => $newPackageA),
|
|
));
|
|
}
|
|
|
|
public function testSolverUpdateAll()
|
|
{
|
|
$this->repoLocked->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repoLocked->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($newPackageA = $this->getPackage('A', '1.1'));
|
|
$this->repo->addPackage($newPackageB = $this->getPackage('B', '1.1'));
|
|
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', null, 'requires')));
|
|
$newPackageA->setRequires(array('b' => new Link('A', 'B', null, 'requires')));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'update', 'from' => $packageB, 'to' => $newPackageB),
|
|
array('job' => 'update', 'from' => $packageA, 'to' => $newPackageA),
|
|
));
|
|
}
|
|
|
|
public function testSolverUpdateCurrent()
|
|
{
|
|
$this->repoLocked->addPackage($this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($this->getPackage('A', '1.0'));
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->checkSolverResult(array());
|
|
}
|
|
|
|
public function testSolverUpdateOnlyUpdatesSelectedPackage()
|
|
{
|
|
$this->repoLocked->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repoLocked->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($packageAnewer = $this->getPackage('A', '1.1'));
|
|
$this->repo->addPackage($packageBnewer = $this->getPackage('B', '1.1'));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
$this->request->fixPackage($packageB);
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'update', 'from' => $packageA, 'to' => $packageAnewer),
|
|
));
|
|
}
|
|
|
|
public function testSolverUpdateConstrained()
|
|
{
|
|
$this->repoLocked->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($newPackageA = $this->getPackage('A', '1.2'));
|
|
$this->repo->addPackage($this->getPackage('A', '2.0'));
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A', $this->getVersionConstraint('<', '2.0.0.0'));
|
|
|
|
$this->checkSolverResult(array(array(
|
|
'job' => 'update',
|
|
'from' => $packageA,
|
|
'to' => $newPackageA,
|
|
)));
|
|
}
|
|
|
|
public function testSolverUpdateFullyConstrained()
|
|
{
|
|
$this->repoLocked->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($newPackageA = $this->getPackage('A', '1.2'));
|
|
$this->repo->addPackage($this->getPackage('A', '2.0'));
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A', $this->getVersionConstraint('<', '2.0.0.0'));
|
|
|
|
$this->checkSolverResult(array(array(
|
|
'job' => 'update',
|
|
'from' => $packageA,
|
|
'to' => $newPackageA,
|
|
)));
|
|
}
|
|
|
|
public function testSolverUpdateFullyConstrainedPrunesInstalledPackages()
|
|
{
|
|
$this->repoLocked->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repoLocked->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($newPackageA = $this->getPackage('A', '1.2'));
|
|
$this->repo->addPackage($this->getPackage('A', '2.0'));
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A', $this->getVersionConstraint('<', '2.0.0.0'));
|
|
|
|
$this->checkSolverResult(array(
|
|
array(
|
|
'job' => 'remove',
|
|
'package' => $packageB,
|
|
),
|
|
array(
|
|
'job' => 'update',
|
|
'from' => $packageA,
|
|
'to' => $newPackageA,
|
|
),
|
|
));
|
|
}
|
|
|
|
public function testSolverAllJobs()
|
|
{
|
|
$this->repoLocked->addPackage($packageD = $this->getPackage('D', '1.0'));
|
|
$this->repoLocked->addPackage($oldPackageC = $this->getPackage('C', '1.0'));
|
|
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '2.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($newPackageB = $this->getPackage('B', '1.1'));
|
|
$this->repo->addPackage($packageC = $this->getPackage('C', '1.1'));
|
|
$this->repo->addPackage($this->getPackage('D', '1.0'));
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('<', '1.1'), 'requires')));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
$this->request->require('C');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'remove', 'package' => $packageD),
|
|
array('job' => 'install', 'package' => $packageB),
|
|
array('job' => 'install', 'package' => $packageA),
|
|
array('job' => 'update', 'from' => $oldPackageC, 'to' => $packageC),
|
|
));
|
|
}
|
|
|
|
public function testSolverThreeAlternativeRequireAndConflict()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '2.0'));
|
|
$this->repo->addPackage($middlePackageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($newPackageB = $this->getPackage('B', '1.1'));
|
|
$this->repo->addPackage($oldPackageB = $this->getPackage('B', '0.9'));
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('<', '1.1'), 'requires')));
|
|
$packageA->setConflicts(array('b' => new Link('A', 'B', $this->getVersionConstraint('<', '1.0'), 'conflicts')));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $middlePackageB),
|
|
array('job' => 'install', 'package' => $packageA),
|
|
));
|
|
}
|
|
|
|
public function testSolverObsolete()
|
|
{
|
|
$this->repoLocked->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$packageB->setReplaces(array('a' => new Link('B', 'A', new MultiConstraint(array()))));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('B');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'remove', 'package' => $packageA),
|
|
array('job' => 'install', 'package' => $packageB),
|
|
));
|
|
}
|
|
|
|
public function testInstallOneOfTwoAlternatives()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('A', '1.0'));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageA),
|
|
));
|
|
}
|
|
|
|
public function testInstallProvider()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageQ = $this->getPackage('Q', '1.0'));
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('>=', '1.0'), 'requires')));
|
|
$packageQ->setProvides(array('b' => new Link('Q', 'B', $this->getVersionConstraint('=', '1.0'), 'provides')));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
// must explicitly pick the provider, so error in this case
|
|
$this->setExpectedException('Composer\DependencyResolver\SolverProblemsException');
|
|
$this->createSolver();
|
|
$this->solver->solve($this->request);
|
|
}
|
|
|
|
public function testSkipReplacerOfExistingPackage()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageQ = $this->getPackage('Q', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('>=', '1.0'), 'requires')));
|
|
$packageQ->setReplaces(array('b' => new Link('Q', 'B', $this->getVersionConstraint('>=', '1.0'), 'replaces')));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageB),
|
|
array('job' => 'install', 'package' => $packageA),
|
|
));
|
|
}
|
|
|
|
public function testNoInstallReplacerOfMissingPackage()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageQ = $this->getPackage('Q', '1.0'));
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('>=', '1.0'), 'requires')));
|
|
$packageQ->setReplaces(array('b' => new Link('Q', 'B', $this->getVersionConstraint('>=', '1.0'), 'replaces')));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->setExpectedException('Composer\DependencyResolver\SolverProblemsException');
|
|
$this->createSolver();
|
|
$this->solver->solve($this->request);
|
|
}
|
|
|
|
public function testSkipReplacedPackageIfReplacerIsSelected()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageQ = $this->getPackage('Q', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('>=', '1.0'), 'requires')));
|
|
$packageQ->setReplaces(array('b' => new Link('Q', 'B', $this->getVersionConstraint('>=', '1.0'), 'replaces')));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
$this->request->require('Q');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageQ),
|
|
array('job' => 'install', 'package' => $packageA),
|
|
));
|
|
}
|
|
|
|
public function testPickOlderIfNewerConflicts()
|
|
{
|
|
$this->repo->addPackage($packageX = $this->getPackage('X', '1.0'));
|
|
$packageX->setRequires(array(
|
|
'a' => new Link('X', 'A', $this->getVersionConstraint('>=', '2.0.0.0'), 'requires'),
|
|
'b' => new Link('X', 'B', $this->getVersionConstraint('>=', '2.0.0.0'), 'requires'),
|
|
));
|
|
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '2.0.0'));
|
|
$this->repo->addPackage($newPackageA = $this->getPackage('A', '2.1.0'));
|
|
$this->repo->addPackage($newPackageB = $this->getPackage('B', '2.1.0'));
|
|
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('>=', '2.0.0.0'), 'requires')));
|
|
|
|
// new package A depends on version of package B that does not exist
|
|
// => new package A is not installable
|
|
$newPackageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('>=', '2.2.0.0'), 'requires')));
|
|
|
|
// add a package S replacing both A and B, so that S and B or S and A cannot be simultaneously installed
|
|
// but an alternative option for A and B both exists
|
|
// this creates a more difficult so solve conflict
|
|
$this->repo->addPackage($packageS = $this->getPackage('S', '2.0.0'));
|
|
$packageS->setReplaces(array(
|
|
'a' => new Link('S', 'A', $this->getVersionConstraint('>=', '2.0.0.0'), 'replaces'),
|
|
'b' => new Link('S', 'B', $this->getVersionConstraint('>=', '2.0.0.0'), 'replaces'),
|
|
));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('X');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $newPackageB),
|
|
array('job' => 'install', 'package' => $packageA),
|
|
array('job' => 'install', 'package' => $packageX),
|
|
));
|
|
}
|
|
|
|
public function testInstallCircularRequire()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB1 = $this->getPackage('B', '0.9'));
|
|
$this->repo->addPackage($packageB2 = $this->getPackage('B', '1.1'));
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('>=', '1.0'), 'requires')));
|
|
$packageB2->setRequires(array('a' => new Link('B', 'A', $this->getVersionConstraint('>=', '1.0'), 'requires')));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageB2),
|
|
array('job' => 'install', 'package' => $packageA),
|
|
));
|
|
}
|
|
|
|
public function testInstallAlternativeWithCircularRequire()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($packageC = $this->getPackage('C', '1.0'));
|
|
$this->repo->addPackage($packageD = $this->getPackage('D', '1.0'));
|
|
$packageA->setRequires(array('b' => new Link('A', 'B', $this->getVersionConstraint('>=', '1.0'), 'requires')));
|
|
$packageB->setRequires(array('virtual' => new Link('B', 'Virtual', $this->getVersionConstraint('>=', '1.0'), 'requires')));
|
|
$packageC->setProvides(array('virtual' => new Link('C', 'Virtual', $this->getVersionConstraint('==', '1.0'), 'provides')));
|
|
$packageD->setProvides(array('virtual' => new Link('D', 'Virtual', $this->getVersionConstraint('==', '1.0'), 'provides')));
|
|
|
|
$packageC->setRequires(array('a' => new Link('C', 'A', $this->getVersionConstraint('==', '1.0'), 'requires')));
|
|
$packageD->setRequires(array('a' => new Link('D', 'A', $this->getVersionConstraint('==', '1.0'), 'requires')));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
$this->request->require('C');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageB),
|
|
array('job' => 'install', 'package' => $packageA),
|
|
array('job' => 'install', 'package' => $packageC),
|
|
));
|
|
}
|
|
|
|
/**
|
|
* If a replacer D replaces B and C with C not otherwise available,
|
|
* D must be installed instead of the original B.
|
|
*/
|
|
public function testUseReplacerIfNecessary()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($packageD = $this->getPackage('D', '1.0'));
|
|
$this->repo->addPackage($packageD2 = $this->getPackage('D', '1.1'));
|
|
|
|
$packageA->setRequires(array(
|
|
'b' => new Link('A', 'B', $this->getVersionConstraint('>=', '1.0'), 'requires'),
|
|
'c' => new Link('A', 'C', $this->getVersionConstraint('>=', '1.0'), 'requires'),
|
|
));
|
|
|
|
$packageD->setReplaces(array(
|
|
'b' => new Link('D', 'B', $this->getVersionConstraint('>=', '1.0'), 'replaces'),
|
|
'c' => new Link('D', 'C', $this->getVersionConstraint('>=', '1.0'), 'replaces'),
|
|
));
|
|
|
|
$packageD2->setReplaces(array(
|
|
'b' => new Link('D', 'B', $this->getVersionConstraint('>=', '1.0'), 'replaces'),
|
|
'c' => new Link('D', 'C', $this->getVersionConstraint('>=', '1.0'), 'replaces'),
|
|
));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
$this->request->require('D');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageD2),
|
|
array('job' => 'install', 'package' => $packageA),
|
|
));
|
|
}
|
|
|
|
public function testIssue265()
|
|
{
|
|
$this->repo->addPackage($packageA1 = $this->getPackage('A', '2.0.999999-dev'));
|
|
$this->repo->addPackage($packageA2 = $this->getPackage('A', '2.1-dev'));
|
|
$this->repo->addPackage($packageA3 = $this->getPackage('A', '2.2-dev'));
|
|
$this->repo->addPackage($packageB1 = $this->getPackage('B', '2.0.10'));
|
|
$this->repo->addPackage($packageB2 = $this->getPackage('B', '2.0.9'));
|
|
$this->repo->addPackage($packageC = $this->getPackage('C', '2.0-dev'));
|
|
$this->repo->addPackage($packageD = $this->getPackage('D', '2.0.9'));
|
|
|
|
$packageC->setRequires(array(
|
|
'a' => new Link('C', 'A', $this->getVersionConstraint('>=', '2.0'), 'requires'),
|
|
'd' => new Link('C', 'D', $this->getVersionConstraint('>=', '2.0'), 'requires'),
|
|
));
|
|
|
|
$packageD->setRequires(array(
|
|
'a' => new Link('D', 'A', $this->getVersionConstraint('>=', '2.1'), 'requires'),
|
|
'b' => new Link('D', 'B', $this->getVersionConstraint('>=', '2.0-dev'), 'requires'),
|
|
));
|
|
|
|
$packageB1->setRequires(array('a' => new Link('B', 'A', $this->getVersionConstraint('==', '2.1.0.0-dev'), 'requires')));
|
|
$packageB2->setRequires(array('a' => new Link('B', 'A', $this->getVersionConstraint('==', '2.1.0.0-dev'), 'requires')));
|
|
|
|
$packageB2->setReplaces(array('d' => new Link('B', 'D', $this->getVersionConstraint('==', '2.0.9.0'), 'replaces')));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('C', $this->getVersionConstraint('==', '2.0.0.0-dev'));
|
|
|
|
$this->setExpectedException('Composer\DependencyResolver\SolverProblemsException');
|
|
|
|
$this->createSolver();
|
|
$this->solver->solve($this->request);
|
|
}
|
|
|
|
public function testConflictResultEmpty()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$packageA->setConflicts(array(
|
|
'b' => new Link('A', 'B', $this->getVersionConstraint('>=', '1.0'), 'conflicts'),
|
|
));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
$this->request->require('B');
|
|
|
|
$this->createSolver();
|
|
try {
|
|
$transaction = $this->solver->solve($this->request);
|
|
$this->fail('Unsolvable conflict did not result in exception.');
|
|
} catch (SolverProblemsException $e) {
|
|
$problems = $e->getProblems();
|
|
$this->assertCount(1, $problems);
|
|
|
|
$msg = "\n";
|
|
$msg .= " Problem 1\n";
|
|
$msg .= " - Root composer.json requires a -> satisfiable by A[1.0].\n";
|
|
$msg .= " - B 1.0 conflicts with A[1.0].\n";
|
|
$msg .= " - Root composer.json requires b -> satisfiable by B[1.0].\n";
|
|
$this->assertEquals($msg, $e->getMessage());
|
|
}
|
|
}
|
|
|
|
public function testUnsatisfiableRequires()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
|
|
$packageA->setRequires(array(
|
|
'b' => new Link('A', 'B', $this->getVersionConstraint('>=', '2.0'), 'requires'),
|
|
));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->createSolver();
|
|
try {
|
|
$transaction = $this->solver->solve($this->request);
|
|
$this->fail('Unsolvable conflict did not result in exception.');
|
|
} catch (SolverProblemsException $e) {
|
|
$problems = $e->getProblems();
|
|
$this->assertCount(1, $problems);
|
|
// TODO assert problem properties
|
|
|
|
$msg = "\n";
|
|
$msg .= " Problem 1\n";
|
|
$msg .= " - Root composer.json requires a -> satisfiable by A[1.0].\n";
|
|
$msg .= " - A 1.0 requires b >= 2.0 -> no matching package found.\n\n";
|
|
$msg .= "Potential causes:\n";
|
|
$msg .= " - A typo in the package name\n";
|
|
$msg .= " - The package is not available in a stable-enough version according to your minimum-stability setting\n";
|
|
$msg .= " see <https://getcomposer.org/doc/04-schema.md#minimum-stability> for more details.\n";
|
|
$msg .= " - It's a private package and you forgot to add a custom repository to find it\n\n";
|
|
$msg .= "Read <https://getcomposer.org/doc/articles/troubleshooting.md> for further common problems.";
|
|
$this->assertEquals($msg, $e->getMessage());
|
|
}
|
|
}
|
|
|
|
public function testRequireMismatchException()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($packageB2 = $this->getPackage('B', '0.9'));
|
|
$this->repo->addPackage($packageC = $this->getPackage('C', '1.0'));
|
|
$this->repo->addPackage($packageD = $this->getPackage('D', '1.0'));
|
|
|
|
$packageA->setRequires(array(
|
|
'b' => new Link('A', 'B', $this->getVersionConstraint('>=', '1.0'), 'requires'),
|
|
));
|
|
$packageB->setRequires(array(
|
|
'c' => new Link('B', 'C', $this->getVersionConstraint('>=', '1.0'), 'requires'),
|
|
));
|
|
$packageC->setRequires(array(
|
|
'd' => new Link('C', 'D', $this->getVersionConstraint('>=', '1.0'), 'requires'),
|
|
));
|
|
$packageD->setRequires(array(
|
|
'b' => new Link('D', 'B', $this->getVersionConstraint('<', '1.0'), 'requires'),
|
|
));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->createSolver();
|
|
try {
|
|
$transaction = $this->solver->solve($this->request);
|
|
$this->fail('Unsolvable conflict did not result in exception.');
|
|
} catch (SolverProblemsException $e) {
|
|
$problems = $e->getProblems();
|
|
$this->assertCount(1, $problems);
|
|
|
|
$msg = "\n";
|
|
$msg .= " Problem 1\n";
|
|
$msg .= " - C 1.0 requires d >= 1.0 -> satisfiable by D[1.0].\n";
|
|
$msg .= " - D 1.0 requires b < 1.0 -> satisfiable by B[0.9].\n";
|
|
$msg .= " - B 1.0 requires c >= 1.0 -> satisfiable by C[1.0].\n";
|
|
$msg .= " - Same name, can only install one of: B[0.9, 1.0].\n";
|
|
$msg .= " - A 1.0 requires b >= 1.0 -> satisfiable by B[1.0].\n";
|
|
$msg .= " - Root composer.json requires a -> satisfiable by A[1.0].\n";
|
|
$this->assertEquals($msg, $e->getMessage());
|
|
}
|
|
}
|
|
|
|
public function testLearnLiteralsWithSortedRuleLiterals()
|
|
{
|
|
$this->repo->addPackage($packageTwig2 = $this->getPackage('twig/twig', '2.0'));
|
|
$this->repo->addPackage($packageTwig16 = $this->getPackage('twig/twig', '1.6'));
|
|
$this->repo->addPackage($packageTwig15 = $this->getPackage('twig/twig', '1.5'));
|
|
$this->repo->addPackage($packageSymfony = $this->getPackage('symfony/symfony', '2.0'));
|
|
$this->repo->addPackage($packageTwigBridge = $this->getPackage('symfony/twig-bridge', '2.0'));
|
|
|
|
$packageTwigBridge->setRequires(array(
|
|
'twig/twig' => new Link('symfony/twig-bridge', 'twig/twig', $this->getVersionConstraint('<', '2.0'), 'requires'),
|
|
));
|
|
|
|
$packageSymfony->setReplaces(array(
|
|
'symfony/twig-bridge' => new Link('symfony/symfony', 'symfony/twig-bridge', $this->getVersionConstraint('==', '2.0'), 'replaces'),
|
|
));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('symfony/twig-bridge');
|
|
$this->request->require('twig/twig');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageTwig16),
|
|
array('job' => 'install', 'package' => $packageTwigBridge),
|
|
));
|
|
}
|
|
|
|
public function testInstallRecursiveAliasDependencies()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '2.0'));
|
|
$this->repo->addPackage($packageA2 = $this->getPackage('A', '2.0'));
|
|
|
|
$packageA2->setRequires(array(
|
|
'b' => new Link('A', 'B', $this->getVersionConstraint('==', '2.0'), 'requires', '== 2.0'),
|
|
));
|
|
$packageB->setRequires(array(
|
|
'a' => new Link('B', 'A', $this->getVersionConstraint('>=', '2.0'), 'requires'),
|
|
));
|
|
|
|
$this->repo->addPackage($packageA2Alias = $this->getAliasPackage($packageA2, '1.1'));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A', $this->getVersionConstraint('==', '1.1.0.0'));
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageB),
|
|
array('job' => 'install', 'package' => $packageA2),
|
|
array('job' => 'install', 'package' => $packageA2Alias),
|
|
));
|
|
}
|
|
|
|
public function testInstallDevAlias()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '2.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
|
|
$packageB->setRequires(array(
|
|
'a' => new Link('B', 'A', $this->getVersionConstraint('<', '2.0'), 'requires'),
|
|
));
|
|
|
|
$this->repo->addPackage($packageAAlias = $this->getAliasPackage($packageA, '1.1'));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A', $this->getVersionConstraint('==', '2.0'));
|
|
$this->request->require('B');
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageA),
|
|
array('job' => 'install', 'package' => $packageAAlias),
|
|
array('job' => 'install', 'package' => $packageB),
|
|
));
|
|
}
|
|
|
|
/**
|
|
* Tests for a bug introduced in commit 451bab1c2cd58e05af6e21639b829408ad023463 Solver.php line 554/523
|
|
*
|
|
* Every package and link in this test matters, only a combination this complex will run into the situation in which
|
|
* a negatively decided literal will need to be learned inverted as a positive assertion.
|
|
*
|
|
* In particular in this case the goal is to first have the solver decide X 2.0 should not be installed to later
|
|
* decide to learn that X 2.0 must be installed and revert decisions to retry solving with this new assumption.
|
|
*/
|
|
public function testLearnPositiveLiteral()
|
|
{
|
|
$this->repo->addPackage($packageA = $this->getPackage('A', '1.0'));
|
|
$this->repo->addPackage($packageB = $this->getPackage('B', '1.0'));
|
|
$this->repo->addPackage($packageC1 = $this->getPackage('C', '1.0'));
|
|
$this->repo->addPackage($packageC2 = $this->getPackage('C', '2.0'));
|
|
$this->repo->addPackage($packageD = $this->getPackage('D', '1.0'));
|
|
$this->repo->addPackage($packageE = $this->getPackage('E', '1.0'));
|
|
$this->repo->addPackage($packageF1 = $this->getPackage('F', '1.0'));
|
|
$this->repo->addPackage($packageF2 = $this->getPackage('F', '2.0'));
|
|
$this->repo->addPackage($packageG1 = $this->getPackage('G', '1.0'));
|
|
$this->repo->addPackage($packageG2 = $this->getPackage('G', '2.0'));
|
|
$this->repo->addPackage($packageG3 = $this->getPackage('G', '3.0'));
|
|
|
|
$packageA->setRequires(array(
|
|
'b' => new Link('A', 'B', $this->getVersionConstraint('==', '1.0'), 'requires'),
|
|
'c' => new Link('A', 'C', $this->getVersionConstraint('>=', '1.0'), 'requires'),
|
|
'd' => new Link('A', 'D', $this->getVersionConstraint('==', '1.0'), 'requires'),
|
|
));
|
|
|
|
$packageB->setRequires(array(
|
|
'e' => new Link('B', 'E', $this->getVersionConstraint('==', '1.0'), 'requires'),
|
|
));
|
|
|
|
$packageC1->setRequires(array(
|
|
'f' => new Link('C', 'F', $this->getVersionConstraint('==', '1.0'), 'requires'),
|
|
));
|
|
$packageC2->setRequires(array(
|
|
'f' => new Link('C', 'F', $this->getVersionConstraint('==', '1.0'), 'requires'),
|
|
'g' => new Link('C', 'G', $this->getVersionConstraint('>=', '1.0'), 'requires'),
|
|
));
|
|
|
|
$packageD->setRequires(array(
|
|
'f' => new Link('D', 'F', $this->getVersionConstraint('>=', '1.0'), 'requires'),
|
|
));
|
|
|
|
$packageE->setRequires(array(
|
|
'g' => new Link('E', 'G', $this->getVersionConstraint('<=', '2.0'), 'requires'),
|
|
));
|
|
|
|
$this->reposComplete();
|
|
|
|
$this->request->require('A');
|
|
|
|
$this->createSolver();
|
|
|
|
// check correct setup for assertion later
|
|
$this->assertFalse($this->solver->testFlagLearnedPositiveLiteral);
|
|
|
|
$this->checkSolverResult(array(
|
|
array('job' => 'install', 'package' => $packageF1),
|
|
array('job' => 'install', 'package' => $packageD),
|
|
array('job' => 'install', 'package' => $packageG2),
|
|
array('job' => 'install', 'package' => $packageC2),
|
|
array('job' => 'install', 'package' => $packageE),
|
|
array('job' => 'install', 'package' => $packageB),
|
|
array('job' => 'install', 'package' => $packageA),
|
|
));
|
|
|
|
// verify that the code path leading to a negative literal resulting in a positive learned literal is actually
|
|
// executed
|
|
$this->assertTrue($this->solver->testFlagLearnedPositiveLiteral);
|
|
}
|
|
|
|
protected function reposComplete()
|
|
{
|
|
$this->repoSet->addRepository($this->repo);
|
|
$this->repoSet->addRepository($this->repoLocked);
|
|
}
|
|
|
|
protected function createSolver()
|
|
{
|
|
$this->solver = new Solver($this->policy, $this->repoSet->createPool($this->request), new NullIO());
|
|
}
|
|
|
|
protected function checkSolverResult(array $expected)
|
|
{
|
|
$this->createSolver();
|
|
$transaction = $this->solver->solve($this->request);
|
|
|
|
$result = array();
|
|
foreach ($transaction->getOperations() as $operation) {
|
|
if ('update' === $operation->getOperationType()) {
|
|
$result[] = array(
|
|
'job' => 'update',
|
|
'from' => $operation->getInitialPackage(),
|
|
'to' => $operation->getTargetPackage(),
|
|
);
|
|
} else {
|
|
$job = ('uninstall' === $operation->getOperationType() ? 'remove' : 'install');
|
|
$result[] = array(
|
|
'job' => $job,
|
|
'package' => $operation->getPackage(),
|
|
);
|
|
}
|
|
}
|
|
|
|
$this->assertEquals($expected, $result);
|
|
}
|
|
}
|