Current File : //opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyo
�
;�Pc @ s d Z d Z d � Z d f d � � YZ d e f d � � YZ d e f d � � YZ d e f d
� � YZ d e f d � � YZ d
e f d � � YZ d e f d � � YZ d e f d � � YZ
d e f d � � YZ d e f d � � YZ d e f d � � YZ
d e f d � � YZ d e f d � � YZ d e f d � � YZ d e f d � � YZ d! e f d" � � YZ d# e f d$ � � YZ d% e f d& � � YZ d' e f d( � � YZ d) f d* � � YZ d+ e f d, � � YZ d- f d. � � YZ d/ e f d0 � � YZ d1 e f d2 � � YZ d3 f d4 � � YZ d5 e f d6 � � YZ d7 e f d8 � � YZ d9 e f d: � � YZ d; e f d< � � YZ d= e f d> � � YZ! d? e f d@ � � YZ" dA e f dB � � YZ# dC f dD � � YZ$ dE f dF � � YZ% dG f dH � � YZ& dI S(J s
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.
i c C si y t | d � SWnQ t k
rd t | t � rZ d d j g | D] } t | � ^ q@ � St | � SXd S( Nt briefs (%s)t ,( t getattrt AttributeErrort
isinstancet tuplet joint briefstrt str( t xt xi( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR s
*t
SpecFamilyc B sG e Z d � Z d � Z d � Z d � Z d � Z d � Z d � Z RS( c C s/ | | _ | j | j � | j | g 8_ d S( N( t specmodt defrefiningt Anythingt disjoints( t selft unisetmodR ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt __init__ s c C s | j | | � S( N( t Set( R t arg( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt __call__ s c C s? t | t � r( | j j j | | f � S| j j | | � Sd S( N( R R t modt fam_Andt _const famt _and_ATOM( R t at b( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt c_and! s c C s| | j j } | j j � } x? | j D]4 } y | j | | d � Wn q% X| j | � q% W| j j j | j j | � � S( Ns select contains(
R t _static_test_envR t
mutnodesett nodest
test_containst addt fam_IdentityR t
immnodeset( R R R t envt rest bi( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _and_ID( s c C s< | j j } y | j | | d � SWn t k
r7 t SXd S( Ns
Spec contains( R R R! t TestErrort False( R R R R% ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
c_contains5 s
c C s4 | j } t | � | k r0 | | d d } n | S( Ni s ...( R t len( R R t max_lenR ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt c_getlimstr< s c C s d | j j t | j � f S( Ns <%s(%s)>( t __class__t __name__R R ( R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt c_get_briefB s ( R0 t
__module__R R R R( R+ R. R1 ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR s
t ArgNamesFamilyc B s5 e Z d � Z d � Z d � Z d � Z d � Z RS( c G s | j | | � S( N( R ( R t args( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR T s c C sq | j j j } | j | � \ } } } | d k rG | j d | � n | d k rg | j d | � n t | � S( Ns *%ss **%s( R t _roott inspectt getargst Nonet appendR ( R t codeR6 R4 t varargst varkw( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt getargnamesW s c C s9 y | j } | j | � | k SWn t k
r4 t SXd S( N( t func_codeR= R R* ( R t fR4 R: ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
func_argnames` s
c C sF y- | j } | j } | j | � d | k SWn t k
rA t SXd S( Ni ( t im_funcR> R= R R* ( R t mR4 R? R: ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
meth_argnamesg s
c s� � � f d � } � � f d � } � j j j } | | � p� | | � p� t | | j � r{ t | d � r{ | | j � p� t | | j � r� t | d � r� | | j � p� t | | j � r� t | d � r� | | j � p� t | d � o� | | j � S( Nc s � j | � j � S( N( R@ R ( R? ( R R ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt <lambda>p s c s � j | � j � S( N( RC R ( RB ( R R ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD q s R R (
R R5 t typesR t InstanceTypet hasattrR t ClassTypeR t TypeType( R R R R@ RC RE ( ( R R sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR+ o s ( R0 R2 R R= R@ RC R+ ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR3 S s
t AttributeFamilyc B s& e Z d d � Z d � Z d � Z RS( c C sU | d k r | j j } n' t | | j j � sB | j | � } n | j | | f � S( N( R8 R t anyR R t UniSett c_fromt specotup( R t namet type( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s
c C s1 | j \ } } | j | | � } | j | | � S( N( R t
gengetattrR! ( R R R R% RO RP R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt c_test_contains� s c C sP d | j d f } | j d d k rB | d | j d j } n
| d } | S( Ns <AttributeFamily(%r%%s>i i R t ( R R8 R ( R R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt c_get_brieflimstr� s
N( R0 R2 R8 R RR RT ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRJ � s t AdaptupleFamilyc B s# e Z d � Z d � Z d � Z RS( c O s* t j | | | � | j d d � � d S( Nt newc S s | j d S( Ni ( R ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD � s ( R R t
add_export( R R t k( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c C sF | j j | � \ } } | j j | � } | j | | f | | f � S( N( R t _exodoct setcastt specoargtup( R t funcRP t doc( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c C s[ | j \ } } t | t � rE y | | � } WqK | j d � SXn | } | j | | � S( Ns calling func failed( R R R t failed_exc_infoR! ( R R R R% R\ RP R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR � s ( R0 R2 R R RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRU � s t CartesianProductFamilyc B s5 e Z d � Z d � Z d � Z d � Z d � Z RS( c G s | j | | � S( N( R ( R RE ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c C s0 | j } t | � d k r# | d St d � d S( Ni i s* Domain is defined on binary relations only( R R, t TypeError( R R RE ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt c_domain� s c C s� g } xh t | j � D]W \ } } t | j | � � } | s` | j d | d d | � s` g Sn | j | � q W| j j j j
j | � S( Ns cartesian products the argument #%d( t enumerateR t listt get_examplest failed_coverageR8 R9 R R5 t guppyt etct iterpermute( R R R% t exst it ait ex( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt c_get_examples� s c C s1 d } x$ | j D] } | t | j � } q W| S( Ni ( R R, ( R R t lRk ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt c_len� s c C s� | j } t | � } t | � t | � k rS | j d t | � t | � f � n: x3 t | | � D]" \ } } | j | | � sc t Sqc Wt Sd S( Ns* cprod of length %d: argument has length %d( R R R, t failedt zipR! R* t True( R R R R% RE t bst t( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR � s & ( R0 R2 R Ra Rm Ro RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR_ � s
t SequenceFamilyc B s# e Z d � Z d � Z d � Z RS( c C s
| j | � S( N( t specoarg( R RP ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c C s. x' | D] } | j j | | � s t Sq Wt S( N( R R! R* Rr ( R R R R% R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR � s
c c sS xL t | j � D]; } x2 | j | j j | j g | � � D] } | Vq< Wq Wd S( N( t ranget max_sequence_examples_lengthRd R t cprodR ( R R R% Rj R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm � s ,( R0 R2 R RR Rm ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRu � s t
MappingFamilyc B s5 e Z d � Z d � Z d � Z d � Z d � Z RS( c s0 t j � | | � � j d � f d � � d S( Nt arrowc s � � f d � S( Nc s � j � | � S( N( t c_arrow( R? ( R R ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD � s ( ( R ( R ( R sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD � s ( R R RW ( R R RX ( ( R sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c C s" | j \ } } } t | | | � S( N( R t Arrow( R R R? t tft tst ret( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR| � s c G s g } g } d } d } | j j } xq| t | � k r�| | } t | t � r`| d k r� | d 7} | t | � d k s� t d � n | | | � } q�| j d � r� | d 7} | | | � } | j d | d t | � f � | j | � q�| d k rP| d 7} | | | � } | j d t | � � | j | j j | � � q�t d
| � n* | j d t | � � | j | | � � | d 7} q' Wd d
j
| � d } t | � }
| j j | � } | d k r�| j j
} n | j | |
| | f � S( Ni s ->i s< The '->' specifier must be next to last in the argument listt =s %s=%args[%d]i����t *s *args[%d]s Invalid argument specifier: %rs args[%d]s lambda f: lambda *args: f(R t )( R8 R RZ R, R R t SyntaxErrort endswithR9 t sequenceR t evalRy R R ( R R4 R t as_R� Rj RZ Rk Rt t fnR? ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � sF
!
c s@ | j \ � } � � | � � � � f d � } | j | | � S( Nc sD y � | � } Wn
� n$ X� d k r< | j � | d � St Sd S( Ns Mapping Return Type( R8 R! Rr ( R% R4 t r( R? R� ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt g s ( R t forall( R R R\ R% R R� ( ( R? R� sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR s c s; | j \ } } } g | j | � D] � � f d � ^ q" S( Nc s � S( N( ( R4 t kwds( R ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD / s ( R Rd ( R R R% R? R R� ( ( R sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm , s ( R0 R2 R R| R RR Rm ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRz � s
) t PredicateFamilyc B s e Z d � Z d � Z RS( c C s | j | | | f � S( N( R ( R R R] ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR 3 s c C sB | j \ } } | | | � s> | j d | | j | � f � St S( Ns( pred: doc = %r; failed for element == %s( R Rp RO Rr ( R R R R% t predR] ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR 6 s ( R0 R2 R RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� 2 s t PowersetFamilyc B s, e Z d � Z d � Z d � Z d � Z RS( c G s' t j | | � | j d d � � d S( Nt unionc S s | j S( N( R ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD ? s ( R R RW ( R R4 ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR = s c C s
| j | � S( N( Rv ( R t set( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR A s c C s: | j j | j g } y | j | j � } Wn | SX| S( N( R t NothingR Rd ( R R R% R t y( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm D s c sW | | j j k r2 | j d | j j | � � n | j � | j | � f d � d � S( Ns% powerset.test_contains: not a set: %sc s | j � | d � S( Nt powerset( R! ( R% R ( R� ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD R s R� ( R R� Rp t isoR R� ( R R R R% ( ( R� sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR N s ( R0 R2 R R Rm RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� < s
t DocFamilyc B s e Z d d � Z d � Z RS( c C s^ | d k r | j j j } n* | | j j k rH | j j j | � } n | j | | | f � S( N( R8 R RL t
NotNothingR� t convertR ( R R] RP ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR V s
c C s | j \ } } | j | | � S( N( R R! ( R R R R% R] RP ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR ^ s N( R0 R2 R8 R RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� U s t RelOpFamilyc B s/ e Z d � Z d d � Z d � Z d � Z RS( c O sF t j | | | � | j d d � � | j d d � � i | _ d S( Nt domainc S s | j d S( Ni ( R ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD e s Rw c S s | j d S( Ni ( R ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD f s ( R R RW t memo( R R RX ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR c s c C s� | j j | � } | d k r' | } n | j j | � } | j j | | | f � } | d k r� | d k r� t d | � } | | _ n | } | j | _ | j | | | | f � } | | j | | | f <n | S(
Nt <s <=s ==s !=t >s >=t ins not int iss is nots lambda x,y: x %s y(
R� s <=s ==s !=R� s >=R� s not inR� s is not( R RZ R8 R� t getR� RO t func_nameR ( R R� t opRw R R\ ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR m s c C s� t | j | j � � } | s8 t d | j d d � g St | j | j � � } | sp t d | j d d � g Sg } xH | j j j j j
| | � D]( } | j | | � r� | j | � q� q� W| S( Nt relationR� Rw (
Rc Rd R� Re R8 Rw R R5 Rf Rg Rh t containsR9 ( R R R% t domt ranRi Rl ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm s %c C s, | j \ } } } | | � s( | j � St S( N( R Rp Rr ( R R R R% t dR� R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR � s
N( R0 R2 R R8 R Rm RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� b s
t EqualsFamilyc B s# e Z d � Z d � Z d � Z RS( c G s | s | j j S| j | � S( N( R R� RN ( R R4 ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s
c C s | | j k r t S| j d � S( Nt equals( R Rr Rp ( R R R R% ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR � s c C s | j S( N( R ( R R R% ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm � s ( R0 R2 R RR Rm ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s t
ExampleFamilyc B s# e Z d � Z d � Z d � Z RS( c G s | j | | | f � S( N( R ( R R� t examples( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c C s | j \ } } | j | | � S( N( R R! ( R R R R% R� R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR � s c C s | j \ } } | S( N( R ( R R R% R� R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm � s ( R0 R2 R RR Rm ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s t SynonymsFamilyc B s e Z d � Z d � Z RS( c G s | j | | � S( N( R ( R t names( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c C s� | j } | j j j � } x- | D]% } | j | | � } | j | � q" Wt | � sk | j d | � n t | � d k r� | j d t | � | f � n t S( Ns Synonyms: no such names: %ri s* Synonyms: %d different nodes for names: %r( R R RL R R R" R, Rp Rr ( R R R R% R� t msRO R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR � s
( R0 R2 R RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s t InstanceFamilyc B s# e Z d � Z d � Z d � Z RS( c C s? t | | j � s; | j d | j j | � | j f � n t S( Ns+ InstanceFamily: %s is not an instance of %s( R R Rp R R� Rr ( R R R R% ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR � s c C s | j | j j | j � � S( N( Rd R RZ R ( R R R% ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm � s c C s8 | j j g | j D] } t | | j � r | ^ q � S( N( R R# R R R ( R R R R' ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR( � s ( R0 R2 RR Rm R( ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s t ExpressionPredicateFamilyc B s e Z d � Z d � Z RS( c C s d } | j | | | | f � S( N( R8 R ( R R� t
expressionR\ ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c
C s� | j \ } } } t d d j | � | f � } i } x* | D]" } | j | | � } | | | <q> Wy | | � } Wn
� n X| s� | j d | � n t S( Ns lambda %s:%sR s False expression: %s( R R� R R Rp Rr (
R R R R% R� R� R\ R� RO R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR � s
( R0 R2 R RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s t ExpressionSetFamilyc B s e Z d � Z d � Z RS( c G s d } | j | | | | f � S( N( R8 R ( R R� R� R\ ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c
C s� | j \ } } } | j j d d j d t | � � | f � } i | j d 6} x* | D]" } | j | | � } | | | <qX Wy | | � } Wn
� n X| j | | d | d j | � f � S( Ns lambda %s:(%s)R t LEs expset(%s, %s)( R� ( R R R� R R R� R R! (
R R R R% R� R� R\ R� RO R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR � s /
( R0 R2 R RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s t
MatchesFamilyc B s# e Z d � Z d � Z d � Z RS( c O s) t j | | | � | j j j | _ d S( N( R R R R5 t sre( R R RX ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c C s | j | j j | � | f � S( N( R[ R� t compile( R t regexp( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c C s; | j } | j j | | � } | d k r7 | j d � St S( Ns
Did not match( R R� t matchR8 Rp Rr ( R R R R% t regexpobjRB ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR s
( R0 R2 R R RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s t RecurSelfFamilyc B s& e Z d � Z d d � Z d � Z RS( c O s9 t j | | | � d | j f d � � Y} | | _ d S( Nt RecurSpecc B s e Z d Z RS( R\ t recursion_levelt recursion_limit( R\ R� R� ( R0 R2 t __slots__( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� s ( R R R R� ( R R RX R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR s i
c C s( | j | | � } | | _ d | _ | S( Ni ( R� R� R� ( R t exprR� t s( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR s c C s� y
| j } Wn4 t k
rC | j } | j d | � } | _ n X| | j j � } y( | j | | d � } | s} t � n Wnr | | � } | j } zI | | j k r� | j
d | j � S| d | _ | j | | d � } Wd | | _ Xn X| S( Ns lambda self:%ss recur with Nothing, ok to fails recurself: recursion_level = %si t recur( R\ R R R� R R� R! R) R� R� Rp ( R R R R% R\ R� R� R~ t rl( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR s(
( R0 R2 R R RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� s t Dummyc B s e Z RS( ( R0 R2 ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� / s t TupleformFamilyc B s e Z d � Z d � Z RS( c C s | j | | f � S( N( RN ( R t formR� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR 3 s c
C s� | j \ } } t | � } t | � t | � k rV | j d t | � t | � f � St � } x- t | | � D] \ } } t | | | � qo W| j | | d � S( Ns+ tupleform: wrong length: got %d expected %dt tupleform( R R R, Rp R� Rq t setattrR! (
R R R R% R� R� t btt obRO t val( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR 6 s # ( R0 R2 R RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� 2 s R} c B s# e Z d � Z d � Z d � Z RS( c C s | | _ | | _ | | _ d S( N( t categoryt sourcet target( R R� R� R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR F s c C s% | j j | � } | j j | | � S( N( R� t validatet compose( R t other( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt ofK s c C s% | j j | � } | j j | | � S( N( R� R� R� ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt toQ s ( R0 R2 R R� R� ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR} E s t
IdentityArrowc B s e Z d � Z d � Z RS( c C s t j | | | | � d S( N( R} R ( R R� t object( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR X s c C s | S( N( ( R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR [ s ( R0 R2 R R ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� W s t
FunctionArrowc B s e Z d � Z RS( c C s# t j | | | | � | | _ d S( N( R} R R ( R R� R� R� t function( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR _ s ( R0 R2 R ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� ^ s t RepresentationCategoryc B s8 e Z d Z d Z d � Z d � Z d � Z d � Z RS( c C s, | j t � } | j | | � | | _ d S( N( t familyt RepresentationObjectFamilyt init2t _fam( R R t specR ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR f s c C s
| | k S( N( ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt __eq__k s c C s t t | � � S( N( t hasht id( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt __hash__n s c C s# | j j | � } | | j | <| S( N( R� t getobjectt __dict__( R RO R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt __getattr__q s
N( R0 R2 R8 t _derive_origin_t _origin_R R� R� R� ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� c s R� c B sY e Z d � Z d � Z d � Z d � Z d � Z d � Z d � Z d � Z d � Z
RS( c C s� | | _ i | _ i | _ i | _ | j d | j � | j } d | f d � � Y} | | _ d | f d � � Y} | | � | _ d S( Nt
fromuniversalt RepresentationObjectc B s e Z d Z RS( R� t from( R� R� ( R0 R2 R� ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s t RepresentationCategorySpecc B s e Z d � Z d � Z RS( c S s | | _ | j | _ d S( N( R� t catt _cat( R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c S sS t | j d | � rF t | d | � | j j � } | | j | <| St | � d S( Ns _get_%s( RG R/ R R� R R� R ( R RO R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s
( R0 R2 R R� ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s ( R� t objectst specst arrowsRW R� R R� ( R R� R� R R� R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� w s c C s0 | | f } | | j k r& | j | St � d S( N( R� t SpecError( R R� t codt dc( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt getarrow� s c C s� | | j k r | j | Sn | j | � } | | j k r] | j | | j | <| j | Sn | | � } | | j | <| j | <| St d | � ( Ns No such object: %r( R� t normonameR� ( R RO t normnamet o( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s c C sy | j } | | j k r# | j | St | j d | d � } | d k rh | | j � } | | j | <| St d | � d S( Ns _get_spec_%ss getspec: No spec of %r( R R� R R� R8 R R� ( R t objRO t gst sp( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt getspec� s
c
s� | j } d | } | � j k r- � j | Si � t � j | � � | <x� t � j � D]� } | j d � ow d | k s� qY n | j d � \ } } | d } | | k rY t � j | � � t � j t � j | � | � � f d � � � | <qY qY W� � f d � } d | } � j
j | d | � } | � j | <� | � }
d t
f d
� � Y} | � j |
| � � } | � j | <| S( Ns %s.fromuniversalt map_t _to_i c s � � j | � S( N( R ( R ( R? R ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD � s c s� y | \ } } Wn | j d � SXt | d d � } | � k rO | j d � St | d d � } | � k rz | j d � S| j | | d � S( Ns Not a sequence with length 2R s# Tag is not an object of this familyR s% Object is not a source of this targets& Value is not an element of this object( Rp R R8 R! ( R% t et Ot AR t name_( t SR ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt p� s
s %s.universals Specification-set for %rt AlphaSumc B s# e Z d � Z d � Z d � Z RS( c S s# t j | | | | � | | _ d S( N( R} R t _S( R R� R� R� R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s c S s | j | j j j | � S( N( R R� R R� ( R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt __getitem__� s c S s | \ } } | | j | � S( N( R ( R t .1R� t E( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s ( R0 R2 R R R ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s ( R R� R� R� t dirR� t
startswitht splitR R� R t predicateR� R} (
R R� RO t arrownamet anR� Rt R t uninamet PR� R R{ ( ( R R? R sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s0
c C s� t | j d d � } | d k r� xo | j j D]^ } d } xO | D]G } | j � r\ | } n | | k rA | d k rx | St d | � qA qA Wq. Wn | S( Nt _isos_s* No numeric object name corresponding to %r( R R� R8 R t isdigitR� ( R t ont isosRn t nnt n( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s
c C s5 | j | � } d d d � � Y} | | � | _ | S( Nt Toc B s) e Z d Z d � Z d � Z d � Z RS( R� c S s
| | _ d S( N( R� ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR s c S s | j j j | j | � S( N( R� R R� ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR s c S s1 | j } | j } | j | � } | j | | � S( N( R� R R� R� ( R RO R� R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� s ( R� ( R0 R2 R� R R R� ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR s ( ( Rv R� ( R RO R� R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR
s c C s" | j | � } | j | | d � S( Ns7 RepresentationObjectFamily: not in object specification( R� R! ( R R R R% R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR s c C s | j | � } | j | � S( N( R� Rd ( R R R% R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRm ! s ( R0 R2 R� R� R� R� R� R� R RR Rm ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� v s
C t AbstractSetFamilyc B s5 e Z d � Z d � Z d � Z d � Z d � Z RS( c O s9 t j | | | � d | j f d � � Y} | | _ d S( Nt AbstractSetc B s e Z d Z d � Z RS( t _memoc S s( | | _ | | _ d | _ i | _ d S( N( R R R8 R� R ( R R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR * s ( R ( R0 R2 R� R ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR ( s ( R R R ( R R RX R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR & s c C s" | j | | f � } i | _ | S( N( RN R ( R R{ R� R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR 1 s c C s` | j | k rM | j \ } } | j \ } } | | k rM | | | | @� Sn | j j | | � S( N( R R t
_rand_ATOM( R R R t aat sat abt sb( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR 6 s c s{ | | j k r | j | S| j \ } � | | � � j � � � � f d � } | j j | d | � } | | j | <| S( Nc sS | j � | d � } | r? � | � } | j � | d � } n | S| j � t � S( Ns AbstractSet: not in arrow.sources AbstractSet: not in argument set( R! R� R� ( R% R Rt R� ( t pararrowR� t srcset( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR F s s Abstract set attribute: %r( R R R� R R ( R R R R{ R R� ( ( R R� R sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
c_getattr2> s
c C sU | j \ } } | j | j | d � } | rQ | | � } | j | | d � } n | S( Ns AbstractSet: not in arrow.sources AbstractSet: not in argument set( R R! R� ( R R R R% R{ R� Rt R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR S s ( R0 R2 R R R R! RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR % s
t
ElemFamilyc B s e Z d � Z d � Z RS( c C s
| j | � S( N( Rv ( R R\ ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR \ s c C s( | j } | | � } | j | | d � S( NR" ( R R! ( R R R R% R\ R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR _ s ( R0 R2 R RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR" [ s t IntersectionFamilyc B s e Z d � Z d � Z RS( c C s | j | | f � S( N( RN ( R R� R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR e s c s+ | j \ } � | j | � � f d � � S( Nc s | j � | � � d � S( Nt Intersection( R! ( R% R ( R R� ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD j s ( R R� ( R R R R% R� ( ( R R� sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR h s ( R0 R2 R RR ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR# d s R� c B s e Z RS( ( R0 R2 ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� n s R) c B s e Z RS( ( R0 R2 ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR) q s t
CoverageErrorc B s e Z RS( ( R0 R2 ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR% t s t LocalEnvc B s# e Z d Z d d � Z d � Z RS( t ADDi c C s( | | _ | | _ d | _ | | _ d S( N( t _modt _specR8 R� t nodoc( R R R� R* ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR { s c C s� | j } t | j | � } | j j | j j j j j | j � � } | j j
j | j | | j | j
| j � } | d � } | | j | <| S( N( ( R( R R) t _load_namesR5 Rf Rg t Codet co_findloadednamesR> RV R� R� t
func_defaultst func_closureR� ( R t attribute_nameR R? R� t nfR� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s *
( R0 R2 R� R R� ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR& y s t TestEnvc B s� e Z d Z e Z e Z d Z e 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 d � Z d � Z d � Z d d � Z d d � Z d d � Z d d � Z RS( R' i c C s� | | _ g | _ i | _ | d k r� | � | _ } y
| j } Wn t k
r] d } n Xt | | � } | | _ | | _ | j
| j � | _ n d S( NRS (
R t messagesR� R8 R� t LocalEnvExprR R& t _OBJ_R� R� t GlueTypeExprt topspec( R R t SpecR� t lexR� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s
c C s� | j } | j j } t | | j � rJ | j j d | � } | | j � Sg } d } | j j � } | j
� x� | D]� } t | | � } y
| j }
Wn t
k
r� qv n X|
j |
j d k rS| j | j j j j j |
� � } | j j j | j | | j | j | j � } | d � }
| d k r7|
} q\| j | j | |
� � qv t d � qv W| d k r|| j | � n | j j j | � } | S( Ns lambda LE:(
%s
)t INt _SELF_s# TestEnv.eval: invalid argument mode( R: ( ( R R5 RE R t StringTypesR� R� R8 R� t keyst sortR R> R t co_varnamest co_argcountR+ Rf Rg R, R- RV R� R� R. R/ R9 t attrR� RL R R ( R R� R RE R\ t lst selfsetR� RO R? t coR� R1 R� R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s@
$
c C s� y t | � } Wnx t k
r� y | j | } WnG t k
rz t | | j j j � rk | j | � } q{ t | � } n Xt | � } n X| S( N( t iterR` R� t KeyErrorR R RL Rd Rc ( R t
collectiont itRl ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRd � s
c C s� d | k r� | } x� | j d � D]W } y t | | � } Wq" | j d | j | � | f d | j | � | f � SXq" WnF y t | | � } Wn0 t r� � n | j d | j | � | f � SX| S( Nt .s getattr: %s has no attribute %rs ,
because %s has no attribute %rs attr: %s has no attribute %r( R
R Rp RO t DEBUG( R R� RO R t subname( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s #!c C s� t | t � r | j | | � St | t � r� t | � d k r^ | d | j j k r^ | d St g | D] } | j | | � ^ qh � Sn t d � d S( Ni i i s0 gengetattr: I am picky, required string or tuple( R R R R R, R t quoteRQ R` ( R R� t
name_or_tuplet nt( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRQ � s (,c C s | j j | � d S( N( R3 R9 ( R t message( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt log
s c C s: t | | j j j � r" t | � Sd | j j | � Sd S( Ns %s( R R RL R R� ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRO
s
c C s d | S( Ns %s( ( R RG ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt name_coll s c C sW | j | � y | j | j | d � Wn) | j j j j � } | j | � n Xd S( Ns Top spec( t get_obj_examplesR! R7 R R5 t syst exc_infot dump_failure( R R� t tvt( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt test s
c C s� | j j | | � } xh | D]` } | d } | d } | j j | g � } x. | D]& } | j | � | j | | d � qR Wq Wd S( Ni i s testing example of set( R� t GetExamplesR� t
setdefaultR9 R! ( R R� Rl R� t vsR� t v( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRR s
i c
C s� | \ } } } g } | } xJ | d k rg | j } | j | j j j k r[ | j | � n | j } q WxI | D]A } | j } d | d f GHd | d f GHd G| d GHd GHqo W| r� | j j
j j | | | � n � d S( Ns a = %rR s b = %rR s
message = RO s -----(
R8 t tb_framet f_codeR! RA R> R9 t tb_nextt f_localsR R5 t tracebackt print_exception(
R R t noraiseRP t valueR` Rc t tbR? t lo( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRU * s"
c C s; y | j | | d � } Wn t k
r/ � n t SX| S( NR� ( R! R% R* ( R R R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� = s
c C s | j | | � S( N( R! ( R R R RO ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR! F s c C sG y | j | | � Wn t k
r* � n t SX| j d | � Sd S( Ns test_contains_not, from: %s( R! R% Rr Rp ( R R R RO ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt test_contains_notQ s
RS c C s* | j s& | j d | � t | � n t S( Ns Failed:( t issilentRP R) R* ( R RO ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRp [ s c C s0 | | j j k r t St d | | | f � d S( Ns0 %s: no examples for collection = %s, message: %s( R R� Rr R% ( R t forwhatRG R\ RO ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRe a s c C sN | j j j j � } | \ } } } | j sJ | j d | � | | � n t S( Ns Failed:( R R5 RS RT Rg RP R* ( R RO RT RP Rc R` ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR^ f s c C s� | j | � } d } xG | D]? } | | | � sQ | j d | j | � | f � S| d 7} q W| s� y% t | � } | d k r� t � n Wq� | j d | | | � q� Xn t S( Ni s forall: e = %s, from: %si R� ( Rd Rp RO R, R% Re Rr ( R RG R\ RO Rl R R� R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� n s
c C s� | j | � } d } xs | D]k } xb | j | � D]Q } | | | | � sy | j d | j | � | j | � | f � n | d 7} q2 Wq W| s� | j d | | | � n t S( Ni s& forall_pairs: a = %s, b = %s, from: %si t forall_pairs( Rd Rp RO Re Rr ( R RG R\ RO R� R R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRi � s
&c C s� | j | � } d } x� | D]� } x� | j | � D]z } xq | j | � D]` } | | | | | � s� | j d | j | � | j | � | j | � | f � n | d 7} qH Wq2 Wq W| s� | j d | | | � n t S( Ni s. forall_triples: a = %s, b = %s, c=%s, from: %si t forall_triples( Rd Rp RO Re Rr ( R RG R\ RO R� R R R t c( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRj � s
2c C s� g } xc t | � D]U \ } } y | | � } Wn, | j | | j j j j � f � q n X| r t Sq Wx0 | D]( \ } } d | GH| j | d d �qs W| j | � d S( Ns% forsome: exception at collection[%d]:Rb i ( Rb R9 R R5 RS RT Rr RU Rp ( R RG R\ RO t failuresRj R R RV ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt forsome� s " ( R0 R2 R� R* t
iscompleteRg Rx R) R R� Rd R RQ RP RO RQ RW RR RU R� R! Rf Rp Re R^ R� Ri Rj Rm ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR2 � s4 8
t _GLUECLAMP_c B sT e Z dL Z dM Z dN Z dO 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 dP d � Z d � Z d � Z d � Z d � Z dP d � Z d � Z d! � Z dP d" d# � Z d$ � Z dP d% � Z d& � Z d' � Z d( � Z d) � Z! d* � Z" d+ � Z# d, � Z$ d- � Z% d. � Z& d/ � Z' d0 � Z( d1 � Z) d2 � Z* d3 � Z+ d4 � Z, d5 � Z- d6 � Z. d7 � Z/ d8 � Z0 d9 � Z1 d: � Z2 d; � Z3 d< � Z4 d= � Z5 d> � Z6 d? � Z7 d@ � Z8 dA � Z9 dB � Z: dC � Z; dD � Z< dE � Z= dF � Z> dG � Z? dH � Z@ dI � ZA dJ � ZB dK � ZC RS(Q t _loadedR� t DocR� R� RZ R� t wrap_source_stringR+ R� t _hiding_tag_s _parent:Uses _parent.Use:isos _parent.Use:Nothingc C s
| j j S( N( t _parentt AbstractAlgebra( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_AbstractAlgebra� s c C s
| j j S( N( Rt RL ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_UniSet� s c C s
| j j S( N( Rt Rq ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_Doc� s c C s
| j j S( N( Rt t View( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_View� s c C s | j j | j j d � S( Ns guppy.heapy.Spec( Rq t attributet root( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get__origin_� s c C sa | j } | d k r n y% | j | | j | j | � � } Wn | j k
r\ d G| GHn X| S( Nt setofs no wrap:( Rq t wrapR{ R� t DocError( R R� RO Rq ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_wrapattr_� s %
c C s | j S( N( Ru ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_AA� s c C s
| j t � S( N( R� R ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_abstractset� s c C s
| j t � S( N( R� RU ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_adaptuple� s c C s | j S( N( R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_any� s c C s
| j t � S( N( R� R3 ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_argnames� s c C s
| j t � S( N( R� RJ ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_attr� s c C s4 | j } x$ | D] } | | j | | � M} q W| S( N( RK RA ( R R� RP R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt attrs� s
c C s d � } | j | d � S( Nc S s( y
| r n Wn | j d � n Xt S( Ns# boolean: 'if x' raised an exception( Rp Rr ( R% R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s t boolean( R ( R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_boolean� s c C s | j d � d � S( Nc S s
t | � S( N( t callable( R% R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD � s R� ( R ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_callable� s c s� | j j } | j j � | j j � d � } d � } t g t | j � D] } | | f ^ qI � � � j t g � j j � D] \ } } | | f ^ q} � � � f d � � � � f d � } � f d � } d � } d � } d � }
d � } t g � j j � D] \ } } | | f ^ q� � � j t g t | j � D] } | | f ^ q@� � | � | j
<x! d D] } |
� t | | � <qpW| � | j <� f d � � d d � � � f d � � Y� | � � � � � � f d � }
|
S( Nc S s | S( N( ( t nodeR? ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt mapchildren_id� s c S s, | d g g | d D] } | | � ^ q S( Ni i ( ( R� R? R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt mapchildren_default� s c s � | d | | � S( Ni ( ( R� R? ( t mapchildren_dispatch( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt mapchildren s c sj � j � � xE � j j � D]4 \ } } t | | � r t | | � j � | <q q W� � f d � � � S( Nc s � | d | � � S( Ni ( ( R� ( t _visitR� ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD s ( t copyt sym_namet itemsRG R RA ( t CRc RO ( R� t symbol( R� R� sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt visitor
s c s. x' | d D] } � | d | | � q Wd S( Ni i ( ( R� Rn R ( t recover_source_dispatch( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt recover_source_node s c S s; | r& | d d k r& | j d � n | j | d � d S( Ni����t (t i ( R9 ( R� Rn ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt recover_source_token s c S s; | r& | d d k r& | j d � n | j | d � d S( Ni����RI R� R� i ( RI R� ( R9 ( R� Rn ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt recover_source_name s c S s | j | d � d S( Ni ( R9 ( R� Rn ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt recover_source_tight_left! s c S sP | r; | d d j � p' | d d k r; | j d � n | j | d � d S( Ni����R� R� i ( t isalnumR9 ( R� Rn ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt recover_source_lpar$ s +t RPARt LSQBt RSQBt COLONt COMMAt SEMIt DOTt LBRACEt RBRACEc s( g } � | d | | � d j | � S( Ni RS ( R ( R� Rn ( R� ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt recover_source8 s t wrap_lambdefc s e Z � � � f d � Z RS( c # s0 t | � d k r#| d d � j k r#� | d � } � | d | � } d d d d d d d
d d d
d d d d f d d d d d | f f d d d d d d d d d
d d d
d d d d d | f f f f f f f f f f f f f f f f d f f f f f f f f f f f f f S� | | � S(! Ni i i i$ i% i& i' i) i* i+ i, i- i. i/ i0 i1 Rr i4 i R� i= i> i R i s %ri R� ( i Rr ( i R� ( i R ( i R� ( R, t lambdef( R� R? t lsourcet lnode( R� R� R� ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRW > s )I+( R0 R2 RW ( ( R� R� R� ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� = s c st | d k r t | | | | � S� j | � } � j | d d �} � | � � } � j | � } � j | � } | S( NR� t line_infoi ( R� R� t ast2tuplet tuple2astt
compileast( R� t filenamet modeR4 t astR� RD ( R� t parserR� ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt compile_Q s ( R� R� R� R� R� R� R� R� R� ( (
R5 t tokenR� R� t dictRw t N_TOKENSt updateR� R� t NAMER t LPAR( R R� R� R� Rc RO R� R� R� R� R� R� t tokR� ( ( R� R� R� R� R� R� R� sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_compile� s: . / ./
c C s
| j t � S( N( R� R_ ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_cprod_ s c C s | j j j | � S( N( RL t byclodot dictof( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� b s c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_doce s c C s+ | j | j j � } t | � } | GH| S( N( R] R� t shortestR ( R R� R] t do( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt docofh s i c B s~ | r d } n d } | j | d | � } | j | j j j j j | � � } | d k rq | j � } | | Un e | | � S( NR� R� RS (
R� R+ R5 Rf Rg R, R- R8 R� R� ( R R� t initR* R� RD R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� n s $ c C sK i d d 6} x7 t j D], } | j d � r9 | d } n d | | <q W| S( Ni R5 t _get_i ( Ro R� R ( R R� R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_all_names~ s
c C s� | d k rK d | j k r� x | j D] } t | | � q% Wd | _ q� n6 | j } x* | D]" } | | k r[ t | | � q[ q[ W| j } | j j d | d <| S( NRp i t __builtins__( R8 R� t all_namesR Rp R+ t func_globals( R R� R t allRO R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR+ � s
c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_eg� s c C s
| j t � S( N( R� R" ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_elem� s c C s� | | j j k r7 | j | � } | | j j | � f S| | j j k r� | j j d k r� | j j j
d � r� | j j } | j d � } | j j } | j
j } | | GH| j | | � } d j | � } | | j j | � f S| | j j | � f Sd S( Ns <lambda>s <!SPECEVAL!>s
( R� t stringR� Rq t anont Typet FunctionR> t co_namet co_filenameR R
t co_firstlinenoR5 R6 t getblockR t getdoc( R R� R� R� t linest lnumR6 t blockR� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRY � s c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_expred� s c C s d � } | j | d � S( Nc S s; y t d | � Wn" t k
r6 | j d | � n Xt S( Ns lambda : %ss Not a valid expression: %r( R� R� Rp Rr ( R% R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR � s
R� ( R ( R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_expression� s c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_expset� s c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_equals� s c O s | j j | | | | � S( N( RL t fam_mixin_argatom( R R R4 R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s c C s
| j j S( N( RL Rs ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get__hiding_tag_� s c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_instance� s c C s
| j t � S( N( R� R# ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_intersection� s c C s t | | j j � S( N( R& t _Specification_R4 ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_LE� s c C s | j S( N( R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_SPLE� s c C s
| j t � S( N( R� Rz ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_mapping� s c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_matches� s c C s
t | | � S( N( R2 ( R R8 ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt mkTestEnv� s c C s | j d � | � S( Nc S s d S( Ni ( ( R� R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD � s ( R ( R RO ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt newtype� s c C s
| j j S( N( t UseR� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_nothing� s c C s* | j d | j | � | j j @| j @� S( Nt partition( R] t union_equalsR� t nonemptyt set_of_disjoint_sets( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� � s c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_predicate� s c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_powerset� s c C s
| j j S( N( RL R ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_Anything� s c C s g S( N( ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_quote� s c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_recurself� s c C s d d d � � Y} | j | � S( Nt RelationSpecc B s} e Z d d d d d g Z d � Z d � Z d
� Z d � Z d � Z d � Z e Z
d � Z d � Z d � Z
d � Z RS( t 1t paxbt 2t paxat 3t defiopt fuopt 4t defipairt 5t
defitriplec S s | j | j | j | j � � S( N( R~ Ry R ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_spec_1 s c S s | j | j | j | j � � S( N( R~ Ry R ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_spec_2 s c S s? | j | j | j f >| j d d d d d d d d d d
�
BS( NR� s <=s ==s !=R� s >=R� s not inR� s is not( R� R R� ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_spec_3 s c S s | j | j | j j � S( N( Ry R� R� R� ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_spec_4 s c S s | j | j | j j | j � S( N( Ry R� R� R� ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_spec_5 s c S s
| j t � S( N( R� R� ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get__relop! s c S s
| j | f S( N( R ( R R� R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
map_3_to_4% s c S s | j | j | � S( N( t _relopR ( R R� R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
map_3_to_2& s c S s | \ } } | j | | � S( N( R
( R R� t .2R� R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
map_4_to_2' s c S s" | \ } } } | j | | | � S( N( R
( R R� R R� R� t B( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
map_5_to_1( s ( R� R� ( R� R� ( R� R� R� ( R� R ( R R ( R0 R2 R R R R R R R R� t
map_2_to_1R R R
R ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� s ( ( t repcat( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_relation� s
"c C s | j j j j S( N( R� R� R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_relop, s c C s
t | | � S( N( R� ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR / s c C s
| j t � S( N( R� Ru ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_sequence2 s c C s | j | j j � S( N( t instanceRL ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_set5 s c C s d � } | j | d � S( Nc S s | j | d � d � S( Nc S s | | k p | j | � S( N( t disjoint( R% R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRD : s s a == b or a.disjoint(b)( Ri ( R% R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR 9 s s set of disjoint sets( R ( R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_set_of_disjoint_sets8 s c C sd t | | j j � s` | j j | � } | j j | | j j | j j | j d � | � � } n | S( NRZ ( R RL R� Rq R t callfuncR{ R� ( R R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRZ > s c C s | j S( N( R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_setofF s c C s
| j d � S( N( R� R8 ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get__static_test_envI s c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt
_get_synonymsL s c C s
| j t � S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_tupleformO s c C s
| j j S( N( R� R� ( R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt _get_TypeR s c C s. | j | j d | j | � � | j | � � S( NR� ( t egRA R� R� ( R R� ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyR� U s c C s | j j | � | _ | S( N( Rq R� R� ( R R\ R ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRr Y s ( Rp ( R� Rq R� R� RZ R� Rr R+ R� ( Rs ( s _parent:Uses _parent.Use:isos _parent.Use:NothingN(D R0 R2 t _chgable_t _nowrap_t _preload_t _imports_Rv Rw Rx Rz R} R� R� R� R� R� R� R� R8 R� R� R� R� R� R� R� R� R� R� R+ R� R� RY R� R� R� R� R� R� R� R� R� R� R� R� R� R� R� R� R� R� R� R� R� R R R R R R RZ R R R R R R� Rr ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyRo � s� h
. N(' t __doc__RJ R R R3 RJ RU R_ Ru Rz R� R� R� R� R� R� R� R� R� R� R� R� R� R� R} R� R� R� R� R R" R# t ExceptionR� R) R% R& R2 Ro ( ( ( sC /opt/alt/python27/lib64/python2.7/site-packages/guppy/heapy/Spec.pyt <module>
sL ;/)J
8
'�6
�
Mini Shell