Current File : //opt/alt/python37/lib64/python3.7/site-packages/guppy/gsl/__pycache__/Main.cpython-37.pyc
B
�]� � = @ s, d dl mZ d dlT G dd� d�ZG dd� d�ZG dd� d�ZG d d
� d
e�ZG d d � d e�ZG d
d� de�ZG dd� de�Z G dd� de�Z
G dd� de�Z G dd� de�Z G dd� de�Z
G dd� de�ZG dd � d �ZG d d � d e�ZG d d � d e�ZG d!d"� d"e�ZG d#d$� d$e�ZG d%d&� d&e�ZG d'd(� d(e�ZG d)d*� d*e�ZG d+d,� d,e�ZG d-d.� d.e�ZG d/d0� d0e�ZG d1d2� d2e�ZG d3d4� d4e�ZG d5d6� d6e�Z G d7d8� d8�Z G d9d:� d:�Z G d;d<� d<e �Z G d=d>� d>e �Z G d?d@� d@e �Z!G dAdB� dBe �Z"G dCdD� dDe �Z#G dEdF� dFe#�Z$G dGdH� dHe#�Z%G dIdJ� dJe�Z&G dKdL� dLe�Z'G dMdN� dNe�Z(G dOdP� dPe(�Z)G dQdR� dRe(�Z*G dSdT� dT�Z+G dUdV� dVe�Z,G dWdX� dXe�Z-G dYdZ� dZe�Z.G d[d\� d\e�Z/G d]d^� d^e�Z0G d_d`� d`�Z1G dadb� dbe0�Z2G dcdd� dde�Z3G dedf� dfe�Z4G dgdh� dhe�Z5G didj� dje�Z6G dkdl� dle�Z7G dmdn� dne�Z8dodp� Z9G dqdr� dr�Z:G dsdt� dte:�Z;G dudv� dve:�Z<G dwdx� dxe:�Z=G dydz� dze:�Z>G d{d|� d|e>�Z?G d}d~� d~e>�Z@G ddx� dxe>�Z=G d�d�� d�e>�ZAd�d�� ZBd�d�� ZCd�d�� ZDd�d�� ZEe:e:e:e:e:e:e:e:e:e:e:e:e:e:e:e:e:e?e@e:e>e>e>e>e:e:e=e>e>e>e:eDeDeDeDeDeDeDeDeDe:e:eAeAeAeAeAeAeAe:e:e:e:e:e:e:e:e:e:e:d��<ZFd�d�� ZGG d�d�� d��ZHG d�d�� d��ZIG d�d�� d�eI�ZJG d�d�� d�eI�ZKG d�d�� d��ZLG d�d�� d�eI�ZMG d�d�� d�eI�ZNG d�d�� d�eI�ZOG d�d�� d��ZPd�S )�� )�property_nondata)�*c @ sb e Zd Zdd� Zdd� Zdeddfdd �Zd
d � Zd d
� Zdd� Z dd� Z
ddd�Z ddd�Z dS )�SpecEnvc C s( || _ i | _i | _g | _d| _d| _d S )Nr )�mod�imported_packages�importing_packages�
error_reports�
num_errors� num_warnings)�selfr � r �A/opt/alt/python37/lib64/python3.7/site-packages/guppy/gsl/Main.py�__init__ s zSpecEnv.__init__c C sd d}d}|d k r`|}|j d }|j}|d k r@|j}|j|j d�}td||f � |r`td| � d S )N� z<unknown file>� )�indexz%s:%s:z %r)r �src�filename�get_line�print)r �contextZlinetextr �node�linenor r r r
�errmsg_context s
zSpecEnv.errmsg_contextNr r c C s� | j �|||||f� |r*| jd7 _n| jd7 _| �|� |rTtd| � n td| � t� x,|D ]$\}}| �|� td| � t� qlW | jr�dd l}|�� n | j| j kr�t
d��|d k r�|�d S )Nr z* %sz*** %sz %sr zToo many errors, giving up) r �appendr
r r r �debug�pdbZ set_trace�
max_errors�
TooManyErrors) r �messager � exception�more�harmless�msgZctxr r r r
�error s*
z
SpecEnv.errorc C s( g }x |D ]}|� |�| j�� q
W |S )N)�extend�
get_filers�
output_dir)r � documents�filers�dr r r
r& 9 s
zSpecEnv.get_filersc C s� | j �|�}|d kr�|| jkr:| �dt| j�� �f |� d| j|< |�d| jjj j
�d }| � ||�}| � |�}|| j |< | j|= |S )Nz+Invalid mutual import involving packages %rr �.z.gsl)
r �getr r$ �list�keys�replacer �IO�path�sep�package_of_filename� mkPackage)r �namer �pacr Zipr r r
�import_package? s
zSpecEnv.import_packagec
s� i �i �� ���fdd��x |D ]� � � � }�|� q W xdt��� �D ]T\}}t|�dkrFtd| � x*|D ]"\� }td� �� |jd f � qlW td� qFW g }x�t��� �D ]�\}}|�k�r i }x"|D ]\� }d|� �� < d|_q�W t|�� �}|� � d�
|�}|� d ||f � q��| d
\}}x:|D ]2\� }� |k�rLd |_nd |_|j f|j
|_
�q2W q�W |�r�|� � td
� x|D ]} td| � �q�W d S )Nc s� | j }|dkr0| j�� }��|g ��� | f� n6|dkrZ| j�� }��|g ��� | f� n |dkrfd S x| jD ] }�|� qnW d S )NZlink_toZdefineZto_tester_only)�tag�arg�strip�
setdefaultr �children)r �tr5 �ch)r* �defines�links�walkr r
rA R s
z$SpecEnv.link_documents.<locals>.walkr z,Duplicate definition of name %r, defined in:z %s line %szWill use the first one.Zlink_to_unresolvedz, z
%s used in %sr Z
link_to_localZlink_to_externzUnresolved links:z )Z
get_resultr- �items�lenr Z get_doc_namer r8 r. �sort�joinr Z
doc_name_noder< )
r r( r r5 �dsZnodefsZusedZdefdZdefnodeZndr )r* r? r@ rA r
�link_documentsM sD
zSpecEnv.link_documentsc C s t | ||�}| j|_|�� |S )N)�PackageDescriptionr' � resolve_all)r �subr6 r r r
r4 � s zSpecEnv.mkPackager c C s( | j }|d kr<|�d�r&|d d� }n|}|�|jjjd�}| jrV|jj�| j|�}n|jj�|�}|d k rr|}n |j� |�}|�
� }|� d|� d� � |� d|� d� � |� |� d�� |�
� }||jkr�|j| S |jj|||d�} | j}
td| � t|| | ||�} |
| jk�r$| |j|< | S ) Nz.gsl���r+ s .filename: %s
zutf-8s .packname: : %s
)�nostripzMaking package subject %r)r �endswithr/ r0 r1 r2 � input_dirrE �abspathZ read_file�md5�update�encode�digestZ
package_cache� SpecNodesZnode_of_stringr r �PackageSubject) r r ZpacknamerL � input_stringr �datarP rS r Znumerr�packager r r
r3 � s4
zSpecEnv.package_of_filenameFc C sl |d kr| j j}|| _|d kr"d}|| _|| _|d kr>| j j}|| _yd| �| j||d��} | �� }
|
sv| jdd dd� | j r�|r�t
d� | � |
� | j r�|r�| � |
�} W n t
k
r� d} Y nX d} | j �sx8| D ]0}
| j j�|
�}t
d d
�t|j��� |�� q�W | j�r0t
d | jd d | jdk� f � | j �rht
d
| j d d | j dk� | f � |�rhtd��d S )Nz/tmp)rV zNo documents specified.r )r r" ZLinkingz
giving up --r z Writing: z, z* %d warning%s reported.�sz.*** %d error%s reported --%s no files written.z Some error has been reported.)r rN r' r r r4 r3 �
get_documentsr$ r r rG r& r ZFiler�filerrE r- Zwritefile_names�writer
ZHadReportedError)r r rN r' r r Zprocess_despite_errorsZraise_at_errorsrV r6 r( r) Z giving_upr[ �fr r r
� process_main� sL
zSpecEnv.process_main)Nr N)NNFNFFN)
�__name__�
__module__� __qualname__r r �
ReportedErrorr$ r& r7 rG r4 r3 r^ r r r r
r s 7
r c @ s4 e Zd Zdd� Zdd� Zdd� Zdd� Zd d
� Zd S ) �UntypedDescriptionc C s& || _ |j| _|j| _|| _|| _d S )N)�envr6 r �tgtr )r rd re r r r r
r � s
zUntypedDescription.__init__c C s | j �|� d S )N)Zcombined_subjectsr )r �subjectr r r
�combine_with_subject� s z'UntypedDescription.combine_with_subjectc C s | � � | �� d S )N)�resolve_primary�resolve_lookuped)r r r r
rI � s z UntypedDescription.resolve_allc C s | � � | �� d S )N)� resolve_type� resolve_tgt)r r r r
rh � s z"UntypedDescription.resolve_primaryc C sj | j j}t|d�s | j j| _| jj| j j | _| j j | _
| j j | _ | j j | _
| jj| _| j j | _|| _d S )N�d_tag)re �description_class�hasattrr8 rl r �
tgt_prefix�fullname� tgtfullnamer �tgtnode�lastname� tgtlastname�srcnoder � srcfullname� srclastname� __class__)r Zdcr r r
rj � s
z UntypedDescription.resolve_typeN)r_ r` ra r rg rI rh rj r r r r
rc � s
rc c @ sT e Zd ZdZdZdZdZdZdZdZ dZ
dd� Z dd � Z dMd
d �Z
defd d
�Zdd� Zdd� ZdNdd�Zdd� Zdd� Zdd� Zdd � Zd d � ZdOd d �Zd!d"� ZdPd#d$�Zd%d&� Zd'd(� Z d)d*� Z d+d,� Z d-d.� Z d/d0� Z d1d2� Z!d3d4� Z"d5d6� Z#d7d8� Z$d9d:� Z%d;d<� Z&d=d>� Z'dQd?d@�Z(dAdB� Z)dCdD� Z*dEdF� Z+dGdH� Z,dIdJ� Z-dKdL� Z.dS )R� DescriptionNr �otherr Fc C s� x�|D ]�}y�|j j}|rT| j�|�}|rJ||kr2w| �d|f |j jt� || j|< | j�|j g �}|j
}|d k r�t |�d |kr�| �d||j f |j j� |� |� | j
� |� W q tk
r� Y qX qW d S )Nz/Duplicate aspect %r (may be correct in future).r zMore than %d %r aspects.)r �definame� localviewr, r$ r �DuplicateError�aspects_by_tagr; rl � d_max_occurrC r �aspectsrb )r �as_�asp�k�wZbnZocr r r
�aspects_extend s,
zDescription.aspects_extendc C sL xF|D ]>}y$t | ||�}|�� | �|f� W q tk
rB Y qX qW d S )N)rc rh r� rb )r �subjects�vr� r r r
�aspects_extend_by_subjects s
z&Description.aspects_extend_by_subjectsc C sf |d kr | }y
| j }W n tk
r6 | j�|� Y n,X |j|krX| �d|j |jj� |||j< d S )NzDuplicate definition of %r)�tgtview�AttributeErrorrd �deftgtrq r$ r r )r Zformer� r r r
r� ' s
zDescription.deftgtc K s | j jj|||f|�S )N)r6 rd r$ )r r# r r �kwdsr r r
r$ 5 s zDescription.errorc C s | j sd| _ | �� d S )Nr )� is_lookuped�resolve_aspects)r r r r
ri 8 s z Description.resolve_lookupedc C s | � � d S )N)r� )r r r r
rk = s zDescription.resolve_tgtr c G s� g }|� dd�}|dkrhx | jD ]}|�� |�|� q W |dkrhx | jD ]}|�� |�|� qJW |S |f| }x*| jD ] }|j|krz|�� |�|� qzW |S )N� �_)r r9 r )r/ �argsri r r� rl )r r8 Ztags�al�ar r r
� find_aspects@ s"
zDescription.find_aspectsc C sV g }x | j D ]}|�� |�|� q W x*| jD ] }|jdkr.|�� |�|� q.W |S )N) r9 �seq�repeat�altr� � optionals�key_arg�draw�no_arg)r� ri r r� rl )r r� r� r r r
�find_arg_aspectsS s
z Description.find_arg_aspectsc C s2 g }x(| � d�D ]}|jdkr|�|� qqW |S )Nr )� attribute�mapping�kind�either�kind_of� superkind� superkind_of)r� rl r )r �kasr� r r r
�find_kind_aspects_ s
z Description.find_kind_aspectsc C s |S )Nr )r �descrsr r r
� merge_policyi s zDescription.merge_policyc C s | j s | jd k r | j�|�S | S )N)r� �the_less_specific_descr�get_descr_for_aspect)r �aspectr r r
r� l s z Description.get_descr_for_aspectc C sx | � d�}g }xd|D ]\}|jdkr4|�t| |�� q|jdkr|| k rt| |�}x |�� D ]}|�|| � qZW qW |S )Nr )
r� r� r� �operator�inplace_operator�reverse_operator�function_operator�delitem�getitem�setitem)r� r� �
subkind_of)r� rl r �beam�get_atom_beams)r r� �aksr� r� �br r r
r� q s
zDescription.get_atom_beamsc C s^ |d kr| � d�}g }xB|D ]:}|jdkr6|�|� q |jdkr || k r |�|�� � q W |S )Nr )
r� r� r� r� r� r� r� r� r� r� )r� r� r� )r� rl r r% �get_atom_kinds)r r� r� r� r r r
�get_aspects_kind� s
z Description.get_aspects_kindc C s | � | g| �d� �S )Nr )r� r� )r r r r
r� � s zDescription.get_atom_kindsc C s. g }| � d�}x|D ]}|�|�� � qW |S )N�example)r� r% � get_examples)r �get_all�examples�exs�exr r r
r� � s
zDescription.get_examplesc sV |� d�rD� fdd�� �� D �}|s6� �d� jjt� � jjj|� S � jj� � �S d S )Nr� c s g | ]}� j j�|��qS r )r �RE�Single)�.0�x)r r r
�
<listcomp>� s z&Description.get_re.<locals>.<listcomp>z+Test coverage error: no examples specified.)
r, r� r$ re r �
CoverageErrorr r� ZUnionr� )r �optZexresr )r r
�get_re� s
zDescription.get_rec sV g }xL|D ]D� � fdd�|D �}x,|D ]}|� kr4P |� � �r&P q&W |�� � q
W |S )Nc s g | ]}� � |�s|�qS r )�is_more_specific_than)r� r� )r* r r
r� � s z8Description.get_most_specific_descrs.<locals>.<listcomp>)r� r )r r� Zndsr� r )r* r
�get_most_specific_descrs� s
z$Description.get_most_specific_descrsc C s | j S )N)r6 )r r r r
� get_package� s zDescription.get_packagec C s | j }||kp |d k o |�|�S )N)r� r� )r r* �rr r r
r� � s z!Description.is_more_specific_thanc s � fdd�� � | �S )Nc sH | � d�}|r0t|�dks t�|d jjj�� S | jdkrD� | j�S d S )Nr r r rX ) r� rC �AssertionErrorr r r9 r: rl rd )�eZsa)�findr r
r� � s
z'Description.get_self_name.<locals>.findr )r r )r� r
�
get_self_name� s zDescription.get_self_namec C s< | � d�}|s |�d| j � nx|D ]}|�|� q&W d S )N� descriptionz<NO DESCRIPTION OF %r>)r� �gen_textrq �gen_doc)r �outrF r* r r r
�gen_description_doc� s
z Description.gen_description_docc C s | j S )N)rq )r r r r
� get_id_name� s zDescription.get_id_namec C s | j S )N)rq )r r r r
�
get_link_name� s zDescription.get_link_namec C s | j S )N)rw )r r r r
�get_local_name� s zDescription.get_local_namec C s | j S )N)rq )r r r r
�
get_test_name� s zDescription.get_test_namec C s | j S )N)rq )r r r r
�get_name� s zDescription.get_namec C s( | � d�}|s| j}n|jjj�� }|S )Nr5 )r� rt re r r9 r: )r �nr5 r r r
�get_Name� s
zDescription.get_Namec C s | j �|�S )N)r6 �get_descr_by_subject)r rf r r r
r� � s z Description.get_descr_by_subjectc C s( i | _ g | _i | _|s$| �| jj� d S )N)r| r� r~ r� re )r � only_varsr r r
�init_localview� s
zDescription.init_localviewc s4 � � � � jjr(� fdd�� jjD �� _� �� d S )Nc s g | ]}� j �|��qS r )rd r� )r� r9 )r r r
r� � s z/Description.resolve_aspects.<locals>.<listcomp>)r� r r� �resolve_special)r r )r r
r� � s
zDescription.resolve_aspectsc C s d S )Nr )r r r r
r� � s zDescription.resolve_specialc C s$ | j jj�� }| jr d| jj |S )NzNo children expected for %r)r r r9 r: r� r8 )r r9 r r r
�get_the_one_argument� s z Description.get_the_one_argumentc s� g �� �fdd�� t |�dkr4|d jdkr4|d S x|D ] }� |� q:W �}t� }d|_||_dd�dd � |D �� |_d|_|S )
Nc s4 | j dkr&x$| �� D ] }� |� qW n
��| � d S )Nr� )rl r� r )r� Zk1)�flatten�ksr r
r� s
z/Description.make_and_test_kind.<locals>.flattenr r r� z(%s)�&c S s g | ]
}|j �qS r )rq )r� r� r r r
r� s z2Description.make_and_test_kind.<locals>.<listcomp>)rC rl �Kindr� rE rq r� )r �kindsr� r )r� r� r
�make_and_test_kind� s
z Description.make_and_test_kindc C s^ t |�dkr"|d jdkr"|d S t� }d|_||_dd�dd� |D �� |_d |_d |_|S )
Nr r )r� r� r� z(%s)r� c S s g | ]
}|j �qS r )rq )r� r� r r r
r� s z-Description.make_and_kind.<locals>.<listcomp>T)rC rl r� r� rE rq r� � is_synthetic)r r� r� r r r
�
make_and_kind s zDescription.make_and_kindc C sT t |�dkr|d S t� }d|_||_dd�dd� |D �� |_d|_d|_|S d S ) Nr r r� z(%s)�|c S s g | ]
}|j �qS r )rq )r� r� r r r
r� ) s z,Description.make_or_kind.<locals>.<listcomp>T)rC � Superkindrl r� rE rq r� r� )r r� r� r r r
� make_or_kind" s zDescription.make_or_kind)N)r )N)F)r )/r_ r` ra r �d_sub�d_type�d_is_defr� r� r� r� r� r� r� rb r$ ri rk r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r r r r
ry � sV
ry c @ s e Zd ZdZdZdd� ZdS )�
Definitionr �
definitionc C s@ | j |_ |jdkr | j|_n|j| jkr0td��|�| j� d S )N�importzDifferent description tag)rx rl � ImportErrorr� r� )r r r r r
�export_aspects3 s
zDefinition.export_aspectsN)r_ r` ra r� r� r� r r r r
r� / s r� c @ s e Zd ZdZdZdd� ZdS )�DescriptionDescription)�textr� c C s | j �|� d S )N)ru Z
arg_accept)r r� r r r
r� C s z DescriptionDescription.gen_docN)r_ r` ra r� rl r� r r r r
r� ? s r� c @ s e Zd Zdd� ZdS )�Defaultc C s� | j j�� �d�}|d }d�|dd � �}|�d� |�d� |�d� |�d� |�� |�|� |�� |�d� |�|� | j �|� |�� |�d� d S ) N�
r r �dlZdtZstrongz Default: �dd) ru r9 r: �splitrE �openr� �close�children_accept)r r� �arglines�default�restr r r
r� H s
zDefault.gen_docN)r_ r` ra r� r r r r
r� G s r� c @ s e Zd Zdd� ZdS )�DescriptionWithHeaderc C st | j j�� �d�}|d }d�|dd � �}|�d� |�|� |�d� |�|� | j �|� |� � |� � d S )Nr� r r r� r� )
ru r9 r: r� rE r� Z gen_outer_dtr� r� r� )r r� r� �headerr� r r r
r� [ s
z DescriptionWithHeader.gen_docN)r_ r` ra r� r r r r
r Z s r c @ s e Zd ZdZdS )�Comment�commentN)r_ r` ra rl r r r r
r i s r c @ s( e Zd ZdZdd� Zdd� Zdd� ZdS ) �Either� with_argsc C s
t | �gS )N)r� )r r r r
r� q s zEither.get_atom_beamsc C s | gS )Nr )r r r r
r� t s zEither.get_atom_kindsc C s | � � S )N)r� )r r r r
�
get_alt_kindsw s zEither.get_alt_kindsN)r_ r` ra r� r� r� r r r r r
r n s r c @ s e Zd ZdZdd� Zdd� ZdS )�Import)�from�
resolve_by�usingr� � conditionr� r � constructorr� �methodr� r� r� r� r� r� r� r r� c s� d� _ � jj�� jj� jj� jjf�\��� jj}� ��fdd�� jjD �}t|�dkrb|d }n t� |t dd� |D ��� jj
�}|j � _ � j j
� j j � _|� _� jdd� |�� � � �� jj� � �� d S )Nr c s& g | ] \}}� j �||������qS r )r6 r7 �get_descr_by_name)r� � from_nameZ from_node)r �
using_name�
using_noder r
r� � s z&Import.resolve_tgt.<locals>.<listcomp>r c S s g | ]
}|j �qS r )r )r� r� r r r
r� � s )r� )r� r �
imp_using_mapr, r{ r � imp_fromsrC �Product�ProductSubject�imp_resolve_modere r ro rp rq r� r� r� r� r� r� )r Z import_noderF r* r )r r r r
rk � s"
zImport.resolve_tgtc C s d S )Nr )r r r r
r� � s zImport.resolve_aspectsN)r_ r` ra r� rk r� r r r r
r { s r c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )r c
C s� || _ |j| _|| _|| _|j| _|d j}xZ|dd � D ]J}|j|k r:| �dd|jj|jj|d jj|d jjf d |jj� q:W || _|| _ d S )Nr r z4Import error when importing from multiple packages:
z= Can not make a product of %r (tgt = %r) with %r (tgt = %r)
z because of different targets.)
rd r r �moder6 re r$ rp r rF )r rd rF r r re r* r r r
r � s
*zProduct.__init__c C s x| j D ]}|�|� qW d S )N)rF r� )r r r* r r r
r� � s zProduct.export_aspectsc C s* x$| j D ]}||ks |�|�rdS qW dS )NTF)rF r� )r r* r� r r r
r� � s z Product.is_more_specific_thanN)r_ r` ra r r� r� r r r r
r � s r c @ s e Zd Zdd� ZdS )rH c C s$ || _ | | _|j| _|| _|| _d S )N)rd r6 r re r )r rd re r r r r
r � s
zPackageDescription.__init__N)r_ r` ra r r r r r
rH � s rH c @ s e Zd ZdZdd� Zdd� ZdS )�ErrorDescriptionr$ c C s
|| _ d S )N)rd )r rd r r r
r � s zErrorDescription.__init__c C s dS )Nz<error>.<error>r )r r r r
r� � s z ErrorDescription.get_id_nameN)r_ r` ra rl r r� r r r r
r � s r c @ sd e Zd ZdZdd� Zddd�Zdd� Zdd d
�Zd d � Zd
d� Z dd� Z
dd� Z dd� Z dd� Z
dS )�Package)�andr r �documentr� r� �macror� c C sj t | j�di}| jg}xNt| j�� �D ]<}|�� }x.|D ]&}t |�|kr8d|t |�< |�|� q8W q&W |S )Nr )�idr� r- r �values� get_tgtdictsr )r �seen�tgtdicts�pZsdsZsdr r r
r � s
zPackage.get_tgtdictsNc C s� |� | jj�r| �||�S | }|�d�}x^|D ]V}y|j| }W n: tk
rz |sXt�| jj d||�
� f |t d� Y nX |� � q.W |S )Nr+ zUndefined: %r in %r.)r )
�
startswithr ro �get_descr_by_tgt_namer� r| �KeyErrorr� rd r$ r� �UndefinedErrorri )r r5 r r� �parts�partr r r
r � s
zPackage.get_descr_by_namec C sR |j }|�| jd �r2|t| j�d d � �� }n| �d| |j� | �||j�S )Nr+ r z
Undefined: %r)rp r# rv rC r: r$ r r )r rf r5 r r r
r� � s
z Package.get_descr_by_subjectc C s� | � � }g }x8|D ]0}||kr|| }|�� |�d�}|�|� qW |s\| �d| |t� | �|�}t|�dkr�| �|�}t|�dkr�| �d|dd� |D �f |t � |d S )Nr zNo definition of tgt %rr z!Conflicting descriptions of %r:%rc S s g | ] }|j j�qS r )r rp )r� r* r r r
r�
s z1Package.get_descr_by_tgt_name.<locals>.<listcomp>r )
r ri r� r r$ r& r� rC r� r} )r r5 r r! r� Ztgtdictr* r r r
r$ � s(
z Package.get_descr_by_tgt_namec C s | j jS )N)r r )r r r r
� get_filename s zPackage.get_filenamec C s | S )Nr )r r r r
r� s zPackage.get_packagec C s
i | _ d S )N)r� )r r r r
rk s zPackage.resolve_tgtc C s i | _ | �� d S )N)r r� )r r r r
r� s zPackage.resolve_aspectsc C s0 | j �|�}|d kr,| j�||�}|| j |< |S )N)r r, rd r7 )r r5 r r6 r r r
r7 s
zPackage.import_packagec C s: g }x0| j jD ]$}|j}| jj�|| �}|�|� qW |S )N)r r( r r ZDocumentr r )r r( �docr r r r
rZ ' s zPackage.get_documents)N)N)r_ r` ra r� r r r� r$ r) r� rk r� r7 rZ r r r r
r � s
r c @ sX e Zd ZdZdd� Zdd� Zdd� Zdd � Zd
d � Zd d
� Z dd� Z
dd� Z dd� Z dS )� Attribute) r� r r� �description_with_headerr� r� r� r
r c C s | j |_ |�| j� d S )N)rx r� r� )r r r r r
r� 5 s zAttribute.export_aspectsc C s | j S )N)rt )r r r r
�
get_attr_name9 s zAttribute.get_attr_namec C s | j S )N)rt )r r r r
r� < s zAttribute.get_namec C s | � � }| �|�S )N)r� r� )r r� r r r
�get_kind? s zAttribute.get_kindc C sB | � � }|jdkr<|�� }t|�dkr0|d }n td| ��|jS )Nr� r r z$Don't know how to name this kind, %r)r. rl r� rC �
ValueErrorrq )r r� r� r r r
�
get_kind_nameC s
zAttribute.get_kind_namec C s" d| � | jj��� | jjf }|S )Nz%s.%s)r� re �parentr� rs )r rY r r r
r� M s zAttribute.get_link_namec C s | � � }| �|�S )N)r� r� )r r� r r r
�
get_test_kindS s zAttribute.get_test_kindc C s | � d�o| � d� S )Nr� r� )r� )r r r r
� is_methodW s
zAttribute.is_methodc C s | � � S )N)r- )r r r r
� get_op_name[ s zAttribute.get_op_nameN)
r_ r` ra r� r� r- r� r. r0 r� r2 r3 r4 r r r r
r+ 1 s
r+ c @ s e Zd ZdZdZdS )�KindOfr r N)r_ r` ra r� r� r r r r
r5 _ s r5 c @ s e Zd ZdZdZdS )� SubkindOfr )r� N)r_ r` ra r� r� r r r r
r6 d s r6 c @ s e Zd ZdZdd� Zdd� ZdS )r� )r� r r� r r r� r� r
r� r� r� r� r r� r� r� r� c C s
| � d�S )Nr� )r� )r r r r
�get_attributess s zKind.get_attributesc C s
| � d�S )Nr� )r� )r r r r
� get_mappingsv s zKind.get_mappingsN)r_ r` ra r� r7 r8 r r r r
r� i s r� c @ s e Zd ZdZdd� ZdS )r� )r r� r� r� c C s | j S )N)rw )r r r r
r� } s zSuperkind.get_local_nameN)r_ r` ra r� r� r r r r
r� z s r� c @ s e Zd ZdZddd�ZdS )� SuperkindOfr r c C s^ t �| |�}t|�|k rZx@| �� D ]4}|| kr0q"|�|�|t|� �� t|�|kr"P q"W |S )N)ry r� rC r� r% )r Zenoughr� Zkar r r
r� � s zSuperkindOf.get_examplesN)r )r_ r` ra r� r� r r r r
r9 � s r9 c @ sB e Zd ZdZdddddd�Zdd � Zdd d �Zd
d� Zdd� ZdS )�Example)r r� �
in_contextz'''z"""�)�]�})z'''z"""�(�[�{c C s | j jS )N)r �ex_text)r r r r
� get_ex_text� s zExample.get_ex_textFc C s | gS )Nr )r r� r r r
r� � s zExample.get_examplesc C s$ | � d�}|sdS |d jjj�� S )Nr; r r )r� re r r9 r: )r r� r r r
� get_ctx_text� s
zExample.get_ctx_textc C s |S )Nr )r r� r r r
� get_use_text� s zExample.get_use_textN)F) r_ r` ra r� �partabrC r� rD rE r r r r
r: � s
r: c @ s e Zd ZdZdS )� InContextr N)r_ r` ra r r r r r
rG � s rG c @ s e Zd ZdZdd� ZdS )�Definesr c C s dd� | � d�D �S )Nc S s g | ]
}|j �qS r )rq )r� r� r r r
r� � s z1Defines.get_defined_tgt_names.<locals>.<listcomp>r9 )r� )r r r r
�get_defined_tgt_names� s z Defines.get_defined_tgt_namesN)r_ r` ra r� rI r r r r
rH � s rH c @ s e Zd Zdd� Zdd� ZdS )�Macroc C s | j |_ | j|_d S )N)rx rr )r r r r r
r� � s zMacro.export_aspectsc C s | j j�dd| jj| jj�S )N�blockr )r rT � node_of_tacirr r< r )r Zoptionsr r r
�use� s z Macro.useN)r_ r` ra r� rM r r r r
rJ � s rJ c @ s e Zd ZdZdS )�Selfr N)r_ r` ra r r r r r
rN � s rN c @ sT e Zd ZdZdZdd� Zdd� Zdd� Zd d
� Zd d � Z d
d� Z
dd� Z dd� Z dS )�Mappingrz )r� r9 r� r r� r, �equationr� r� r� � precondition�
postconditionr� �returnsr r� c C s | � i �}|�� }x�|D ]�}y�|d k rj||krjt|�|krj| �d| j|d|dkd � t|�f | jj� n�|d k r�t|�|k r�| �d| j|d|dkd � t|�f | jj� nB|d k r�t|�|kr�| �d| j|d|dkd � t|�f | jj� W q tk
�r Y qX qW d S )Nz,%s requires %d argument%s specified, got %d.rY r z5%s requires at least %d argument%s specified, got %d.z4%s can take at most %d argument%s specified, got %d.)� get_args_re�sequnirC r$ rl r r rb )r �min�max�re�xsr� r r r
� chk_num_args� s*
zMapping.chk_num_argsc C s, g }x"| � d�D ]}|�t|j�� qW |S )Nr� )r� r% r- r� )r Zakr� r r r
�
get_arg_kinds� s zMapping.get_arg_kindsc s� y�ddi}�� |�}d}y |�� }W nF �jjjk
rj td�j � td| � |�|�}|�� }Y nX � ��fdd�|D �}W n tk
r� g S X |S d S )Nr� Tr z#Infinitely long args example for %sz;Limiting by expanding each Cleene closure 0 up to %d times.c s g | ]}t �t|�� ���qS r )� ArgsExample�tuple)r� r� )�mapnamer �top_kindr r
r� s z-Mapping.get_args_examples.<locals>.<listcomp>) rT rU r r� Z
InfiniteErrorr rv Zlimitedr� )r r^ r_ r� rX ZcoveragerY r� r )r^ r r_ r
�get_args_examples� s"
zMapping.get_args_examplesc C s� g }x~| � � D ]r}|j}|dkrx|�� }||kr@|�|| �}n,|�� }|sd| �d|jj |jj � |d }|�
|� qdst �qW t | t
|�|j|j�S )Nr9 ziTest coverage error: Can not create precondition for %r
-- no examples specified for the argument above.r )r� rl r� �
get_arg_valuer� r$ r� rq r r r r� r\ r] r^ r_ ) r r� �match�arglistr� r= r5 r� r� r r r
�get_args_for_args s
zMapping.get_args_for_argsc C s. | j jj}x | �� D ]}||�|�7 }qW |S )N)r r� �Epsilonr� r� )r r� rX r� r r r
rT s
zMapping.get_args_rec C s | � � S )N)r� )r r r r
�
get_arguments% s zMapping.get_argumentsc C s | � dd� | �d�D ��S )Nc S s g | ] }|� � �qS r )r. )r� r� r r r
r� * s z+Mapping.get_return_kind.<locals>.<listcomp>rS )r� r� )r r r r
�get_return_kind) s zMapping.get_return_kindc C s | � dd� | �d�D ��S )Nc S s g | ] }|� � �qS r )r2 )r� r� r r r
r� - s z0Mapping.get_return_test_kind.<locals>.<listcomp>rS )r� r� )r r r r
�get_return_test_kind, s z Mapping.get_return_test_kindN)
r_ r` ra r� r� rZ r[ r` rd rT rf rg rh r r r r
rO � s rO c @ sL e Zd Zdd� Zdd� Zdd� Zdd� Zd d
� Zd d � Zd
d� Z dd� Z
dS )r\ c s0 || _ || _� | _|| _� fdd�|D �| _d S )Nc s g | ] }� |��qS r r )r� r� )r^ r r
r� 6 s z(ArgsExample.__init__.<locals>.<listcomp>)r� �egsr^ r_ �negs)r r� ri r^ r_ r )r^ r
r 1 s
zArgsExample.__init__c C s d� | j�S )Nz, )rE rj )r r r r
�__str__8 s zArgsExample.__str__c C sV d}xL| j �� D ]>}|j}|dkr:|�� |krF| j| S n td| ��|d7 }qW d S )Nr r9 zNo argument matches: %rr )r� r� rl r� ri ZConditionError)r r5 �ir� r= r r r
ra ; s zArgsExample.get_arg_valuec C s | j �d�S )NrQ )r� r� )r r r r
�get_preconditionsF s z ArgsExample.get_preconditionsc C s | j �d�S )NrR )r� r� )r r r r
�get_postconditionsI s z ArgsExample.get_postconditionsc C s� | � � }|sg S | j}| j}|�d�}|r�xr|�d�D ]`}xX|�d�D ]H}|�d�}|rZqF| �|�d��}|d k rF|�| |�}t|�� |�gS qFW q6P q6W d S g S )NrQ r� r� rR )rm r_ r� r� �match_tord �SetUpr- ) r Zpresr� �mapr� �mZmprerb r� r r r
� get_setups_for_preconditionsL s*
z(ArgsExample.get_setups_for_preconditionsc C s d S )Nr )r r� r r r
�
match_to_kindi s zArgsExample.match_to_kindc C s� i }x�| � � D ]v}xp|D ]d}|j|jkrt|j�t|j�kr>qi }x8t|j|j�D ]\}}||krdP |||< qRW |�|� P qW d S qW d|ks�t�|S )N�,)rm �cond_idrC � arg_names�ziprQ r� )r Zpostsrb Zpre�posZupdr� r� r r r
ro l s
zArgsExample.match_toN) r_ r` ra r rk ra rm rn rs rt ro r r r r
r\ 0 s r\ c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )rp c C s || _ || _d S )N)r5 r� )r r5 r� r r r
r � s zSetUp.__init__c C s | j S )N)r5 )r r r r
r� � s zSetUp.get_namec C s | j S )N)r� )r r r r
�get_args� s zSetUp.get_argsN)r_ r` ra r r� rz r r r r
rp � s rp c @ s( e Zd ZdZdZdZdd� Zdd� ZdS ) �Operatorr r� ) r9 r r� r, rP rR rQ r rS c C s | j jj�� S )N)r r r9 r: )r r r r
r4 � s zOperator.get_op_namec C s | � dd� d S )Nr )rZ )r r r r
r� � s zOperator.resolve_specialN)r_ r` ra r� r� r� r4 r� r r r r
r{ � s
r{ c @ s e Zd ZdS )�ReverseOperatorN)r_ r` ra r r r r
r| � s r| c @ s e Zd Zdd� ZdS )�FunctionOperatorc C s | � dd� d S )Nr )rZ )r r r r
r� � s z FunctionOperator.resolve_specialN)r_ r` ra r� r r r r
r} � s r} c @ s e Zd ZdS )�InplaceOperatorN)r_ r` ra r r r r
r~ � s r~ c @ s$ e Zd ZdZdZdd� Zdd� ZdS )�SetItemrz )r9 r r� r, rP rR rQ r c C s dS )Nz[]r )r r r r
r4 � s zSetItem.get_op_namec C s | � dd � d S )N� )rZ )r r r r
r� � s zSetItem.resolve_specialN)r_ r` ra r� r� r4 r� r r r r
r � s r c @ s e Zd Zdd� ZdS )�DelItemc C s | � dd � d S )Nr )rZ )r r r r
r� � s zDelItem.resolve_specialN)r_ r` ra r� r r r r
r� � s r� c @ s e Zd Zejd Zdd� ZdS )�GetItem)rS c C s | � dd � d S )Nr )rZ )r r r r
r� � s zGetItem.resolve_specialN)r_ r` ra r r� r� r r r r
r� � s
r� c @ s, e Zd ZdZdZdd� Zdd� Zee�ZdS )� Conditionr )r r9 r r� � python_codec C s: g }x0| � d�D ]"}|jdkr|�|jjj�� � qW |S )Nr )r r9 )r� rl r r r r9 r: )r Zanr� r r r
�
get_arg_names� s
zCondition.get_arg_namesc C s | j j}|S )N)r rs )r Zdnr r r
� get_def_name� s zCondition.get_def_nameN) r_ r` ra r� r� r� r� �propertyZdef_namer r r r
r� � s
r� c @ s e Zd ZdZdS )�
PythonCode)r r� r; N)r_ r` ra r� r r r r
r� � s r� c @ s8 e Zd ZdZdd� Zdd� Zee�Zdd� Zdd � Z d
S ) � ConditionRef)r r� c C s& y| j S tk
r t�| �S X d S )N)� cond_exprr� ry �__repr__)r r r r
r� � s zConditionRef.__repr__c C s | j j}| jrd| }|| _|S )Nznot )�cond_definitionrq �is_notrv )r rv r r r
� get_cond_id� s
zConditionRef.get_cond_idc C s | j S )N)r� )r r r r
�get_definition� s zConditionRef.get_definitionc C sR | j j}| j�|�| _|jjd |j | _| j jj� � | _
| j j | _ | j j | _ d S )Nr+ )
r r� rd r� r1 rs Z
cond_doc_namer r9 r: r� rw r� )r �cond_defr r r
r� � s
z ConditionRef.resolve_specialN)
r_ r` ra r� r� r� r rv r� r� r r r r
r� � s r� c @ s e Zd Zd ZdS )� PreconditionN)r_ r` ra �doc_namer r r r
r� � s r� c @ s e Zd Zd ZdS )�
PostconditionN)r_ r` ra r� r r r r
r� � s r� c @ s e Zd Zdd� ZdS )� PostcondCasec C s | t _|t _d S )N)r �postcond� variables)r� r� r r r
r s zPostcondCase.__init__N)r_ r` ra r r r r r
r� s r� c @ s e Zd ZdZdZdS )� Constructorr )r r� N)r_ r` ra r� r� r r r r
r� s r� c @ s e Zd ZdZdS )�Equation)r r� rQ rR N)r_ r` ra r� r r r r
r�
s r� c @ s e Zd ZdZdZdd� ZdS )�Argsr )r r� r� c C s. | j jj}x | �� D ]}||�|�7 }qW |S )N)r r� re r� r� )r r� rX r� r r r
r� s
z Args.get_reN)r_ r` ra r� r� r� r r r r
r� s r� c @ s e Zd Zdd� ZdS )�NoArgc C s
| j jjS )N)r r� re )r r� r r r
r� s z NoArg.get_reN)r_ r` ra r� r r r r
r� s r� c @ s2 e Zd ZdZdd� Zdd� Zdd� Zd d d
�Zd S )
�Arg)r r� r� r� r5 c C s | � | �� �S )N)r� r� )r r r r
r. $ s z Arg.get_kindc C s" y| � � S tk
r dS X d S )N�?)� get_arg_namer� )r r r r
r� ' s z Arg.get_namec C s | j jS )N)r �specified_name)r r r r
r� - s zArg.get_arg_nameFc C sL g }| � d�}x|D ]}|�|�� � qW |r2|rH| �� }|�|�� � |S )Nr� )r� r% r� r. )r r� r� r� r� r� r r r
r� 0 s
zArg.get_examplesN)F)r_ r` ra r� r. r� r� r� r r r r
r� ! s
r� c @ s, e Zd Zdd� Zdd� Zdd� Zdd� Zd S )
�KeyArgEGc C s || _ || _d S )N)r5 �eg)r r5 r� r r r
r < s zKeyArgEG.__init__c C s
| j �� S )N)r� rC )r r r r
rC @ s zKeyArgEG.get_ex_textc C s
| j �� S )N)r� rD )r r r r
rD C s zKeyArgEG.get_ctx_textc C s d| j |f S )Nz%s=%s)r5 )r r� r r r
rE F s zKeyArgEG.get_use_textN)r_ r` ra r rC rD rE r r r r
r� ; s r� c @ s e Zd Zddd�ZdS )�KeyArgFc s" | � � � � fdd�t�| |�D �S )Nc s g | ]}t � |��qS r )r� )r� r� )r5 r r
r� Q s z'KeyArg.get_examples.<locals>.<listcomp>)r� r� r� )r r� r )r5 r
r� O s zKeyArg.get_examplesN)F)r_ r` ra r� r r r r
r� J s r� c @ s e Zd ZdZdd� ZdS )�Draw)r r� r� r� c C s2 | j jj}x"| �� D ]}||�|�d�7 }qW |S )Nr� )r r� re r� r� )r r� rX r� r r r
r� W s
z Draw.get_reN)r_ r` ra r� r� r r r r
r� T s r� c @ s e Zd ZdZdZdd� ZdS )� Optionals)r9 r� r� r r� r c s � ��fdd����� � �S )Nc s0 | s�j jjS | d �� ��| dd � � d�S )Nr r r� )r r� re r� )r� )r� �opt_rar r r
r� c s
z Optionals.get_re.<locals>.opt_ra)r� )r r� r )r� r� r r
r� b s zOptionals.get_reN)r_ r` ra r� r� r� r r r r
r� ^ s r� c @ s e Zd ZdZdd� Zdd� ZdS )�Repeat)r� r9 r� r r� c C s | j jj�� S )N)r r r9 r: )r r r r
�get_argm s zRepeat.get_argc
C s | � � }|s | �d| jj� |d �|�}x"|dd � D ]}||�|�7 }q8W | �� }d}||k�r|�|�}t|�dkr�| �d| | jj� dd� |D �\}} y t|�}W n$ t k
r� | �d | jj� Y nX | d
k�rJy t| �} W n& t k
�r | �d | jj� Y nX n8y t|�}W n& t k
�rD | �d | jj� Y nX |} |dk �sh| d
k�rx| dk �rx| �d
| jj� | d
k�r�|d
�}
x�t
|�D ]} ||
}
�q�W nt| |k �r�| �d| jj� | j j j
}xt
|�D ]} ||7 }�q�W | j j j
} x t
|| �D ]} || d�} �q�W || }
|
S )NzNo argument aspects.r r z..r� z More than one %r in argument.c S s g | ] }|� � �qS r )r: )r� r� r r r
r� � s z!Repeat.get_re.<locals>.<listcomp>z Expected int in lower bound.r z!Expected int or * in upper bound.z-Expected int, int..int or int..* in argument.z'Expected non-negative repetition count.z$Expected upper bound >= lower bound.r� )r� r$ r r r� r� r� rC �intr/ �ranger r� re )
r r� r� rX r� r9 r2 r� �lo�hiZresrl r� r r r
r� p s`
z
Repeat.get_reN)r_ r` ra r� r� r� r r r r
r� j s r� c @ s$ e Zd ZdZed7 ZdZdd� ZdS )�Seq)r9 r r� r� )r� r c C s. | j jj}x | �� D ]}||�|�7 }qW |S )N)r r� re r� r� )r r� rX r� r r r
r� � s
z
Seq.get_reN)r_ r` ra r� r� r� r r r r
r� � s r� c @ s e Zd ZdZdZdd� ZdS )�Alt)r9 r Z
descriptonr� r� r� r c C sR | � � }|s | �d| jj� |d �|�}x"|dd � D ]}||�|�O }q8W |S )NzNo alternatives.r r )r� r$ r r r� )r r� r� rX r� r r r
r� � s z
Alt.get_reN)r_ r` ra r� r� r� r r r r
r� � s r� c @ s$ e Zd ZdZdZdd� Zdd� ZdS )�Returns)r� r r� r, r� r� r
Z
with_opt_argsc C s | � | �� �S )N)r� r� )r r r r
r. � s zReturns.get_kindc C s | � | �� �S )N)r� r� )r r r r
r2 � s zReturns.get_test_kindN)r_ r` ra r� r� r. r2 r r r r
r� � s r� c C s& g }x | D ]}|� |�|�� q
W |S )N)r% r� )r� r8 r� �or r r
�find_aspects_inseq� s
r� c @ s e Zd Zdd� Zdd� ZdS )�Beamc G s$ |d | _ |d | _|| _|| _d S )Nr ���)r re �k_tag�objects)r r� r� r r r
r � s
z
Beam.__init__c C s
t | |�S )N)�compose)r rz r r r
�__add__� s z Beam.__add__N)r_ r` ra r r� r r r r
r� � s r� c @ s e Zd ZdS )�KindBeamN)r_ r` ra r r r r
r� � s r� c @ s e Zd ZdS )� AtomKindBeamN)r_ r` ra r r r r
r� � s r� c @ s e Zd ZdS )�KindMappingBeamN)r_ r` ra r r r r
r� � s r� c @ sd e Zd ZdZdZdd� Zdd� Zdd� Zdd � Zd
d � Z d d
� Z
dd� Z dd� Z dd� Z
dd� ZdS )�
KindOpBeamr c C s t | �� d�S )NrP )r� �
get_op_seq)r r r r
�find_equations� s zKindOpBeam.find_equationsc C s t | �� d�S )NrR )r� r� )r r r r
�find_postconditions� s z KindOpBeam.find_postconditionsc C s t | �� d�S )NrQ )r� r� )r r r r
�find_preconditions� s z KindOpBeam.find_preconditionsc C s | j d }| �� �||�S )Nr )r� �
get_the_opr` )r r^ r_ r r r
r` s
z KindOpBeam.get_args_examplesc C s | j | j �� S )N)r� �
op_name_indexr� )r r r r
�get_op_id_name s zKindOpBeam.get_op_id_namec C s | j | j �� S )N)r� r� r4 )r r r r
r4 s zKindOpBeam.get_op_namec C s | j | jd � S )N)r� �op_index)r r r r
r�
s zKindOpBeam.get_op_seqc C s | � � �� S )N)r� r� )r r r r
r�
s zKindOpBeam.get_self_namec C s | j | j S )N)r� r� )r r r r
r� s zKindOpBeam.get_the_opc C s | � � �� S )N)r� rh )r r r r
rh s z KindOpBeam.get_return_test_kindN)r_ r` ra r� r� r� r� r� r` r� r4 r� r� r� rh r r r r
r� � s r� c @ s e Zd Zdd� ZdS )�KindAttributeBeamc C s dst �d S )Nr )r� )r r r r
r� s z KindAttributeBeam.get_the_opN)r_ r` ra r� r r r r
r� s r� c @ s e Zd ZdZdS )�KindAttributeMappingBeamr� N)r_ r` ra r� r r r r
r� s r� c @ s e Zd Zdd� ZdS )r� c C s dS )Nz()r )r r r r
r4 ! s zKindMappingBeam.get_op_nameN)r_ r` ra r4 r r r r
r� s c @ s e Zd ZdZdZdS )� KOKOpBeamr� N)r_ r` ra r� r� r r r r
r� % s r� c G s t | dd � � S )Nr� )r� )r� r r r
�subkind_of_kind* s r� c C s8 | j |jk r d| j |jf �| j|jdd � }t|� S )Nz'Composition error, tgt %r is not src %rr )re r r� r� )r� r� r� r r r
r� . s r� c G s t |d f|dd � �� S )Nr � )r� )r� r� r r r
�
remove_1_26 s r� c G s t |dd � � S )Nr )r� )r� r� r r r
�remove_0: s r� )<)r� r� )r� r� )r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� )r� )r� r� )r� r� r� )r� r� )r� r� r� r� r� )r� r� r� )r� r� )r� r� )r� r� )r� r� )r� r� )r� r� )r� r� r� r� )r� r� )r� r� )r� r� )r� r� )r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� r� r� )r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� )r� r� r� c G s( t dd� | D ��}t| }||f| �� S )Nc S s g | ]
}|j �qS r )rl )r� r� r r r
r� � s zbeam.<locals>.<listcomp>)r] �
beam_table)r� r� �Cr r r
r� s r� c @ s e Zd Zdd� ZdS )r c C s$ || _ dd�dd� |D �� | _d S )Nz(%s)r c S s g | ]
}|j �qS r )rp )r� r� r r r
r� � s z+ProductSubject.__init__.<locals>.<listcomp>)r� rE rp )r r� r r r
r � s zProductSubject.__init__N)r_ r` ra r r r r r
r � s r c @ sV e Zd ZdZdZdd� Zdd� Zdd� Zd d
� Zd d � Z d
d� Z
dQdd�Z dd� Z dd� Z
dRdd�Zdd� Zdefdd�Zdd � ZdSd d �ZdTd d!�Zd"d#� Zd$d%� Zd&d'� Zd(d)� ZdUd*d+�Zd,d-� Zd.d/� Zd0d1� Z d2d3� Z dVd5d6�Z d7d8� Z d9d:� Z d;d<� Z!d=d>� Z"d?d@� Z#dAdB� Z$dCdD� Z%dEdF� Z&dGdH� Z'dIdJ� Z(dKdL� Z)dMdN� Z*dOdP� Z+dS )W�Subjectr Nc C s� || _ |j| _| jj| _|| _| jj| _|| _g | _i | _d| _|j | _ | j�
|j �| _ d | _ | j | k rz| j �
| j�| _n| j| _d S )Nr )r1 r6 r r r rs r� r� �
node_indexr8 �get_description_classrm � aspect_mode�make_child_namerp )r r1 r rs r r r
r � s
zSubject.__init__c C s, | j |dd�}x|D ]}| �||� qW d S )Nr )rV )� get_arglist�add_new_subject)r r �namesr5 r r r
�_visit_type_definition� s
z Subject._visit_type_definitionc C sH | j jj|j }| j|dd�}x$|D ] }d||f }| �||� q$W d S )Nr )rV z%s:%s)r rT Zreverse_node_aliasesr8 r� r� )r r Zshtagr� r5 r r r
�_visit_type_operator� s
z Subject._visit_type_operatorc C s | � |� d S )N)r� )r r r r r
�_visit_type_other� s zSubject._visit_type_otherc s6 �� � �}� �fdd�|D �}��� �}|r2||_d S )Nc s g | ]}�� |� ��qS r )� find_subject)r� r5 )r r r r
r� � s z1Subject._visit_type_with_args.<locals>.<listcomp>)r� r� r� )r r r� r� rf r )r r r
�_visit_type_with_args� s
z Subject._visit_type_with_argsc s: �j � dd�}� �fdd�|D �}��� �}|r6||_d S )Nr )rV c s g | ]}�� |� ��qS r )r� )r� r5 )r r r r
r� � s z5Subject._visit_type_with_opt_args.<locals>.<listcomp>)r� r� r� )r r r� r� rf r )r r r
�_visit_type_with_opt_args� s
z!Subject._visit_type_with_opt_argsc C s | � ||�}| �|� |S )N)� new_subject� add_subject)r r rs rf r r r
r� � s
zSubject.add_new_subjectc C s | � |� |�� |S )N)� def_subject� add_top_node)r rf r r r
r� � s
zSubject.add_subjectc C s | j }| �|� d S )N)r �_visit_children)r r r r r
r� � s zSubject.add_top_nodec C s | � ||�}| �|� |S )N)r� r� )r r rs rf r r r
�def_new_subject� s
zSubject.def_new_subjectc C sl |j jrV|j}|| jkrD| jd| |jd| | j| jfgd� d S ||_|| j|< nd |_| j�|� d S )NzRedefinition of %r.zPrevious definition of %r.)r! ) rm r� rs r� r$ r r{ r� r )r rf r5 r r r
r� � s
zSubject.def_subjectc K s | j j|||f|�S )N)r6 r$ )r r# r r r� r r r
r$ � s z
Subject.errorc C s | j �||| �S )N)r6 r� )r r5 r r r r
r� � s zSubject.find_subjectr c C s� |� � }x^|� � D ]R}|s|j�� �d�s:|j�� �d�r@d}nd}| j||d d� dd� |D �}P qW t|�|k r�| �d||f |� |S )Nru z9Arg list to definition can not start or end with a comma.z Missing argument to definition.)r c S s g | ] }|r|�qS r r )r� r� r r r
r� � s z'Subject.get_arglist.<locals>.<listcomp>z4Not enough arguments, minimum %d expected to node %s)r� r9 r: r# rM r$ rC )r r rV rc r9 rr r r r
r� � s zSubject.get_arglistc C s | � ||�}| �|� |S )N)r� � no_children)r r rV r� r r r
�get_arglist_only� s
zSubject.get_arglist_onlyc C sL y.t | j��}t|�� �| �� }W d Q R X W n tk
rF d }Y nX |S )N)r� r r- � readlines�rstrip� Exception)r r r] r� r r r
r s "
zSubject.get_linec C s@ | j d kr|| _ n | j |kr2| �d|| j f |� | �|� d S )Nz%Inconsistent aspect mode: %r, was: %r)r� r$ r� )r r r r r r
�
_visit_aspect s
zSubject._visit_aspectc C s� x�|j D ]�}y^|j| jjkr:| �d|j| j| jjf |� | jjd k r^d| jj�| ji �|j< |�| � W n t k
r~ Y nX | j
d7 _
qW d S )Nz&Invalid tag: %r in: %r. Allowed = %sr ) r< r8 rm r� r$ r � cover_checkr; �acceptrb r� )r r r> r r r
r� s zSubject._visit_childrenc C s d| j |f S )Nz%s.%s)rp )r Zchild_lastnamer r r
r� s zSubject.make_child_namec C sp | j �|j�j}||d k ks t�|d kr2d| j }|j}|dkrLt| ||�S |dkr`t| ||�S t| ||�S d S )Nz<%d>r r ) r r� r8 r� r� r� � MacroSubject�DocumentSubjectr� )r r r5 Zis_defr8 r r r
r� ! s
zSubject.new_subjectc C s | j j�|d|j|j�S )Nr )r rT rL r< r )r r8 r r r r
� new_tag_node. s zSubject.new_tag_nodec C s |j r | jd|j |d d� d S )Nz)No children expected for node with tag %r)r )r< r$ r8 )r r r r r
r� 1 s zSubject.no_childrenc C s4 x.| j |dd�D ] }| �||�}|�|d� qW d S )Nr )rV r )r� r� r� )r r r5 � ofsubjectr r r
� visit_and7 s zSubject.visit_andc C s4 x.| j |dd�D ] }| �||�}|�|d� qW d S )Nr )rV r� )r� r� r� )r r r5 r� r r r
�visit_aspects_of< s zSubject.visit_aspects_ofFc
C s� |j �� }d }d }|rpd|krl|�d�}t|�dkr@| �d|� dd� |D �\}}|rb| �||�}|rp|}n|}| �|�} |r�|| _| �| � |r�| jd kr�| �d|� |d k r�|g| _ d S )N�:r� z More than 1 colon in argument.c S s g | ] }|� � �qS r )r: )r� r� r r r
r� J s z%Subject.visit_arg.<locals>.<listcomp>zNo argument name specified.)
r9 r: r� rC r$ r� r� r� r� r� )
r r �must_have_namer9 Zarg_namer� Znkr5 Z kind_namerf r r r
� visit_argA s,
zSubject.visit_argc C s d S )Nr )r r r r r
�
visit_comment` s zSubject.visit_commentc C s0 | j |dd�}x |D ]}| �|d| � qW d S )Nr )rV zcond:%s)r� r� )r r r� r5 r r r
�visit_conditionc s
zSubject.visit_conditionc C sr | j �|j�}|j�� }|�d�}|jdk|krZ|r@d|j }n
d|j }| j||d d� t| d|j �|� d S )Nr� r� z.Tag %r is not a definition, should not have ::z#Tag %r is a definition, requires ::)r z_visit_type_%s) r r� r8 r9 r: r# r� r$ �getattr)r r rm r9 Zcolonr# r r r
�
visit_defaulth s
zSubject.visit_defaultc C s | � |� d S )N)r� )r r r r r
�visit_descriptionu s zSubject.visit_descriptionc C s | � |� d S )N)r� )r r r r r
� visit_description_with_headerx s z%Subject.visit_description_with_headerc C s� | � |�}|jj}|j�� }d|krz|�|d d� �|dd � ksr|�|d d� �|dd � ksr| jd|d dd� d| }||_d S ) Nr� r r� r� ���z=Multi-line expression should be in parentheses (for clarity).)r r" z(%s))r� rm rF r9 r: r, r$ rB )r r rf rF r� r r r
�
visit_example{ s
zSubject.visit_examplec C s� | j |dd�}d }d }g }x�|jD ]�}|j}|dkrXx�| �|�D ]}|�||f� q@W q"|dkr�|rx| jd|jd d� q�|j�� }|dkr�| jd|d d� d }q"|d
kr�|d kr�g }x2| �|�D ]}|�||f� q�W q"| jd |d d� q"W i } |d k �r^t |�t |�k�r<t t
�t |�k �r$d }
nd
}
| jd|
t d d� x t ||�D ]\} } | | | < �qHW t |�dk�rx| �d|� t |�dk�r�|�s�| jd|d d� d }x,|D ]$}| �
||�}
||
_| |
_||
_�q�W d S )Nr )rV r r z More than 1 'resolve' clause.)r )r �orz Resolve by: and / or expected.r r
zUnexpected clause in importZfewZmanyz=Too %s 'using' names, should match number of names in .importr zNo 'from' clausez;Importing from multiple packages but no 'resolve by' clause)r� r< r8 r� r r$ r r9 r: rC Z using_namesr rx r� r r r )r r Zmy_namesZ resolve_modeZusingsZfromsr> r= r5 Z using_mapZmanyfewrr �urf r r r
� visit_import� sb
zSubject.visit_importc C s | j |dd� d S )NT)r� )r� )r r r r r
�
visit_key_arg� s zSubject.visit_key_argc C sJ |j �� }|�d�s | �d|� | j�d|| j�dd|j�f��| � d S )Nr� z)Tag 'method' is a definition, requires ::r� r� r )r9 r: r# r$ r rL r< r� )r r r9 r r r
� visit_method� s
zSubject.visit_methodc C s: | j d k r| �d|� |j�� }|s0| �d|� || _ d S )Nz Duplicate name specification.zNo name specification.)r� r$ r9 r: )r r r5 r r r
�
visit_name� s
zSubject.visit_namec C s4 x.| j |dd�D ] }| �||�}|�|d� qW d S )Nr )rV r� )r� r� r� )r r r5 r� r r r
�visit_or� s zSubject.visit_orc C s( |j �� }d|kr | �d|� |�d�}|�d�}||k rF| �d|� ||d |� �� }d|krxdd� |�d�D �}n|g}|}|d |� �� }|s�| �d |� d
}|�d �r�|d d � �� }d}|�d
�} | d �d�s�d| d | d< d
�| �}| �||�}
| � |�} |
| _
|| _ || _ || _
d S )Nr? zNo left parenthesisr< z#None or misplaced right parenthesisr ru c S s g | ] }|� � �qS r )r: )r� r� r r r
r� � s z/Subject.visit_postcondition.<locals>.<listcomp>zNo condition namer znot � r+ r� zcond:)r9 r: r$ r r� r� r# rE r� r� r� � cond_namerw r� ) r r r9 ZlparZrparr� rw r r� r' r� rf r r r
�visit_postcondition� s:
zSubject.visit_postconditionc C s | � |� d S )N)r )r r r r r
�visit_precondition s zSubject.visit_precondition)N)N)r )r )N)F),r_ r` ra r� r� r r� r� r� r� r� r� r� r� r� r� rb r$ r� r� r� r r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r r r r r r
r� � sP
<$r� c @ s e Zd ZdS )� ErrorSubjectN)r_ r` ra r r r r
r s r c @ s, e Zd Zdd� Zdefdd�Zddd�ZdS ) rU c C s� || _ || _| | _|| _d|f }t�| | ||� |�d�d | _d| _t | _
g | _ x"|j D ]}|| �}|| j
|j< q\W | �|� | `d S )Nz%sr+ r� rX )r �specenvr6 r r� r r� rs r8 r rm r( Zpredefined_subjectsr� rp r� )r r r r r5 r rY r r r
r s
zPackageSubject.__init__Nc K s | j j|||f|�S )N)r r$ )r r# r r r� r r r
r$ s zPackageSubject.errorc C sF |s| � d| |� dd� |�d�D �}|d sF|d }|dd � }nd}|dkrX| }nt|d kr�|}|d k r�d
}x |j| kr�|j|kr�|j}qrW |j|kr�d }|d kr�| � d | |� n| � d ||f |� |j}xnt|�D ]b\} }
|j�|
�} | d k�r.|jd
k�r| � d|
|f |� t|||| d � �S |d |
}| }q�W |S )NzInvalid subject name: %rc S s g | ] }|� � �qS r )r: )r� r� r r r
r� $ s z/PackageSubject.find_subject.<locals>.<listcomp>r+ r r r� ZmyfileZmykind)r� r r� z%mykind tag without such a context: %rzInvalid tag %r in %rr� zNo such subject: %r in %r.) r$ r� r1 r8 rs � enumerater� r, �SubImportSubject) r r5 r r r' r8 rY Z kind_tagsZsnamerl r� �nsr r r
r� s@
zPackageSubject.find_subject)N)r_ r` ra r rb r$ r� r r r r
rU s rU c @ s e Zd Zdd� ZdS )r c C s4 || _ || _|| _d�|jg| �| _|d | _d S )Nr+ r� )r1 r �rnpartsrE rp rs )r r1 r r r r r
r I s
zSubImportSubject.__init__N)r_ r` ra r r r r r
r H s r c @ s e Zd Zdd� ZdS )r� c C s d S )Nr )r r r r
r� R s zMacroSubject.add_top_nodeN)r_ r` ra r� r r r r
r� Q s r� c @ s e Zd Zdd� ZdS )r� c C s | j j�| � d S )N)r1 r( r )r r r r
r� W s z DocumentSubject.add_top_nodeN)r_ r` ra r� r r r r
r� V s r� c @ s e Zd Zdd� ZdS )�
GuppyWorldc C s. || _ d | _| _d | _d| _g | _t| _d S )NZ Guppy_Worldz <GuppyWorld>)r6 rp rs r r8 r� ry rm )r rd r r r
r \ s zGuppyWorld.__init__N)r_ r` ra r r r r r
r [ s r c + @ s� e Zd ZdZdZeeeee e
e e e
eeeeeeeeeeeeeee e e e e e!e"e#e$e%e&e'e(e)e*e+e,e-e.d�*Z/dZ0dZ1dZ2dZ3dd� Z4d d
� Z5d d � Z6d
d� Z7dd� Z8dd� Z9dS )� _GLUECLAMP_) z_parent:Documentz_parent:FileIOz_parent.FileIO:IOz
_parent:Filerz _parent:Htmlz
_parent:Latexz_parent:SpecNodesz _parent.SpecNodes:node_of_taciz_parent:Testerz_root.hashlib:md5z_root.guppy.etc:iterpermutez_root.guppy.etc:RE)r� �io_dirr )*r� r9 r� r� r r r r� r? r� r� r, rP r� r� r� r� r� r� r; r� r� r� r� r r� r� r� rR rQ r� r� r� rX r� rS r r� r� r� r� r� z.tgt.N�
c C s | j �|t�S )N)�description_classesr, ry )r r8 r r r
r� � s z!_GLUECLAMP_.get_description_classc C s t fS )N)r )r r r r
�_get_predefined_subjects� s z$_GLUECLAMP_._get_predefined_subjectsc C s i S )Nr )r r r r
�_get_package_cache� s z _GLUECLAMP_._get_package_cachec K s t | �}|j|f|� d S )N)r r^ )r r r� Zser r r
�main� s z_GLUECLAMP_.mainc C s d S )Nr )r r r r
� _test_main_� s z_GLUECLAMP_._test_main_c C s | j j�|�}|| _d S )N)r0 r1 rO rN )r �dirr r r
�
set_input_dir� s z_GLUECLAMP_.set_input_dir):r_ r` ra Z _imports_Z _chgable_r� r� r� r+ r r� r� r� rH r� r� r r� r: r r� r} r� r rG r~ r� r� r5 rJ rO r� r{ r� r� r� r| r� r r� r� rN r� r r6 r� r9 r
ro r� r r r� r r r r r r r r r
r
e sl r
N)QZguppy.etc.Descriptorr Zguppy.gsl.Exceptionsr rc ry r� r� r� r r r r r rH r r r+ r5 r6 r� r� r9 r: rG rH rJ rN rO r\ rp r{ r| r} r~ r r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r r� r rU r r� r� r r
r r r r
�<module> s T! 8
&
^.
mQ
A $ {@
Mini Shell