o V hBh@s\ddlmZddlZddlZddlZddlmZddlmZddlm Z ddl m Z ddl m Z ddlmZdd lmZdd lmZdd lmZdd lmZdd lmZddlmZddlmZddlmZerzddlmZddlm Z ddl!m"Z"e#Z$GdddeZ%e&e%e'e(e'fZ)e&e*e e*e e*e e*e e*fZ+GdddZ,GdddZ-dS)) annotationsN)IntEnum) TYPE_CHECKING)Optional) Dependency)SolveFailureError)Incompatibility)ConflictCauseError)NoVersionsCauseError)RootCauseError)PartialSolution) SolverResult) SetRelation)Term)PackageCollection)ProjectPackage)DependencyPackage)Providerc@s$eZdZdZdZdZdZdZdZdS) Preferencez Preference is one of the criteria for choosing which dependency to solve first. A higher value means that there are "more options" to satisfy a dependency. A lower value takes precedence. rN) __name__ __module__ __qualname____doc__ DIRECT_ORIGIN NO_CHOICE USE_LATESTLOCKEDDEFAULTr"r"r/var/www/html/construction_image-detection-poc/venv/lib/python3.10/site-packages/poetry/mixology/version_solver.pyr#src@s8eZdZdZdddZdd dZdddZdddZdS)DependencyCachez A cache of the valid dependencies. The key observation here is that during the search - except at backtracking - once we have decided that a dependency is invalid, we never need check it again. providerrreturnNonecCs6||_tt|_tt|_tjdd|j|_ dS)N)maxsize) _provider collections defaultdictlist_cache_cached_dependencies_by_level functools lru_cache _search_for_search_for_cached)selfr%r"r"r#__init__As  zDependencyCache.__init__ dependencyrkeyDependencyCacheKeylist[DependencyPackage]cs>|j|}|rfdd|dD}nd}|s|j}|S)Ncs g|] }j|jjr|qSr") constraintallowspackageversion.0pr6r"r# ]s z/DependencyCache._search_for..)r.r* search_for)r4r6r7 cache_entriespackagesr"rAr#r2Vs   zDependencyCache._search_fordecision_levelintcCs|j|j|j|j|jf}||jr|n||}|j|r'|j|d|ur7|j| ||j | ||jrH|rHt |dj |j|S|S)NrCr)name source_type source_urlsource_referencesource_subdirectoryr3featureswithout_featuresr.appendr/rr6 with_features)r4r6rGr7rFr"r"r#rDqs"  zDependencyCache.search_forlevelcCs<||jvr|j|j|D] }|j|qdSdSN)r/r3 cache_clearpopr.)r4rRr7r"r"r# clear_levels  zDependencyCache.clear_levelN)r%rr&r')r6rr7r8r&r9)r6rrGrHr&r9)rRrHr&r')rrrrr5r2rDrVr"r"r"r#r$8s    r$c@seZdZdZd/dd Zed0d d Zd1ddZd2ddZd3ddZ d4ddZ d5ddZ d6d"d#Z d7d%d&Z d1d'd(Zd8d)d*Zd9d,d-Zd.S): VersionSolverz The version solver that finds a set of package versions that satisfy the root package's dependencies. See https://github.com/dart-lang/pub/tree/master/doc/solver.md for details on how this solver works. rootrr%rr&r'cCsJ||_||_t||_i|_t|_tt|_ t |_ t |j|_dSrS)_rootr*r$_dependency_cache_incompatibilitiesset_contradicted_incompatibilitiesr+r,(_contradicted_incompatibilities_by_levelr _solutionr0cache _get_comp_key_get_comp_key_cached)r4rXr%r"r"r#r5s zVersionSolver.__init__r cCs|jSrS)r_)r4r"r"r#solutionszVersionSolver.solutionr c Cst}t|jj|jj}d|_|tt|dgt z7z.|jj}|dur4| || }|dus'| WW| dt|dd|jjdStyTw| dt|dd|jjdw)z Finds a set of dependencies that match the root package's constraints, or raises an error if no such set is available. TFNzVersion solving took z.3fz seconds. Tried z solutions.)timerrYrIr=is_root_add_incompatibilityrrr _propagate_choose_package_version_result_logr_attempted_solutions Exception)r4startroot_dependencynextr"r"r#solves4   zVersionSolver.solver<strcCs|h}|r^|}t|j|D]I}||jvrq||}|turI||}|||}|dus5J|tks;Jt|t sBJ| |n|durYt|t sTJ| |q|sdSdS)z Performs unit propagation on incompatibilities transitively related to package to derive new assignments for _solution. N) rUreversedr[r]_propagate_incompatibility _conflict_resolve_conflictclear isinstancerqadd)r4r<changedincompatibilityresult root_causer"r"r#rgs*         zVersionSolver._propagaterzrstr | object | NonecCsd}|jD].}|j|}|tjkr%|j||j|jj|dS|tj kr3|dur1dS|}q|dur:t S|j||j|jj|| rPdnd}| d||j |j|j | ||j j}|S)ad If incompatibility is almost satisfied by _solution, adds the negation of the unsatisfied term to _solution. If incompatibility is satisfied by _solution, returns _conflict. If incompatibility is almost satisfied by _solution, returns the unsatisfied term's package name. Otherwise, returns None. Nznot z derived: )termsr_relationrDISJOINTr]rxr^rG OVERLAPPINGrt is_positiverjr6derive complete_name)r4rz unsatisfiedtermradverbrr"r"r#rss:      z(VersionSolver._propagate_incompatibilityc s |d|d}|sdd}d}d}|jD]B}|j|}|dur+||}n|j|jkr>t||j}||}d}nt||j}|kr\|}|dur\t||j|j j}q|duscJ||jksm|j durt |jj|dD]}||j vr|j |j ||j|qu|j||r|||Sfdd|jD} |j jD] }|j|jkr| |q|dur|j } | j|jkr| | t| t||j }d}|durd nd } |d d | d ||d|j d|d||rt|)a Given an incompatibility that's satisfied by _solution, The `conflict resolution`_ constructs a new incompatibility that encapsulates the root cause of the conflict and backtracks _solution until the new incompatibility will allow _propagate() to deduce new assignments. Adds the new incompatibility to _incompatibilities and returns it. .. _conflict resolution: https://github.com/dart-lang/pub/tree/master/doc/solver.md#conflict-resolution z conflict: FNrrCcsg|]}|kr|qSr"r"r?rmost_recent_termr"r#rBsz3VersionSolver._resolve_conflict..Tr~z partiallyz! z isz satisfied by z! which is caused by ""z! thus: )rj is_failurerr_ satisfierindexmaxrG differenceinversecauseranger^r]difference_updaterUrZrV backtrackrfr6rPrr r) r4rznew_incompatibilitymost_recent_satisfierrprevious_satisfier_levelrrrR new_termsr partiallyr"rr#ru4s                    zVersionSolver._resolve_conflictr6rCompKeyc sLtj}r tj}g}j|jjv}|s(|j}|r(|tjkr%tj}|g}|s3|j |j j }t |}|r|dj}|rF|j}n3|tjkro|soj|jfD]} z |jj|j|j| d}Wn tymYqUwfdd|jD}t|} tdd|D} nd} d} |tjkr|dkrtj}n|rtj}|| | | fS) a Returns a tuple of - preference - num_deps_upper_bound - has_deps - num_packages that serves as priority for choosing the next package to resolve. (A lower value takes precedence.) In order to provide results that are as deterministic as possible and consistent between `poetry lock` and `poetry update`, the return value of two different dependencies should not be equal if possible. ## preference See Preference class. ## num_deps_upper_bound A dependency with an upper bound is more likely to cause conflicts. Therefore, a package with more dependencies with upper bounds should be chosen first. ## has_deps A package with dependencies should be chosen first because a package without dependencies is less likely to cause conflicts. ## num_packages The original algorithm proposes to prefer packages with as few remaining versions as possible, so that if a conflict is necessary it's forced quickly. https://github.com/dart-lang/pub/blob/master/doc/solver.md#decision-making However, this leads to the famous boto3 vs. urllib3 issue, so we prefer packages with more remaining versions (see https://github.com/python-poetry/poetry/pull/8255#issuecomment-1657198242 for more details). r)repository_namecs&g|]}|jr|jdjvr|qS)r) in_extrasextras)r?rrAr"r#rBsz/VersionSolver._get_comp_key..css|] }|jrdVqdS)rN)r:has_upper_bound)r?dr"r"r# s   z.VersionSolver._get_comp_key..Fr)rr!is_direct_originrrIr* use_latest get_lockedr rZrDr_rGlenr<re all_requires source_namerLget_package_from_pool pretty_namer=rlrequiresboolsumrr) r4r6 preferencerFrlocked num_packagesr<relevant_dependenciesrepohas_depsnum_deps_upper_boundr"rAr#ras^&       zVersionSolver._get_comp_keyrlist[Dependency]cCst||jdS)z6 Chooses the next package to resolve. )r7)minrb)r4rr"r"r# _choose_next.szVersionSolver._choose_next str | Nonecsjj}|sdS|j}|durCjjj}tt |d}|dur= t t dgt j}|Sj|j_n|}j|}d}j|D]} ||phtfdd|jD}qS|sj|jd|jjd|jjdj}|S) a  Tries to select a version of a required package. Returns the name of the package whose incompatibilities should be propagated by _propagate(), or None indicating that version solving is complete and a solution has been found. NTFc3s*|]}|jjjkpj|VqdSrS)r6rr_ satisfiesrr6r4r"r#rbs   z8VersionSolver._choose_package_version..z selecting z ())r_rrr*rrZrDrGroiterrfrrr rtransitive_markerr6complete_packageincompatibilities_forallrdecider<rjfull_pretty_version)r4rrrFr<rconflictrzr"rr#rh4sD       z%VersionSolver._choose_package_versioncCs$|jj}t|jdd|D|jjS)zI Creates a #SolverResult from the decisions in _solution cSsg|]}|s|qSr")rer>r"r"r#rBzsz)VersionSolver._result..)r_ decisionsr rYrk)r4rr"r"r#rirs  zVersionSolver._resultcCsd|d||jD]$}|jj|jvrg|j|jj<||j|jjvr%q |j|jj|q dS)Nzfact: )rjrr6rr[rP)r4rzrr"r"r#rf~s  z"VersionSolver._add_incompatibilitytextcCs|j||jjdSrS)r*debugr_rk)r4rr"r"r#rjszVersionSolver._logN)rXrr%rr&r')r&r )r&r )r<rqr&r')rzrr&r})rzrr&r)r6rr&r)rrr&r)r&r)rzrr&r')rrqr&r')rrrrr5propertyrcrprgrsrurarrhrirfrjr"r"r"r#rWs      , =  i  > rW). __future__rr+r0rdenumrtypingrrpoetry.core.packages.dependencyrpoetry.mixology.failurerpoetry.mixology.incompatibilityr%poetry.mixology.incompatibility_causer r r poetry.mixology.partial_solutionr poetry.mixology.resultr poetry.mixology.set_relationrpoetry.mixology.termrpoetry.packagesr$poetry.core.packages.project_packagerrpoetry.puzzle.providerrobjectrtrtuplerHrrrqr8r$rWr"r"r"r#s<                  ^