Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1374)

Unified Diff: sdk/lib/_internal/pub_generated/lib/src/solver/version_solver.dart

Issue 657673002: Regenerate pub sources. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 6 years, 2 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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) => "";
}
« no previous file with comments | « sdk/lib/_internal/pub_generated/lib/src/solver/version_queue.dart ('k') | sdk/lib/_internal/pub_generated/lib/src/source.dart » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698