yIf dZddlZddlmZddlZddlZddlZddlZddl Zddl Z ddl Z ddl Z ddl Z ddlmZddlmZddlZddlZddlZddlZddlmZddlmZddlmZdd lmZdd lmZdd lmZdd lmZdd lmZddlmZddlmZddlm Z ddlm!Z!ddl"m#Z#ddl"m$Z$ddl%m&Z&ddl'm(Z(ddl)m*Z*ddl+m,Z,ddl-m.Z.ddl-m/Z/ddl0m1Z1ddl2m3Z4e rddl'm5Z5GddZ6e1dZ7ej8j9d e&Z:d!d#pd$zZ;d%e:ze;zZ<e6Z=Gd&d'ej>j?ej>j@ZAd(eeBd)e jCd*ejDd+dfd,ZEd-dd*ejDd)e jCd.ed+eFf d/ZGd0ed1e*d+ee jCejDffd2ZHd3fd4ed.ed5eeIgdfd+eejDfd6ZJ dsd7ejKd4eBd8eeId1ee*d+df d9ZLd:eMd+eIfd;ZNd1ee*d+eeOfd<ZPd:eMd+eIfd=ZQd:eMd+eFfd>ZRd?eeId@eFd+eIfdAZSdBeeIdCeeFdDeeIdEeeMd+eIf dFZTdGeOdHeIdIeId+dfdJZUd+eFfdKZVejWdLejXdMejYdNejZdOiZ[iej\dPej]dQej^dRej_dSej`dTejadUejbdVejcdWejddXejedYejfdZejgd[ejhd\ejid]ejjd^ejkd_ejld`ejmdaejndbejodcejpddejqdeejrdfiZsdgejtd+eejtfdhZuejvdijdkeBd+eeOeIffdlZwGdmdnejxZydoed+eFfdpZzdqed+efdrZ{dS)tz5Rewrite assertion AST to produce nice error messages.N) defaultdict)Path)PurePath)Callable)Dict)IO)Iterable)Iterator)List)Optional)Sequence)Set)Tuple) TYPE_CHECKING)Union)DEFAULT_REPR_MAX_SIZE)saferepr)version)util)Config)Session) absolutepath) fnmatch_ex)StashKey)format_explanation)AssertionStateceZdZdS)SentinelN)__name__ __module__ __qualname__M/var/www/piapp/venv/lib/python3.11/site-packages/_pytest/assertion/rewrite.pyrr4sDr#rrz-pytest-.pyTco.c eZdZdZdeddfdZdeeddfdZe j j j Z d ded eeeeefd eejdee j jfd Z d e j jdeejfd ZdejddfdZdedddefdZdededddefdZdedddefdZdeddfdZdeddfdZdeeefdefdZejdkr"ejdkrddl m!Z!nddl"m!Z!dede!fdZ#dSdS)!AssertionRewritingHookz1PEP302/PEP451 import hook which rewrites asserts.configreturnNc||_ |d|_n#t$r ddg|_YnwxYwd|_i|_t |_d|_dh|_ i|_ d|_ dS)N python_filesz test_*.pyz *_test.pyFconftest) r+getinifnpats ValueErrorsession_rewritten_namesset _must_rewrite _writing_pyc_basenames_to_check_rewrite_marked_for_rewrite_cache_session_paths_checked)selfr+s r$__init__zAssertionRewritingHook.__init__Fs  5 --77DKK 5 5 5& 4DKKK 5*. 13'*uu",6<(:<&&+###s $::r3c"||_d|_dS)NF)r3r:)r;r3s r$ set_sessionz"AssertionRewritingHook.set_sessionVs &+###r#namepathtargetc|jrdS|jjt}|||rdS|d|z|||}|O|jHt|j tj j r$tj|jsdS|j}||||sdStj||||jS)Nzfind_module called for: %s)loadersubmodule_search_locations)r7r+stashassertstate_key_early_rewrite_bailouttrace _find_specorigin isinstancerC importlib machinerySourceFileLoaderosr@exists_should_rewriterspec_from_file_locationrD)r;r?r@rAstatespecfns r$ find_specz AssertionRewritingHook.find_spec]s    4 !/2  & &tU 3 3 4 047888tT** L{"dk9+>+OPP#7>>$+.. # 4B##D"e44 4~55  '+'F 6   r#rTcdSNr")r;rTs r$ create_modulez$AssertionRewritingHook.create_modules tr#modulec|jJ|jjJt|jj}|jjt }||j|j<tj }t|}|r+t|}|sd}| d||j ddtz}||z }t|||j } | a| d|t!||j\} } |r.d|_ t%|| | |d|_n%#d|_wxYwn| d|t'| |jdS)NFzread only directory: z rewriting Tzfound cached rewritten pyc for )__spec__rJrr+rErFr4rsysdont_write_bytecode get_cache_dir try_makedirsrHr?PYC_TAIL _read_pyc _rewrite_testr7 _write_pycexec__dict__) r;rZrUrSwrite cache_dirok cache_namepycco source_stats r$ exec_modulez"AssertionRewritingHook.exec_modules***%111 &/( ) ) !/213fo.++!"%%  Ai((B A ?I??@@@WSbS\H, *$r3 , , : KK+R++ , , ,+B <">> ? ? ? R!!!!!s D(( D1rSrc|j|jsd|_|jjD]q}t|t j}|jt j |ddr|d}|d|jvrdSt| d}|j D]7}t j |rdSt||rdS8|||rdS|d|dS) a'A fast way to get out of rewriting modules. Profiling has shown that the call to PathFinder.find_spec (inside of the find_spec from this class) is a major slowdown, so, this method tries to filter what we're sure won't be rewritten before getting to it. NTrr(Fr%z early skip of rewriting module: )r3r: _initialpathsstrsplitrOsepr8addr@splitextr with_suffixr1dirnamer_is_marked_for_rewriterH)r;r?rS initial_pathpartsr@pats r$rGz-AssertionRewritingHook._early_rewrite_bailoutsT < #D,G #*.D ' $ : U U L))//77044RW5E5EeBi5P5PQR5STTTT 3 98 8 85++E22;  Cws## uu#t$$ uu   & &tU 3 3 5 =t==>>>tr#rUctj|dkr|d|dS|jA|jt |r|d|dSt|}|jD]-}t||r|d|dS.| ||S)Nz conftest.pyzrewriting conftest file: Tz.matched test file (was specified on cmdline): zmatched test file ) rOr@basenamerHr3 isinitpathrrr1rrz)r;r?rUrSfn_pathr}s r$rQz&AssertionRewritingHook._should_rewrites 7  B  = 0 0 KK:B:: ; ; ;4 < #|&&|B'7'788  SRSSTTTt2,,;  C#w''  777888tt **4777r#c  |j|S#t$r`|jD]J}||ks||dzr*|d|d|dd|j|<YdSKd|j|<YdSwxYw)Nr(zmatched marked file z (from )TF)r9KeyErrorr6 startswithrH)r;r?rSmarkeds r$rzz-AssertionRewritingHook._is_marked_for_rewrites 1$7 7   ,  6>>T__Vc\%B%B>KK Qt Q Qf Q Q QRRR;?D248444" 49D *4 055 s AA9* A98A9namesct|tj|j}|D]l}tj|}t |jpds7t|j t|s| |m|j ||jdS)zMark import names as needing to be rewritten. The named module or package as well as any nested modules will be rewritten on import. N)r5 intersectionr^modules differencer4AssertionRewriteris_rewrite_disabled__doc__rK __loader__type_warn_already_importedr6updater9clear)r;ralready_importedr?mods r$ mark_rewritez#AssertionRewritingHook.mark_rewrites JJ # #CK 0 0 ; ;DrLrM PathFinderrVrIrsr rbytesr ModuleType ModuleSpecrYroboolrGrQrzrrrr^rimportlib.resources.abcr importlib.abcrr"r#r$r*r*Cs;;,v,$,,,, ,8G#4,,,,, $/9J 7;-1 & & & xc5j 123& )* & )%0 1 & & & & P'2 %" # ("%"2("t("("("("T%3%7G%D%%%%N8C8S89I8d8888* 3 7G D    /3/4////$ 3 4    sEz!2u  7""  w & & D D D D D D D : : : : : : WC W4H W W W W W W #"r#r*fprnrmr,c^|tjjd}||t |jdz}|jdz}|tjd|||tj |dS)Nzrdsdr#rrHc t|d}n#t$rYdSwxYw|5 tj|}t |j}|j}|d}n4#t$r'}|d|d|Yd}~ddddSd}~wwxYwt|dkr|d|z ddddS|ddtj j kr|d|z ddddS|dd d kr|d |z ddddS|d d } t | d |dzkr|d|z ddddS|d d} t | d |dzkr|d|z ddddS tj|} n4#t$r'}|d|d|Yd}~ddddSd}~wwxYwt!| t"js|d|z ddddS| cdddS#1swxYwYdS)zsPossibly read a pytest pyc containing rewritten code. Return rewritten code if successful or None if not. rNz _read_pyc(z ): OSError z&_read_pyc(%s): invalid pyc (too short)z-_read_pyc(%s): invalid pyc (bad magic number)rz._read_pyc(%s): invalid pyc (unsupported flags)rlittlerz_read_pyc(%s): out of datez+_read_pyc(%s): invalid pyc (incorrect size)z): marshal.load error z _read_pyc(%s): not a code object)rrrOrrrrrlenrLrr from_bytesrload ExceptionrKrCodeType) rrlrHr stat_resultrrdatar mtime_data size_datarms r$rcrccs #t__ tt ## '&//K ,--E&D772;;DD    E5v55!55 6 6 6444########   t99   E:VC D D D######## 8y~2 2 2 EAFJ K K K######## !9+ + + EBVK L L L%########&!B$Z >>*h / /5:3E E E E.7 8 8 8-########.BK >>)X . .$2C C C E?&H I I I5########6 b!!BB    E@v@@Q@@ A A A444?########: "en--  E4v= > > >E########FG##################s !!IAA-,I- B7BIB%I,I I3;I;;IGI H #H4IH  ,IIIIr module_pathcNt||||dS)z%Rewrite the assert statements in mod.N)rrun)rrrr+s r$rrs*k662266s;;;;;r#objc~ttj}t||ddS)aGet a safe repr of an object for assertion error messages. The assertion formatting (util.format_explanation()) requires newlines to be escaped since they are a special character for it. Normally assertion.util.format_explanation() does this but for a custom repr it is possible to contain one of the special escape sequences, especially '\n{' and '\n}' are likely to be present in JSON reprs. maxsize \n)_get_maxsize_for_safereprr_configrr)rrs r$ _safereprrs6( 55G C ) ) ) 1 1$ > >>r#c|d}n|tj}|dkrdS|dkr tdzStS)zJGet `maxsize` configuration for saferepr based on the given config object.Nrr) get_verbosityrVERBOSITY_ASSERTIONSr)r+ verbositys r$rrsL ~ (()DEE A~~tA~~$r))  r#cddg}t|ts$t|}|d|D]\}}|||}|S)zFormat the custom assertion message given. For strings this simply replaces newlines with '\n~' so that util.format_explanation() will preserve them instead of escaping newlines. For other objects saferepr() is used first. )r ~)%%%)rr)rKrsrappendr)rreplacesr1r2s r$_format_assertmsgr sj{+H c3  (smm'''""Bkk"b!! Jr#cjt|rdS t|d S#t$rYdSwxYw)NFrT)callablehasattrr)rs r$_should_repr_global_namersO}}u3 ++++ tts $ 22 explanationsis_orcld|rdpd|zdz}|ddS)N(z or z and rrr)joinr)rr explanations r$_format_booloprs?)64W::<HHH3NK   sD ) ))r#opsresultsexplseach_objcttt|||D]!\}}} | }n#t$rd}YnwxYw|rn"tj/t j||||||dz}||S|S)NTr)ziprangerrr _reprcompare) rrrriresexpldonecustoms r$_call_reprcomparer$s E#c((OOWe<< 3 7DD   DDD    E  $"3q68A;QHH  M Ks7 AAlinenoorigr!cNtjtj|||dSdSrXr_assertion_pass)r%r&r!s r$_call_assertion_passr*s. ' VT400000('r#c"tjrdndS)zCheck if any plugins implement the pytest_assertion_pass hook in order not to generate explanation unnecessarily (might be expensive).TFr(r"r#r$_check_if_assertion_pass_implr,s' 244U2r#znot %sz~%sz-%sz+%s|^&z<>+-*/z//rz==z!=z>=**iszis notinznot in@nodec#jK|Vtj|D]}t|Ed{VdS)zARecursively yield node and all its children in depth-first order.N)riter_child_nodes traverse_node)r:childs r$r=r=sV JJJ%d++(( ''''''''''((r#rrsrcc i d g d td fd }tjtj|j}|D]\}}\}}}}|tjkr |dkr| % n|tjkr |dvr dz n|tjkr |dvr dz s3 ||d| dkr|tjkr|d kr|vrOt dkr<|t d zt|z } d d|  d <n5|vr d d| d <n |d||@|tj tj hvr |f r.|vr* || S) z._write_and_reset+sY(((WWU^^2244;;DAAM UU r#assertz([{rz)]},rqr,N) r5tokenizeioBytesIOreadlineNAMEOPrrvrNEWLINE ENDMARKER)r?rItokenstprr%offset_lineoffset_in_trimmedrDrErFrGrHs @@@@@r$_get_assertion_exprsr[!sSC EE#'M55J rz#7 8 8F17''-F$VVa   6X#5#5"MM  &X[  Vu__ x{""v  ' T&'']+++v&&&&!hk 1 1fmmZ''CJJ!OO(.U2Y(?#d))(K% %b *<+<*< =E"IIz)) %b '6' 2E"IILLgvg///  """"((*<===  """" '633 T"""v&&& Jr#ceZdZdZdeedeededdffd Zde j ddfd Z e d ede fd Zdefd Zd e jde jfdZd e jde jfdZdede jde jfdZdede jfdZd e jdefdZd,dZde jde jfdZde jdee jeffdZde jdee jfdZ de j!dee j!effdZ"de jdee jeffdZ#de j$dee jeffdZ%d e j&dee jeffd!Z'd"e j(dee jeffd#Z)d$e j*dee jeffd%Z+d&e j,dee j,effd'Z-d(e jdee jeffd)Z.d*e j/dee jeffd+Z0xZ1S)-ra Assertion rewriting implementation. The main entrypoint is to call .run() with an ast.Module instance, this will then find all the assert statements and rewrite them to provide intermediate values and a detailed assertion error. See http://pybites.blogspot.be/2011/07/behind-scenes-of-pytests-new-assertion.html for an overview of how this works. The entry point here is .run() which will iterate over all the statements in an ast.Module and for each ast.Assert statement it finds call .visit() with it. Then .visit_Assert() takes over and is responsible for creating new ast statements to replace the original assert statement: it rewrites the test of an assertion to provide intermediate values and replace it with an if statement which raises an assertion error with a detailed explanation in case the expression is false and calls pytest_assertion_pass hook if expression is true. For this .visit_Assert() uses the visitor pattern to visit all the AST nodes of the ast.Assert.test field, each visit call returning an AST node and the corresponding explanation string. During this state is kept in several instance attributes: :statements: All the AST statements which will replace the assert statement. :variables: This is populated by .variable() with each variable used by the statements so that they can all be set to None at the end of the statements. :variable_counter: Counter to create new unique variables needed by statements. Variables are created using .variable() and have the form of "@py_assert0". :expl_stmts: The AST statements which will be executed to get data from the assertion. This is the code which will construct the detailed assertion message that is used in the AssertionError or for the pytest_assertion_pass hook. :explanation_specifiers: A dict filled by .explanation_param() with %-formatting placeholders and their corresponding expressions to use in the building of an assertion message. This is used by .pop_format_context() to build a message. :stack: A stack of the explanation_specifiers dicts maintained by .push_format_context() and .pop_format_context() which allows to build another %-formatted string while already building one. :scope: A tuple containing the current scope used for variables_overwrite. :variables_overwrite: A dict filled with references to variables that change value within an assert. This happens when a variable is reassigned with the walrus operator This state, except the variables_overwrite, is reset on every new assert statement visited and used by the other visitors. rr+rr,Nct||_||_||d|_nd|_||_d|_tt|_ dS)Nenable_assertion_pass_hookFr") superr<rr+r0r^rscoperdictvariables_overwrite)r;rr+r __class__s r$r<zAssertionRewriter.__init__s} &  .4mm,//D + +/4D + *,       r#rcp|jsdSt|dd}|du}|||rdSd}d}|jD]}|rt|tjret|jtjrFt|jjtr'|jj}||rdSd}n3t|tj r|j dkr |j dkrnn|dz }t|tj r|j r|j djn|jtjdkr1t jdd d t jd d d g}n*t jdd t jd d g}fd |D}||j||<|f|_|g}|r|} t| tj tjtjfr8t-g|j| R|_|t0| t0kr|jdd|_t| tjsJt j| D]\} } t| t6rg} t9| D]\} }t|tjr)| ||H| |t|tjr||tA| | | t| tjr/t| tj!s|| |dSdS)z5Find all assert statements in *mod* and rewrite them.N docstringrF __future__rrbuiltins @py_builtinsr% col_offsetz_pytest.assertion.rewrite @pytest_arc@g|]}tj|gdS)rri)rImport).0aliasr%s r$ z)AssertionRewriter.run..s9   AFCJwv! < < <   r#rq)"bodygetattrrrKrExprvalueConstantrs ImportFromlevelrZ FunctionDefdecorator_listr%r^rror`popAsyncFunctionDefClassDeftupler_SCOPE_END_MARKERAST iter_fieldslist enumerateAssertextendvisitsetattrexpr)r;rdocexpect_docstringpositemaliasesimportsnodesr:r?fieldnewrr>r%s @r$rzAssertionRewriter.runsx  Fc;--$; ?t77<>> d### r#rc |}|jtjtj|tjg|tj|tjS)zGive *expr* a name.)r statementsrrAssignNameStoreLoad)r;rr?s r$assignzAssertionRewriter.assign s^}} sz38D#)+++F+F*GNNOOOxchjj)))r#c.|d|S)z Call saferepr on the expression.r)helper)r;rs r$displayzAssertionRewriter.displays{{;---r#r?argsctjdtj}tj||tj}tj|t |gS)zCall a helper in this module.rk)rrr AttributeCallr)r;r?rpy_nameattrs r$rzAssertionRewriter.helpersL(<44}WdCHJJ77xd4jj"---r#ctjdtj}tj||tjS)z!Return the builtin called *name*.rh)rrrr)r;r? builtin_names r$builtinzAssertionRewriter.builtins3x ;; }\4<<3tD$9::;;; 15#I.i$&&r#cRi|_|j|jdS)aCreate a new formatting context. The format context is used for when an explanation wants to have a variable value formatted in the assertion message. In this case the value required can be added using .explanation_param(). Finally .pop_format_context() is used to format a string of %-formatted values as added by .explanation_param(). N)rstackr)r;s r$push_format_contextz%AssertionRewriter.push_format_context.s+<># $566666r# expl_exprc |j}|jr|jd|_d|D}t j|t |}t j|t j |}dtt|j z}|j r|j||jt jt j|t jg|t j|t jS)aZFormat the %-formatted string with current format context. The expl_expr should be an str ast.expr instance constructed from the %-placeholders created by .explanation_param(). This will add the required code to format said string to .expl_stmts and return the ast.Name instance of the formatted string. rqc6g|]}tj|Sr")rru)rnkeys r$rpz8AssertionRewriter.pop_format_context..Fs"<<assert rzassert AssertionError_format_explanationr*r,cZg|](}tj|tj)Sr"rrrrnr?s r$rpz2AssertionRewriter.visit_Assert..s748CHT39;;//r#cZg|](}tj|tj)Sr"rrs r$rpz2AssertionRewriter.visit_Assert..s*PPP$ 44PPPr#),rKtestrrreltswarningsrrr warn_explicitr%rr itertoolscountrr^rrrrrUnaryOpNotrrumsgrrAddrrrRaiserrr[rrsIfrr= copy_location)r;rrr top_conditionrnegationr assertmsggluestrerr_explanationerr_msgerr_namefmtexcraise_statements_failfmt_passr&hook_call_passhook_impl_teststatements_pass main_testr clear_formatrqtemplaterstmtr:s r$ visit_AssertzAssertionRewriter.visit_AssertUs% glCI . . 3w|7H3I3IQ3N3N OOO H H H H H H#///  " "**K)~ #   +-$& ) 1 1  * 2/1D !02 *,   """%)ZZ %=%=" {;swyy-88  *B ))#,{*C*CDDC{ $ KK(;W[II &L,, #!i W(=(=swyy#NNOi 3799oFFGx 0#(**==H++3W==C(8cUB//CYsD))F O  " "4? 3 3 3  " "6 * * *{{#8#>>H' 44W^DD X *L00L&& N!V ;<<2$/2>2N ..Ox/JJI O " "9 - - -$ 5<@ > >{ 6 KK(;W[II *[8 L,, '+5 yCGIIs|K7P7PQQH))(33C++3S99Cx 0#(**==H(8cUB//CYsD))F KK    > *PPPPPIJy#,t*<*<==E O " "5 ) ) )O 1 1D%d++ 1 1!$0000 1r#ctj|dgg}|jj}tjtj|tjg|g}|d|}tj tj ||g}tj || |tj|}|| |fSNlocalsr)rrrrAidCompareruInrBoolOpOrIfExprr)r;r?locs target_idinlocsdoreprrrs r$visit_NamedExprz!AssertionRewriter.visit_NamedExprsx X..B77KN S\)44svxxj4&II7>>z#&((VV$455yt||D113< 3J3JKKT++D1111r#ctj|dgg}tjtj|jtjg|g}|d|}tjtj ||g}tj || |tj|j}|| |fSr) rrrrrurrrrrrrr)r;r?rrrrrs r$ visit_NamezAssertionRewriter.visit_Namesx X..B77S\$'22SVXXJGG7>>z#&((VV$455yt||D113<3H3HIIT++D1111r#boolopc j|}|tjgtj}tj|dtj}t t|jtj }|j x}}|j }t|j dz } |t|j D]<\} } | rg} |j tj| | g| |_ t| tjrt| jtjrx| jjjd|j d| DvrN|}| j|j|j| jjj<|| jj_||| \}}|tjtj|tjg||tj|}tj||gg}|j tj || | krc|} |r&tj!tj"| } g}|j tj| |g|x|_ }>||_ ||_ |#d|tj|}||}tj|tj|$|fS)Nrrc<g|]}t|d|jS)r)rr)rnast_exprs r$rpz2AssertionRewriter.visit_BoolOp..s:$"8T22 r#r)%rrrr rrrrKoprrrrrrrrrrleft NamedExprrArrbr`rrrrrrurrsrrrr)r;rres_var expl_listapprrqsave fail_savelevelsrv fail_innercond pytest_tempr r! expl_formatcallinner expl_templates r$ visit_BoolOpzAssertionRewriter.visit_BoolOps --//KKSXZZ 8 899 mIx<<Jvy#&1122o%tO V]##a'   """fm,, / /DAq 3-/ &&svdJ'C'CDDD",q#+.. 3"163=99 3 ((. bqb(9#'--//KMNVD,TZ89IJ'2AFM$  $ $ & & & 1 IC KK CHWcikk$B$B#CSII J J J11#,t2D2DEEK8C+33D O " "38D>> 2 2 26zz!$8;swyy$77D(*&&svdE2'>'>???)..$# $4ieATATUU &&}55x,,d.D.DT.J.JJJr#unaryct|jj}||j\}}|t j|j|}|||fzfSrX) UNARY_MAPrrcroperandrrr)r;rpattern operand_res operand_explr s r$ visit_UnaryOpzAssertionRewriter.visit_UnaryOpsZEH./$(JJu}$=$=! \kk#+eh <<==G|o---r#binopc t|jj}||j\}}||j\}}d|d|d|d}|tj||j|}||fS)Nr r) BINOP_MAPrrcrrrightrrr) r;rsymbol left_expr left_expl right_expr right_explrr s r$ visit_BinOpzAssertionRewriter.visit_BinOps58-.#zz%*55 9!%EK!8!8 J<)<&B&B4:r&R&RRR $ 8 DW]EU V  7=11IC   ck'+s;; < < <{ .  s!2T!9::::  ----y$))I*>*>??8Hh ;;kk(##))$,,s*;*;<< ==h==4=== Jr#starredc~||j\}}tj||j}|d|zfS)Nr2)rrtrStarredctx)r;r7r r! new_starreds r$ visit_StarredzAssertionRewriter.visit_Starred@s;JJw}-- Tk#w{33 C$J&&r#rct|jtjs||S||j\}}|tj||j tj}| | |}d}|||||j fz}||fS)Nz%s {%s = %s.%s }) rKr:rrrrrtrrrrr)r;rrt value_explr r4r}r!s r$visit_Attributez!AssertionRewriter.visit_AttributeFs$(CH-- ,%%d++ + JJtz22zkk#-ty#(**EEFF))$,,s*;*;<<"h*di@@Dyr#compc t|jtjrS|jjjjivr'jj|jj|_t|jtj r)|jjj|jj j< |j\}}t|jtj tj frd|d}fdtt|jD}d|D}d|D}t#tt|j|j|j}g}g} |g} |D]\} } } t| tj rgt|tjrM| j j|jkr8| j _| jj|j< | \}}t| tj tj frd|d}| |t*| j}| tj||d|d|}|tj|tj || g|g}jtj|| g|||}}dtj| tjtj|tjtj|tjtj| tj}t|jdkr'tj tj|}n|d }||fS) Nrrc8g|]}Sr")r)rnrr;s r$rpz3AssertionRewriter.visit_Compare..\s!GGGQGGGr#cZg|](}tj|tj)Sr")rrrrnr s r$rpz3AssertionRewriter.visit_Compare..]s*EEE!chq#(**--EEEr#cZg|](}tj|tj)Sr"rrDs r$rpz3AssertionRewriter.visit_Compare..^s*GGGAsx39;;//GGGr#rr$rr) rrKrrrrrbr)r`rrArrrrrrr comparatorsrrrrcrurrrrrAndrr)r;r@left_resr" res_variables load_names store_namesitrsymsrrr next_operandnext_res next_explsymr!res_expr expl_callr s` r$ visit_ComparezAssertionRewriter.visit_ComparePs   """  Isx   Kild6::4:rJJJJ0>H O " "3:{1~.>#I#I J J J"*IiHHKK  IdCHJJ ' ' Ij#(** - - IeSXZZ ( ( Igsxzz * *    tx==1  Jswyy*==CCQ-CD**4+B+B9+M+MNNNNr#rL)2rr r!rr rsrrr<rModuler staticmethodrrrrrrrrrrrrrrrrrr rrrrrrrrrrr%rr6r9r<r?rrT __classcell__)rcs@r$rrXs88t #C= 2:62B LQ       $[(sz[(d[([([([(z2s2t222\2#*38***** .CH......3.sx.CH.... =C=CM==== 'ch '3 ' ' ' ' 7 7 7 7*CH*****(>#'>eCHcM.B>>>> tCJt4>ttttl 2CM 2eCM3rsL;; ######      666666))))))$$$$$$""""""!!!!!! ((((((&&&&&&""""""MLLLLL1000000        -(+,..", ? ?g ? ? + ,  g %HJJgWgWgWgWgWY]99=;OgWgWgWT  5  " 49N      $      2dFuR^U^5S/T=KN.. ..$,cUD[$9. en....h"&# << < <#< V  <  <<<< ?6 ?c ? ? ? ? !hv&6 !8C= ! ! ! !6c,&T*#*t*****  # d^ C=v   (11C1s1t1111 3t3333 Wh E38UCHe T  Is J J J   J   GS  GS Hc GS L$ GT FD It FC GT  FC! "GT# $GTFDIxFDIxK/   6((HSW$5((((Q3e3S#X333 3lkOkOkOkOkOkOkOkO\DT, 0T 0d 0 0 0 0 0 0r#