iu6jn~ d Z dZd Z G d d Z G d de Z G d de 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 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* Z G d+ d,e Z G d- d. Z G d/ d0e Z G d1 d2e Z G d3 d4 Z G d5 d6e Z G d7 d8e Z G d9 d:e Z G d; de Z! G d? d@e Z" G dA dBe Z# G dC dD Z$ G dE dF Z% G dG dH Z&dIS )Ja
Contains some experimental set constructions.
In the current state, not to be used by the faint-hearted.
It is likely due for some major refactoring and has probably
many bugs, it was a long time since I run the tests.
You don't get any other documentation than this right now.
c t | d S # t $ rK t | t r$dd d | D z cY S t | cY S w xY w)Nbriefz(%s),c , g | ]}t | S )briefstr).0xis d/builddir/build/BUILD/cloudlinux-venv-1.0.10/venv/lib64/python3.11/site-packages/guppy/heapy/Spec.py
z briefstr.. s &@&@&@x||&@&@&@ )getattrAttributeError
isinstancetuplejoinstrxs r r r s q'""" a CSXX&@&@a&@&@&@ A AB B B B1vv
s AA'A'&A'c 8 e Zd Zd Zd Zd Zd Zd Zd Zd Z dS )
SpecFamilyc j || _ | |j | xj | gz c_ d S N)specmod defrefiningAnything disjoints)self unisetmodr s r __init__zSpecFamily.__init__ s6 +,,, 4& r
c . | | | S r Setr args r __call__zSpecFamily.__call__ s xxc"""r
c t |t r!| j j ||f S |j || S r )r r modfam_And_consfam _and_ATOMr abs r c_andzSpecFamily.c_and sG a $ $ )8#))1a&11 15??1a(( (r
c H | j j }| j }|j D ]?} | ||d | | 0# t $ r Y +>s+C+CDDDs A
A*)A*c l | j j } | ||d S # t $ r Y dS w xY w)Nz
Spec containsF)r r2 r5 TestErrorr r. r/ r: s r
c_containszSpecFamily.c_contains2 sK l+ $$Q?;; ; 55 s %
33c Z |j }t | |k r|d |dz
dz }|S )N z...)r len)r r. max_lenr s r c_getlimstrzSpecFamily.c_getlimstr9 s5
G q66G *719*
e#Ar
c L d| j j dt |j dS )N<(z)>) __class____name__r r% )r r. s r c_get_briefzSpecFamily.c_get_brief? s& !^ 4 4 4hquooooFFr
N)
rK
__module__ __qualname__r r& r0 r= rA rF rL r r
r r r s ! ! !
# # #) ) )
E
E
E G G G G Gr
r c , e Zd Zd Zd Zd Zd Zd ZdS )ArgNamesFamilyc . | | | S r r" r argss r r& zArgNamesFamily.__call__D s xxd###r
c | j j j }| | \ }}}|| d|z || d|z t | S )Nz*%sz**%s)r _rootinspectgetargsappendr )r coderV rS varargsvarkws r getargnameszArgNamesFamily.getargnamesG sk ,$,!( !6!6 w KK ( ( ( KK ' ' 'T{{r
c f |j }| | |k S # t $ r Y dS w xY w)NF)__code__r\ r )r frS rY s r
func_argnamesz ArgNamesFamily.func_argnamesP sI :D##D))T1 1 55 s "
00c |j }|j }| | dd |k S # t $ r Y dS w xY w)Nr F)__func__r^ r\ r )r mrS r_ rY s r
meth_argnamesz ArgNamesFamily.meth_argnamesW sY
A:D##D))!""-5 5 55 s .1
??c fd} fd} j j j } || p || pt |t o t |d o ||j pTt |t o t |d o ||j p t |d o ||j S )Nc : | j S r )r` r% )r_ r. r s r r` z0ArgNamesFamily.c_contains..func_argnames` T%7%715%A%A Ar
c : | j S r )rd r% )rc r. r s r rd z0ArgNamesFamily.c_contains..meth_argnamesa rg r
r r& )r( rU typesr typehasattrr r& )r r. r r` rd ri s `` r rA zArgNamesFamily.c_contains_ s AAAAAAAAAAAA$
a ,
a ,At$$ -!Z(( , -
++ ,
At$$ -!Z(( , -
++ , J'' + qz**
r
N)rK rM rN r& r\ r` rd rA r r
r rP rP C s_ $ $ $ r
rP c " e Zd ZddZd Zd ZdS )AttributeFamilyNc |
| j j }n/t || j j s| | }| ||f S r )r anyr r( UniSetc_fromspecotup)r namerj s r r& zAttributeFamily.__call__q sP <<#DD dDHO44
){{4((}}dD\***r
c n |j \ }}| || }| || S r )r%
gengetattrr5 )r r. r/ r: rs rj r s r c_test_containsz AttributeFamily.c_test_containsy s6 U
d NN1d # #!!!S)))r
c ~ d|j d d}|j d |d|j d j z z }n|dz }|S )Nzr r )r% r )r r. r s r c_get_brieflimstrz!AttributeFamily.c_get_brieflimstr~ sI )*q 3 58 Sq '(AABAr
r )rK rM rN r& rv rz r r
r rm rm p sF + + + +* * *
r
rm c e Zd Zd Zd Zd ZdS )AdaptupleFamilyc ^ t j | g|R i | | dd d S )Nnewc | j d S Nrx r% r s r z*AdaptupleFamily.__init__.. s q r
r r
add_exportr r. ks r r zAdaptupleFamily.__init__ sA D*1****** 1 122222r
c | j | \ }}| j | }| ||f||f S r )r _exodocsetcast specoargtup)r funcrj docs r r& zAdaptupleFamily.__call__ sN L((.. c|##D)) t sDk:::r
c |j \ }}t |t r, || }n'# t $ r | d cY S w xY w|}| || S )Nzcalling func failed)r% r r r7 failed_exc_infor5 )r r. r/ r: r rj r s r rv z AdaptupleFamily.c_test_contains s U
d a
BD!H
B
B
B**+@AAAAA
B A!!!S)))s ' A A NrK rM rN r r& rv r r
r r| r| sA 3 3 3; ; ;
* * * * *r
r| c , e Zd Zd Zd Zd Zd Zd ZdS )CartesianProductFamilyc . | | | S r r" )r ri s r r& z CartesianProductFamily.__call__ xxe$$$r
c d |j }t | dk r|d S t d )N rx z*Domain is defined on binary relations only)r% rD TypeError)r r. ri s r c_domainz CartesianProductFamily.c_domain s0 u::??8ODEEEr
c & g }t |j D ]]\ }}t | | }|s | d|d d|z sg c S | | ^ | j j j j j
| S )Nzcartesian productzthe argument #%d) enumerater% list get_examplesfailed_coveragerX r( rU guppyetc iterpermute)r r. r: exsiaiexs r c_get_examplesz%CartesianProductFamily.c_get_examples s qu%% EArc&&r**++B
**+>DJ\_`J`aa III JJrNNNN3tx~#'3S99r
c L d}|j D ]}|t |j z }|S Nr )r% rD )r r. lr s r c_lenz CartesianProductFamily.c_len s0
% BCKKAAr
c < |j }t | }t | t | k r6| dt | t | fz d S t || D ] \ }}| || s dS dS )Nz*cprod of length %d: argument has length %dFT)r% r rD failedzipr5 )r r. r/ r: ri bsts r rv z&CartesianProductFamily.c_test_contains s
1XX u::R JJCE
CGG,-
.
.
.
.
. E2
!
!1q#.. ! 55!4r
N)rK rM rN r& r r r rv r r
r r r sb % % %F F F : : :
r
r c e Zd Zd Zd Zd ZdS )SequenceFamilyc , | | S r specoarg)r rj s r r& zSequenceFamily.__call__ }}T"""r
c L |D ] }|j || s dS !dS )NFTr% r5 )r r. r/ r: r s r rv z SequenceFamily.c_test_contains s< A5&&q#..
uu
tr
c # K t |j D ]4}| | j j |j g|z D ]}|V 5d S r )range max_sequence_examples_lengthr r cprodr% )r r. r: r r s r r z SequenceFamily.c_get_examples sl s788 A%%&8dl&815'!)&DEE
r
NrK rM rN r& rv r r r
r r r sA # # # r
r c , e Zd Zd Zd Zd Zd Zd ZdS )
MappingFamilyc d t j g|R i | d fd d S )Narrowc fdS )Nc 0 | S r )c_arrow)r_ r r s r r z:MappingFamily.__init__.... s T\\!Q5G5G r
r )r r s `r r z(MappingFamily.__init__.. s +G+G+G+G+G r
r r s ` r r zMappingFamily.__init__ sH D*1****** !G!G!G!GHHHHHr
c : |j \ }}}t ||| S r )r% Arrow)r r. r_ tftsrets r r zMappingFamily.c_arrow s! e BRa r
c n g }g }d }d}| j j }|t | k r|| }t |t r4|dk r=|dz
}|t | dz
k st d ||| }n4| d r[|dz
} ||| }| d|d d t | fz | | n|dk ri|dz
} ||| }| d t | z | | j | nUt d
|z | d t | z | || |dz
}|t | k d d
| z dz } t | }
| j j | }| | j j }|
| |
||f S )Nrx z->r z' specifier must be next to last in the argument list=z %s=%args[%d]*z *args[%d]z Invalid argument specifier: %rzargs[%d]zlambda f: lambda *args: f(r ))r r rD r r SyntaxErrorendswithrX sequencer evalr r r# ) r rS r as_r r r r r fnr_ s r r& zMappingFamily.__call__ s8
,&#d))mmaB"c""
'::FA D ! ++ ) Z \ \ \!'$q'**CC[[%% MFA Q((AJJ~CRC#b''0B BCCCIIaLLLL3YYFA Q((AJJ{SWW 4555IIdl 3 3A 6 67777%&F&KLLL
:B/000 ''"++&&&
FA3 #d))mm6 *#((3--
7
; HH
T\
$ ;,'Cxxq"cl+++r
c j |j \ } | fd}| || S )Nc d | }| |d S dS # t $ r w xY w)NzMapping Return TypeT)r5 r7 )r: rS rr_ r s r gz(MappingFamily.c_test_contains..g
sX
AtH
? ,,S!5JKKK 4
s # /r% forall)r r. r r: r r r_ r s @@r rv z MappingFamily.c_test_contains sR U
2s
AdGG
zz"a r
c V |j \ }}}d | | D S )Nc g | ]fd S )c S r r )rS kwdsr s r r z9MappingFamily.c_get_examples... s a r
r )r r s @r r z0MappingFamily.c_get_examples.. s# GGGA''''GGGr
)r% r )r r. r: r_ r r s r r z MappingFamily.c_get_examples s1 U
2sGG1A1A#1F1FGGGGr
N)rK rM rN r r r& rv r r r
r r r sh I I I! ! !&, &, &,P! ! !&H H H H Hr
r c e Zd Zd Zd ZdS )PredicateFamilyc 2 | | ||f S r r" )r r% r s r r& zPredicateFamily.__call__" s xxsCj)))r
c |j \ }} ||| s.| d|d| | S dS )Nz pred: doc = z; failed for element == T)r% r rs )r r. r/ r: predr s r rv z PredicateFamily.c_test_contains% sU E ctC|| _:::CCCQTQYQYZ[Q\Q\Q\ ]^^ ^tr
NrK rM rN r& rv r r
r r r ! s2 * * * r
r c & e Zd Zd Zd Zd Zd ZdS )PowersetFamilyc X t j | g|R | dd d S )Nunionc | j S r r r s r r z)PowersetFamily.__init__../ s 15 r
r rR s r r zPowersetFamily.__init__- s7 D(4(((( 11111r
c , | | S r r r sets r r& zPowersetFamily.__call__1 s }}S!!!r
c | j j |j g} | |j }n# t $ r |cY S w xY w|S r )r Nothingr% r r7 )r r. r: r ys r r z PowersetFamily.c_get_examples4 sZ
\
!15 ) ''AA HHH s 0 ??c || j j vr0| d| j | z |j | |fdd S )Nz%powerset.test_contains: not a set: %sc 2 | |d S )Npowersetr5 )r: r r s r r z0PowersetFamily.c_test_contains..C s C,=,=c1j,Q,Q r
r )r r r isor% r r r. r/ r: r s @r rv z PowersetFamily.c_test_contains> sl DL$$$ JJ>|''**+
,
,
,ezz! Q Q Q QS]^^^r
NrK rM rN r r& r rv r r
r r r , sU 2 2 2" " " _ _ _ _ _r
r c e Zd ZddZd ZdS ) DocFamilyNc || j j j }n-|| j j vr | j j | }| | ||f S r )r rp
NotNothingr convertr# )r r rj s r r& zDocFamily.__call__G sV <<&1DD4<+++|*22488xxsDk***r
c B |j \ }}| || S r r )r r. r/ r: r rj s r rv zDocFamily.c_test_containsO s# E T!!!S)))r
r r r r
r r r F s7 + + + +* * * * *r
r c ( e Zd Zd ZddZd Zd ZdS ) RelOpFamilyc t j | g|R i | | dd | dd i | _ d S )Ndomainc | j d S r r r s r r z&RelOpFamily.__init__..W s AE!H r
r c | j d S )Nr r r s r r z&RelOpFamily.__init__..X s 158 r
)r r r memor s r r zRelOpFamily.__init__U s` D*1****** "4"4555 !3!3444
r
Nc Z | j | }||}n| j | }| j |||f }|R|dv rt d|z }||_ n|}|j |_ | | |||f }|| j |||f< |S )N)
rH <===!=>>=innot inisis notzlambda x,y: x %s y)r r r getr rs rK r# )r r opr r r s r r& zRelOpFamily.__call___ s %%f-- =EEL((//E IMM62u- . . 9WWW 02 566 M e 455A-.DIvr5) *r
c t | |j }|st d|j d d g S t | |j }|st d|j d d g S g }| j j j j || D ]-}|
|| r| | .|S )Nrelationr r ) r r r r r r rU r r r containsrX )r r. r: domranr r s r r zRelOpFamily.c_get_examplesq s 3##AH--.. J$ A A AI3##AG,,-- Jw ? ? ?I,$*.::3DD B||Ar""
2
r
c N |j \ }}} || s| S dS )NTr% r )r r. r/ r: dr r s r rv zRelOpFamily.c_test_contains s0 52qr1v ::<< tr
r r r r
r r r T sU $ & r
r c e Zd Zd Zd Zd ZdS ) EqualsFamilyc H |s | j j S | | S r )r r rr rR s r r& zEqualsFamily.__call__ s' (<' '}}T"""r
c B ||j v rdS | d S )NTequalsr r@ s r rv z EqualsFamily.c_test_contains s$ ::4zz(###r
c |j S r r r r. r: s r r zEqualsFamily.c_get_examples s u r
Nr r r
r r r sA # # #
$ $ $
r
r c e Zd Zd Zd Zd ZdS )
ExampleFamilyc 2 | | ||f S r r" )r r exampless r r& zExampleFamily.__call__ s xxsHo...r
c B |j \ }}| || S r r )r r. r/ r: r r s r rv z ExampleFamily.c_test_contains s#
X C(((r
c |j \ }}|S r r )r r. r: r r s r r z ExampleFamily.c_get_examples s
Xr
Nr r r
r r r sA / / /) ) ) r
r c e Zd Zd Zd ZdS )SynonymsFamilyc . | | | S r r" )r namess r r& zSynonymsFamily.__call__ r r
c r |j }| j j }|D ]-}| || }| | .t
| s| d|z t
| dk r'| dt
| |fz dS )NzSynonyms: no such names: %rr z*Synonyms: %d different nodes for names: %rT)r% r rp r3 r r6 rD r )r r. r/ r: r% msrs r s r rv z SynonymsFamily.c_test_contains s
\
+
+
-
- D At$$A FF1IIII2ww > JJ4u< = = = r77Q;; JJCB'(
)
)
)tr
Nr r r
r r# r# s2 % % % r
r# c e Zd Zd Zd Zd ZdS )InstanceFamilyc t ||j s8| d| j | d|j dS )NzInstanceFamily: z is not an instance of T)r r% r r r r@ s r rv z InstanceFamily.c_test_contains sW !QU## - JJJ ####QUU,
-
-
-tr
c f | | j |j S r )r r r r% r s r r z InstanceFamily.c_get_examples s( 4 4QU ; ;<< g | ]}t |j |S r )r r% )r r< r. s r r z*InstanceFamily._and_ID.. s* &U&U&Ubz"ae?T?T&Ur&U&U&Ur
)r( r8 r4 r- s ` r r= zInstanceFamily._and_ID s, $tx$&U&U&U&UAG&U&U&UVVr
N)rK rM rN rv r r= r r
r r) r) sF = = =W W W W Wr
r) c e Zd Zd Zd ZdS )ExpressionPredicateFamilyc 8 d }| | |||f S r r" )r r%
expressionr s r r& z"ExpressionPredicateFamily.__call__ " xxuj$ 7888r
c |j \ }}}t dd | d| }i }|D ] }| || } | ||< |di |} | s| d|z dS )Nlambda r :zFalse expression: %sTr )r% r r r r
r r. r/ r: r% r1 r r rs r s
r rv z)ExpressionPredicateFamily.c_test_contains s "#% z4tchhuoooozzBCC D At$$AAdGG DII1II < JJ-
: ; ; ;tr
Nr r r
r r/ r/ s2 9 9 9
r
r/ c e Zd Zd Zd ZdS )ExpressionSetFamilyc 8 d }| | |||f S r r" )r r1 r% r s r r& z ExpressionSetFamily.__call__ r2 r
c
d |j \ }}}| j dd dt | z d|d }d|j i}|D ] }| || } | ||< |d i |} | | |d|dd | d S )
Nr4 r LEz:(r r< zexpset(z, r )r% r r r r r< r r5 r6 s
r rv z#ExpressionSetFamily.c_test_contains s "#% z4| HHWU5\\) * * * *JJJ"8 9 9
36N D At$$AAdGG DII1II AA:::sxxPU'WXXXr
Nr r r
r r8 r8 s7 9 9 9 Y Y Y Y Yr
r8 c e Zd Zd Zd Zd ZdS )
MatchesFamilyc \ t j | g|R i | | j j j | _ d S r )r r r rU srer s r r zMatchesFamily.__init__ s6 D*1******<%)r
c ` | | j | |f S r )r r@ compile)r regexps r r& zMatchesFamily.__call__ s* 0 0 8 86)DDDr
c x |j }| j || }|| d S dS )Nz
Did not matchT)r% r@ matchr )r r. r/ r: regexpobjrc s r rv z MatchesFamily.c_test_contains s: E HNN9a ( ( 9::o.. .tr
Nr r r
r r> r> sD * * *E E E r
r> c " e Zd Zd ZddZd ZdS )RecurSelfFamilyc d t j | g|R i | G d d| j }|| _ d S )Nc e Zd ZdZdS )+RecurSelfFamily.__init__..RecurSpec)r recursion_levelrecursion_limitNrK rM rN __slots__r r
r RecurSpecrK s DIIIr
rP )r r r# rP )r r. r rP s r r zRecurSelfFamily.__init__ sd D*1****** E E E E E E E E #r
c N | | | }||_ d|_ |S r )rP rM rL )r exprrM ss r r& zRecurSelfFamily.__call__ s* NN4 & & + r
c |j }n6# t $ r) |j }| d|z x}|_ Y nw xY w || j j } | ||d }|st n# t $ r| || }|j } ||j
k r&| d|j
z ||_ cY S |dz |_ | ||d }||_ n # ||_ w xY wY nw xY w|S )Nzlambda self:%sz recur with Nothing, ok to failz recurself: recursion_level = %sr recur) r r r% r r r r5 r? r7 rL rM r ) r r. r/ r: r rS rT r rls r rv z RecurSelfFamily.c_test_contains
sX >6DD > > >5D HH%5%< = = =D1666 >
D % & & '""1a)IJJB
'
'
'QA"B
'*** ::&G!J[&[\\
%'!!!! )+QA%&&q!W55$&!!B!&&&&!!
' sB
0== A7 7 C='C.;C=!C.&C=. C77C=<C=N)rQ r r r
r rH rH sF # # # r
rH c e Zd ZdS )DummyNrK rM rN r r
r rY rY # Dr
rY c e Zd Zd Zd ZdS )TupleformFamilyc 0 | ||f S r rr )r formr s r r& zTupleformFamily.__call__( s }}dC[)))r
c t |j \ }}t | }t | t | k r4| dt | t | fz S t }t || D ]\ }} t
||| | ||d S )Nz+tupleform: wrong length: got %d expected %d tupleform)r% r rD r rY r setattrr5 )
r r. r/ r: r` r btobrs vals
r rv z TupleformFamily.c_test_contains+ s E c
1XX r77c$ii :: KsSUwwX[\`XaXaNb bcc c
WW T2 # #ID# Bc " " " " b+666r
Nr r r
r r] r] ' s2 * * * 7 7 7 7 7r
r] c e Zd Zd Zd Zd ZdS )r c 0 || _ || _ || _ d S r )categorysourcetarget)r ri rj rk s r r zArrow.__init__; s
r
c l | j | }| j | | S r ri validatecomposer others r ofzArrow.of@ s1
&&u--}$$T5111r
c l | j | }| j || S r rm rp s r tozArrow.toF s1
&&u--}$$UD111r
N)rK rM rN r rr rt r r
r r r : sA
2 2 2 2 2 2 2 2r
r c e Zd Zd Zd ZdS )
IdentityArrowc @ t | ||| d S r )r r )r ri objects r r zIdentityArrow.__init__N s
tXvv66666r
c |S r r r r s r r& zIdentityArrow.__call__Q s r
N)rK rM rN r r& r r
r rv rv M s2 7 7 7 r
rv c e Zd Zd ZdS )
FunctionArrowc N t | ||| || _ d S r )r r r& )r ri rj rk functions r r zFunctionArrow.__init__V s%
tXvv666
r
N)rK rM rN r r r
r r| r| U s# ! ! ! ! !r
r| c . e Zd ZdZdZd Zd Zd Zd ZdS )RepresentationCategoryNc t | t }| | | || _ d S r )familyRepresentationObjectFamilyinit2_fam)r r( specr+ s r r z RepresentationCategory.__init___ s3 jj344 $ r
c
| |u S r r rp s r __eq__z RepresentationCategory.__eq__d s u} r
c : t t | S r )hashidr s r __hash__z RepresentationCategory.__hash__g s BtHH~~ r
c N | j | }|| j |< |S r )r getobject__dict__r rs r s r __getattr__z"RepresentationCategory.__getattr__j s( I % %
dr
) rK rM rN _derive_origin__origin_r r r r r r
r r r [ sZ OH
r
r c D e Zd Zd Zd Zd Zd Zd Zd Zd Z d Z
d Z d
S ) r c || _ i | _ i | _ i | _ | d| j | j } G d d| }|| _ G d d| } || | _ d S )N
fromuniversalc e Zd ZdZdS )>RepresentationObjectFamily.init2..RepresentationObject)rt fromNrN r r
r RepresentationObjectr { s $IIIr
r c e Zd Zd Zd ZdS )DRepresentationObjectFamily.init2..RepresentationCategorySpecc , || _ |j | _ d S r )r cat_cat)r r+ s r r zMRepresentationObjectFamily.init2..RepresentationCategorySpec.__init__ s G r
c t | j d|z r2 t | d|z | j j }|| j |< |S t
| )Nz_get_%s)rk rJ r r r r r r s r r zPRepresentationObjectFamily.init2..RepresentationCategorySpec.__getattr__ s] 4>9t+;<< 7i$&677 8IJJA*+DM$' H$T***r
N)rK rM rN r r r r
r RepresentationCategorySpecr s2
$
$
$
+
+
+
+
+r
r )r objectsspecsarrowsr r r# r )r r r r# r r s r r z RepresentationObjectFamily.init2q s
);<<<h % % % % %3 % % % (
+
+
+
+
+
+
+
+ /.t44 r
c D ||f}|| j v r
| j | S t r )r SpecError)r r coddcs r getarrowz#RepresentationObjectFamily.getarrow s) 3Z
;r? "r
c || j v r
| j | S | | }|| j v r"| j | | j |< | j | S | | }|x| j |< | j |< |S r )r normonamer )r rs normnameos r r z$RepresentationObjectFamily.getobject s 4< <% %>>$'' t| # #!% h!7DL <) ) DNN677 X d!3r
c |j }|| j v r
| j | S t | j d|z d }| || j }|| j |< |S t d|z )Nz _get_spec_%szgetspec: No spec of %r)r% r r r r r )r objrs gssps r getspecz"RepresentationObjectFamily.getspec sv w 4: :d# #
TY 5t
<
<
>DL!!B !DJt I047888r
c
|j }d|z }| j v r
j | S i
t j |
|< t j D ]}| d rd|v s | d \ }}|dd }||k rFt j | t j t j | | fd
|<
fd}d|z } j
|d|z } | j |< | }
G d d
t } | j |
|
} | j |< | S ) Nz%s.fromuniversalmap__to_ c & j | S r )r )r r_ r s r r z:RepresentationObjectFamily.fromuniversal.. s qq q/A/A r
c 2 |\ }}n%# t $ r | d cY S w xY wt |dd }|ur| d S t |dd }|vr| d S | ||d S )Nz Not a sequence with length 2r+ z#Tag is not an object of this familyr% z%Object is not a source of this targetz&Value is not an element of this object)r7 r r r5 )r: eOAr+ name_Sr s r pz3RepresentationObjectFamily.fromuniversal..p s
B11
B
B
Bzz"@AAAAA
B!UD))C$zz"GHHHAud++EA~~zz"IJJJ$$Q+STT Ts ++z %s.universalzSpecification-set for %rc e Zd Zd Zd Zd ZdS ):RepresentationObjectFamily.fromuniversal..AlphaSumc N t | ||| || _ d S r )r r _S)r ri rj rk r s r r zCRepresentationObjectFamily.fromuniversal..AlphaSum.__init__ s% tXvv>>>r
c V | j | j j | S r )r rj r+ r rz s r __getitem__zFRepresentationObjectFamily.fromuniversal..AlphaSum.__getitem__ s! wt{ 8 8 ; ;<.AlphaSum.__call__ s *A"tAE{1~~%r
N)rK rM rN r r r& r r
r AlphaSumr sA
=
=
=
&
&
&
&
&r
r )r% r rv r dirr
startswithsplitr r| r predicater r )r rk rs arrownameanrT r r uninamePrj r r r r_ s ` @@r r z(RepresentationObjectFamily.fromuniversal s z&- # #;y) ) &11$di.. C CBMM&))
fll88F##DAq!""ADyyDIr**$TXwtx/C/CV%A%A%A%A%AC C! U U U U U U !4' L " "1&@7&J K K
7g & & & & &u & & & 66155!& I r
c t | j dd }|L| j j D ]?}d }|D ]8}| r|}||k r||c c S t d|z 9@|S )N_isos_z*No numeric object name corresponding to %r)r r r isdigitr )r onisosr nnns r r z$RepresentationObjectFamily.normoname s ty(D11 Y%
O
O O OAyy{{ Bww >#%IIIII ' H2 M O O O O r
c j | | } G d d } || |_ |S )Nc $ e Zd ZdZd Zd Zd ZdS )/RepresentationObjectFamily.__call__..Torj c || _ d S r r )r rj s r r z8RepresentationObjectFamily.__call__..To.__init__ s
$ r
c L | j j | j | S r )rj r+ r )r rk s r r& z8RepresentationObjectFamily.__call__..To.__call__ s {// VDDDr
c t | j }|j }| | }| || S r )rj r+ r r )r rs rj r+ rk s r r z;RepresentationObjectFamily.__call__..To.__getattr__ s5 j t,,||FF333r
N)rK rM rN rO r r& r r r
r Tor sI !I
%
%
%
E
E
E
4
4
4
4
4r
r )r rt )r rs r r s r r& z#RepresentationObjectFamily.__call__ sQ MM$
4
4
4
4
4
4
4
4 r!uur
c Z | | }| ||d S )Nz7RepresentationObjectFamily: not in object specification)r r5 r s r rv z*RepresentationObjectFamily.c_test_contains s* ll1oo a)bcccr
c V | | }| | S r )r r )r r. r: r s r r z)RepresentationObjectFamily.c_get_examples s% ll1oo $$$r
N) rK rM rN r r r r r r r& rv r r r
r r r p s 5 5 5: 5 5 5 9 9 9A A AF
*d d d% % % % %r
r c , e Zd Zd Zd Zd Zd Zd ZdS )AbstractSetFamilyc d t j | g|R i | G d d| j }|| _ d S )Nc e Zd ZdZd ZdS )/AbstractSetFamily.__init__..AbstractSet)_memoc > || _ || _ d | _ i | _ d S r )r+ r% r r )r r+ r% s r r z8AbstractSetFamily.__init__..AbstractSet.__init__' s" $
r
N)rK rM rN rO r r r
r AbstractSetr $ s( I
r
r )r r r# )r r. r r s r r zAbstractSetFamily.__init__! s\ D*1****** $( r
c B | ||f }i |_ |S r )rr r )r r r r s r r& zAbstractSetFamily.__call__. s# MM5#, ' 'r
c |j | u r'|j \ }}|j \ }}||u r | |||z S |j || S r )r+ r%
_rand_ATOM)r r. r/ aasaabsbs r r0 zAbstractSetFamily.c_and3 sZ 5D==UFBUFBRxxtBR(((u 1%%%r
c ||j v r
|j | S |j \ }|| j fd}| j |d|z }||j |< |S )Nc ~ | |d }|r" | }| |d }|S Nz AbstractSet: not in arrow.sourcez AbstractSet: not in argument set)r5 r r )r: r r r pararrowr srcsets r r z'AbstractSetFamily.c_getattr2..pC sZ !!=? ?A
@ HQKK%% >@ @Hr
zAbstract set attribute: %r)r r% rj r r ) r r. r/ r r rT r r r s @@@r
c_getattr2z AbstractSetFamily.c_getattr2; s <<71: U
s8 ( ( ( ( ( ( (
L " "1&BQ&F G G
r
c |j \ }}| |j |d }|r" || }| ||d }|S r )r% r5 rj )r r. r/ r: r r r r s r rv z!AbstractSetFamily.c_test_containsR sa U
s L! ?
A
A NaA!!#q*LMMAr
N)rK rM rN r r& r0 r rv r r
r r r s_
& & & . r
r c e Zd Zd Zd ZdS )
ElemFamilyc , | | S r r )r r s r r& zElemFamily.__call__] r r
c T |j } || }| ||d S )Nr r )r r. r/ r: r rT s r rv zElemFamily.c_test_contains` s. u DGG A|444r
Nr r r
r r r \ s2 # # #5 5 5 5 5r
r c e Zd Zd Zd ZdS )IntersectionFamilyc 0 | ||f S r r_ )r r r~ s r r& zIntersectionFamily.__call__g s }}fh /000r
c N |j \ }| |fd S )Nc D | | d S )N Intersectionr )r: r r/ r~ s r r z4IntersectionFamily.c_test_contains..l s% ++HHQKKNKK r
r )r r. r/ r: r r~ s ` @r rv z"IntersectionFamily.c_test_containsj sI 5zz& #L #L #L #L #L M M Mr
Nr r r
r r r f s7 1 1 1M M M M Mr
r c e Zd ZdS )r NrZ r r
r r r p r[ r
r c e Zd ZdS )r? NrZ r r
r r? r? t r[ r
r? c e Zd ZdS )
CoverageErrorNrZ r r
r r r x r[ r
r c e Zd ZdZddZd ZdS )LocalEnvADDr c > || _ || _ d | _ || _ d S r )_mod_specr nodoc)r r( r r
s r r zLocalEnv.__init__ s"
r
c b | j }t | j | }| j |j j j j |j }|j j
|j ||j |j
|j } |d }|| j |< |S )Nr )r r r _load_namesrU r r Codeco_findloadednamesr^ ri FunctionTyperK __defaults__ __closure__r )r attribute_namer( r_ r nfr s r r zLocalEnv.__getattr__ s i DJ / / I ! ! IO $ 7 7
C C
E
E
Y_
)
)
J
J
N
M
BrFF()
n%r
N)r )rK rM rN r r r r r
r r r | s< O
r
r c e Zd ZdZdZdZdZeZd Zd Z d Z
d Z d Z d Z
d
Zd Zd Zd
Zd dZd Zd Zd Zd dZd Zd Zd dZd dZd dZd dZ dS ) TestEnvr Fr c
|| _ g | _ i | _ |k | x| _ } |j }n# t
$ r d}Y nw xY wt
|| }||_ || _ | |j
| _ d S d S )Nry ) r( messagesr r LocalEnvExprr r _OBJ_r< r GlueTypeExprtopspec)r r( Specr lexr< s r r zTestEnv.__init__ s
#tvv %DI
'!
#s##BBHDG 99T%677DLLL s 2 A Ac | j }|j j }t |t f r-| j d|z } || j S g }d }t |j }|
|D ]}t || } | j }
n# t $ r Y (w xY w|
j d |
j dk r| |j j j j |
} |j j | j | | j | j | j } | d }
|dk r|
}| | ||
t7 d || | |j j | }|S )Nzlambda LE:(
%s
))INr _SELF_z#TestEnv.eval: invalid argument mode) r( rU ri r r r r< r r keyssortr r^ r co_varnames co_argcountr r r r r r rK r r rX attrr rp r) r* )r rS r( ri r lsselfsetr% rs r_ cor r rT r s r r z TestEnv.eval s h dSF # # !8==!5!<==D4==
T]''))**
G GDd##A
Z!
~or~o.'99OOIO',??CCE E Y_11JJNM # # BrFF8## GGIIchhtQ / /0000 EFFF IIg
J $ $R ( (s +B33
C ?C c , t | }n# t $ ru | j | }nT# t $ rG t || j j j r| | }nt | }Y nw xY wt | }Y nw xY w|S r ) iterr r KeyErrorr r( rp r r )r
collectionitr s r r zTestEnv.get_examples s
j!!BB
*]:.
*
*
* j$(/*@AA *#0066BB j))B
*
bBBB s0
B
+BAA<9B;A<<BBc d|v r|}| d D ]o} t || }# t $ rO | d| | d|d| | d|z cY c S w xY wnX t || }nF# t $ r9 t
r | d| | d| cY S w xY w|S )N.z getattr: z has no attribute z
,
because zattr: )r r r7 r rs DEBUG)r r rs r subnames r r zTestEnv.getattr sQ $;;A ::c??
f
ff 7++AA f f f ;;;DIIVYNNNN\`\`'a'aNRiiXYllll\c\c'd(e f f f f f f ff
f
\C&&
\
\
\ {{{TYYs^^^^UYUY#Z[[[[[
\ s# 0AB B B A C"!C"c : t |t r | S t |t rKt | dk r |d j j u r|d S t fd|D S t d )Nr rx r c < g | ]} | S r )ru )r ntr r s r r z&TestEnv.gengetattr.. s' O O O2dooc2 6 6 O O Or
z0gengetattr: I am picky, required string or tuple)r r r r rD r( quoter )r r
name_or_tuples `` r ru zTestEnv.gengetattr s mS ) ) P<<]33 3
u
-
- P=!!Q&&=+;tx~+M+M$Q'' O O O O O O O OPPP NOO Or
c : | j | d S r )r rX r messages r logz TestEnv.log
s
W%%%%%r
c t || j j j rt | S d| j | z S Nz%s)r r( rp r r )r r s r rs z TestEnv.name s? c48?1 2 2 ,s88O$(,,s+++ +r
c d|z S r? r )r r/ s r name_collzTestEnv.name_coll s
j r
c | | | | j |d d S # t $ r< | j j j }| | Y d S w xY w)NzTop spec) get_obj_examplesr5 r r7 r( rU sysexc_info dump_failure)r r tvts r testz TestEnv.test s c""" # t|S* = = = = = # # #(.$--//C c " " " " " " #s 5 AA;:A;c | j | | }|D ]`}|dd }|d }| j |g }|D ].}| | | ||d /ad S )Nr rx ztesting example of set)r GetExamplesr
setdefaultrX r5 )r r r r vsrT vs r rC zTestEnv.get_obj_examples! s
Y
"
"4
-
- C CA122B!A
((B//A
C
C ""1a)ABBBB
C C Cr
rx c |\ }}}g }|}|=|j }|j | j j j u r| | |j }|=|D ]^}|j } t d| d t d| d t d| d t d _|r(| j j
j ||| d S )Nza = r. zb = r/ z
message = r< z-----)
tb_framef_coder5 rb r^ rX tb_nextf_localsprintr( rU tracebackprint_exception)
r xxx_todo_changeme3noraiserj valuerT r tbr_ los
r rF zTestEnv.dump_failure+ s #5 ui
n Ax4-6??? AB n
AB Ebgg' ( ( ( Ebgg' ( ( ( ,9
. . . 'NNNN HN $ 4 4T5) L L L L L r
c n | ||d }n# t $ r t $ r Y dS w xY w|S )Nr F)r5 r r7 )r r. r/ r s r r zTestEnv.contains? s\ ""1a44AA 55 s 22c . | || S r r r r. r/ r< s r r5 zTestEnv.test_containsH s q$'''r
c | || | d|z S # t $ r t $ r Y dS w xY w)Nztest_contains_not, from: %sT)r5 r r r7 r] s r test_contains_notzTestEnv.test_contains_notK so H
OOAt $ $ $ ;; %..00!) eY} HHY( ) ) )$u++ ur
c P | | }d}|D ]C} || | s0| d| | d| c S |dz
}D|sF t | }|dk rt n(# t
$ r | d||| Y nw xY wdS )Nrx z forall: e = , from: r r T)r r rs rD r r7 r )r r/ r r< r r r r. s r r zTestEnv.foralli s
z
*
*
A4a==
Y{{{1 ww#WXXXXX
FAA J
J
OOq55''
J
J
J$$Xz4IIIII
J ts ! A> >"B#"B#c
N | | }d}|D ]p}| | D ]X} || || sD| d| | d| | d| |dz
}Yq|s| d||| dS )Nrx zforall_pairs: a = , b = rg r forall_pairsTr r rs r )r r/ r r< r r r. r/ s r rj zTestEnv.forall_pairs{ s
++
A&&z22
tD!Q'' >KKK ! diillllGG!= > > >Q
L T7 K K Ktr
c
| | }d}|D ]}| | D ]}| | D ]o} || ||| sZ| d| | d| | d| | d| |dz
}p|s| d||| dS ) Nrx zforall_triples: a = ri z, c=rg r forall_triplesTrk ) r r/ r r< r r r. r/ cs r rm zTestEnv.forall_triples s
++
A&&z22
**:66 A 4aA.. P IIaLLLL$))A,,,, ! gg%O P P PFAA
N !1:tW M M Mtr
c t g }t | D ]_\ }} || }nH# t $ r; | || j j j f Y Vw xY w|r dS `|D ].\ }}t d|z | |d /| | d S )NTz%forsome: exception at collection[%d]:r )rW )
r r7 rX r( rU rD rE rS rF r ) r r/ r r< failuresr r r/ rG s r forsomezTestEnv.forsome s j)) DAq
DGG
DHN$6$?$?$A$A BCCC
tt
. .HQ 9A= > > > c1 - - - - G s $AA)(A)N)rx )ry ) rK rM rN r
iscompleterb r r? r r r r ru r= rs rA rH rC rF r r5 r_ r r r r rj rm rq r r
r r r s OJH#$ I8 8 8 3 3 3j $ P P P& & &, , , ! ! !# # #C C C ( ( ( (H H H + + + $
r
r c e Zd ZdZdZdZdZd Zd Zd Z d Z
d Z d
Z d Z
d Zd
Zd ZdBdZd Zd Zd Zd ZdBdZd Zd ZdCdZd ZdBdZd 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)d* Z*d+ Z+d, Z,d- Z-d. Z.d/ Z/d0 Z0d1 Z1d2 Z2d3 Z3d4 Z4d5 Z5d6 Z6d7 Z7d8 Z8d9 Z9d: Z:d; Z;d< Z Z>d? Z?d@ Z@dA ZAdS )D _GLUECLAMP_)_loaded) r Docr r r rB wrap_source_stringr r ) _hiding_tag_)z _parent:Usez_parent.Use:isoz_parent.Use:Nothingc | j j S r )_parentrp r s r _get_UniSetz_GLUECLAMP_._get_UniSet s $,"55r
c | j j S r )rz rv r s r _get_Docz_GLUECLAMP_._get_Doc s t| //r
c | j j S r )rz Viewr s r _get_Viewz_GLUECLAMP_._get_View s 11r
c L | j | j j d S )Nzguppy.heapy.Spec)rv attributerootr s r
_get__origin_z_GLUECLAMP_._get__origin_ s x!!$(-1CDDDr
c | j }|dk r | || | j | }nA# |j $ r4 t d t d| Y nw xY w|S )NsetofrT zno wrap:)rv wrapr r DocError
__import__ print_excrS )r r rs rv s r
_wrapattr_z_GLUECLAMP_._wrapattr_ s h 7?? $((3
dmT B BCCCC| $ $ $ { # # - - / / / *d # # # # # $
s /A ;A>=A>c 6 | t S r )r r r s r _get_abstractsetz _GLUECLAMP_._get_abstractset s {{,---r
c 6 | t S r )r r| r s r _get_adaptuplez_GLUECLAMP_._get_adaptuple {{?+++r
c | j S r )r r s r _get_anyz_GLUECLAMP_._get_any s } r
c 6 | t S r )r rP r s r
_get_argnamesz_GLUECLAMP_._get_argnames {{>***r
c 6 | t S r )r rm r s r _get_attrz_GLUECLAMP_._get_attr r r
Nc P | j }|D ]}|| || z } |S r )ro r( )r r% rj r r s r attrsz_GLUECLAMP_.attrs s7 H $ $A
1d## #AAr
c 4 d }| |d S )Nc Z |r n%# t $ r | d Y nw xY wdS )Nz#boolean: 'if x' raised an exceptionT)r7 r r: r s r r z#_GLUECLAMP_._get_boolean..p sQ
B
B
B
B
@AAAAA
B4s ((booleanr r r s r _get_booleanz_GLUECLAMP_._get_boolean s' ~~a+++r
c 0 | d d S )Nc t | S r )callabler s r r z+_GLUECLAMP_._get_callable.. s Xa[[ r
r r r s r
_get_callablez_GLUECLAMP_._get_callable s ~~ 8 8*EEEr
c L
| j j }| j j | j j d d t fdt |j D
t fdt j
D
fd
fd}fdd d }d
}d }t fd t j
D t fd
t |j D ||j < dD ]}|t || < ||j
< fd
G
fdd | fd}|S )Nc | S r r noder_ s r mapchildren_idz0_GLUECLAMP_._get_compile..mapchildren_id s Kr
c D | d gfd| dd D z S )Nrx c & g | ]
} | S r r )r r r_ s r r zI_GLUECLAMP_._get_compile..mapchildren_default.. s! 7 7 7! 7 7 7r
r r r s `r mapchildren_defaultz5_GLUECLAMP_._get_compile..mapchildren_default s1 G9 7 7 7 7d122h 7 7 77 7r
c g | ]}|fS r r )r rX r s r r z,_GLUECLAMP_._get_compile.. s H H He^
$ H H Hr
c g | ] \ }}|f
S r r )r rX rs r s r r z,_GLUECLAMP_._get_compile.. s9 *\ *\ *\.9eT ,12E*F *\ *\ *\r
c 4 | d | | S r r )r r_ mapchildren_dispatchs r mapchildrenz-_GLUECLAMP_._get_compile..mapchildren s 0'Q0q99 9r
c t j D ]-\ }}t | | rt | | j |< .fdS )Nc 4 | d | S r r )r _visitr s r r z9_GLUECLAMP_._get_compile..visitor.._visit s ZQtAwZf%=%= =r
)copyr sym_nameitemsrk r rb )CrX rs r r r symbols @@r visitorz)_GLUECLAMP_._get_compile..visitor s $))++A #FO$9$9$;$; < <
9
9 t1d## 9 &q$ / / 8AeH = = = = = =Mr
c R | dd D ]} |d || d S )Nr rx r )r r r recover_source_dispatchs r recover_source_nodez5_GLUECLAMP_._get_compile..recover_source_node sC !""X
4
4-'!-a3333
4
4r
c |r!|d dk r| d | | d d S Nr rI r rX r r s r recover_source_tokenz6_GLUECLAMP_._get_compile..recover_source_token
sA
QrUc\\
HHT!W r
c ~ |r |d dvr| d | | d d S )Nr )r2 rI r r r r s r recover_source_namez5_GLUECLAMP_._get_compile..recover_source_name sC
QrU*,,
HHT!W r
c < | | d d S r r r s r recover_source_tight_leftz;_GLUECLAMP_._get_compile..recover_source_tight_left s
HHT!W r
c |rC|d dd s!|d dk s| d | | d d S r )isalnumrX r s r recover_source_lparz5_GLUECLAMP_._get_compile..recover_source_lpar s`
!B%*,,..
!B%3,,
HHT!W r
c g | ] \ }}|f
S r r )r rX rs r s r r z,_GLUECLAMP_._get_compile.. s9 (Z (Z (Z,7E4 */0C(D (Z (Z (Zr
c g | ]}|fS r r )r rX r s r r z,_GLUECLAMP_._get_compile.." s SSSE5./SSSr
) RPARLSQBRSQBCOLONCOMMASEMIDOTLBRACERBRACEc b g } | d | | d | S )Nrx ry )r )r r r s r recover_sourcez0_GLUECLAMP_._get_compile..recover_source- s4 A , #DG ,T1 5 5 5771:: r
c e Zd Z fdZdS )._GLUECLAMP_._get_compile..wrap_lambdefc # F t | dk r| d d j k rk | d } | d | }dddddd d
d d d
dddddddd|ffdddddddd d
d d d
ddddd|z ffffffffffffffffdfffffffffffffS | | S )Nr r rx i$ i% i& i' i) i* i+ i, i- i. i/ i0 )1 )r rw i4 ) rI i= i> ) r r rC z%r) r )rD lambdef)r r_ lsourcelnoder r r s r rH z3_GLUECLAMP_._get_compile..wrap_lambdef.test3 s t99>>d1gajFN&B&B ,nT!W 5 5G 'KQ 3 3E cC#cC#ILsUXZzVY[cfiloruw|q}k~ AJgjmpsvy| @C FI LO RU X[ Y\ _b eh kn qt wx z~ AH zH vx py jz d{ ^| X}W~ Q K@ EA B yC sD mE gFfG IQVRUS OT IUHV BW .compile_E s v~~ vx=====++f%%C##C1#55D ;t\22D""4((C""3''BIr
)rU tokenr r dictr N_TOKENSupdater r r NAMEr LPAR)r r r r r r tokr r r r r r r r r r r r s @@@@@@@@@@@r _get_compilez_GLUECLAMP_._get_compile s
"" 8 8 8 $ H H H H%2G2G H H H J J ##D *\ *\ *\ *\=A&/BWBWBYBY=Z=Z*\ *\ *\ %] %] ^ ^ ^ : : : : : 4 4 4 4 4
#' (Z (Z (Z (Z;?@U@U@W@W;X;X(Z (Z (Z #[ #[ && SSSSU5>=R=RSSS T T V V V /B
+/ 9 9C 9
$Gs% %
/B
+
, , , , , , , , , , , ," w|,,
r
c 6 | t S r )r r r s r
_get_cprodz_GLUECLAMP_._get_cprodS s {{1222r
c @ | j j | S r )rp byclododictofr s r r z_GLUECLAMP_.dictofV s {"))#...r
c 6 | t S r )r r r s r _get_docz_GLUECLAMP_._get_docY s {{9%%%r
c |j | j z }t | }t | |S r )r r shortestr rS )r r r dos r docofz_GLUECLAMP_.docof\ s7 w &0022
XX
b r
rx c " |rd}nd}| |d| }| | j j j j | }|$| }t || t || S )Nr r ry )
rB r rU r r r r r execr )r rS initr
r r+ r s r r z_GLUECLAMP_.evalb s DDD
\\$D
)
) TZ - 1 6 I I" M M N N A qMMMB{{r
c t ddi}t j D ]&}| d r
|dd }d||< '|S )NrU r _get_ )rt r r )r r% r s r _get_all_namesz_GLUECLAMP_._get_all_namesp sN ! % A||G$$
abbEE!HH r
c |+d| j vr!| j D ]}t | | d| _ n | j }|D ]}||v rt | | | j }| j j d |d< |S )Nru r __builtins__)r all_namesr ru r __globals__)r r% r allrs r s r r z_GLUECLAMP_._load_namesx s =
-- % %AD!$$$$ .C
(
(3;;D$''' M , 8 H.r
c 6 | t S r )r r r s r _get_egz_GLUECLAMP_._get_eg {{=)))r
c 6 | t S r )r r r s r _get_elemz_GLUECLAMP_._get_elem s {{:&&&r
c n || j j v r1| | }|| j | fS || j j v r|j j dk r|j j
d r|j j }| d }|j j }| j
j }t ||d | ||d }d | }|| j | fS || j | fS )Nzz
)r< stringr rv anonTypeFunctionr^ co_name co_filenamer r co_firstlinenorU rV rS getblockr getdoc) r rS r r lineslnumrV blockrj s r r z_GLUECLAMP_._exodoc s 47> ! ! $AdhmmD))) )di(((m#z11m'22>BB 2 *BHHTNNE=/Dj(G %, $$U455\22EYYu%%F 000 0 ... .r
c 6 | t S r )r r/ r s r _get_expredz_GLUECLAMP_._get_expred s {{4555r
c 4 d }| |d S )Nc ~ t d|z n(# t $ r | d|z Y nw xY wdS )Nz lambda : %szNot a valid expression: %rT)r r r r s r r z&_GLUECLAMP_._get_expression..p s[
=]Q&''''
=
=
=
7!;<<<<<
=4s "::r1 r r s r _get_expressionz_GLUECLAMP_._get_expression s' ~~a ...r
c 6 | t S r )r r8 r s r _get_expsetz_GLUECLAMP_._get_expset s {{.///r
c 6 | t S r )r r r s r _get_equalsz_GLUECLAMP_._get_equals s {{<(((r
c 0 | j j || g|R i |S r )rp fam_mixin_argatom)r r+ rS r s r r z_GLUECLAMP_.family s) ,t{,S$FFFFFFFr
c | j j S r )rp rx r s r _get__hiding_tag_z _GLUECLAMP_._get__hiding_tag_ s
{''r
c 6 | t S r )r r) r s r
_get_instancez_GLUECLAMP_._get_instance r r
c 6 | t S r )r r r s r _get_intersectionz _GLUECLAMP_._get_intersection s {{-...r
c 6 t | | j j S r )r _Specification_r r s r _get_LEz_GLUECLAMP_._get_LE s d 2 ?@@@r
c | j S r r; r s r _get_SPLEz_GLUECLAMP_._get_SPLE s wr
c 6 | t S r )r r r s r _get_mappingz_GLUECLAMP_._get_mapping r r
c 6 | t S r )r r> r s r _get_matchesz_GLUECLAMP_._get_matches r r
c " t | | S r )r )r r s r mkTestEnvz_GLUECLAMP_.mkTestEnv s tT"""r
c 0 | d | S )Nc dS r r )r r s r r z%_GLUECLAMP_.newtype.. s 1 r
r )r rs s r newtypez_GLUECLAMP_.newtype s ~~nnd333r
c | j j S r )User r s r _get_nothingz_GLUECLAMP_._get_nothing s
x r
c ~ | d| | | j j z | j z S )N partition)r union_equalsr< nonemptyset_of_disjoint_setsr s r rB z_GLUECLAMP_.partition sC xx ))#.. () 12 r
c 6 | t S r )r r r s r _get_predicatez_GLUECLAMP_._get_predicate r r
c 6 | t S r )r r r s r
_get_powersetz_GLUECLAMP_._get_powerset r r
c | j j S r )rp r r s r
_get_Anythingz_GLUECLAMP_._get_Anything s
{##r
c g S r r r s r
_get_quotez_GLUECLAMP_._get_quote s r
c 6 | t S r )r rH r s r _get_recurselfz_GLUECLAMP_._get_recurself r r
c F G d d }| | S )Nc V e Zd Zg dZd Zd Zd Zd Zd Zd Z e
Z d Z d Z
d
Zd Zd S )
/_GLUECLAMP_._get_relation..RelationSpec))1paxb)2paxa)3defiopfuop)4defipair)5
defitriplec h | | |j |j S r r r r r r s r _get_spec_1z;_GLUECLAMP_._get_relation..RelationSpec._get_spec_1 s& wwqwwqz1: > >???r
c h | | |j |j S r r_ r` s r _get_spec_2z;_GLUECLAMP_._get_relation..RelationSpec._get_spec_2 s&
AJ ? ?@@Ar
c
l |j |j |j fz | ddddddddd d
z S ) NrH r r r r r r r r r
)r r r r` s r _get_spec_3z;_GLUECLAMP_._get_relation..RelationSpec._get_spec_3 sD aj!*%==dD$T4SWYabbc dr
c L | |j | j j S r r r r rY r` s r _get_spec_4z;_GLUECLAMP_._get_relation..RelationSpec._get_spec_4 s wwqudin555r
c X | |j | j j |j S r rg r` s r _get_spec_5z;_GLUECLAMP_._get_relation..RelationSpec._get_spec_5 s wwqudinae<<.RelationSpec._get__relop s xx ,,,r
c |j |fS r )r r r rY s r
map_3_to_4z:_GLUECLAMP_._get_relation..RelationSpec.map_3_to_4 s 1:t2D+Dr
c 8 | |j | S r )_relopr rn s r
map_3_to_2z:_GLUECLAMP_._get_relation..RelationSpec.map_3_to_2 s $++aj$2O2O+Or
c | j | S r rq r r rS s r
map_4_to_2z:_GLUECLAMP_._get_relation..RelationSpec.map_4_to_2 +$+t2D+Dr
c | j | S r rt ru s r
map_5_to_1z:_GLUECLAMP_._get_relation..RelationSpec.map_5_to_1 rw r
N)rK rM rN r ra rc re rh rj rl r
map_2_to_1ro rr rv ry r r
r RelationSpecrR s F
@
@
@
B
B
B
d
d
d
6
6
6
=
=
=
-
-
- J D D D O O O D D D D D D D Dr
r{ )repcat)r r{ s r
_get_relationz_GLUECLAMP_._get_relation sG E E E E E E E ED {{<(((r
c . | j j j j S r )r rX rt rV r s r
_get_relopz_GLUECLAMP_._get_relop s }#&++r
c " t | | S r )r )r r s r r| z_GLUECLAMP_.repcat s %dD111r
c 6 | t S r )r r r s r
_get_sequencez_GLUECLAMP_._get_sequence r r
c @ | | j j S r )instancerp r s r _get_setz_GLUECLAMP_._get_set s }}T[ /000r
c 4 d }| |d S )Nc 2 | |d d S )Nc 8 ||k p| | S r )disjoint)r: r. r/ s r r zB_GLUECLAMP_._get_set_of_disjoint_sets..p..% s a9P1::a== r
za == b or a.disjoint(b))rj r s r r z0_GLUECLAMP_._get_set_of_disjoint_sets..p$ s% ##A'P'P$=? ?
?r
zset of disjoint setsr r s r _get_set_of_disjoint_setsz%_GLUECLAMP_._get_set_of_disjoint_sets# s( ? ? ? ~~a!7888r
c t || j j sl| j | }| j || j | j | j d | }|S )Nr )r rp r rv r callfuncr r r$ s r r z_GLUECLAMP_.setcast) sz #t{ 122 +%%c**C(--TX%6%6""4=)<<& & C
r
c | j S r )r r s r
_get_setofz_GLUECLAMP_._get_setof1 s
} r
c , | d S r )r: r s r _get__static_test_envz!_GLUECLAMP_._get__static_test_env4 s ~~d###r
c 6 | t S r )r r# r s r
_get_synonymsz_GLUECLAMP_._get_synonyms7 r r
c 6 | t S r )r r] r s r _get_tupleformz_GLUECLAMP_._get_tupleform: r r
c | j j S r )r? r r s r _get_Typez_GLUECLAMP_._get_Type= s x} r
c | | d| | | | S )Nr )egr( r r r s r rC z_GLUECLAMP_.union_equals@ sC wwtyy$++c*:*:;;}}S))+ + +r
c D | j | |_ |S r )rv rj r )r r r s r rw z _GLUECLAMP_.wrap_source_stringD s ,,
r
r r )BrK rM rN _chgable__nowrap_ _preload_ _imports_r{ r} r r r r r r r r r r r r r r r r r r r r
r r r r# r% r' r r+ r- r/ r2 r4 r6 r8 r: r= r@ rB rG rI rK rM rO r} r r| r r r r r r r r r rC rw r r
r rt rt s I&H II 655///111E E E . . ., , , + + +, , , , , ,F F Fe e eN3 3 3/ / / /& & &
* * *' ' '/ / /&6 6 6/ / /0 0 0) ) )G G G( ( (+ + +/ / /A A A * * ** * *# # #4 4 4 , , ,+ + +$ $ $ , , ,,) ,) ,)\, , ,2 2 2+ + +1 1 19 9 9 $ $ $+ + +, , , + + + r
rt N)'__doc__r3 r r rP rm r| r r r r r r r r r r# r) r/ r8 r> rH rY r] r rv r| r r r r r r7 r r? r r r rt r r
r r s:
)G )G )G )G )G )G )G )GX* * * * *Z * * *Z j .* * * * *j * * *,' ' ' ' 'Z ' ' 'T
Z
GH GH GH GH GHJ GH GH GHT j _ _ _ _ _Z _ _ _4 * * * * *
* * * 4 4 4 4 4* 4 4 4n : J Z $ W W W W WZ W W W
$Y Y Y Y Y* Y Y Y"
J
% % % % %j % % %P 7 7 7 7 7j 7 7 7&2 2 2 2 2 2 2 2& E ! ! ! ! !E ! ! ! *m% m% m% m% m% m% m% m%`9 9 9 9 9
9 9 9x5 5 5 5 5 5 5 5M M M M M M M M I 2N N N N N N N N b` ` ` ` ` ` ` ` ` `r