iKjLddlZddlZddlZddlmZddlmZmZmZddl m Z m Z ddl m Z mZmZmZddlmZddlmZddlmZdd lmZdd lmZdd lmZmZdd lmZdd l m!Z!ddl"m#Z#ddl$m%Z%ddl&m'Z'm(Z(m)Z)ddl*m+Z+ede,de-fdZ.dee-ddfdZ/Gdde)e-Z0dZ1dZ2Gdde#e-Z3dZ4dZ5ede6eeffdZ7Gd d!e)Z8y)"N) Collection)cache lru_cachepartial)Anycast) CannotInvertHypothesisWarningInvalidArgument"NonRoundTrippableCharactersWarning)charmap) Categories)ChoiceT)ConjectureData)COLLECTION_DEFAULT_MAX_SIZE)max_lenmin_len) IntervalSet)get_pretty_function_description) ListStrategy)unwrap_strategies) OneOfStrategySampledFromStrategySearchStrategy)prettycreturnct|ts&tt|}t d|d|dt |dk7rt d|dt |d|S)NzGot non-string z (type )zGot z (length z != 1)) isinstancestrrtyper len)rtype_s l/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/hypothesis/strategies/_internal/strings.py_check_is_single_characterr'+sd a /Q8uGE7!DEE 1v{QE3q6(&ABB Halphabetc H|Dcgc]}t|tr|}}|rtd||Dcgc]}t|dk7s|}}|rtd||dvr6t j d|d|dt |d|d |d td yycc}wcc}w) Nz=The following elements in alphabet are not unicode strings: r ziThe following elements in alphabet are not of length one, which leads to violation of size constraints: )asciizutf-8z alphabet=z0: it seems like you are trying to use the codec z:, but this generates strings using the literal characters z. To specify the z) codec, use alphabet=st.characters(codec=zh). If you intended to use character literals, you can silence this warning by reordering the characters. stacklevel)r!r"r r$warningswarnlistr )r)r non_string not_one_chars r&_check_alphabet_elementsr39s%@Z3-?!@J@ # (   (7!3q6Q;A7L7 >>J=M O  %% |$L!x.++z=OneCharStringStrategy.from_characters_args..sa 1 "\!Z+,G4F4F4H0ITF0RRc1%L sAAr@rArBrCrDrEzLNo characters are allowed to be generated by this combination of arguments: z characters(r7)rLissubsetr rCqueryr from_stringjoinintervals_from_codecmapchrr+reprr.r/r r )clsr@rArBrCrDrEr6include_intervals encodable non_roundtrip undecidedcharsaka _arg_reprs r&from_characters_argsz*OneCharStringStrategy.from_characters_args^s:#$--g.@.@.BCCCMM''!1  (33BGG,>?  @ yT(^< <r(c>|jxsd|jdS)NzOneCharStringStrategy(r)r<r6)r=s r&__repr__zOneCharStringStrategy.__repr__s"O%;DNN;MQ#OOr(datac>|j|jddS)Nr min_sizemax_size) draw_stringr6r=ros r&do_drawzOneCharStringStrategy.do_drawsQGGr(value.ct|trt|dk7rt|dt ||j vrt|d|j |fS)Nr z is not a single characterz is not in )r!r"r$r ordr6r=rws r&_invertzOneCharStringStrategy._inverts[%%Uq%*DEF F u:T^^ +%+dnn5GHI Ixr(r9)__name__ __module__ __qualname____doc__rr"r; classmethodintrrrbrrhrnrrvrtuplerr{ __classcell__r>s@r&r5r5Us2K&+&3:&QU& !$($((,.0.0CETzCETz CE Tz CE % CE'sOCE'sOCE !CECEJ!#)<< '@P#PHNHsHSU7C<%8r(r5) capitalize expandtabsrUlowerrsplitsplit splitlinesswapcasetitleupper) islowerisupperisalnumisalphaisasciiisdigitisspaceistitlelstriprstripstripceZdZfdZdedeedffdZdefdZ ge jeejejdeDZ ejej gdeDZfd ZxZS) TextStrategyc4t|j}t|trU|j |j |j |jtdk(r tS|jSdjt|1|S)Ninfrqr?) relement_strategyr!r5rtr6rrrsfloatrrUr:rv)r=roelemsr>s r&rvzTextStrategy.do_draws "$"7"78 e2 3##}}e 40 $   $ wwuwt,--r(rwr.c t|tst|dt|jtt st j|t|S|jtdk(rtn |j}|jt|cxkr|ks-ntd|dt|d|jd|d tfd|Drt|d |fS) Nz is not a stringrlen()= outside [rH]c3LK|]}t|jvywr9)ryr6)rMrrs r&rPz'TextStrategy._invert..s<s1vU__,'s 3a'#q/ 3c#<K|]}tt|ywr9rrs r&rPzTextStrategy.,s ?a'#q/ ?rc Ht|j}|tjur|jdk\rt |t rddlm}m }t\}}|j|zs|S|djt |j|ztt |j|ztd|jdz |jdz j!tjSt#|t|x}|St$|A|S)Nr r)buildsnothingz{}{}rq)rrr" isidentifierrsr!r5hypothesis.strategiesrr_identifier_charactersr6formatrmaxrrfilter_string_filter_rewriter:) r= conditionrrrid_start id_continuenewr>s r&rzTextStrategy.filter/s!$"7"78 )) ) "5"78 =$:$< !HkOOh.y  %eoo&@A)%//K*GH DMMA$56!]]Q. fS%%& '*$Y? ?C LJw~i((r()r|r}r~rvrrrr{r"rnr_nonempty_filterscasefoldencode_nonempty_names isdecimal isnumeric_nonempty_and_content_names_nonempty_and_content_filtersrrrs@r&rrs.$SU7C<%8**#*  ' '    4? 3   % @#> ?%! ))r(rc ||j|j|jfvrI|j}t j d|d|jd|d|jd t d|tus$tt|jtrtt|ddx}tjrt|j|rd d lm}|jd k(rL|t$urd nd \}}tj&||jz|z|j(}|j*}|jdvr|||jdk(|t$ur |jnd}|j,d kDr)|j/t1t2|j,}|j4dkr)|j/t1t6|j4}|S|jdvr+t j dt9|dt d|S|jdk(r>t j dt9|dt d|j/t:S||j<vrU|j4dk\rFt?j>|}tAd|j,|_tCj.||Sy)Nz You applied .zB as a filter, but this allows all nonempty strings! Did you mean z.is?r,__self__r)regex_strategymatch)z^(?:r)s^(?:))flags)searchfindall fullmatchr)rr)g)finditerscannerzI as a filter, but this allows any string at all! Did you mean .findall ?rzJ as a filter, but this allows any nonempty string! Did you mean .search ?r )"rrrr|r.r/r bytesr!rrr5rrePatternpattern%hypothesis.strategies._internal.regexrr"compilerrrrrrrrsrrboolrcopyrr) r=kindrrNrrcaretcloserks r&rrJsjTZZTZZ88 MM 1#Qy1123334#S9K9K8LA O    EM!$"7"78:O ')Z"FFw S w -H    (,0CK=_LE5jj!85!@ VGI   !C C#,, ;26#+..4A }}q HHWWdmm<=}}u$HHWWdmm<=H   #: : MMvi012>?!   K   7 * MMvi012?@!   ;;t$ $ D6664==A;MyyAt}}- ""433 r(a # ================================================ 1885..1886 ; Other_ID_Start # Mn [2] MONGOLIAN LETTER ALI GALI BALUDA..MONGOLIAN LETTER ALI GALI THREE BALUDA 2118 ; Other_ID_Start # Sm SCRIPT CAPITAL P 212E ; Other_ID_Start # So ESTIMATED SYMBOL 309B..309C ; Other_ID_Start # Sk [2] KATAKANA-HIRAGANA VOICED SOUND MARK..KATAKANA-HIRAGANA SEMI-VOICED SOUND MARK # Total code points: 6 # ================================================ 00B7 ; Other_ID_Continue # Po MIDDLE DOT 0387 ; Other_ID_Continue # Po GREEK ANO TELEIA 1369..1371 ; Other_ID_Continue # No [9] ETHIOPIC DIGIT ONE..ETHIOPIC DIGIT NINE 19DA ; Other_ID_Continue # No NEW TAI LUE THAM DIGIT ONE # Total code points: 12 c ddd}tjD]|}tjd|x}s|j \}}t t |dddt |dddd z}||xxdjd |Dz cc<~tjd d |d z}|tjdz}|tjd|dz}||fS)zISee https://docs.python.org/3/reference/lexical_analysis.html#identifiersr?)Other_ID_StartOther_ID_Continuez([0-9A-F.]+) +; (\w+) # N)baser c32K|]}t|ywr9)rX)rMxs r&rPz)_identifier_characters..s"8a3q6"8s)LuLlLtLmLoNl_rrduGͺำຳⸯ゛゜ﱞﱟﱠﱡﱢﱣﷺﷻﹰﹲﹴﹶﹸﹺﹼﹾﾞﾟ)MnMcNdPcr) _PROPLISTrrrgroupsrangerrUr rSrrT)r_linemcodespropspanrrs r&rrs " ;E$$&94d; ;1 ;((*KE4U2AYR0#eBCjr2JQ2NOD $K277"84"88 8K 9}}7'7!88H '' SH W]]+ !45K [  r(ceZdZdededzffd ZdedefdZdede e d ffd Z ge jed eDZ gd eDZd ZxZS) BytesStrategyrrrsNcZt|||_|||_yt|_yr9)r:r;rrrrs)r=rrrsr>s r&r;zBytesStrategy.__init__s.    ,H 2M r(rorcN|j|j|jSr9) draw_bytesrrrsrus r&rvzBytesStrategy.do_drawst}}dmm<s 5'%  5rc#<K|]}tt|ywr9rrs r&rPzBytesStrategy.s A'%  ArcXt|t|x}|Stj||Sr9)rrrr)r=rrs r&rzBytesStrategy.filters.)$yA AC NJ""433r()r|r}r~rr;rrrvrrrr{rrrrrrrrs@r&rrs  d  =N=u=SU7C<%8  ' '  6_ 5 % A%@ A%!4r(r)9rrr.collections.abcr functoolsrrrtypingrrhypothesis.errorsr r r r hypothesis.internalr hypothesis.internal.charmapr%hypothesis.internal.conjecture.choicer#hypothesis.internal.conjecture.datar(hypothesis.internal.conjecture.providersrhypothesis.internal.filteringrr hypothesis.internal.intervalsetsrhypothesis.internal.reflectionr+hypothesis.strategies._internal.collectionsr$hypothesis.strategies._internal.lazyr*hypothesis.strategies._internal.strategiesrrrhypothesis.vendor.prettyrobjectr"r'r3r5rrrrrrrrrGr(r&rs &// (29>P:8JDB , & S   z# 4 8{N3/{|  Y)<$Y)xAN  * !k;&> ?! !8!4N!4r(