CasperSecurity
o
$
x`� � @ s� d Z ddlmZ ddlZddlZddlmZ ddlmZ ddlm Z ddl
m Z ddl
m Z dd l
m
Z
dd
l
mZ dd l
mZ dd lmZmZmZ d
dgZefZddd�Zdd� Zd dd�Zd dd
�Zej e_ dZeef�Z dd� Z dd� Z dS ) z!Verify interface implementations
� )�print_functionN)� FunctionType)�
MethodType)�PYPY2)�BrokenImplementation)�BrokenMethodImplementation)�DoesNotImplement)�Invalid)�MultipleInvalid)�
fromMethod� fromFunction�Method� verifyObject� verifyClassFc C s� |dkr| j }n| j}g }|s||�s|�t| |�� | jdd�D ]%\}}z
t| ||||� W q! tyF } z |�|� W Y d}~q!d}~ww |rYt|�dkrS|d �t| ||��dS )a�
Verify that *candidate* might correctly provide *iface*.
This involves:
- Making sure the candidate claims that it provides the
interface using ``iface.providedBy`` (unless *tentative* is `True`,
in which case this step is skipped). This means that the candidate's class
declares that it `implements <zope.interface.implementer>` the interface,
or the candidate itself declares that it `provides <zope.interface.provider>`
the interface
- Making sure the candidate defines all the necessary methods
- Making sure the methods have the correct signature (to the
extent possible)
- Making sure the candidate defines all the necessary attributes
:return bool: Returns a true value if everything that could be
checked passed.
:raises zope.interface.Invalid: If any of the previous
conditions does not hold.
.. versionchanged:: 5.0
If multiple methods or attributes are invalid, all such errors
are collected and reported. Previously, only the first error was reported.
As a special case, if only one such error is present, it is raised
alone, like before.
�cT)�allN� r ) �
implementedBy�
providedBy�appendr �namesAndDescriptions�_verify_elementr �lenr
) �iface� candidate� tentative�vtype�tester�excs�name�desc�e� r" �7/usr/lib/python3/dist-packages/zope/interface/verify.py�_verify* s$ �� r$ c C sJ zt ||�}W n ty t|t�s|dkrY d S t| ||��w t|t�s(d S t�|�s2t�|�r4d S t|t�rZt j
d dkrRt|t �rR|dkrRt || |dd�}n4t || |d�}n,t|t
�rmt |j�tu rmt|| |�}nt|t�rx|dkrxd S t|�s�t|d|| |��d S t|�� |�� �}|r�tr�t|||�r�d S t|||| |��d S )Nr r � r )r �imlevel)r z implementation is not a method)�getattr�AttributeError�
isinstancer
r �inspect�ismethoddescriptor� isbuiltinr �sys� version_info�typer � MethodTypes�__func__r �property�callabler � _incompat�getSignatureInfor �_pypy2_false_positive)r r r r r �attr�meth�messr" r" r# r ` sB �
�
��r c C � t | ||dd�S )zF
Verify that the *candidate* might correctly provide *iface*.
r �r �r$ �r r r r" r" r# r � s c C r: )N�or; r< r= r" r" r# r � s z*implementation requires too many argumentsc C s< | t vrdS tt��� }|dkr|nt|�}||v r dS dS )NFr T)� _KNOWN_PYPY2_FALSE_POSITIVES�vars� __builtins__�valuesr/ )�msgr r �known_builtin_types�candidate_typer" r" r# r6 � s r6 c C sp t |d �t | d �krtS t |d �t | d �k r |d s dS | d r*|d s*dS | d r4|d s6dS d S d S )N�required�
positional�varargsz-implementation doesn't allow enough arguments�kwargsz0implementation doesn't support keyword argumentsz1implementation doesn't support variable arguments)r �
_MSG_TOO_MANY)rF � implementedr" r" r# r4 � s ��r4 )FN)F) �__doc__�
__future__r r* r- �typesr r �zope.interface._compatr �zope.interface.exceptionsr r r r r
�zope.interface.interfacer r r
�__all__r0 r$ r r r rJ � frozensetr? r6 r4 r" r" r" r# �<module> s8
�
6
E
�