관리-도구
편집 파일: 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�pdb� set_trace� max_errors� TooManyErrors) r �messager � exception�more�harmless�msg�ctxr 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 �tr7 �ch)r, �defines�links�walkr r rC 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 r: r0 �sort�joinr Z doc_name_noder> ) r r* r r7 �dsZnodefs�usedZdefdZdefnodeZndr )r, rA rB rC r �link_documentsM sD zSpecEnv.link_documentsc C s t | ||�}| j|_|�� |S )N)�PackageDescriptionr) � resolve_all)r �subr8 r r r r6 � 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 �endswithr1 r2 r3 r4 � input_dirrG �abspath� read_file�md5�update�encode�digestZ package_cache� SpecNodesZnode_of_stringr r �PackageSubject) r r ZpacknamerO � input_stringr �datarT rW r Znumerr�packager r r r5 � 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)rZ 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 rQ r) r r r6 r5 � get_documentsr& r r rJ r( r ZFiler�filerrG r/ Zwritefile_names�writer ZHadReportedError)r r rQ r) r r Zprocess_despite_errorsZraise_at_errorsrZ r8 r* r+ Z giving_upr_ �fr r r � process_main� sL zSpecEnv.process_main)Nr N)NNFNFFN) �__name__� __module__� __qualname__r r � ReportedErrorr& r( r9 rJ r6 r5 rb 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)�envr8 r �tgtr )r rh ri 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 rL � s z UntypedDescription.resolve_allc C s | � � | �� d S )N)� resolve_type� resolve_tgt)r r r r rl � 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)ri �description_class�hasattrr: rp r � tgt_prefix�fullname� tgtfullnamer �tgtnode�lastname� tgtlastname�srcnoder � srcfullname� srclastname� __class__)r Zdcr r r rn � s z UntypedDescription.resolve_typeN)rc rd re r rk rL rl rn r r r r rg � s rg 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= rp � d_max_occurrE r �aspectsrf )r �as_�asp�k�wZbn�ocr 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)rg rl r� rf )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�AttributeErrorrh �deftgtru r& r r )r Zformer� r r r r� ' s zDescription.deftgtc K s | j jj|||f|�S )N)r8 rh 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 rm 8 s z Description.resolve_lookupedc C s | � � d S )N)r� )r r r r ro = 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 r; r )r1 �argsrm r r� rp )r r: 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) r; �seq�repeat�altr� � optionals�key_arg�draw�no_arg)r� rm r r� rp )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� rp 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� rp 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� rp 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& ri r � CoverageErrorr r� �Unionr� )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)r8 )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 r\ ) r� rE �AssertionErrorr r r; r< rp rh )�e�sa)�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_textru �gen_doc)r �outrH r, r r r �gen_description_doc� s z Description.gen_description_docc C s | j S )N)ru )r r r r � get_id_name� s zDescription.get_id_namec C s | j S )N)ru )r r r r � get_link_name� s zDescription.get_link_namec C s | j S )N)r{ )r r r r �get_local_name� s zDescription.get_local_namec C s | j S )N)ru )r r r r � get_test_name� s zDescription.get_test_namec C s | j S )N)ru )r r r r �get_name� s zDescription.get_namec C s( | � d�}|s| j}n|jjj�� }|S )Nr7 )r� rx ri r r; r< )r �nr7 r r r �get_Name� s zDescription.get_Namec C s | j �|�S )N)r8 �get_descr_by_subject)r rj 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� ri )r � only_varsr r r �init_localview� s zDescription.init_localviewc s4 � � � � jjr(� fdd�� jjD �� _� �� d S )Nc s g | ]}� j �|��qS r )rh r� )r� r; )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 r; r< r� r: )r r; 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� )rp 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 )ru )r� r� r r r r� s z2Description.make_and_test_kind.<locals>.<listcomp>)rE rp �Kindr� rG ru 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 )ru )r� r� r r r r� s z-Description.make_and_kind.<locals>.<listcomp>T)rE rp r� r� rG ru 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 )ru )r� r� r r r r� ) s z,Description.make_or_kind.<locals>.<listcomp>T)rE � Superkindrp r� rG ru r� r� )r r� r� r r r � make_or_kind" s zDescription.make_or_kind)N)r )N)F)r )/rc rd re r� �d_sub�d_type�d_is_defr� r� r� r� r� r� r� rf r& rm ro 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} � sV r} c @ s e Zd ZdZdZdd� ZdS )� Definitionr � definitionc C s@ | j |_ |jdkr | j|_n|j| jkr0td��|�| j� d S )N�importzDifferent description tag)r| rp � ImportErrorr� r� )r r r r r �export_aspects3 s zDefinition.export_aspectsN)rc rd re 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)ry Z arg_accept)r r� r r r r� C s z DescriptionDescription.gen_docN)rc rd re r� rp 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 �dl�dtZstrongz Default: �dd) ry r; r< �splitrG �openr� �close�children_accept)r r� �arglines�default�restr r r r� H s zDefault.gen_docN)rc rd re 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 ) ry r; r< r rG r Z gen_outer_dtr� r r )r r� r �headerr r r r r� [ s z DescriptionWithHeader.gen_docN)rc rd re r� r r r r r Z s r c @ s e Zd ZdZdS )�Comment�commentN)rc rd re rp 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)rc rd re 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 )r8 r9 �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_fromsrE �Product�ProductSubject�imp_resolve_moderi r rs rt ru r� r� r� r� r� r� )r Z import_noderH r, r )r r r r ro � s" zImport.resolve_tgtc C s d S )Nr )r r r r r� � s zImport.resolve_aspectsN)rc rd re r� ro 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.) rh r r �moder8 ri r& rt r rH )r rh rH r r ri r, r r r r � s *zProduct.__init__c C s x| j D ]}|�|� qW d S )N)rH r� )r r r, r r r r� � s zProduct.export_aspectsc C s* x$| j D ]}||ks |�|�rdS qW dS )NTF)rH r� )r r, r� r r r r� � s z Product.is_more_specific_thanN)rc rd re r r� r� r r r r r � s r c @ s e Zd Zdd� ZdS )rK c C s$ || _ | | _|j| _|| _|| _d S )N)rh r8 r ri r )r rh ri r r r r r � s zPackageDescription.__init__N)rc rd re r r r r r rK � s rK c @ s e Zd ZdZdd� Zdd� ZdS )�ErrorDescriptionr& c C s || _ d S )N)rh )r rh 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)rc rd re rp 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�pZsds�sdr 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 rs �get_descr_by_tgt_namer r� �KeyErrorr� rh r& r� �UndefinedErrorrm )r r7 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)rt r, rz rE r< r& r r )r rj r7 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 rt )r� r, r r r r� s z1Package.get_descr_by_tgt_name.<locals>.<listcomp>r ) r' rm r� r r& r/ r� rE r� r� )r r7 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 ro 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. rh r9 )r r7 r r8 r r r r9 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 r^ ' s zPackage.get_documents)N)N)rc rd re r� r' r r� r- r2 r� ro r� r9 r^ 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)r| r� r� )r r r r r r� 5 s zAttribute.export_aspectsc C s | j S )N)rx )r r r r � get_attr_name9 s zAttribute.get_attr_namec C s | j S )N)rx )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)r7 rp r� rE � ValueErrorru )r r� r� r r r � get_kind_nameC s zAttribute.get_kind_namec C s" d| � | jj��� | jjf }|S )Nz%s.%s)r� ri �parentr� rw )r r] 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)r6 )r r r r � get_op_name[ s zAttribute.get_op_nameN) rc rd re r� r� r6 r� r7 r9 r� r; r< r= r r r r r4 1 s r4 c @ s e Zd ZdZdZdS )�KindOfr r N)rc rd re r� r� r r r r r> _ s r> c @ s e Zd ZdZdZdS )� SubkindOfr )r� N)rc rd re r� r� r r r r r? d s r? 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)rc rd re r� r@ rA 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)r{ )r r r r r� } s zSuperkind.get_local_nameN)rc rd re 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)r} r� rE r� r' )r Zenoughr� �kar r r r� � s zSuperkindOf.get_examplesN)r )rc rd re r� r� r r r r rB � s rB 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 )NrE r r )r� ri r r; 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) rc rd re r� �partabrM r� rN rO r r r r rD � s rD c @ s e Zd ZdZdS )� InContextr N)rc rd re r� r r r r rQ � s rQ c @ s e Zd ZdZdd� ZdS )�Definesr c C s dd� | � d�D �S )Nc S s g | ] }|j �qS r )ru )r� r� r r r r� � s z1Defines.get_defined_tgt_names.<locals>.<listcomp>r; )r� )r r r r �get_defined_tgt_names� s z Defines.get_defined_tgt_namesN)rc rd re r� rS r r r r rR � s rR c @ s e Zd Zdd� Zdd� ZdS )�Macroc C s | j |_ | j|_d S )N)r| rv )r r r r r r� � s zMacro.export_aspectsc C s | j j�dd| jj| jj�S )N�blockr )r rX � node_of_tacirv r> r )r �optionsr r r �use� s z Macro.useN)rc rd re r� rX r r r r rT � s rT c @ s e Zd ZdZdS )�Selfr N)rc rd re r� r r r r rY � s rY c @ sT e Zd ZdZdZdd� Zdd� Zdd� Zd d � Zd d � Z d d� Z dd� Z dd� Z dS )�Mappingr~ )r� r; r� r r� r5 �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.r] 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�sequnirE r& rp r r rf )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>) r_ r` r r� Z InfiniteErrorr rz Zlimitedr� )r ri rj r� rc Zcoveragerd r� r )ri r rj 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 )Nr; ziTest coverage error: Can not create precondition for %r -- no examples specified for the argument above.r )r� rp r� � get_arg_valuer� r& r� ru r r r r� rg rh ri rj ) r r� �match�arglistr� r? r7 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� rc r� r r r r_ 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 )r7 )r� r� r r r r� * s z+Mapping.get_return_kind.<locals>.<listcomp>r^ )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 )r; )r� r� r r r r� - s z0Mapping.get_return_test_kind.<locals>.<listcomp>r^ )r� r� )r r r r �get_return_test_kind, s z Mapping.get_return_test_kindN) rc rd re r� r� re rf rk ro r_ rq rr rs r r r r rZ � s rZ c @ sL e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd d� Z dd� Z dS )rg c s0 || _ || _� | _|| _� fdd�|D �| _d S )Nc s g | ] }� |��qS r r )r� r� )ri r r r� 6 s z(ArgsExample.__init__.<locals>.<listcomp>)r� �egsri rj �negs)r r� rt ri rj r )ri r r 1 s zArgsExample.__init__c C s d� | j�S )Nz, )rG ru )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 r; zNo argument matches: %rr )r� r� rp r� rt ZConditionError)r r7 �ir� r? r r r rl ; s zArgsExample.get_arg_valuec C s | j �d�S )Nr\ )r� r� )r r r r �get_preconditionsF s z ArgsExample.get_preconditionsc C s | j �d�S )Nr] )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 )Nr\ r� r� r] )rx rj r� r� �match_toro �SetUpr6 ) r Zpresr� �mapr� �mZmprerm 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�,)rx �cond_idrE � arg_names�ziprU r� )r Zpostsrm �pre�posZupdr� r� r r r rz l s zArgsExample.match_toN) rc rd re r rv rl rx ry r~ r rz r r r r rg 0 s rg c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )r{ c C s || _ || _d S )N)r7 r� )r r7 r� r r r r � s zSetUp.__init__c C s | j S )N)r7 )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)rc rd re r r� r� r r r r r{ � s r{ c @ s( e Zd ZdZdZdZdd� Zdd� ZdS ) �Operatorr r� ) r; r r� r5 r[ r] r\ r r^ c C s | j jj�� S )N)r r r; r< )r r r r r= � s zOperator.get_op_namec C s | � dd� d S )Nr )re )r r r r r� � s zOperator.resolve_specialN)rc rd re r� r� r� r= r� r r r r r� � s r� c @ s e Zd ZdS )�ReverseOperatorN)rc rd re r r r r r� � s r� c @ s e Zd Zdd� ZdS )�FunctionOperatorc C s | � dd� d S )Nr )re )r r r r r� � s z FunctionOperator.resolve_specialN)rc rd re r� r r r r r� � s r� c @ s e Zd ZdS )�InplaceOperatorN)rc rd re r r r r r� � s r� c @ s$ e Zd ZdZdZdd� Zdd� ZdS )�SetItemr~ )r; r r� r5 r[ r] r\ r c C s dS )Nz[]r )r r r r r= � s zSetItem.get_op_namec C s | � dd � d S )N� )re )r r r r r� � s zSetItem.resolve_specialN)rc rd re r� r� r= r� r r r r r� � s r� c @ s e Zd Zdd� ZdS )�DelItemc C s | � dd � d S )Nr )re )r r r r r� � s zDelItem.resolve_specialN)rc rd re r� r r r r r� � s r� c @ s e Zd Zejd Zdd� ZdS )�GetItem)r^ c C s | � dd � d S )Nr )re )r r r r r� � s zGetItem.resolve_specialN)rc rd re r� r� r� r r r r r� � s r� c @ s, e Zd ZdZdZdd� Zdd� Zee�ZdS )� Conditionr )r r; r r� � python_codec C s: g }x0| � d�D ]"}|jdkr|�|jjj�� � qW |S )Nr )r r; )r� rp r r r r; r< )r Zanr� r r r � get_arg_names� s zCondition.get_arg_namesc C s | j j}|S )N)r rw )r Zdnr r r � get_def_name� s zCondition.get_def_nameN) rc rd re r� r� r� r� �propertyZdef_namer r r r r� � s r� c @ s e Zd ZdZdS )� PythonCode)r r� rE N)rc rd re 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� r} �__repr__)r r r r r� � s zConditionRef.__repr__c C s | j j}| jrd| }|| _|S )Nznot )�cond_definitionru �is_notr� )r r� 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� rh r� r: rw Z cond_doc_namer r; r< r� r� r� )r �cond_defr r r r� � s z ConditionRef.resolve_specialN) rc rd re r� r� r� r r� r� r� r r r r r� � s r� c @ s e Zd Zd ZdS )� PreconditionN)rc rd re �doc_namer r r r r� � s r� c @ s e Zd Zd ZdS )� PostconditionN)rc rd re 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)rc rd re r r r r r r� s r� c @ s e Zd ZdZdZdS )� Constructorr )r r� N)rc rd re r� r� r r r r r� s r� c @ s e Zd ZdZdS )�Equation)r r� r\ r] N)rc rd re 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� rp r� r� )r r� rc r� r r r r� s z Args.get_reN)rc rd re r� r� r� r r r r r� s r� c @ s e Zd Zdd� ZdS )�NoArgc C s | j jjS )N)r r� rp )r r� r r r r� s z NoArg.get_reN)rc rd re 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� r7 c C s | � | �� �S )N)r� r� )r r r r r7 $ 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� r7 )r r� r� r� r� r� r r r r� 0 s zArg.get_examplesN)F)rc rd re r� r7 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)r7 �eg)r r7 r� r r r r < s zKeyArgEG.__init__c C s | j �� S )N)r� rM )r r r r rM @ s zKeyArgEG.get_ex_textc C s | j �� S )N)r� rN )r r r r rN C s zKeyArgEG.get_ctx_textc C s d| j |f S )Nz%s=%s)r7 )r r� r r r rO F s zKeyArgEG.get_use_textN)rc rd re r rM rN rO 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� )r7 r r r� Q s z'KeyArg.get_examples.<locals>.<listcomp>)r� r� r� )r r� r )r7 r r� O s zKeyArg.get_examplesN)F)rc rd re 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� rp r� r� )r r� rc r� r r r r� W s z Draw.get_reN)rc rd re r� r� r r r r r� T s r� c @ s e Zd ZdZdZdd� ZdS )� Optionals)r; r� r� r r� r c s � ��fdd����� � �S )Nc s0 | s�j jjS | d �� ��| dd � � d�S )Nr r r� )r r� rp 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)rc rd re r� r� r� r r r r r� ^ s r� c @ s e Zd ZdZdd� Zdd� ZdS )�Repeat)r� r; r� r r� c C s | j jj�� S )N)r r r; 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 rE �intr8 �ranger r� rp ) r r� r� rc r� r; r4 r� �lo�hi�resrw r� r r r r� p s` z Repeat.get_reN)rc rd re r� r� r� r r r r r� j s r� c @ s$ e Zd ZdZed7 ZdZdd� ZdS )�Seq)r; r r� r� )r� r c C s. | j jj}x | �� D ]}||�|�7 }qW |S )N)r r� rp r� r� )r r� rc r� r r r r� � s z Seq.get_reN)rc rd re r� r� r� r r r r r� � s r� c @ s e Zd ZdZdZdd� ZdS )�Alt)r; 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� rc r� r r r r� � s z Alt.get_reN)rc rd re r� r� r� r r r r r� � s r� c @ s$ e Zd ZdZdZdd� Zdd� ZdS )�Returns)r� r r� r5 r� r� r Z with_opt_argsc C s | � | �� �S )N)r� r� )r r r r r7 � s zReturns.get_kindc C s | � | �� �S )N)r� r� )r r r r r; � s zReturns.get_test_kindN)rc rd re r� r� r7 r; r r r r r� � s r� c C s& g }x | D ]}|� |�|�� q W |S )N)r' r� )r� r: 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 ri �k_tag�objects)r r� r� r r r r � s z Beam.__init__c C s t | |�S )N)�compose)r r~ r r r �__add__� s z Beam.__add__N)rc rd re r r� r r r r r� � s r� c @ s e Zd ZdS )�KindBeamN)rc rd re r r r r r� � s r� c @ s e Zd ZdS )� AtomKindBeamN)rc rd re r r r r r� � s r� c @ s e Zd ZdS )�KindMappingBeamN)rc rd re 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 )Nr[ )r� � get_op_seq)r r r r �find_equations� s zKindOpBeam.find_equationsc C s t | �� d�S )Nr] )r� r� )r r r r �find_postconditions� s z KindOpBeam.find_postconditionsc C s t | �� d�S )Nr\ )r� r� )r r r r �find_preconditions� s z KindOpBeam.find_preconditionsc C s | j d }| �� �||�S )Nr )r� � get_the_oprk )r ri rj r r r rk 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� r= )r r r r r= 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� rs )r r r r rs s z KindOpBeam.get_return_test_kindN)rc rd re r� r� r� r� r� rk r� r= r� r� r� rs 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)rc rd re r� r r r r r� s r� c @ s e Zd ZdZdS )�KindAttributeMappingBeamr� N)rc rd re 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 r= ! s zKindMappingBeam.get_op_nameN)rc rd re r= r r r r r� s c @ s e Zd ZdZdZdS )� KOKOpBeamr� N)rc rd re 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 )ri 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 )rp )r� r� r r r r� � s zbeam.<locals>.<listcomp>)rh � 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 )rt )r� r� r r r r� � s z+ProductSubject.__init__.<locals>.<listcomp>)r� rG rt )r r� r r r r � s zProductSubject.__init__N)rc rd re 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 )r: r8 r r r rw r� r� � node_indexr: �get_description_classrq � aspect_mode�make_child_namert )r r: r rw r r r r � s zSubject.__init__c C s, | j |dd�}x|D ]}| �||� qW d S )Nr )ra )� get_arglist�add_new_subject)r r �namesr7 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 )ra z%s:%s)r rX Zreverse_node_aliasesr: r� r� )r r Zshtagr� r7 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� r7 )r r r r r� � s z1Subject._visit_type_with_args.<locals>.<listcomp>)r� r� r� )r r r� r� rj r )r r r �_visit_type_with_args� s z Subject._visit_type_with_argsc s: �j � dd�}� �fdd�|D �}��� �}|r6||_d S )Nr )ra c s g | ]}�� |� ��qS r )r� )r� r7 )r r r r r� � s z5Subject._visit_type_with_opt_args.<locals>.<listcomp>)r� r� r� )r r r� r� rj 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 rw rj r r r r� � s zSubject.add_new_subjectc C s | � |� |�� |S )N)� def_subject� add_top_node)r rj 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 rw rj 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" ) rq r� rw r� r& r r r� r )r rj r7 r r r r� � s zSubject.def_subjectc K s | j j|||f|�S )N)r8 r& )r r$ r r! r� r r r r& � s z Subject.errorc C s | j �||| �S )N)r8 r� )r r7 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 )Nr� 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� r; r< r, rP r& rE )r r ra rn r; r} r r r r� � s zSubject.get_arglistc C s | � ||�}| �|� |S )N)r� � no_children)r r ra 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 ra 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> r: rq r� r& r � cover_checkr= �acceptrf r� )r r r@ r r r r� s zSubject._visit_childrenc C s d| j |f S )Nz%s.%s)rt )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� r: r� r� r� � MacroSubject�DocumentSubjectr� )r r r7 Zis_defr: r r r r� ! s zSubject.new_subjectc C s | j j�|d|j|j�S )Nr )r rX rV r> r )r r: 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& r: )r r r r r r� 1 s zSubject.no_childrenc C s4 x.| j |dd�D ] }| �||�}|�|d� qW d S )Nr )ra r" )r� r� r� )r r r7 � ofsubjectr r r � visit_and7 s zSubject.visit_andc C s4 x.| j |dd�D ] }| �||�}|�|d� qW d S )Nr )ra r� )r� r� r� )r r r7 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.) r; r< r rE r& r� r� r� r� r� ) r r �must_have_namer; Zarg_namer� Znkr7 Z kind_namerj 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 )ra zcond:%s)r� r� )r r r� r7 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� r: r; r< r, r� r& �getattr)r r rq r; �colonr$ 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� rq rP r; r< r. r& rL )r r rj rP 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 )ra r r z More than 1 'resolve' clause.)r! )r" �orz Resolve by: and / or expected.r" r zUnexpected clause in import�few�manyz=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> r: r� r r& r r; r< rE Z using_namesr r� r� r r r )r r Zmy_namesZ resolve_modeZusingsZfromsr@ r? r7 Z using_mapZmanyfewr} �urj 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 )r; r< r, r& r rV r> r� )r r r; 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& r; r< )r r r7 r r r � visit_name� s zSubject.visit_namec C s4 x.| j |dd�D ] }| �||�}|�|d� qW d S )Nr )ra r )r� r� r� )r r r7 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 )NrI zNo left parenthesisrF z#None or misplaced right parenthesisr r� 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:)r; r< r& r r� r r, rG r� r� r� � cond_namer� r� ) r r r; �lpar�rparr� r� r r� r0 r� rj 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),rc rd re r� r� r r� r� r� r� r� r� r� r� r� r� rf 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)rc rd re r r r r r s r c @ s, e Zd Zdd� Zdefdd�Zddd�ZdS ) rY c C s� || _ || _| | _|| _d|f }t�| | ||� |�d�d | _d| _t | _ g | _ x"|j D ]}|| �}|| j |j< q\W | �|� | `d S )Nz%sr- r� r\ )r �specenvr8 r r� r r rw r: r! rq r* Zpredefined_subjectsr� rt r� )r r r r r7 r r] 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 r: r: rw � enumerater� r. �SubImportSubject) r r7 r r r0 r: r] Z kind_tagsZsnamerw r� �nsr r r r� s@ zPackageSubject.find_subject)N)rc rd re r rf r& r� r r r r rY s rY c @ s e Zd Zdd� ZdS )r c C s4 || _ || _|| _d�|jg| �| _|d | _d S )Nr- r� )r: r �rnpartsrG rt rw )r r: r r r r r r I s zSubImportSubject.__init__N)rc rd re 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)rc rd re r� r r r r r� Q s r� c @ s e Zd Zdd� ZdS )r� c C s | j j�| � d S )N)r: r* r )r r r r r� W s z DocumentSubject.add_top_nodeN)rc rd re 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>)r8 rt rw r r: r� r} rq )r rh r r r r \ s zGuppyWorld.__init__N)rc rd re 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� r; r� r� r r r r rA r� r� r5 r[ r� r� r� r� r� r� rE r� r� r� r� r$ r� r� r� r] r\ r� r� r� r\ r� r^ r r� r� r� r� r� z.tgt.N� c C s | j �|t�S )N)�description_classesr. r} )r r: 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 rb )r r r� �ser 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)r2 r3 rR rQ )r �dirr r r � set_input_dir� s z_GLUECLAMP_.set_input_dir):rc rd re Z _imports_Z _chgable_r� r� r� r4 r r� r� r� rR r� r� r r� rD r r� r� r� r rQ r� r� r� r> rT rZ r� r� r� r� r� r� r� r! r� r� rY r� r� r? r� rB r rs r� r r r� r r! r# r$ r& r r r r r e sl r N)QZguppy.etc.Descriptorr Zguppy.gsl.Exceptionsr rg r} r� r� r� r r r r r rK r r! r4 r> r? r� r� rB rD rQ rR rT rY rZ rg 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 rY r r� r� r r r r r r �<module> s T! 8 & ^. mQ A $ {@