관리-도구
편집 파일: resolvers.cpython-39.pyc
a J{�_�@ � @ s� d dl Z ddlmZ ddlmZmZ e �dddg�ZG dd � d e�Z G d d � d e �Z G d d � d e �Z G dd� de �Z G dd� de �ZG dd� de�ZG dd� de�Ze �dd�ZG dd� de �Zdd� Ze �d d �Zd d � ZG d d!� d!e�ZdS )"� N� )�AbstractResolver)� DirectedGraph�build_iter_view�RequirementInformation� requirement�parentc @ s e Zd ZdZdS )�ResolverExceptionz�A base class for all exceptions raised by this module. Exceptions derived by this class should all be handled in this module. Any bubbling pass the resolver should be treated as a bug. N)�__name__� __module__� __qualname__�__doc__� r r �8/usr/lib/python3.9/site-packages/resolvelib/resolvers.pyr s r c s$ e Zd Z� fdd�Zdd� Z� ZS )�RequirementsConflictedc s t t| ��|� || _d S �N)�superr �__init__� criterion)�selfr �� __class__r r r s z RequirementsConflicted.__init__c C s d� d�dd� | j�� D ���S )NzRequirements conflict: {}�, c s s | ]}t |�V qd S r ��repr��.0�rr r r � <genexpr> � z1RequirementsConflicted.__str__.<locals>.<genexpr>)�format�joinr �iter_requirement�r r r r �__str__ s �z RequirementsConflicted.__str__�r r r r r$ � __classcell__r r r r r s r c s$ e Zd Z� fdd�Zdd� Z� ZS )�InconsistentCandidatec s" t t| ��||� || _|| _d S r )r r' r � candidater )r r( r r r r r s z InconsistentCandidate.__init__c C s$ d� | jd�dd� | j�� D ���S )Nz+Provided candidate {!r} does not satisfy {}r c s s | ]}t |�V qd S r r r r r r r ( r z0InconsistentCandidate.__str__.<locals>.<genexpr>)r r( r! r r" r# r r r r$ % s �z InconsistentCandidate.__str__r% r r r r r' s r' c @ sL e Zd ZdZdd� Zdd� Zedd� �Zdd � Zd d � Z d d � Z dd� Z dS )� CriterionaQ Representation of possible resolution results of a package. This holds three attributes: * `information` is a collection of `RequirementInformation` pairs. Each pair is a requirement contributing to this criterion, and the candidate that provides the requirement. * `incompatibilities` is a collection of all known not-to-work candidates to exclude from consideration. * `candidates` is a collection containing all possible candidates deducted from the union of contributing requirements and known incompatibilities. It should never be empty, except when the criterion is an attribute of a raised `RequirementsConflicted` (in which case it is always empty). .. note:: This class is intended to be externally immutable. **Do not** mutate any of its attribute containers. c C s || _ || _|| _d S r )� candidates� information�incompatibilities)r r* r+ r, r r r r @ s zCriterion.__init__c C s d� dd� | jD ��}d�|�S )Nr c s s | ]\}}d � ||�V qdS )z({!r}, via={!r})N)r )r Zreqr r r r r F s �z%Criterion.__repr__.<locals>.<genexpr>z Criterion({}))r! r+ r )r � requirementsr r r �__repr__E s �zCriterion.__repr__c C s: t |�|g��}t||�g}| ||g d�}|s6t|��|S )z%Build an instance from a requirement.�r, )r � find_matchesr r )�cls�providerr r �cands�infosr r r r �from_requirementL s zCriterion.from_requirementc C s dd� | j D �S )Nc s s | ] }|j V qd S r )r �r �ir r r r W r z-Criterion.iter_requirement.<locals>.<genexpr>�r+ r# r r r r" V s zCriterion.iter_requirementc C s dd� | j D �S )Nc s s | ] }|j V qd S r �r r6 r r r r Z r z(Criterion.iter_parent.<locals>.<genexpr>r8 r# r r r � iter_parentY s zCriterion.iter_parentc C sX t | j�}|�t||�� t|�dd� |D ���}t| �||t | j��}|sTt|��|S )z5Build a new instance from this and a new requirement.c S s g | ] \}}|�qS r r )r r �_r r r � <listcomp>` r z)Criterion.merged_with.<locals>.<listcomp>) �listr+ �appendr r r0 �typer, r )r r2 r r r4 r3 r r r r � merged_with\ s zCriterion.merged_withc C s4 | j �|�}|sdS | j| }t| �|t| j�|�S )z�Build a new instance from this, but excluding specified candidates. Returns the new instance, or None if we still have no valid candidates. N)r* Z excludingr, r? r= r+ )r r* r3 Z incompatsr r r � excluded_off s zCriterion.excluded_ofN) r r r r r r. � classmethodr5 r" r: r@ rA r r r r r) , s r) c @ s e Zd ZdS )�ResolutionErrorN)r r r r r r r rC r s rC c s e Zd Z� fdd�Z� ZS )�ResolutionImpossiblec s t t| ��|� || _d S r )r rD r �causes)r rE r r r r w s z ResolutionImpossible.__init__�r r r r r& r r r r rD v s rD c s e Zd Z� fdd�Z� ZS )�ResolutionTooDeepc s t t| ��|� || _d S r )r rG r � round_count)r rH r r r r ~ s zResolutionTooDeep.__init__rF r r r r rG } s rG �Statezmapping criteriac @ sd e Zd ZdZdd� Zedd� �Zdd� Zdd � Zd d � Z d d � Z dd� Z dd� Z dd� Z dd� ZdS )� Resolutionz�Stateful resolution object. This is designed as a one-off object that holds information to kick start the resolution process, and holds the results afterwards. c C s || _ || _g | _d S r )�_p�_r�_states)r r2 �reporterr r r r � s zResolution.__init__c C s, z | j d W S ty& td��Y n0 d S )N����state)rM � IndexError�AttributeErrorr# r r r rP � s zResolution.statec C s2 | j d }t|j�� |j�� d�}| j �|� dS )z�Push a new state into history. This new state will be used to hold resolution results of the next coming round. rO ��mapping�criteriaN)rM rI rT �copyrU r> )r �baserP r r r �_push_new_state� s �zResolution._push_new_statec C sf | j �||� | j�|�}z| jj| }W n" tyL t�| j||�}Y n0 |� | j||�}||fS r ) rL Zadding_requirementrK ZidentifyrP rU �KeyErrorr) r5 r@ )r r r �name�critr r r �_merge_into_criterion� s z Resolution._merge_into_criterionc C s* |\}}| j �| jj�|�|j�� |j�S r )rK Zget_preferencerP rT �getr* Zfor_preferencer+ )r �itemrZ r r r r � _get_criterion_item_preference� s �z)Resolution._get_criterion_item_preferencec sB z�j j| � W n ty$ Y dS 0 t� �fdd�|�� D ��S )NFc 3 s | ]}�j �|� �V qd S r �rK Zis_satisfied_byr �Z current_pinr r r r � s �z8Resolution._is_current_pin_satisfying.<locals>.<genexpr>)rP rT rY �allr" )r rZ r r ra r �_is_current_pin_satisfying� s �z%Resolution._is_current_pin_satisfyingc C s4 i }| j �|�D ] }| j||d�\}}|||< q|S )Nr9 )rK Zget_dependenciesr\ )r r( rU r rZ r[ r r r �_get_criteria_to_update� s z"Resolution._get_criteria_to_updatec s� g }|j D ]�� z��� �}W n< tyX } z$|�|j� W Y d }~q W Y d }~n d }~0 0 t� �fdd�|�� D ��}|s�t� |���j� � � �j j � |d � � �j j |< �j j �|� g S |S )Nc 3 s | ]}�j �|� �V qd S r r` r �r( r r r r � s �z7Resolution._attempt_to_pin_criterion.<locals>.<genexpr>)r* rd r r> r rb r" r' rL ZpinningrP rT �poprU �update)r rZ r rE rU �eZ satisfiedr re r �_attempt_to_pin_criterion� s$ "� z$Resolution._attempt_to_pin_criterionc s� t �j�dkr��jd= �j�� }|j�� \}}dd� |j�� D �� � �||gf� �j� |� � �fdd�}�� � |� }|r dS q dS ) a� Perform backtracking. When we enter here, the stack is like this:: [ state Z ] [ state Y ] [ state X ] .... earlier states are irrelevant. 1. No pins worked for Z, so it does not have a pin. 2. We want to reset state Y to unpinned, and pin another candidate. 3. State X holds what state Y was before the pin, but does not have the incompatibility information gathered in state Y. Each iteration of the loop will: 1. Discard Z. 2. Discard Y but remember its incompatibility information gathered previously, and the failure we're dealing with right now. 3. Push a new state Y' based on X, and apply the incompatibility information from Y to Y'. 4a. If this causes Y' to conflict, we need to backtrack again. Make Y' the new Z and go back to step 2. 4b. If the incompatibilities apply cleanly, end backtracking. � rO c S s g | ]\}}||j f�qS r r/ �r �k�vr r r r< s �z)Resolution._backtrack.<locals>.<listcomp>c sd � D ]Z\} }|sqz�j j| }W n ty8 Y qY n0 |�|�}|d u rR dS |�j j| < qdS )NFT)rP rU rY rA )rl r, r �Z incompatibilities_from_brokenr r r �_patch_criteria s z.Resolution._backtrack.<locals>._patch_criteriaTF) �lenrM rf rT �popitemrU �itemsr> rL Z backtrackingrX )r Z broken_staterZ r( ro �successr rn r � _backtrack� s � zResolution._backtrackc sP � j rtd��� j�� tt�� i d�g� _ |D ]X}z� j|d d�\}}W n0 tyz } zt |j j ��W Y d }~n d }~0 0 |� j j |< q0� �� t|�D ]�}� j�|� � fdd�� j j �� D �}|s� j�� j � � j S t|� jd�\}} � �|| �} | �r*� �� } | �s2dd� | D �} t | ��n� �� � j�|� j � q�t|��d S )Nzalready resolvedrS r9 c s g | ]}� j |� s|�qS r )rc )r r^ r# r r r< K s �z&Resolution.resolve.<locals>.<listcomp>)�keyc S s g | ]}|j D ]}|�qqS r r8 )r �cr7 r r r r< d r )rM � RuntimeErrorrL ZstartingrI � collections� OrderedDictr\ r rD r r+ rP rU rX �rangeZstarting_roundrr Zending�minr_ ri rt Z ending_roundrG ) r r- � max_roundsr rZ r[ rh Z round_indexZunsatisfied_criterion_itemsr Zfailure_causesrs rE r r# r �resolve4 s@ " � � zResolution.resolveN)r r r r r �propertyrP rX r\ r_ rc rd ri rt r} r r r r rJ � s !HrJ c C s� ||v r dS || vrdS | | � � D ]b}z|t|� }W n tyN Y q$Y n0 ||v rh|�|� dS t| |||�r$|�|� dS q$dS )NTF)r: �idrY �add�_has_route_to_root)rU ru �all_keys� connected�p�pkeyr r r r� o s r� �Resultzmapping graph criteriac s� | j }dd� |�� D �}d |td �< t� }|�d � d h� | j�� D ]�\}}t| j||� �s^qD||vrp|�|� |�� D ]J}z|t|� }W n ty� Y qxY n0 ||vr�|�|� |� ||� qxqDt � fdd�|�� D �|| jd�S )Nc S s i | ]\}}t |�|�qS r )r rk r r r � <dictcomp>� r z!_build_result.<locals>.<dictcomp>c s i | ]\}}|� v r||�qS r r rk �r� r r r� � r )rT �graphrU ) rT rr r r r� rU r� r: rY Zconnectr� )rP rT r� r� ru r r� r� r r� r � _build_result� s0 �r� c @ s e Zd ZdZeZddd�ZdS )�Resolverz3The thing that performs the actual resolution work.�d c C s$ t | j| j�}|j||d�}t|�S )a Take a collection of constraints, spit out the resolution result. The return value is a representation to the final resolution result. It is a tuple subclass with three public members: * `mapping`: A dict of resolved candidates. Each key is an identifier of a requirement (as returned by the provider's `identify` method), and the value is the resolved candidate. * `graph`: A `DirectedGraph` instance representing the dependency tree. The vertices are keys of `mapping`, and each edge represents *why* a particular package is included. A special vertex `None` is included to represent parents of user-supplied requirements. * `criteria`: A dict of "criteria" that hold detailed information on how edges in the graph are derived. Each key is an identifier of a requirement, and the value is a `Criterion` instance. The following exceptions may be raised if a resolution cannot be found: * `ResolutionImpossible`: A resolution cannot be found for the given combination of requirements. The `causes` attribute of the exception is a list of (requirement, parent), giving the requirements that could not be satisfied. * `ResolutionTooDeep`: The dependency tree is too deeply nested and the resolver gave up. This is usually caused by a circular dependency, but you can try to resolve this by increasing the `max_rounds` argument. )r| )rJ r2 rN r} r� )r r- r| Z resolutionrP r r r r} � s zResolver.resolveN)r� )r r r r r Zbase_exceptionr} r r r r r� � s r� )rx Z providersr Zstructsr r � namedtupler � Exceptionr r r' �objectr) rC rD rG rI rJ r� r� r� r� r r r r �<module> s& � F i