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 |
deleted file mode 100644 |
index d22ace779d7fa5f61b44329bb0f273a1d9861eac..0000000000000000000000000000000000000000 |
--- a/sdk/lib/_internal/pub_generated/lib/src/solver/version_solver.dart |
+++ /dev/null |
@@ -1,510 +0,0 @@ |
-// 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; |
-import '../package.dart'; |
-import '../pubspec.dart'; |
-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, |
- sources, |
- root, |
- lockFile, |
- 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, |
- _sources, |
- _root, |
- _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) => ""; |
-} |