Index: sdk/lib/_internal/pub_generated/lib/src/solver/version_solver.dart |
diff --git a/sdk/lib/_internal/pub_generated/lib/src/solver/version_solver.dart b/sdk/lib/_internal/pub_generated/lib/src/solver/version_solver.dart |
index e563d590f80693981ab5aa34b9ede983a0659a61..d22ace779d7fa5f61b44329bb0f273a1d9861eac 100644 |
--- a/sdk/lib/_internal/pub_generated/lib/src/solver/version_solver.dart |
+++ b/sdk/lib/_internal/pub_generated/lib/src/solver/version_solver.dart |
@@ -1,8 +1,15 @@ |
+// Copyright (c) 2012, the Dart project authors. Please see the AUTHORS file |
+// for details. All rights reserved. Use of this source code is governed by a |
+// BSD-style license that can be found in the LICENSE file. |
+ |
library pub.solver.version_solver; |
+ |
import 'dart:async'; |
import "dart:convert"; |
+ |
import 'package:pub_semver/pub_semver.dart'; |
import 'package:stack_trace/stack_trace.dart'; |
+ |
import '../exceptions.dart'; |
import '../lock_file.dart'; |
import '../log.dart' as log; |
@@ -12,10 +19,22 @@ import '../source_registry.dart'; |
import '../utils.dart'; |
import 'backtracking_solver.dart'; |
import 'solve_report.dart'; |
+ |
+/// Attempts to select the best concrete versions for all of the transitive |
+/// dependencies of [root] taking into account all of the [VersionConstraint]s |
+/// that those dependencies place on each other and the requirements imposed by |
+/// [lockFile]. |
+/// |
+/// If [useLatest] is given, then only the latest versions of the referenced |
+/// packages will be used. This is for forcing an upgrade to one or more |
+/// packages. |
+/// |
+/// If [upgradeAll] is true, the contents of [lockFile] are ignored. |
Future<SolveResult> resolveVersions(SolveType type, SourceRegistry sources, |
Package root, {LockFile lockFile, List<String> useLatest}) { |
if (lockFile == null) lockFile = new LockFile.empty(); |
if (useLatest == null) useLatest = []; |
+ |
return log.progress('Resolving dependencies', () { |
return new BacktrackingSolver( |
type, |
@@ -25,40 +44,84 @@ Future<SolveResult> resolveVersions(SolveType type, SourceRegistry sources, |
useLatest).solve(); |
}); |
} |
+ |
+/// The result of a version resolution. |
class SolveResult { |
+ /// Whether the solver found a complete solution or failed. |
bool get succeeded => error == null; |
+ |
+ /// The list of concrete package versions that were selected for each package |
+ /// reachable from the root, or `null` if the solver failed. |
final List<PackageId> packages; |
+ |
+ /// The dependency overrides that were used in the solution. |
final List<PackageDep> overrides; |
+ |
+ /// A map from package names to the pubspecs for the versions of those |
+ /// packages that were installed, or `null` if the solver failed. |
final Map<String, Pubspec> pubspecs; |
+ |
+ /// The available versions of all selected packages from their source. |
+ /// |
+ /// Will be empty if the solve failed. An entry here may not include the full |
+ /// list of versions available if the given package was locked and did not |
+ /// need to be unlocked during the solve. |
final Map<String, List<Version>> availableVersions; |
+ |
+ /// The error that prevented the solver from finding a solution or `null` if |
+ /// it was successful. |
final SolveFailure error; |
+ |
+ /// The number of solutions that were attempted before either finding a |
+ /// successful solution or exhausting all options. |
+ /// |
+ /// In other words, one more than the number of times it had to backtrack |
+ /// because it found an invalid solution. |
final int attemptedSolutions; |
+ |
final SourceRegistry _sources; |
final Package _root; |
final LockFile _previousLockFile; |
+ |
+ /// Returns the names of all packages that were changed. |
+ /// |
+ /// This includes packages that were added or removed. |
Set<String> get changedPackages { |
if (packages == null) return null; |
+ |
var changed = packages.where( |
(id) => |
!_sources.idsEqual( |
_previousLockFile.packages[id.name], |
id)).map((id) => id.name).toSet(); |
+ |
return changed.union( |
_previousLockFile.packages.keys.where( |
(package) => !availableVersions.containsKey(package)).toSet()); |
} |
+ |
SolveResult.success(this._sources, this._root, this._previousLockFile, |
this.packages, this.overrides, this.pubspecs, this.availableVersions, |
this.attemptedSolutions) |
: error = null; |
+ |
SolveResult.failure(this._sources, this._root, this._previousLockFile, |
this.overrides, this.error, this.attemptedSolutions) |
: this.packages = null, |
this.pubspecs = null, |
this.availableVersions = {}; |
+ |
+ /// Displays a report of what changes were made to the lockfile. |
+ /// |
+ /// [type] is the type of version resolution that was run. |
void showReport(SolveType type) { |
new SolveReport(type, _sources, _root, _previousLockFile, this).show(); |
} |
+ |
+ /// Displays a one-line message summarizing what changes were made (or would |
+ /// be made) to the lockfile. |
+ /// |
+ /// [type] is the type of version resolution that was run. |
void summarizeChanges(SolveType type, {bool dryRun: false}) { |
new SolveReport( |
type, |
@@ -67,203 +130,381 @@ class SolveResult { |
_previousLockFile, |
this).summarize(dryRun: dryRun); |
} |
+ |
String toString() { |
if (!succeeded) { |
return 'Failed to solve after $attemptedSolutions attempts:\n' '$error'; |
} |
+ |
return 'Took $attemptedSolutions tries to resolve to\n' |
'- ${packages.join("\n- ")}'; |
} |
} |
+ |
+/// Maintains a cache of previously-requested data: pubspecs and version lists. |
+/// |
+/// Used to avoid requesting the same pubspec from the server repeatedly. |
class PubspecCache { |
final SourceRegistry _sources; |
+ |
+ /// The already-requested cached version lists. |
final _versions = new Map<PackageRef, List<PackageId>>(); |
+ |
+ /// The errors from failed version list requests. |
final _versionErrors = new Map<PackageRef, Pair<Object, Chain>>(); |
+ |
+ /// The already-requested cached pubspecs. |
final _pubspecs = new Map<PackageId, Pubspec>(); |
+ |
+ /// The type of version resolution that was run. |
final SolveType _type; |
+ |
+ /// The number of times a version list was requested and it wasn't cached and |
+ /// had to be requested from the source. |
int _versionCacheMisses = 0; |
+ |
+ /// The number of times a version list was requested and the cached version |
+ /// was returned. |
int _versionCacheHits = 0; |
+ |
+ /// The number of times a pubspec was requested and it wasn't cached and had |
+ /// to be requested from the source. |
int _pubspecCacheMisses = 0; |
+ |
+ /// The number of times a pubspec was requested and the cached version was |
+ /// returned. |
int _pubspecCacheHits = 0; |
+ |
PubspecCache(this._type, this._sources); |
+ |
+ /// Caches [pubspec] as the [Pubspec] for the package identified by [id]. |
void cache(PackageId id, Pubspec pubspec) { |
_pubspecs[id] = pubspec; |
} |
+ |
+ /// Loads the pubspec for the package identified by [id]. |
Future<Pubspec> getPubspec(PackageId id) { |
+ // Complete immediately if it's already cached. |
if (_pubspecs.containsKey(id)) { |
_pubspecCacheHits++; |
return new Future<Pubspec>.value(_pubspecs[id]); |
} |
+ |
_pubspecCacheMisses++; |
+ |
var source = _sources[id.source]; |
return source.describe(id).then((pubspec) { |
_pubspecs[id] = pubspec; |
return pubspec; |
}); |
} |
+ |
+ /// Returns the previously cached pubspec for the package identified by [id] |
+ /// or returns `null` if not in the cache. |
Pubspec getCachedPubspec(PackageId id) => _pubspecs[id]; |
+ |
+ /// Gets the list of versions for [package]. |
+ /// |
+ /// Packages are sorted in descending version order with all "stable" |
+ /// versions (i.e. ones without a prerelease suffix) before pre-release |
+ /// versions. This ensures that the solver prefers stable packages over |
+ /// unstable ones. |
Future<List<PackageId>> getVersions(PackageRef package) { |
if (package.isRoot) { |
throw new StateError("Cannot get versions for root package $package."); |
} |
+ |
+ // See if we have it cached. |
var versions = _versions[package]; |
if (versions != null) { |
_versionCacheHits++; |
return new Future.value(versions); |
} |
+ |
+ // See if we cached a failure. |
var error = _versionErrors[package]; |
if (error != null) { |
_versionCacheHits++; |
return new Future.error(error.first, error.last); |
} |
+ |
_versionCacheMisses++; |
+ |
var source = _sources[package.source]; |
return source.getVersions( |
package.name, |
package.description).then((versions) { |
+ // Sort by priority so we try preferred versions first. |
versions.sort( |
_type == SolveType.DOWNGRADE ? Version.antiprioritize : Version.prioritize); |
+ |
var ids = |
versions.reversed.map((version) => package.atVersion(version)).toList(); |
_versions[package] = ids; |
return ids; |
}).catchError((error, trace) { |
+ // If an error occurs, cache that too. We only want to do one request |
+ // for any given package, successful or not. |
log.solver("Could not get versions for $package:\n$error\n\n$trace"); |
_versionErrors[package] = new Pair(error, new Chain.forTrace(trace)); |
throw error; |
}); |
} |
+ |
+ /// Returns the previously cached list of versions for the package identified |
+ /// by [package] or returns `null` if not in the cache. |
List<PackageId> getCachedVersions(PackageRef package) => _versions[package]; |
+ |
+ /// Returns a user-friendly output string describing metrics of the solve. |
String describeResults() { |
var results = '''- Requested $_versionCacheMisses version lists |
- Looked up $_versionCacheHits cached version lists |
- Requested $_pubspecCacheMisses pubspecs |
- Looked up $_pubspecCacheHits cached pubspecs |
'''; |
+ |
+ // Uncomment this to dump the visited package graph to JSON. |
+ //results += _debugWritePackageGraph(); |
+ |
return results; |
} |
+ |
+ /// This dumps the set of packages that were looked at by the solver to a |
+ /// JSON map whose format matches the map passed to [testResolve] in the |
+ /// version solver unit tests. |
+ /// |
+ /// If a real-world version solve is failing, this can be used to mirror that |
+ /// data to build a regression test using mock packages. |
String _debugDescribePackageGraph() { |
var packages = {}; |
_pubspecs.forEach((id, pubspec) { |
var deps = {}; |
packages["${id.name} ${id.version}"] = deps; |
+ |
for (var dep in pubspec.dependencies) { |
deps[dep.name] = dep.constraint.toString(); |
} |
}); |
+ |
+ // Add in the packages that we know of but didn't need their pubspecs. |
_versions.forEach((ref, versions) { |
for (var id in versions) { |
packages.putIfAbsent("${id.name} ${id.version}", () => {}); |
} |
}); |
+ |
+ // TODO(rnystrom): Include dev dependencies and dependency overrides. |
+ |
return JSON.encode(packages); |
} |
} |
+ |
+/// A reference from a depending package to a package that it depends on. |
class Dependency { |
+ /// The name of the package that has this dependency. |
final String depender; |
+ |
+ /// The version of the depender that has this dependency. |
final Version dependerVersion; |
+ |
+ /// The package being depended on. |
final PackageDep dep; |
+ |
+ /// Whether [depender] is a magic dependency (e.g. "pub itself" or "pub global |
+ /// activate"). |
bool get isMagic => depender.contains(" "); |
+ |
+ |
Dependency(this.depender, this.dependerVersion, this.dep); |
+ |
String toString() => '$depender $dependerVersion -> $dep'; |
} |
+ |
+/// An enum for types of version resolution. |
class SolveType { |
+ /// As few changes to the lockfile as possible to be consistent with the |
+ /// pubspec. |
static const GET = const SolveType._("get"); |
+ |
+ /// Upgrade all packages or specific packages to the highest versions |
+ /// possible, regardless of the lockfile. |
static const UPGRADE = const SolveType._("upgrade"); |
+ |
+ /// Downgrade all packages or specific packages to the lowest versions |
+ /// possible, regardless of the lockfile. |
static const DOWNGRADE = const SolveType._("downgrade"); |
+ |
final String _name; |
+ |
const SolveType._(this._name); |
+ |
String toString() => _name; |
} |
+ |
+/// Base class for all failures that can occur while trying to resolve versions. |
abstract class SolveFailure implements ApplicationException { |
+ /// The name of the package whose version could not be solved. |
+ /// |
+ /// Will be `null` if the failure is not specific to one package. |
final String package; |
+ |
+ /// The known dependencies on [package] at the time of the failure. |
+ /// |
+ /// Will be an empty collection if the failure is not specific to one package. |
final Iterable<Dependency> dependencies; |
+ |
String get message => toString(); |
+ |
+ /// A message describing the specific kind of solve failure. |
String get _message { |
throw new UnimplementedError("Must override _message or toString()."); |
} |
+ |
SolveFailure(this.package, Iterable<Dependency> dependencies) |
: dependencies = dependencies != null ? dependencies : <Dependency>[]; |
+ |
String toString() { |
if (dependencies.isEmpty) return _message; |
+ |
var buffer = new StringBuffer(); |
buffer.write("$_message:"); |
+ |
var sorted = dependencies.toList(); |
sorted.sort((a, b) => a.depender.compareTo(b.depender)); |
+ |
for (var dep in sorted) { |
buffer.writeln(); |
buffer.write("- ${log.bold(dep.depender)}"); |
if (!dep.isMagic) buffer.write(" ${dep.dependerVersion}"); |
buffer.write(" ${_describeDependency(dep.dep)}"); |
} |
+ |
return buffer.toString(); |
} |
+ |
+ /// Describes a dependency's reference in the output message. |
+ /// |
+ /// Override this to highlight which aspect of [dep] led to the failure. |
String _describeDependency(PackageDep dep) => |
"depends on version ${dep.constraint}"; |
} |
+ |
+/// Exception thrown when the current SDK's version does not match a package's |
+/// constraint on it. |
class BadSdkVersionException extends SolveFailure { |
final String _message; |
+ |
BadSdkVersionException(String package, String message) |
: super(package, null), |
_message = message; |
} |
+ |
+/// Exception thrown when the [VersionConstraint] used to match a package is |
+/// valid (i.e. non-empty), but there are no available versions of the package |
+/// that fit that constraint. |
class NoVersionException extends SolveFailure { |
final VersionConstraint constraint; |
+ |
+ /// The last selected version of the package that failed to meet the new |
+ /// constraint. |
+ /// |
+ /// This will be `null` when the failure occurred because there are no |
+ /// versions of the package *at all* that match the constraint. It will be |
+ /// non-`null` when a version was selected, but then the solver tightened a |
+ /// constraint such that that version was no longer allowed. |
final Version version; |
+ |
NoVersionException(String package, this.version, this.constraint, |
Iterable<Dependency> dependencies) |
: super(package, dependencies); |
+ |
String get _message { |
if (version == null) { |
return "Package $package has no versions that match $constraint derived " |
"from"; |
} |
+ |
return "Package $package $version does not match $constraint derived from"; |
} |
} |
+ |
+// TODO(rnystrom): Report the list of depending packages and their constraints. |
+/// Exception thrown when the most recent version of [package] must be selected, |
+/// but doesn't match the [VersionConstraint] imposed on the package. |
class CouldNotUpgradeException extends SolveFailure { |
final VersionConstraint constraint; |
final Version best; |
+ |
CouldNotUpgradeException(String package, this.constraint, this.best) |
: super(package, null); |
+ |
String get _message => |
"The latest version of $package, $best, does not match $constraint."; |
} |
+ |
+/// Exception thrown when the [VersionConstraint] used to match a package is |
+/// the empty set: in other words, multiple packages depend on it and have |
+/// conflicting constraints that have no overlap. |
class DisjointConstraintException extends SolveFailure { |
DisjointConstraintException(String package, Iterable<Dependency> dependencies) |
: super(package, dependencies); |
+ |
String get _message => "Incompatible version constraints on $package"; |
} |
+ |
+/// Exception thrown when two packages with the same name but different sources |
+/// are depended upon. |
class SourceMismatchException extends SolveFailure { |
String get _message => "Incompatible dependencies on $package"; |
+ |
SourceMismatchException(String package, Iterable<Dependency> dependencies) |
: super(package, dependencies); |
+ |
String _describeDependency(PackageDep dep) => |
"depends on it from source ${dep.source}"; |
} |
+ |
+/// Exception thrown when a dependency on an unknown source name is found. |
class UnknownSourceException extends SolveFailure { |
UnknownSourceException(String package, Iterable<Dependency> dependencies) |
: super(package, dependencies); |
+ |
String toString() { |
var dep = dependencies.single; |
return 'Package ${dep.depender} depends on ${dep.dep.name} from unknown ' |
'source "${dep.dep.source}".'; |
} |
} |
+ |
+/// Exception thrown when two packages with the same name and source but |
+/// different descriptions are depended upon. |
class DescriptionMismatchException extends SolveFailure { |
String get _message => "Incompatible dependencies on $package"; |
+ |
DescriptionMismatchException(String package, |
Iterable<Dependency> dependencies) |
: super(package, dependencies); |
+ |
String _describeDependency(PackageDep dep) { |
+ // TODO(nweiz): Dump descriptions to YAML when that's supported. |
return "depends on it with description ${JSON.encode(dep.description)}"; |
} |
} |
+ |
+/// Exception thrown when a dependency could not be found in its source. |
+/// |
+/// Unlike [PackageNotFoundException], this includes information about the |
+/// dependent packages requesting the missing one. |
class DependencyNotFoundException extends SolveFailure { |
final PackageNotFoundException _innerException; |
String get _message => "${_innerException.message}\nDepended on by"; |
+ |
DependencyNotFoundException(String package, this._innerException, |
Iterable<Dependency> dependencies) |
: super(package, dependencies); |
+ |
+ /// The failure isn't because of the version of description of the package, |
+ /// it's the package itself that can't be found, so just show the name and no |
+ /// descriptive details. |
String _describeDependency(PackageDep dep) => ""; |
} |