n{ށ Z d dl mZ d dlT G d d Z G d d Z G d d Z G d d
e Z G d d e Z G d
de Z G d de Z G d de Z
G d de Z G d de Z G d de Z
G d de Z G d d Z G d d e Z G d d e Z G d! d"e Z G d# d$e Z G d% d&e Z G d' d(e Z G d) d*e Z G d+ d,e Z G d- d.e Z G d/ d0e Z G d1 d2e Z G d3 d4e Z G d5 d6e Z G d7 d8 Z G d9 d: Z G d; de Z G d? d@e Z! G dA dBe Z" G dC dDe Z# G dE dFe# Z$ G dG dHe# Z% G dI dJe Z& G dK dLe Z' G dM dNe Z( G dO dPe( Z) G dQ dRe( Z* G dS dT Z+ G dU dVe Z, G dW dXe Z- G dY dZe Z. G d[ d\e Z/ G d] d^e Z0 G d_ d` Z1 G da dbe0 Z2 G dc dde Z3 G de dfe Z4 G dg dhe Z5 G di dje Z6 G dk dle Z7 G dm dne Z8do Z9 G dp dq Z: G dr dse: Z; G dt due: Z< G dv dwe: Z= G dx dye: Z> G dz d{e> Z? G d| d}e> Z@ G d~ dwe> Z= G d de> ZAd ZBd ZCd ZDd ZEi de:de:de:de:de:de:de:de:de:de:de:de:de:de:de:de:de:i de?de@de:de>de>de>de>de:de:de=de>de>de>de:deDdeDdeDi deDdeDdeDdeDdeDdeDde:de:deAdeAdeAdeAdeAdeAdeAde:de:e:e:e:e:e:e:e:e:e:d ZFd ZG G d d ZH G d d ZI G d deI ZJ G d deI ZK G d dæ ZL G dĄ deI ZM G dƄ deI ZN G dȄ deI ZO G dʄ d˦ ZPdS ) )property_nondata*c X e Zd Zd Zd ZdeddfdZd Zd Zd Z d
Z
dd Z ddZ dS )SpecEnvc Z || _ i | _ i | _ g | _ d| _ d| _ d S Nr )modimported_packagesimporting_packages
error_reports
num_errors num_warnings)selfr
s b/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib64/python3.11/site-packages/guppy/gsl/Main.py__init__zSpecEnv.__init__ s6 !# "$ c d}d}|b|}|j dz }|j }|"|j }| |j }t |d|d |rt d|z d S d S d S )N z )index:z %r)r srcfilenameget_lineprint)r contextlinetextr nodelinenor s r errmsg_contextzSpecEnv.errmsg_context s # DZ!^F(C < < 9 9A MM!,,t77 8 8 8 8
r c | j | }||| j v r=| dt | j | d| j |< | d| j j j j
dz }| || }| | }|| j |< | j |= |S )Nz)Invalid mutual import involving packages r ..gsl)
r getr r0 listkeysreplacer
IOpathseppackage_of_filename mkPackage)r namer pacr ips r import_packagezSpecEnv.import_package? s $((.. ;t...
05577888 ;>vEH))(D99B..$$C+.D "4 ('-
r c
i i
fd
|D ]!
}
| "t D ]p\ }}t | dk rXt d|z |D ]4\
}t d
d|j dz 5t d qg }t D ]\ }}| vri }|D ]#\
}d|
< d|_ $t | }| d
| }| |d | | d
\ }}|D ]-\
}
|u rd |_ d |_ |j f|j
z |_
.|r8| t d
|D ]} t d| d S d S )Nc | | j }|dk rE| j } |g | f nS|dk rE| j } |g | f n|dk rd S | j D ]
} | d S )Nlink_todefineto_tester_only)tagargstrip
setdefaultr$ children)r trE chr8 defineslinkswalks r rW z$SpecEnv.link_documents..walkR s AI~~x~~'' r**111d)<<<<h x~~''""4,,33QI>>>>&&&m
R
r r z,Duplicate definition of name %r, defined in:z z line zWill use the first one.link_to_unresolved, z used in r
link_to_locallink_to_externzUnresolved links:z )
get_resultr= itemslenr get_doc_namer rN r> sortjoinr$
doc_name_noderR )r r6 r rE dsnodefsuseddefddefnodendr8 rU rV rW s @@@@r link_documentszSpecEnv.link_documentsM so A<<>>D DJJJJ W]]__-- 1 1HD"2ww{{DtKLLL!# O OIQEann.>.>.>.>
1 MNNNN/000 U[[]]++ L LHD"7""!# 4 4IQ-.D ))* 3DHHDIIKK(( yy
tt <==== '
a 0
g!# L LIQDyy#2#3)-);(=dm(K
L KKMMM % & & &
dB
r c h t | || }| j |_ | |S r2 )PackageDescriptionr5 resolve_all)r subrF s r rD zSpecEnv.mkPackage s1 sC00
r r c | j }|G| d r |d d }n|}| |j j j d }| j r&|j j | j | }n |j j | }||}n|j | }|
}| d| d z | d| d z | | d |
}||j v r
|j | S |j ||| } | j }
t% d|z t' || | || } |
| j k r
| |j |< | S ) Nr; r: s .filename: %s
zutf-8s .packname: : %s
)nostripzMaking package subject %r)r
endswithr? r@ rA rB input_dirra abspath read_filemd5updateencodedigest
package_cache SpecNodesnode_of_stringr r PackageSubject) r r packnamerp input_stringr
dataru rx r numerrpackages r rC zSpecEnv.package_of_filename s h ((
$#CRC=# '' ==H > 5v{''AAHHv{**844H # DD6##H--Dggii
%(@(@@AAA
'(//'*B*BBCCC
4;;w''((( S& & &$V, ,}++D(G+LL
)H4555 dD(HEE T_ $ $(/C f %r Fc | | j j }|| _ |d}|| _ || _ | | j j }|| _ | | || } | }
|
s| dd d | j r|r$t d | |
| j r|r| |
} d} n# t $ r d} Y nw xY w| j sm| D ]j}
| j j |
}t d d
t# |j | k| j r*t d | j d d | j dk fz | j r2@ @
A
A
A ? H B%9do&9%9!:IFG G
H
H
H
H&'FGGG H H
H
Hs B#C$ $ C32C3)Nr N)NNFNFFN)
__name__
__module__ __qualname__r r!
ReportedErrorr0 r4 rH ri rD rC r r" r r r r s + + + &*]VW : 5 5 5 n @ _cCH"&+H +H +H +H +H +Hr r c , e Zd Zd Zd Zd Zd Zd ZdS )UntypedDescriptionc ` || _ |j | _ |j | _ || _ || _ d S r2 envrF r
tgtr r r r r s r r zUntypedDescription.__init__ s- 77r c : | j | d S r2 )combined_subjectsr$ r subjects r combine_with_subjectz'UntypedDescription.combine_with_subject s %%g.....r c V | | d S r2 )resolve_primaryresolve_lookupedr s r rl z UntypedDescription.resolve_all s, r c V | | d S r2 ) resolve_type resolve_tgtr s r r z"UntypedDescription.resolve_primary s, r c T | j j }t |d s| j j | _ | j j | j j z | _ | j j | _
| j j | _ | j j | _
| j j | _ | j j | _ || _ d S )Nd_tag)r description_classhasattrrN r r
tgt_prefixfullname tgtfullnamer tgtnodelastname tgtlastnamesrcnoder srcfullname srclastname __class__)r dcs r r z UntypedDescription.resolve_type s
X
'r7## & DJ 8.tx/@@x} 8,x} 8, 8,r N)r r r r r rl r r r" r r r r s_ / / / r r c e Zd ZdZdZdZdZdZdZdZ dZ
d Z d Z d*dZ
defd Zd
Zd Zd+d
Zd Zd Zd Zd Zd Zd*dZd Zd,dZd Zd Z d Z d Z d Z d Z d Z!d Z"d Z#d Z$d Z%d! Z&d" Z'd-d#Z(d$ Z)d% Z*d& Z+d' Z,d( Z-d) Z.dS ). DescriptionNr" otherr Fc . |D ]} |j j }|rU| j | }|r/||u r3| d|d|j j t || j |< | j |j g }|j
}|@t | dz |k r*| d||j fz |j j | | | j
| # t $ r Y w xY wd S )NzDuplicate aspect z (may be correct in future).r zMore than %d %r aspects.)r definame localviewr< r0 r DuplicateErroraspects_by_tagrQ r d_max_occurr^ r$ aspectsr )r as_aspkwbnocs r aspects_extendzDescription.aspects_extend sN C
G$
, **1--A 3 88 %
XYXYXY#[#$5:#13 3 3 ),DN1%(33CIrBB_>2ww{R''
#= A+ $+,/GL: : : # ##C((((
/ s .DC D
DDc |D ]N} t | || }| | |f ?# t $ r Y Kw xY wd S r2 )r r r r )r subjectsvr s r aspects_extend_by_subjectsz&Description.aspects_extend_by_subjects s| A
(q!44##%%%##SF++++
s ;A
AAc || } | j }|j |v r(| d|j z |j j |||j < d S # t
$ r | j | Y d S w xY w)NzDuplicate definition of %r)tgtviewr r0 r r AttributeErrorr deftgt)r former s r r zDescription.deftgt' s =E /lG G++
7 , -.3in> > >).GE% & & &
# # # HOOE " " " " " " #s A
$A21A2c 6 | j j j |||fi |S r2 )rF r r0 r r. r r+ kwdss r r0 zDescription.error5 s% !tx|!#tY??$???r c N | j s d| _ | d S d S Nr ) is_lookupedresolve_aspectsr s r r z Description.resolve_lookuped8 s7 # D " " " " " # #r c . | d S r2 )r r s r r zDescription.resolve_tgt= s
r r c g }| dd }|dv rn| j D ]+}| | | ,|dk r5| j D ]+}| | | ,|S |f|z }| j D ]4}|j |v r)| | | 5|S )N _)r rO r )r? argsr r$ r r )r rN tagsalas r find_aspectszDescription.find_aspects@ s
kk#s## , Y
""$$$ ! czz ! !A&&(((IIaLLLL v} Aw$""$$$ ! r c g }| j D ]+}| | | ,| j D ]4}|j dv r)| | | 5|S )N) rO seqrepeataltr optionalskey_argdrawno_arg)r r r$ r r )r r r s r find_arg_aspectsz Description.find_arg_aspectsS s
A
IIaLLLL Aw - - -""$$$ ! r c x g }| d D ]!}|j dv r| | !"|S )Nr ) attributemappingkindeitherkind_of superkind superkind_of)r r r$ )r kasr s r find_kind_aspectsz Description.find_kind_aspects_ sQ $$S)) Cy - - -
3
r c |S r2 r" )r descrss r merge_policyzDescription.merge_policyi s
r c V | j s!| j | j | S | S r2 )r the_less_specific_descrget_descr_for_aspect)r aspects r r z Description.get_descr_for_aspectl s1 | M < H/DDVLL L r c 0 | d }g }|D ]{}|j dv r$| t | | /|j dv rC|| ur?t | | }| D ]}| ||z ||S Nr )
r r r operatorinplace_operatorreverse_operatorfunction_operatordelitemgetitemsetitem)r r
subkind_of)r r r$ beamget_atom_beams)r r aksr r bs r r zDescription.get_atom_beamsq s ##C(( & &Cy
4c??++++ ???CtOOsOO ++-- & &AJJq1u%%%%
r c || d }g }|D ]U}|j dv r| | !|j dv r+|| ur'| | V|S r )r r r$ r3 get_atom_kinds)r r r r s r get_aspects_kindz Description.get_aspects_kind s ?'',,G 1 1Cy
3 ???CtOO
3--//000
r c Z | | g| d z S )Nr )r r r s r r
zDescription.get_atom_kinds s+ $$dVd.?.?.D.D%DEEEr c g }| d }|D ])}| | *|S Nexample)r r3 get_examples)r get_allexamplesexsexs r r zDescription.get_examples sM ** / /B OOBOO - - . . . .r c $ | d r\ fd D }|s& d j j t
j j j | S j j S )Nr c N g | ]!}j j | "S r" )r
RESingle).0xr s r
z&Description.get_re.. s+ HHHqTX[''**HHHr z+Test coverage error: no examples specified.)
r< r r0 r r
CoverageErrorr
r Unionr )r optexress ` r get_rezDescription.get_re s 77> " " ,HHHHD4E4E4G4GHHHE
*
H 8=(* * * %48;$e, ,8;%%d++ +r c g }|D ]Gfd|D }|D ] }|u r n-| r n | H|S )Nc > g | ]} | |S r" )is_more_specific_than)r r r8 s r r z8Description.get_most_specific_descrs.. s, DDD)@)@)C)CD1DDDr )r# r$ )r r ndsr r8 s @r get_most_specific_descrsz$Description.get_most_specific_descrs s ADDDDcDDDC
66E**1-- E
1
r c | j S r2 )rF r s r get_packagezDescription.get_package s xr c J | j }||u p|d uo| | S r2 )r r# )r r8 rs r r# z!Description.is_more_specific_than s0 (AvG!4-FA,C,CA,F,FGr c $ fd | S )Nc | d }|r>t | dk sJ |d j j j S | j dk r | j S d S )Nr r r r )r r^ r r rO rP r r )esafinds r r. z'Description.get_self_name..find sn ''B
22ww!||||!uy~)//111w)##tAE{{"4r r" )r r. s @r
get_self_namezDescription.get_self_name s, tDzzr c | d }|s | d| j z d S |D ]}| | d S )N descriptionz)r gen_textr gen_doc)r outrc r8 s r gen_description_docz Description.gen_description_doc sh
}
-
- LL1D4DD E E E E E
#
r c | j S r2 r r s r get_id_namezDescription.get_id_name r c | j S r2 r7 r s r
get_link_namezDescription.get_link_name r9 r c | j S r2 r r s r get_local_namezDescription.get_local_name r9 r c | j S r2 r7 r s r
get_test_namezDescription.get_test_name r9 r c | j S r2 r7 r s r get_namezDescription.get_name r9 r c | d }|s| j }n#|j j j }|S )NrE )r r r r rO rP )r nrE s r get_NamezDescription.get_Name sC f % % *#DD5:>''))D r c 6 | j | S r2 )rF get_descr_by_subjectr s r rG z Description.get_descr_by_subject s x,,W555r c v i | _ g | _ i | _ |s!| | j j d S d S r2 )r r r r r )r only_varss r init_localviewzDescription.init_localview sI > + +DH,< = = = = = > >r c j j r fd j j D _ d S )Nc D g | ] }j | S r" )r rG )r rO r s r r z/Description.resolve_aspects.. s> / / / 66 / / /r )rJ r r resolve_specialr s `r r zDescription.resolve_aspects sg 8= // / / / $
/ / /DI r c d S r2 r" r s r rM zDescription.resolve_special s r c x | j j j }| j rd| j j z |S )NzNo children expected for %r)r r rO rP r rN r rO s r get_the_one_argumentz Description.get_the_one_argument s8 hm %%'' < : )DIM 9 9
r c * g fdt | dk r|d j dk r|d S |D ]
} | }t }d|_ ||_ dd d |D z |_ d|_ |S )Nc | j dk r$| D ]
} | d S | d S )Nr )r r r$ )r k1flattenkss r rU z/Description.make_and_test_kind..flatten sY w& --// BGBKKKK ! r r r r (%s)&c g | ] }|j
S r" r7 r r s r r z2Description.make_and_test_kind.. +I+I+IaAM+I+I+Ir )r^ r Kindr ra r r )r kindsr rU rV s @@r make_and_test_kindz Description.make_and_test_kind s
JJ!OOa& 8 88O A GAJJJJ FF #((+I+I5+I+I+I"J"JK
r c t | dk r|d j dv r|d S t }d|_ ||_ dd d |D z |_ d|_ d|_ |S ) Nr r r r r rW rX c g | ] }|j
S r" r7 rZ s r r z-Description.make_and_kind.. r[ r T)r^ r r\ r ra r r is_syntheticr r] r s r
make_and_kindzDescription.make_and_kind s| JJ!OOa1D D D8O FF #((+I+I5+I+I+I"J"JK
r c t | dk r|d S t }d|_ ||_ dd d |D z |_ d|_ d|_ |S )Nr r r rW |c g | ] }|j
S r" r7 rZ s r r z,Description.make_or_kind..) s /M/M/M!
/M/M/Mr T)r^ Superkindr r ra r r rb rc s r make_or_kindzDescription.make_or_kind" sk u::??8O A AG AI "chh/M/Mu/M/M/M&N&N OAM AM !ANHr r2 r Fr )/r r r r d_subd_typed_is_defr rb r r r r r r r0 r r r r r r r r r r
r r r% r' r# r/ r5 r8 r; r> r@ rB rE rG rJ r rM rQ r^ rd ri r" r r r r sy K E
FHKL "
D 6 / / / / #m @ @ @ @# # #
&
F F F , , , H H H
6 6 6> > > >
.
r r c e Zd ZdZdZd ZdS )
Definitionr
definitionc | j |_ |j dk r
| j |_ n |j | j k rt d | | j d S )NimportzDifferent description tag)r r ImportErrorr r r r s r export_aspectszDefinition.export_aspects3 s_
9
CIIyDJ&& ""=>>> 4<(((((r N)r r r rn rm rv r" r r rp rp / s- H
F ) ) ) ) )r rp c e Zd ZdZdZd ZdS )DescriptionDescription)textr1 c : | j | d S r2 )r
arg_accept)r r4 s r r3 z DescriptionDescription.gen_docC s $$$$$r N)r r r rl r r3 r" r r rx rx ? s- E E% % % % %r rx c e Zd Zd ZdS )Defaultc | j j d }|d }d |dd }| d | d | d | d | | | | | d | | | j | | | d d S ) N
r r dldtstrongz Default: dd) r rO rP splitra openr2 closechildren_accept)r r4 arglinesdefaultrests r r3 zDefault.gen_docH s
<#))++11$771+yy!"" && [!!! W T $$S))) $r Nr r r r3 r" r r r} r} G s# r r} c e Zd Zd ZdS )DescriptionWithHeaderc | j j d }|d }d |dd }| d | | | d | | | j | | | d S )Nr r r r r )
r rO rP r ra r gen_outer_dtr2 r r )r r4 r headerr s r r3 z DescriptionWithHeader.gen_doc[ s <#))++11$77!yy!"" && T $$S))) r Nr r" r r r r Z s# r r c e Zd ZdZdS )CommentcommentN)r r r r r" r r r r i s EDr r c $ e Zd ZdZd Zd Zd ZdS )Either with_argsc " t | gS r2 r r s r r zEither.get_atom_beamsq s T
|r c | gS r2 r" r s r r
zEither.get_atom_kindst v
r c * | S r2 )r r s r
get_alt_kindszEither.get_alt_kindsw s %%'''r N)r r r rm r r
r r" r r r r n sF
F ( ( ( ( (r r c e Zd ZdZd Zd ZdS )Import)from
resolve_byusingr conditionr1 r constructorr methodr r r r r r r r r c d _ j j j j j j j j f \ j j } fd j j D }t | dk r |d }n3t |t d |D j j
}|j _ j j
j j z _ | _ d | j j d S )Nr c t g | ]4\ }}j || 5S r" )rF rH get_descr_by_name)r from_name from_noder
using_name
using_nodes r r z&Import.resolve_tgt.. sU @ @ @(9i h%%i;;
J77@ @ @r r c g | ] }|j
S r" )r rZ s r r z&Import.resolve_tgt.. s 1D1D1DA!%1D1D1Dr )rI )r r
imp_using_mapr< r r imp_fromsr^ ProductProductSubjectimp_resolve_moder r
r r r r rJ rv r r r )r import_noderc r8 r r s ` @@r r zImport.resolve_tgt s^ !%!7!;!; H 148= A"C "C
Jhm @ @ @ @ @ @,0H,>@ @ @ r77a<<1AAb.1D1D1D1D1D"E"E 13 3A 5 8.tx/@@'($ a((( ''(8999
r c d S r2 r" r s r r zImport.resolve_aspects r N)r r r rl r r r" r r r r { s9
E 0
r r c e Zd Zd Zd Zd ZdS )r c
|| _ |j | _ || _ || _ |j | _ |d j }|dd D ]r}|j |urg| dd|j j d|j j d|d j j d|d j j d z dz |j j s|| _ || _ d S ) Nr r z4Import error when importing from multiple packages:
z Can not make a product of z (tgt = z) with z)
z because of different targets.)
r r
r moderF r r0 r r rc )r r rc r r r r8 s r r zProduct.__init__ s 7 7eiABB ' 'AuC
RR u~~~qu~~~r!uy?Q?Q?QSUVWSXS\SeSeSe g g = = 5: ' ' ' r c D | j D ]}| | d S r2 )rc rv )r r r8 s r rv zProduct.export_aspects s4 " "A
S ! ! ! ! " "r c R | j D ] }||u s| | r dS dS )NTF)rc r# )r r8 r s r r# z Product.is_more_specific_than s? AAvv0033vtt ur N)r r r r rv r# r" r r r r sA &" " " r r c e Zd Zd ZdS )rk c V || _ | | _ |j | _ || _ || _ d S r2 r r s r r zPackageDescription.__init__ s+ 7r Nr r r r r" r r rk rk s# r rk c e Zd ZdZd Zd ZdS )ErrorDescriptionr0 c || _ d S r2 )r r r s r r zErrorDescription.__init__ s
r c dS )Nz.r" r s r r8 z ErrorDescription.get_id_name s r N)r r r r r r8 r" r r r r s7 E ! ! ! ! !r r c R e Zd ZdZd Zd
dZd Zd
dZd Zd Z d Z
d
Z d Z d Z
dS )Package)andr r documentrs r macror c 6 t | j di}| j g}t | j D ]S}| }|D ]:}t | |vr'd|t | < | | ;T|S r )idr r= r values get_tgtdictsr$ )r seentgtdictspsdssds r r zPackage.get_tgtdicts s 4< !$L>d,335566 ( (A..""C
(
(b66%%#$DBL OOB'''
( r Nc | | j j r| || S | }| d }|D ]t} |j | }nO# t $ rB |sJ | j d|d| d|t Y nw xY w| u|S )Nr: z Undefined: in r+ )
startswithr
r get_descr_by_tgt_namer r KeyErrorr r0 r8 UndefinedErrorr )r rE r r, partsparts r r zPackage.get_descr_by_name s ??48. / / =--dG<< <
3 ! !D
.K%
.
.
. w.2ddAMMOOOODg , . . . . .
.
s
A A B,+B,c |j }| | j dz r2|t | j dz d }n | d|z |j | ||j S )Nr: r z
Undefined: %r)r r r r^ rP r0 r r r r rE s r rG z Package.get_descr_by_subject s ??4+C/ 0 0 =D ,--a/0017799DD JJ-w| < < <%%dGL999r c | }g }|D ]L}||v rF|| }| | d }| | M|s | d|z |t
| | }t | dk rT| | }t | dk r,| d|dd |D |t |d S )Nr zNo definition of tgt %rr z Conflicting descriptions of r c & g | ]}|j j S r" )r r )r r8 s r r z1Package.get_descr_by_tgt_name..
s :::a15>:::r r )
r r r r$ r0 r r% r^ r r )r rE r r r tgtdictr8 s r r z Package.get_descr_by_tgt_name s- $$&& ! !GwDM""$$$**3//
a 6 JJ0 $n
6
6
6..v66 v;;??&&v..F6{{Q
DD::6:::: <"$ $ $
ayr c | j j S r2 )r r r s r get_filenamezPackage.get_filename s
x r c | S r2 r" r s r r' zPackage.get_package s r c i | _ d S r2 )r r s r r zPackage.resolve_tgt s
r c < i | _ | d S r2 )r rJ r s r r zPackage.resolve_aspects s" !# r c | j | }|%| j || }|| j |< |S r2 )r r< r rH )r rE r rF s r rH zPackage.import_package sF $((.. ;())$88C+.D "4 (
r c g }| j j D ]>}|j }| j j || }| | ?|S r2 )r r6 r r
Documentr r$ )r r6 docr s r r zPackage.get_documents' sY 8% " "C8D(#,,T488C S ! ! ! !r r2 )r r r rl r r rG r r r' r r rH r r" r r r r s
E ": : : .! ! ! r r c H e Zd ZdZd Zd Zd Zd Zd Zd Z d Z
d Z d
Z d S ) Attribute) r r r1 description_with_headerr r r r r c R | j |_ | | j d S r2 )r r r ru s r rv zAttribute.export_aspects5 s'
4<(((((r c | j S r2 r r s r
get_attr_namezAttribute.get_attr_name9 r9 r c | j S r2 r r s r rB zAttribute.get_name< r9 r c T | }| | S r2 )r rd r r s r get_kindzAttribute.get_kind? s' $$&&!!#&&&r c | }|j dk rB| }t | dk r |d }nt d| z |j S )Nr r r z$Don't know how to name this kind, %r)r r r r^
ValueErrorr )r r r s r
get_kind_namezAttribute.get_kind_nameC sc MMOO 7i %%''C3xx1}}F !G$!NOOO} r c | | j j d| j j }|S Nr: )rG r parentr; r )r r s r r; zAttribute.get_link_nameM sG 00 HO *]__- -.2h.?.?
Ar c T | }| | S r2 )r r^ r s r
get_test_kindzAttribute.get_test_kindS s' $$&&&&s+++r c X | d o| d S )Nr r r r s r is_methodzAttribute.is_methodW s1 !!),, 1%%i000 2r c * | S r2 )r r s r get_op_namezAttribute.get_op_name[ s !!###r N)
r r r rl rv r rB r r r; r r r r" r r r r 1 s
?E) ) ) ' ' ' , , ,2 2 2$ $ $ $ $r r c e Zd ZdZdZdS )KindOfr r" Nr r r rm rl r" r r r r _ s
F EEEr r c e Zd ZdZdZdS ) SubkindOfr )r1 Nr r" r r r r d s
F EEEr r c e Zd ZdZd Zd ZdS )r\ )r r r1 r r r r r r r r r r r r r r c , | d S )Nr r r s r get_attributeszKind.get_attributess s ---r c , | d S )Nr r r s r get_mappingszKind.get_mappingsv s +++r N)r r r rl r r r" r r r\ r\ i s9
E. . ., , , , ,r r\ c e Zd ZdZd ZdS )rh )r r1 r r c | j S r2 r= r s r r> zSuperkind.get_local_name} r9 r N)r r r rl r> r" r r rh rh z s( AE r rh c e Zd ZdZddZdS ) SuperkindOfr r c 4 t | | }t | |k ri| D ]T}|| u r| | |t | z
t | |k r nU|S r2 )r r r^ r r3 )r enoughr kas r r zSuperkindOf.get_examples s ++D&99 x==6 ! !,,..
:: s8}}0D E EFFFx==F**E +r N)r )r r r rm r r" r r r r s-
F r r c < e Zd ZdZddddddZd Zdd
Zd Zd Zd
S )Exampler r1
in_context'''""")]})r r ([{c | j j S r2 )r ex_textr s r get_ex_textzExample.get_ex_text s
x r Fc | gS r2 r" )r r s r r zExample.get_examples r r c | d }|sdS |d j j j S )Nr r r )r r r rO rP )r r s r get_ctx_textzExample.get_ctx_text s? -- 21vz"((***r c |S r2 r" r r s r get_use_textzExample.get_use_text s r Nrj ) r r r rl partabr r r! r$ r" r r r r su 4E F + + + r r c e Zd ZdZdS ) InContextr Nr r r r r" r r r' r' KKKr r' c e Zd ZdZd ZdS )Definesr c @ d | d D S )Nc g | ] }|j
S r" r7 rZ s r r z1Defines.get_defined_tgt_names.. s @@@!
@@@r rO r r s r get_defined_tgt_namesz Defines.get_defined_tgt_names s$ @@t'8'8'?'?@@@@r N)r r r rm r. r" r r r+ r+ s-
FA A A A Ar r+ c e Zd Zd Zd ZdS )Macroc 6 | j |_ | j |_ d S r2 )r r ru s r rv zMacro.export_aspects s
l r c n | j j dd| j j | j j S )Nblockr )r
rz node_of_tacir rR r )r optionss r usez Macro.use s5 x!.. R . 0BD D Dr N)r r r rv r6 r" r r r0 r0 s7 # # #D D D D Dr r0 c e Zd ZdZdS )Selfr Nr( r" r r r8 r8 r) r r8 c F e Zd ZdZdZd Zd Zd Zd Zd Z d Z
d Z d
Z d S ) Mappingr )r rO r r r1 r equationr r r precondition
postconditionr returnsr r c
| i }| }|D ]+} |_||k rYt | |k rF| d| j |d|dk d t | fz | j j n|Yt | |k rF| d| j |d|dk d t | fz | j j nZ|Xt | |k rE| d| j |d|dk d t | fz | j j # t $ r Y )w xY wd 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_resequnir^ r0 r r r r )r minmaxrexsr s r chk_num_argszMapping.chk_num_args s
b
!
!
YY[[ A
?sczzc!ffmmJJF JS^SVVJE E
' ' ' '
_Q# JJO JS^SVVSE E
' ' ' '
_Q# JJN JS^SVVRE E
' ' ' !
' s DE
EEc g }| d D ])}| t |j *|S )Nr )r r3 r= r )r akr s r
get_arg_kindszMapping.get_arg_kinds sF
""6** $ $A IId16ll # # # # r c ddi} | }d} | }nl# j j j $ rU t d j z t d|z | | }| }Y nw xY w fd|D }|S # t $ r g cY S w xY w)Nr Tr z#Infinitely long args example for %sz;Limiting by expanding each Cleene closure 0 up to %d times.c N g | ]!}t t | "S r" ) ArgsExampletuple)r r mapnamer top_kinds r r z-Mapping.get_args_examples.. sI 4 4 4+, $D%+ +X' ' 4 4 4r ) r@ rA r
r
InfiniteErrorr r limitedr )r rN rO r rD coveragerE r s ``` r get_args_exampleszMapping.get_args_examples s !4(C!!#&&BH
!YY[[8;,
!
!
!;d>NNOOOQT\\^ ^ ^ZZ))YY[[
! 4 4 4 4 4 4024 4 4H
O III s2 B4 6 B4 A&B B4 B B4 4 CCc g }| D ]}|j }|dk r| }||v r | || }nK| }|s-| d|j j z |j j |d }|
| J t | t | |j
|j S )NrO ziTest coverage error: Can not create precondition for %r
-- no examples specified for the argument above.r )r r rB
get_arg_valuer r0 r r r r r$ rL rM rN rO ) r r matcharglistr rS rE r r s r get_args_for_argszMapping.get_args_for_args s &&(( AAEzzzz||5== **5;77AA ))B
I LP LX Ld d EJ 1Aq!!!!q 4w t}MMMr c | j j j }| D ]}|| | z
}|S r2 r
r Epsilonr r r r rD r s r r@ zMapping.get_args_re D
X[
&&(( A !((3-- BB r c * | S r2 r r s r
get_argumentszMapping.get_arguments% s $$&&&r c f | d | d D S )Nc 6 g | ]}| S r" )r rZ s r r z+Mapping.get_return_kind..* s "V"V"VA1::<<"V"V"Vr r> )rd r r s r get_return_kindzMapping.get_return_kind) s3 !!"V"V9J9J99U9U"V"V"VWWWr c f | d | d D S )Nc 6 g | ]}| S r" )r rZ s r r z0Mapping.get_return_test_kind..- s" '`'`'`a(9(9'`'`'`r r> )r^ r r s r get_return_test_kindz Mapping.get_return_test_kind, s4 &&'`'`4CTCTU^C_C_'`'`'`aaar N)
r r r rm rl rF rI rS rX r@ r` rc rf r" r r r: r: s
F
E 2 0N N N0 ' ' 'X X Xb b b b br r: c > e Zd Zd Zd Zd Zd Zd Zd Zd Z d Z
d S )
rL c f || _ || _ | _ || _ fd|D | _ d S )Nc & g | ]
} | S r" r" )r r rN s r r z(ArgsExample.__init__..6 s! ---AWWQZZ---r )r egsrN rO negs)r r rj rN rO s ` r r zArgsExample.__init__1 s>
------- r c 6 d | j S )NrY )ra rk r s r __str__zArgsExample.__str__8 s yy###r c d}| j D ]N}|j }|dk r(| |k r| j | c S nt d|z |dz
}Od S )Nr rO zNo argument matches: %rr )r r r rB rj ConditionError)r rE ir rS s r rU zArgsExample.get_arg_value; s
..00 AAEzz::<<4'' 8A;&&& ( %%>%EFFF
FAA r c 6 | j d S Nr< r r r s r get_preconditionsz ArgsExample.get_preconditionsF s |(( 888r c 6 | j d S Nr= rs r s r get_postconditionsz ArgsExample.get_postconditionsI s |(( 999r c | }|sg S | j }| j }| d }|r| d D ]}| d D ]}| d }|r| | d }|=| | | }t
| | gc c S d S g S )Nr< r r r= )rt rO r r match_torX SetUpr ) r presr mapr mmprerV r s r get_setups_for_preconditionsz(ArgsExample.get_setups_for_preconditionsL s %%'' I}l // &&{33
22 A >>.99D ! MM!.. *I*I J JE ( 2 24 ? ? %aoo&7&7 > > ?????? ) t r c d S r2 r" )r r s r
match_to_kindzArgsExample.match_to_kindi r r c R i }| D ]}|D ]}|j |j k rot |j t |j k r=i }t |j |j D ]\ }}||v r n |||< | | n d S d|vsJ |S )N,)rt cond_idr^ arg_namesziprv )r postsrV preposupdr r s r ry zArgsExample.match_tol s ))++ C
;#+--3=))S -?-??? C #CM3= A A 1 :: !E!"A S))) tt % r N) r r r r rm rU rt rw r r ry r" r r rL rL 0 s . . .$ $ $ 9 9 9: : : :
r rL c e Zd Zd Zd Zd ZdS )rz c " || _ || _ d S r2 )rE r )r rE r s r r zSetUp.__init__ s r c | j S r2 rE r s r rB zSetUp.get_name
yr c | j S r2 )r r s r get_argszSetUp.get_args r r N)r r r r rB r r" r r rz rz sA r rz c & e Zd ZdZdZdZd Zd ZdS )Operatorr r ) rO r r1 r r; r= r< r r> c H | j j j S r2 r r rO rP r s r r zOperator.get_op_name x} &&(((r c 2 | dd d S r rF r s r rM zOperator.resolve_special !Q r N)r r r rn rm rl r rM r" r r r r sC H
F
"E
) ) ) r r c e Zd ZdS )ReverseOperatorNr r r r" r r r r Dr r c e Zd Zd ZdS )FunctionOperatorc 2 | dd d S r r r s r rM z FunctionOperator.resolve_special r r Nr r r rM r" r r r r s# r r c e Zd ZdS )InplaceOperatorNr r" r r r r r r r c " e Zd ZdZdZd Zd ZdS )SetItemr )rO r r1 r r; r= r< r c dS )Nz[]r" r s r r zSetItem.get_op_name tr c 2 | dd d S N r r s r rM zSetItem.resolve_special !T"""""r N)r r r rm rl r rM r" r r r r s>
F
E
# # # # #r r c e Zd Zd ZdS )DelItemc 2 | dd d S r r r s r rM zDelItem.resolve_special r r Nr r" r r r r # # # # # #r r c ( e Zd Zej dz Zd ZdS )GetItem)r> c 2 | dd d S r r r s r rM zGetItem.resolve_special r r N)r r r r rl rM r" r r r r s/ MM )E# # # # #r r c 8 e Zd ZdZdZd Zd Z ee ZdS ) Conditionr )r rO r r1 python_codec g }| d D ]A}|j dv r6| |j j j B|S )Nr rP )r r r$ r r rO rP )r anr s r
get_arg_nameszCondition.get_arg_names s[
""3'' 2 2Aw/)) !%*...00111 r c | j j }|S r2 )r r )r dns r get_def_namezCondition.get_def_name s
X
r N) r r r rn rl r r propertydef_namer" r r r r sG H DE x %%HHHr r c e Zd ZdZdS )
PythonCoder Nr r r rl r" r r r r s 4EEEr r c @ e Zd ZdZd Zd Z ee Zd Zd Z dS ) ConditionRefr r1 c f | j S # t $ r t | cY S w xY wr2 ) cond_exprr r __repr__r s r r zConditionRef.__repr__ sD .> ! . . . ''-- - - - .s $00c D | j j }| j rd|z }|| _ |S )Nnot )cond_definitionr is_notr )r r s r get_cond_idzConditionRef.get_cond_id s- &2 ; ' w&G r c | j S r2 )r r s r get_definitionzConditionRef.get_definition s ##r c ( | j j }| j | | _ |j j dz |j z | _ | j j j | _
| j j | _ | j j | _ d S r )
r r r rG r r
cond_doc_namer rO rP r r r )r cond_defs r rM z ConditionRef.resolve_special ss 8+ #x < O O *0022 +ho r N)
r r r rl r r r r r rM r" r r r r sg 'E. . . {++G$ $ $& & & & &r r c e Zd Zd ZdS ) PreconditionNr r r doc_namer" r r r r s HHHr r c e Zd Zd ZdS )
PostconditionNr r" r r r r s HHHr r c e Zd Zd ZdS ) PostcondCasec 6 | t _ |t _ d S r2 )r postcond variables)r r s r r zPostcondCase.__init__ s
"r Nr r" r r r r s# # # # # #r r c e Zd ZdZdZdS ) Constructorr r Nr r" r r r r s
F 'EEEr r c e Zd ZdZdS )Equation)r r1 r< r= Nr r" r r r r
s GEEEr r c e Zd ZdZdZd ZdS )Argsr )r r1 r c | j j j }| D ]}|| | z
}|S r2 rZ r\ s r r z Args.get_re r] r N)r r r rm rl r r" r r r r s-
F 5E r r c e Zd Zd ZdS )NoArgc $ | j j j S r2 )r
r r[ )r r s r r z NoArg.get_re s x{""r N)r r r r r" r r r r r r r c , e Zd ZdZd Zd Zd ZddZdS ) Arg)r r r1 r rE c P | | S r2 )ri r r s r r z Arg.get_kind$ s" !7!7!9!9:::r c N | S # t $ r Y dS w xY wN?) get_arg_namer r s r rB z Arg.get_name' s; $$&& & 33 s
$$c | j j S r2 )r specified_namer s r r zArg.get_arg_name- s
x&&r Fc
g }| d }|D ])}| | *|r|r;| }| | |S r )r r3 r r )r r r r r r s r r zArg.get_examples0 s ** / /B OOBOO - - . . . . .g .
A OOANN , , - - -r Nrj )r r r rl r rB r r r" r r r r ! sZ KE; ; ; ' ' ' r r c & e Zd Zd Zd Zd Zd ZdS )KeyArgEGc " || _ || _ d S r2 )rE eg)r rE r s r r zKeyArgEG.__init__< s r c 4 | j S r2 )r r r s r r zKeyArgEG.get_ex_text@ s w""$$$r c 4 | j S r2 )r r! r s r r! zKeyArgEG.get_ctx_textC s w##%%%r c | j d|S )N=r r# s r r$ zKeyArgEG.get_use_textF s )))QQ''r N)r r r r r r! r$ r" r r r r ; sP % % %& & &( ( ( ( (r r c e Zd ZddZdS )KeyArgFc z | fdt | | D S )Nc 0 g | ]}t | S r" )r )r r rE s r r z'KeyArg.get_examples..Q s# MMMrr""MMMr )r r r )r r rE s @r r zKeyArg.get_examplesO s> ""MMMMS-=-=dG-L-LMMMMr Nrj )r r r r r" r r r r J s.
N N N N N Nr r c e Zd ZdZd ZdS )Draw)r r1 r r c | j j j }| D ]#}| | | d z
}$|S r rZ r\ s r r z Draw.get_reW sN
X[
&&(( % %A -!((3--$$ $BB r N)r r r rl r r" r r r r T s( :E r r c e Zd ZdZdZd ZdS ) Optionals)rO r r r r r c P fd S )Nc | sj j j S | d | dd z d S )Nr r r )r
r r[ r )r r opt_rar s r r z Optionals.get_re..opt_rac sQ
+x{**@GAJ%%c**VVGABBK-@-@@#FF Fr r_ )r r r s ``@r r zOptionals.get_reb sM G G G G G G G vd++--...r Nr r r rl rm r r" r r r r ^ s- :E
F/ / / / /r r c e Zd ZdZd Zd ZdS )Repeat)r rO r r r1 c H | j j j S r2 r r s r get_argzRepeat.get_argm r r c 2 | }|s | d| j j |d | }|dd D ]}|| | z
}| }d}||v r| | }t | dk r#| d|z | j j d |D \ }} t | }n0# t $ r# | d| j j Y nw xY w| d k rA t | } nt# t $ r# | d
| j j Y nHw xY wnC t | }n0# t $ r# | d | j j Y nw xY w|} |dk s | d k r&| dk r | d | j j | d k r# |d }
t | D ]} ||
z }
n| |k r | d
| j j | j j j
}t | D ]} ||z
}| j j j
} t || D ]} || z d } || z }
|
S )NzNo argument aspects.r r z..r z More than one %r in argument.c 6 g | ]}| S r" rP rZ s r r z!Repeat.get_re.. s ...Aaggii...r 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 r0 r r r r r r^ intr ranger
r r[ )
r r r rD r rO rB r lohiresrp r s
r r z
Repeat.get_rep s ##%% > JJ-tx} = = =
V]]3
QRR A !((3-- BBllnn #::99S>>D4yyA~~
: $
/ / /.....FB
JWW
J
J
J
948=IIIII
JSyy. RBB! . . .JJ B #x}. . . . ..
TXX
T
T
T
CTX]T T T T T
T B
66bCiiBFF JJ@x}
&
&
& 99"S''C2YY
3h
Bww
A 8=* * * #A2YY
R #A2r]]
"
"R!VSMMa%C
s6 ,C< <*D)(D)3E *E0/E05F *F21F2N)r r r rl r r r" r r r r j s7 >#&&'''' Jr c e Zd Zd Zd ZdS )Beamc V |d | _ |d | _ || _ || _ d S )Nr )r r k_tagobjects)r r$ r% s r r z
Beam.__init__ s* 1:2;
r c " t | | S r2 )compose)r r s r __add__z Beam.__add__ s tU###r N)r r r r r( r" r r r! r! s2 $ $ $ $ $r r! c e Zd ZdS )KindBeamNr r" r r r* r* r r r* c e Zd ZdS ) AtomKindBeamNr r" r r r, r, r r r, c e Zd ZdS )KindMappingBeamNr r" r r r. r. r r r. c R e Zd ZdZdZd Zd Zd Zd Zd Z d Z
d Z d Z d
Z
d Zd S )
KindOpBeamr c F t | d S )Nr; r
get_op_seqr s r find_equationszKindOpBeam.find_equations s !$//"3"3Z@@@r c F t | d S rv r2 r s r find_postconditionsz KindOpBeam.find_postconditions s !$//"3"3_EEEr c F t | d S rr r2 r s r find_preconditionsz KindOpBeam.find_preconditions s !$//"3"3^DDDr c l | j d }| || S r )r%
get_the_oprS )r rN rO s r rS z KindOpBeam.get_args_examples s- <? 227HEEEr c J | j | j S r2 )r%
op_name_indexr8 r s r get_op_id_namezKindOpBeam.get_op_id_name |D ./;;===r c J | j | j S r2 )r% r< r r s r r zKindOpBeam.get_op_name r> r c * | j | j d S r2 r% op_indexr s r r3 zKindOpBeam.get_op_seq
s |DMNN++r c N | S r2 )r: r/ r s r r/ zKindOpBeam.get_self_name
s ..000r c & | j | j S r2 rA r s r r: zKindOpBeam.get_the_op s |DM**r c N | S r2 )r: rf r s r rf z KindOpBeam.get_return_test_kind s 55777r N)r r r rB r< r4 r6 r8 rS r= r r3 r/ r: rf r" r r r0 r0 s HMA A AF F FE E EF F F> > >> > >, , ,1 1 1+ + +8 8 8 8 8r r0 c e Zd Zd ZdS )KindAttributeBeamc J r2 r" r s r r: z KindAttributeBeam.get_the_op s qr N)r r r r: r" r r rG rG s# r rG c e Zd ZdZdS )KindAttributeMappingBeamr N)r r r rB r" r r rJ rJ s HHHr rJ c e Zd Zd ZdS )r. c dS )Nz()r" r s r r zKindMappingBeam.get_op_name! r r N)r r r r r" r r r. r. s# r c e Zd ZdZdZdS ) KOKOpBeamr N)r r r rB r< r" r r rN rN % s HMMMr rN c $ t | dd S r r )r% s r subkind_of_kindrP * r c | j |j urd| j d|j | j |j dd z }t | S )NzComposition error, tgt z is not src r )r r r% r )r r r% s r r' r' . sI uAE;<555!%%HHi!)ABB-'G >r c 8 t |d g|dd R S )Nr r r$ r% s r
remove_1_2rV 6 s$
)WQRR[ ) ) ))r c $ t |dd S r r rU s r remove_0rX : 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 r )r )r r )r r r )r r )r r r r r )r r r )r r )r r )r r )r r )r r r` )r r r r )r r )r r )r r )r r )r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r r r )r r )r r r )r r r )r r r )r r r )r r r )r r r )r r r )r r r )r r r )r r ) )r r r )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 ` t d | D }t | } ||g| R S )Nc g | ] }|j
S r" )r rZ s r r zbeam.. s ,,,q17,,,r )rM
beam_table)r% r$ Cs r r r s@ ,,G,,, - -E5A 1U W r c e Zd Zd ZdS )r c b || _ dd d |D z | _ d S )NrW r c g | ] }|j
S r" r rZ s r r z+ProductSubject.__init__.. s *H*H*H!1:*H*H*Hr )r ra r )r r s r r zProductSubject.__init__ s4
*H*Hx*H*H*H!I!II
r Nr r" r r r r s( J J J J Jr r c e Zd ZdZdZd Zd Zd Zd Zd Z d Z
d+d Z d
Z d Z
d+d Zd
ZdefdZd Zd,dZd,dZd Zd Zd Zd Zd+dZd Zd Zd Z d Z d-d Z d Z d Z d Z!d! Z"d" Z#d# Z$d$ Z%d% Z&d& Z'd' Z(d( Z)d) Z*d* Z+dS ).Subjectr" Nc || _ |j | _ | j j | _ || _ | j j | _ || _ g | _ i | _ d| _ |j | _ | j
|j | _ d | _ | j | ur&| j
| j | _ d S | j | _ d S r )r rF r
r r r r r
node_indexrN get_description_classr aspect_modemake_child_namer )r r r r s r r zSubject.__init__ s :8< )
8!%!?!?!I!I ;d " " K 7 7
F FDMMM MDMMMr c j | |d }|D ]}| || d S )Nr rB get_arglistadd_new_subjectr r namesrE s r _visit_type_definitionz Subject._visit_type_definition sL 1 -- - -D t , , , , - -r c | j j j |j }| |d }|D ] }|d|}| || d S )Nr ri r )r
rz reverse_node_aliasesrN rk rl )r r shtagrn rE s r _visit_type_operatorz Subject._visit_type_operator sp "7A 1 -- - -D #eeTT*D t , , , , - -r c 0 | | d S r2 )rl r r s r _visit_type_otherzSubject._visit_type_other T"""""r c } fd|D } }|r ||_ d S d S )Nc < g | ]} | S r" find_subjectr rE r r s r r z1Subject._visit_type_with_args.. ) @@@$!!$--@@@r rk rl r r r rn r r s `` r _visit_type_with_argsz Subject._visit_type_with_args sc &&@@@@@%@@@&&t,, GLLL r c d } fd|D } }|r ||_ d S d S )Nr ri c < g | ]} | S r" rz r| s r r z5Subject._visit_type_with_opt_args.. r} r r~ r s `` r _visit_type_with_opt_argsz!Subject._visit_type_with_opt_args sh 1 --@@@@@%@@@&&t,, GLLL r c \ | || }| | |S r2 ) new_subject add_subjectr r r r s r rl zSubject.add_new_subject 0 ""422 !!!r c X | | | |S r2 ) def_subject add_top_noder s r r zSubject.add_subject s- !!! r c > | j }| | d S r2 )r _visit_childrenru s r r zSubject.add_top_node s# y T"""""r c \ | || }| | |S r2 )r r r s r def_new_subjectzSubject.def_new_subject r r c |j j rZ|j }|| j v r8| d|z |j d|z | j | j fg d S ||_ || j |< nd |_ | j | d S )NzRedefinition of %r.zPrevious definition of %r.)r, ) r rn r r r0 r r r r$ r s r r zSubject.def_subject s $ -
$#Dt}$$
047 ;d B #}T 2 7"9 !:
#G ")DM$ #G G$$$$$r c , | j j |||fi |S r2 )rF r0 r s r r0 z
Subject.error s" tx~c4;;d;;;r c : | j ||| S r2 )rF r{ )r rE r s r r{ zSubject.find_subject s x$$T4666r r c | }| D ]}|s|j d s,|j d rd}nd}| ||d d |D } nt
| |k r| d||fz | |S )Nr z9Arg list to definition can not start or end with a comma.z Missing argument to definition.r c g | ]}||S r" r" rZ s r r z'Subject.get_arglist.. s 33331333r z4Not enough arguments, minimum %d expected to node %s)rk rO rP r rq r0 r^ )r r rB rW rO r} s r rk zSubject.get_arglist s ""$$##%% C
8>>##..s33 :tx~~7G7G7P7PQT7U7U :SAA9A
1dd
33333g333
w<<# JJFJ
r c \ | || }| | |S r2 )rk no_children)r r rB r s r get_arglist_onlyzSubject.get_arglist_only s0
dC
(
( r c t | j 5 }t | | }d d d n # 1 swxY w Y n# t
$ r d }Y nw xY w|S r2 )r r r= readlinesrstrip Exception)r r r ry s r r zSubject.get_line s dm$$
;AKKMM**5188::
;
;
;
;
;
;
;
;
;
;
;
;
;
;
; DDD s4 A( :A A( A A( #A $A( ( A76A7c | j || _ n,| j |k r!| d|d| j | | | d S )NzInconsistent aspect mode: z, was: )rf r0 r )r r r s r
_visit_aspectzSubject._visit_aspect sj # #D 4''
dddDL\L\] ! ! ! T"""""r c |j D ]} |j | j j vr3| d|j d| j d| j j | | j j -d| j j | j i |j < | | n# t $ r Y nw xY w| xj
dz
c_
d S )NzInvalid tag: z in: z . Allowed = r ) rR rN r rl r0 r
cover_checkrQ acceptr rd )r r rT s r r zSubject._visit_children s -
!
!B
6!7!===JJJ$*@*F*F HIMO O O8'3LMDH(33DHbAA"&I $
OOq OOO
!
!s BB
B-,B-c | j d|S r r` )r child_lastnames r rg zSubject.make_child_name s --- 88r c | j |j j }||d uk sJ |
d| j z }|j }|dk rt | || S |dk rt
| || S t | || S )Nz<%d>r r )r
re rN rn rd MacroSubjectDocumentSubjectrb )r r rE is_defrN s r r zSubject.new_subject! s //99B$d*++++ <DO+Dh '>> dD11 1
J
"4t44 44t,, ,r c Z | j j |d|j |j S )Nr )r
rz r4 rR r )r rN r s r new_tag_nodezSubject.new_tag_node. s% x!..sB
tzRRRr c X |j r"| d|j z |d d S d S )Nz)No children expected for node with tag %rr )rR r0 rN ru s r r zSubject.no_children1 sK = ' JJBTXM!%
'
'
'
'
' ' 'r c | |d D ].}| || }| |d /d S )Nr ri r rk r{ r r r rE ofsubjects r visit_andzSubject.visit_and7 s\ $$Tq$11 1 1D ))$55I # #D% 0 0 0 0 1 1r c | |d D ].}| || }| |d /d S )Nr ri r r r s r visit_aspects_ofzSubject.visit_aspects_of< s\ $$Tq$11 4 4D ))$55I # #D( 3 3 3 3 4 4r Fc |j }d }d }|rpd|v rj| d }t | dk r| d| d |D \ }}|r| || }|r|}n|}| | } |r|| _ | | |r | j | d| |
|g| _ d S d S )Nr r z More than 1 colon in argument.c 6 g | ]}| S r" r rZ s r r z%Subject.visit_arg..J s "9"9"917799"9"9"9r zNo argument name specified.)
rO rP r r^ r0 r{ r r r r )
r r must_have_namerO arg_namer nkrE kind_namer s
r visit_argzSubject.visit_argA s! hnn czzYYs^^r77Q;;JJ ?FFF"9"9b"9"9"9i > ,,Y==D $ #H
""4(( .%-G " !!! >
GFQ;dhF JJsDDJ 1 1 1B&):)AABB4HHHHHr c 0 | | d S r2 )r ru s r visit_descriptionzSubject.visit_descriptionu rw r c 0 | | d S r2 )r ru s r visit_description_with_headerz%Subject.visit_description_with_headerx s t$$$$$r c p | | }|j j }|j }d|v rp| |d d |dd k sB| |d d |dd k s| d|d d d|z }||_ d S ) Nr r r# rT z=Multi-line expression should be in parentheses (for clarity).r rW )rl r r% rO rP r< r0 r )r r r r% r s r
visit_examplezSubject.visit_example{ s &&t,,*1
X^^
2::JJr"1"v&&"RSS'11JJr"1"v&&"RSS'11
Z\`%)A 7 7 7"B r c P | |d }d }d }g }|j D ]}|j }|dk r0| | D ]}| ||f ?|dk rX|r | d|j d e|j }|dvr| d|d d }|d
k r4|g }| | D ]}| ||f | d |d i } |t | t | k rJt t t | k rd }
nd
}
| d|
z t d t || D ]
\ } } | | | < t | dk r| d| t | dk r |s| d|d d }|D ]-}|
|| }
||
_ | |
_ ||
_ .d S )Nr ri r r z More than 1 'resolve' clause.r )r orz Resolve by: and / or expected.r r zUnexpected clause in importfewmanyz=Too %s 'using' names, should match number of names in .importr zNo 'from' clausez;Importing from multiple packages but no 'resolve by' clause)rk rR rN r r$ r0 r rO rP r^ using_namesr r r r r r )r r my_names resolve_modeusingsfromsrT rS rE using_mapmanyfewr} ur s r visit_importzSubject.visit_import s ##Da#00 - N NBAF{{ 1 1" 5 5 - -DLL$,,,,-l"" -JJ > !w$ 8 8 8 8 $&6<<>>L'=88
#C#%-1 # 3 3 3 (- g > F 1 1" 5 5 . .DMM4*----.
8"
MMMM 6{{c(mm++{##c(mm33 #GG $G
SV]] " $ $ $ Hf--
!
!1 ! u::?? JJ)4 0 0 0 u::>>
%
X 4 1 1 1 $ & &D**466G'3G $$-G ! %G & &r c 4 | |d d S )NT)r )r ru s r
visit_key_argzSubject.visit_key_arg s tD11111r c , |j }| d s| d| | j d|| j dd|j f | d S )Nr z)Tag 'method' is a definition, requires ::r r r )rO rP r r0 r
r4 rR r )r r rO s r visit_methodzSubject.visit_method s hnn ~~c"" J JJBD I I I k3 #x 4 4YDM R R T V VV\V\]aVbVbVbVbVbr c | j | d| |j }|s| d| || _ d S )Nz Duplicate name specification.zNo name specification.)r r0 rO rP )r r rE s r
visit_namezSubject.visit_name s\ * JJ6 = = =x~~ 7 JJ/ 6 6 6 "r c | |d D ].}| || }| |d /d S )Nr ri r r r s r visit_orzSubject.visit_or s\ $$Tq$11 0 0D ))$55I # #D$ / / / / 0 0r c |j }d|vr| d| | d }| d }||k r| d| ||dz | }d|v r d | d D }n|g}|}|d | }|s| d| d }| d
r |d d }d}| d } | d
d s#d| d
z | d
< d | }| || }
| | } |
| _
|| _ || _ || _
d S )Nr zNo left parenthesisr z#None or misplaced right parenthesisr r c 6 g | ]}| S r" r rZ s r r z/Subject.visit_postcondition.. s 111q111r zNo condition namer r r: r# zcond:)rO rP r0 r r. r r ra r{ rl r cond_namer r ) r r rO lparrparrD r r r r r r s r visit_postconditionzSubject.visit_postcondition s hnn czz JJ,d 3 3 3yy~~xx}} $;; JJ
9 9 9
I I I# # #% % % :& :& :&x2 2 2c c c# # #0 0 0
" " " H' ' ' ' 'r rb c e Zd ZdS ) ErrorSubjectNr r" r r r r r r r c ( e Zd Zd ZdefdZddZdS )r| c h || _ || _ | | _ || _ |}t | | || | d d | _ d| _ t | _
g | _ |j D ] } || }|| j
|j < | | | `d S )Nr: r# r )r
specenvrF r rb r r r rN r r r6 predefined_subjectsr r r )r r
r r rE r r s r r zPackageSubject.__init__ s
ttT4000
3+
!( ( * *A$A()DM!* % % T""" LLLr Nc , | j j |||fi |S r2 )r r0 r s r r0 zPackageSubject.error s# !t|!#tY??$???r c |s| d|z | d | d D }|d s|d }|dd }nd}|dk r| }n~|dk r\|}|.$ s 444q444r r: r r r myfilemykind)r r rs z%mykind tag without such a context: %rz Invalid tag r rs zNo such subject: z in ) r0 r r rN r enumerater r< SubImportSubject) r rE r r r rN r kind_tagssnamerp rD nss r r{ zPackageSubject.find_subject s @ JJ1D8$ ? ? ?44DJJsOO444Qx (C!""IEEC (??AA
H__A} 5 h$&&15 +A+AA h$&&15 +A+A5 )) Ay
B !%' ' '
JJJdd;T B B B
e$$ DAq ""Bz5H$$JJJ !555 *+/1 1 1'4qrr;;;;;CK!OEAAr r2 )r r r r r r0 r{ r" r r r| r| sV ( #m @ @ @ @% % % % % %r r| c e Zd Zd ZdS )r c || _ || _ || _ d |j g|z | _ |d | _ d S )Nr: r# )r r rnpartsra r r )r r r r s r r zSubImportSubject.__init__I sC &/!27!:;;
r Nr r" r r r r H s# $ $ $ $ $r r c e Zd Zd ZdS )r c d S r2 r" r s r r zMacroSubject.add_top_nodeR r r Nr r r r r" r r r r Q s#
r r c e Zd Zd ZdS )r c D | j j | d S r2 )r r6 r$ r s r r z DocumentSubject.add_top_nodeW s! $$T*****r Nr r" r r r r V s# + + + + +r r c e Zd Zd ZdS )
GuppyWorldc r || _ dx| _ | _ d | _ d| _ g | _ t | _ d S )N Guppy_Worldz )rF r r r rN r r r r s r r zGuppyWorld.__init__\ s: (55
! !, r Nr r" r r r r [ s# - - - - -r r c
4 e Zd ZdZdZi dedededede de
d e d
e d e
d ed
ededededededei dedededededede de d e d e d e d e!d e"d!e#d"e$d#e%d$e&e'e(e)e*e+e,e-e.d%Z/d&Z0d'Z1d'Z2d(Z3d) Z4d* Z5d+ Z6d, Z7d- Z8d. Z9d'S )/ _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 rO r r r r r r rU r r1 r r; r r r r r rs r 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 B | j |t S r2 )description_classesr< r )r rN s r re z!_GLUECLAMP_.get_description_class s '++C===r c t fS r2 )r r s r _get_predefined_subjectsz$_GLUECLAMP_._get_predefined_subjects s
} r c i S r2 r" r s r _get_package_cachez _GLUECLAMP_._get_package_cache s r c @ t | } |j |fi | d S r2 )r r )r r r ses r mainz_GLUECLAMP_.main s-
T]]))D)))))r c d S r2 r" r s r _test_main_z_GLUECLAMP_._test_main_ r r c R | j j | }|| _ d S r2 )r@ rA rs rr )r dirs r
set_input_dirz_GLUECLAMP_.set_input_dir s$ gl""3'' r ):r r r _imports_ _chgable_r r r r r r r r} r+ r rx r r r r r r r r r' r r r\ r r0 r: r r r r r r r r r r r8 r r r rh r r r r r r( re r r
r
r r r" r r r r e sm
I 8I+
s+
s+ + Y +
7 + Y
+ {+ 7+ 7+ 7+ -+ "#8+ H+ 7 + & + !+" -#+ +$ 7%+& &'+( i)+* O++, 6-+. /+0 61+2 3+4 75+6 %7+8 H9+: ;+< =+> z?+@ OA+B YC+D 7E+ +F #U+ + +Z JK
FJ> > > * * *
r r N)Qguppy.etc.Descriptorr guppy.gsl.Exceptionsr r r rp rx r} r r r r r rk r r r r r r\ rh r r r' r+ r0 r8 r: rL rz r r r r r r r r r r r r r r r r r r r r r r r r r r r r! r* r, r. r0 rG rJ rN rP r' rV rX r[ r r rb r r| r r r r r r" r r r s 1 1 1 1 1 1 " " " "PH PH PH PH PH PH PH PHf Bs s s s s s s sl
)
)
)
)
)
)
)
) % % % % %[ % % % $ & 2 $
(
(
(
(
([
(
(
(#
#
#
#
#
Z #
#
#
L k > + ! ! ! ! ! ! ! ![ [ [ [ [k [ [ [|+$ +$ +$ +$ +$
+$ +$ +$\ [
, , , , ,: , , ,"
+ k 4 A A A A Ak A A AD D D D DJ D D D ; jb jb jb jb jbk jb jb jbZN N N N N N N Nb w h x
h # # # # #g # # # # # # # #g # # #
# # # # #g # # #& & & & & & & &$5 5 5 5 5 5 5 5& & & & &; & & &< <
L
# # # # # # # #( ( ( ( (+ ( ( (
H H H H H{ H H H ; # # # # #K # # #
+ 4 ( ( ( ( ( ( ( ( N N N N NS N N N ; / / / / / / / /> > > > >[ > > >B + + A A A A Ak A A A $ $ $ $ $ $ $ $ t 4 d !8 !8 !8 !8 !8 !8 !8 !8H
z j
* * * > >T> d> 24 >
:4 > 9$
> 0> 1$> 9$> 0> 0> 0> d> $ > > $T!>" 4#> >$ 89J%>& %&>'>( )>* ":+>, ->. />0 !*1>2 3>4 -d5>6 7>8 *9>: !*;>< =>> D?>@ 0A>B 8C>D .zE> > >F .zG>H 7
I>J .zK>L /
M>N 7
O>P .zQ>R S>T %dU>V -iW>X #IY>Z #I[>\ ,Y]>^ $Y_>` ,Ya>b #Ic>d #De>f Dg> >h *.15'+'+04'+(,04'+y> > >
B J J J J J J J J v' v' v' v' v' v' v' v'r 7 = = = = =W = = =@$ $ $ $ $ $ $ $
7
+ + + + +g + + +
- - - - - - - -W W W W W W W W W W r