hQUdZddlmZddlZddlZddlmZmZddlm Z ddl m Z m Z m Z ddlmZmZmZmZddlmZmZmZmZd d lmZd Zejd krd6dZnd6dZd7dZdddd8dZedZd e d!< e!eeZ"d"e d#<Gd$d%e Z#Gd&d'e$Z%Gd(d)e Z&e&j'Z' ee&j'Z(d e d*< Gd+d,eZ)d-d.d9d0Z*d:d4Z+dd.d;d5Z,dS)>> is_union_origin(typing.Union) True >>> is_union_origin(get_origin(int | str)) True ``` )ris_uniontypes UnionTypers a/var/www/html/prod/cognitive/venv/lib/python3.11/site-packages/typing_inspection/introspection.pyrrs!&s++Eseo/EEc*tj|Sr!)rr"r%s r&rr*s&s+++r'valueNonec t|ttttt t jfs |t jurt|ddSdS)zCType check the provided literal value against the legal parameters.zK is not a valid literal value, must be one of: int, bytes, str, Enum, None.N) isinstanceintbytesstrrrrNoneType TypeError)r)s r&_literal_type_checkr27s^ usE3dN>> type MyAlias = Literal[1, 2] >>> list(get_literal_values(Literal[MyAlias, 3], unpack_type_aliases="skip")) [MyAlias, 3] ``` - `'lenient'`: Try to parse type aliases, and fallback to `'skip'` if the type alias can't be inspected (because of an undefined forward reference). - `'eager'`: Parse type aliases and raise any encountered [`NameError`][] exceptions (the default): ```pycon >>> type MyAlias = Literal[1, 2] >>> list(get_literal_values(Literal[MyAlias, 3], unpack_type_aliases="eager")) [1, 2, 3] ``` Note: While `None` is [equivalent to][none] `type(None)`, the runtime implementation of [`Literal`][typing.Literal] does not de-duplicate them. This function makes sure this de-duplication is applied: ```pycon >>> list(get_literal_values(Literal[NoneType, None])) [None] ``` Example: ```pycon >>> type Ints = Literal[1, 2] >>> list(get_literal_values(Literal[1, Ints], unpack_type_alias="skip")) ["a", Ints] >>> list(get_literal_values(Literal[1, Ints])) [1, 2] >>> list(get_literal_values(Literal[1.0], type_check=True)) Traceback (most recent call last): ... TypeError: 1.0 is not a valid literal value, must be one of: int, bytes, str, Enum, None. ``` skipFNTr4c38K|]}|t|fVdSN)type).0as r& z%get_literal_values..s,*J*JAAtAww<*J*J*J*J*J*Jr'r3c3 K|] \}}|V dSr=r?p_s r&rAz%get_literal_values..s&**da******r'c3 K|] \}}|V dSr=rCrDs r&rAz%get_literal_values..s&66da666666r')__args__r2rr0is_typealiastype __value__rextend NameErrorappendr>dictfromkeysr1) r7r5r6 _has_noneargvalues_and_type alias_valuesub_argsdcts r&rr@s`tf$$ &  C )#C((({c^%<<< JJJ    8:& = =C .s33 = K"%-K 2# Pc   H$***J*J*J*J*JJJJJ!===*g55!1+C000#**Cc+;<<<<< =-',,,.111#**D.2I+JKKKK#**Cc+;<<<< +--00C +*c*** * * * * * * * * *  7 7 766o666 6 6 6 6 6 6 6 6 6 6 7s%&BAC('C(FF! F!)required not_required read_only class_varinit_varfinalrrset[Qualifier]_all_qualifiersceZdZdZeZ eZ eZ eZ eZ eZ eZ eZ e ddZdS)rzThe source of an annotation, e.g. a class or a function. Depending on the source, different [type qualifiers][type qualifier] may be (dis)allowed. rr\cB|tjurdhS|tjurddhS|tjurhdS|tjurhdS|tjtjtjfvrtS|tj urtSt|dS)zIThe allowed [type qualifiers][type qualifier] for this annotation source.r[rY>r[rZrY>rVrXrWN) rASSIGNMENT_OR_VARIABLECLASS DATACLASS TYPED_DICT NAMED_TUPLEFUNCTIONBAREsetANYr]rselfs r&allowed_qualifiersz#AnnotationSource.allowed_qualifierss #: : :9  %+ + +[) ) %/ / /555 5 %0 0 0<<< < &24D4MO_Ode e e55L %) ) )" "      r'N)rr\)__name__ __module__ __qualname____doc__r r`rarbrcrdrerhrfpropertyrkrCr'r&rrs "TVV DFFE I J $&&K tvvH $&&C 466D Xr'rc(eZdZUdZded< ddZdS) rz-The provided [type qualifier][] is forbidden.r qualifierrr*c||_dSr=)rr)rjrrs r&__init__zForbiddenQualifier.__init__/s "r'N)rrrrr*)rlrmrnro__annotations__rtrCr'r&rr)s?77"######r'rc2eZdZeZddZddZdS)_UnknownTypeEnumrr/cdS)NUNKNOWNrCris r&__str__z_UnknownTypeEnum.__str__6syr'cdS)Nz rCris r&__repr__z_UnknownTypeEnum.__repr__9s{r'N)rr/)rlrmrnr ryrzr|rCr'r&rwrw3sGdffGr'rw _UnkownTypec6eZdZUdZded< ded< ded<dS) rz'The result of the inspected annotation.zAny | _UnkownTyper>r\ qualifiersz Sequence[Any]metadataN)rlrmrnrorurCr'r&rrDsF11 J!!r'rr;r6annotation_sourcec|j}t}g} t||\}}|r||z}t|}|ut j|r7d|vrt d|d|jd}nt j |r7d|vrt d|d|jd}n8t j |r6d|vrt d|d|jd}nt j |r6d|vrt d|d|jd}nt j |r6d |vrt d|d |jd}nZn[t|trCd |vrt d |d tt |j}nnt j |r0d|vrt d|dt$}n|t j|r0d|vrt d|dt$}n8|tur/d |vrt d |d t$}t'|||S) a Inspect an [annotation expression][], extracting any [type qualifier][] and metadata. An [annotation expression][] is a [type expression][] optionally surrounded by one or more [type qualifiers][type qualifier] or by [`Annotated`][typing.Annotated]. This function will: - Unwrap the type expression, keeping track of the type qualifiers. - Unwrap [`Annotated`][typing.Annotated] forms, keeping track of the annotated metadata. Args: annotation: The annotation expression to be inspected. annotation_source: The source of the annotation. Depending on the source (e.g. a class), different type qualifiers may be (dis)allowed. To allow any type qualifier, use [`AnnotationSource.ANY`][typing_inspection.introspection.AnnotationSource.ANY]. unpack_type_aliases: What to do when encountering [PEP 695](https://peps.python.org/pep-0695/) [type aliases][type-aliases]. Can be one of: - `'skip'`: Do not try to parse type aliases (the default): ```pycon >>> type MyInt = Annotated[int, 'meta'] >>> inspect_annotation(MyInt, annotation_source=AnnotationSource.BARE, unpack_type_aliases='skip') InspectedAnnotation(type=MyInt, qualifiers={}, metadata=[]) ``` - `'lenient'`: Try to parse type aliases, and fallback to `'skip'` if the type alias can't be inspected (because of an undefined forward reference): ```pycon >>> type MyInt = Annotated[Undefined, 'meta'] >>> inspect_annotation(MyInt, annotation_source=AnnotationSource.BARE, unpack_type_aliases='lenient') InspectedAnnotation(type=MyInt, qualifiers={}, metadata=[]) >>> Undefined = int >>> inspect_annotation(MyInt, annotation_source=AnnotationSource.BARE, unpack_type_aliases='lenient') InspectedAnnotation(type=int, qualifiers={}, metadata=['meta']) ``` - `'eager'`: Parse type aliases and raise any encountered [`NameError`][] exceptions. Returns: The result of the inspected annotation, where the type expression, used qualifiers and metadata is stored. Example: ```pycon >>> inspect_annotation( ... Final[Annotated[ClassVar[Annotated[int, 'meta_1']], 'meta_2']], ... annotation_source=AnnotationSource.CLASS, ... ) ... InspectedAnnotation(type=int, qualifiers={'class_var', 'final'}, metadata=['meta_1', 'meta_2']) ``` TrNrYrr[rVrWrXrZ)rkrg_unpack_annotatedrr is_classvarraddrHis_final is_requiredis_notrequired is_readonlyr,rr r r>ryr)r7rr6rkrr_metaorigins r&rr\s#p+=!$JH*-jNabbb E  x'H J''  )&11 &888,[999{+++'03 (00 "444,W555w''''03 +F33 %777,Z888z***'03 .v66 !);;;,^<<<~...'03 +F33 &888,^<<<{+++'03   G , , !333(444 NN: & & &c:?33JJ U*Zz** , , ,$W-- -w  #J / /  0 0 0$[11 1{### w   / / /$Z00 0z""" z:x @ @@r'Literal['lenient', 'eager']check_annotatedtuple[Any, list[Any]]cLt|}|rMtj|r9|j}t |j}t ||d\}}||z}||fStj|r> |j}t ||d\}}|r||fS|gfS#t$r |dkrYnuwxYwtj|r] |j} ||j }n#t$rYnwxYwt ||d\}}|r||fS|gfS#t$r |dkrYnwxYw|gfS)NFr6rTr3) rr is_annotated __origin__list __metadata___unpack_annotated_innerrIrJrLrHr1) r7r6rrannotated_typersub_metar)typs r&rrs # #F9">6v>>9"#. /00 $; 0CUZ$ $ $  h&x''  ( 4 4-" "(E 4+>PTMC %H}$r> !   "g--.-   ( 0 0" "$E j12    4+>PTMC %H}$r> !/   "g--.- 2 r>s64BB.-B.D  C C)(C) DDc|dkr@tjt|r|jt |jfS|gfSt ||dS)Nr;Tr)rrrrrrr)r7r6s r&rrsdf$$  &z*'='= > > "($z/F*G*GG Gr> ! ":CVhl m m mmr')rr rr)r)r rr*)r7r r5rr6r8rr9)r7r rrr6r8rr)r7r r6rrrrr)r7r r6r8rr)-ro __future__rsysr#collections.abcrr dataclassesrenumrrr typingr r r r typing_extensionsrrrrr__all__ version_inforr2rrrurgr]r Exceptionrrwryr}rrrrrCr'r&rsKKK"""""" ////////$$$$$$$$$$111111111111KKKKKKKKKKKK w F F F F F , , , ,oooo?F m+m+m+m+m+m+`hi iiii"%#hhy&9&9":"::::: nnnnnwnnnb########t  "C !1!9: ::::Z"""""*""":@F yAyAyAyAyAyAx????HW^ n n n n n n n nr'