관리-도구
편집 파일: Main.cpython-37.opt-1.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 �optionsr r r �use� s z Macro.useN)r_ r` ra r� rN r r r r rJ � s rJ c @ s e Zd ZdZdS )�Selfr N)r_ r` ra r r r r r rO � s rO 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>) rU rV r r� Z InfiniteErrorr rv Zlimitedr� )r r_ r` r� rY ZcoveragerZ 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� rY r� r r r rU 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>rT )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>rT )r� r� )r r r r �get_return_test_kind, s z Mapping.get_return_test_kindN) r_ r` ra r� r� r[ r\ ra re rU rg rh ri r r r r rP � s rP 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� rj r_ r` r )r_ r r 1 s zArgsExample.__init__c C s d� | j�S )Nz, )rE rk )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� rj ZConditionError)r r5 �ir� r= r r r rb ; s zArgsExample.get_arg_valuec C s | j �d�S )NrR )r� r� )r r r r �get_preconditionsF s z ArgsExample.get_preconditionsc C s | j �d�S )NrS )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 )NrR r� r� rS )rn r` r� r� �match_tore �SetUpr- ) r Zpresr� �mapr� �mZmprerc 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�,)rn �cond_idrC � arg_names�ziprQ r� )r Zpostsrc Zpre�posZupdr� r� r r r rp l s zArgsExample.match_toN) r_ r` ra r rl rb rn ro rt ru rp r r r r r] 0 s r] c @ s$ e Zd Zdd� Zdd� Zdd� ZdS )rq 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� r{ r r r r rq � s rq c @ s( e Zd ZdZdZdZdd� Zdd� ZdS ) �Operatorr r� ) r9 r r� r, rQ rS rR r rT 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 )r[ )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 )r[ )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, rQ rS rR r c C s dS )Nz[]r )r r r r r4 � s zSetItem.get_op_namec C s | � dd � d S )N� )r[ )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 )r[ )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)rT c C s | � dd � d S )Nr )r[ )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_notrw )r rw 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� rx r� )r �cond_defr r r r� � s z ConditionRef.resolve_specialN) r_ r` ra r� r� r� r rw 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� rR rS 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� rf r� r� )r r� rY 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� rf )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� rf r� r� )r r� rY 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� rf 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� rf ) r r� r� rY r� r9 r2 r� �lo�hi�resrm 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� rf r� r� )r r� rY 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� rY 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 )NrQ )r� � get_op_seq)r r r r �find_equations� s zKindOpBeam.find_equationsc C s t | �� d�S )NrS )r� r� )r r r r �find_postconditions� s z KindOpBeam.find_postconditionsc C s t | �� d�S )NrR )r� r� )r r r r �find_preconditions� s z KindOpBeam.find_preconditionsc C s | j d }| �� �||�S )Nr )r� � get_the_opra )r r_ r` r r r ra 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� ri )r r r r ri s z KindOpBeam.get_return_test_kindN)r_ r` ra r� r� r� r� r� ra r� r4 r� r� r� ri 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 )rW )� 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 )rW 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 )rW 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 )Nrv 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 rW rd r9 rs r r r r� � s zSubject.get_arglistc C s | � ||�}| �|� |S )N)r� � no_children)r r rW 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 )rW 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 )rW 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 )rW 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 )rW 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 ry r� r r r )r r Zmy_namesZ resolve_modeZusingsZfromsr> r= r5 Z using_mapZmanyfewrs �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 )rW 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 rv 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_namerx r� ) r r r9 ZlparZrparr� rx 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_tagsZsnamerm 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, rQ r� r� r� r� r� r� r; r� r� r� r� r r� r� r� rS rR r� r� r� rX r� rT 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 rP r� r| r� r� r� r} r� r r� r� rO 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 rO rP r] rq r| r} r~ r r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� r� 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 $ {@