U
|
¸ý°d§{ ã @ s d dl mZ d dlZd dlmZ d dlmZ d dlmZ d dlmZ d dlm Z d dlm
|
Z
|
d d lm Z d d
|
lm Z d d lm Z d d lmZ d d lmZ d dlmZ d dlmZ d dlmZ ddlmZ ddlmZ ddlmZ erddlmZ ddl m Z ddl m Z ddl m Z ede dZ ed Z!erBd d iZ"d d iZ#ni Z"i Z#ej$f d d ie"G d d! d!e e Z%G d"d# d#ej e%e Z&G d$d% d%e&e%e Z'G d&d' d'e&e%e Z(G d(d) d)e'e%e e(e%e Z)G d*d+ d+e&e%e* Z+G d,d- d-e&e%e* Z,G d.d/ d/e&e%e Z-G d0d1 d1e&e%e Z.G d2d3 d3e&e%e Z/G d4d5 d5e&e%e Z0G d6d7 d7e(e%e* Z1G d8d9 d9e(e%e* Z2G d:d; d;e(e%e Z3G d<d= d=e(e%e Z4G d>d? d?e(e%e Z5G d@dA dAe(e%e Z6dS )Bé )Ú annotationsN)Údate)Údatetime)Ú timedelta)ÚDecimal)ÚAny)Úcast)ÚGeneric)ÚOptional)Úoverload)ÚTuple)ÚType)Ú TYPE_CHECKING)ÚTypeVar)ÚUnioné )Útypes)Úpy310)ÚLiteral)Ú ColumnElement)Ú_TE)Ú
|
TypeEngine)ÚTypeEngineMixinÚ_T)Úbound)z()ú[)z(]z[]ÚslotsTZkw_onlyÚfrozenc @ s e Zd ZU dZdZded< dZded< erTej ddZ
|
ded < ej d
|
dZ d ed < n8ej f d die Z
|
ded < ej f d d
|
ie Z d ed < e s®dXdd
|
ddddd dddZd dddZed dddZed dddZed dddZed ddd Zed dd d Zed dd d Zed!dd"d#Zd$d d%d&d'Zd(dd)d*ZdYdd+dd+d d,d-d.d/Zd(d d0d1d2Zd3d d0d4d5Z d6d d%d7d8Z d3d d0d9d:Z d3d d0d;d<Z e Z d3d d0d=d>Z!e!Z"d3d d0d?d@Z#d3d d0dAdBZ$dd+dd+d dCdDdEZ%d3d d0dFdGZ&d3d3d0dHdIZ'd3d3d0dJdKZ(d3d3d0dLdMZ)d3d3d0dNdOZ*d3d3d0dPdQZ+d3d3d0dRdSZ,d+ddTdUZ-d+ddVdWZ.dS )ZÚRangea_ Represent a PostgreSQL range.
|
|
E.g.::
|
|
r = Range(10, 50, bounds="()")
|
|
The calling style is similar to that of psycopg and psycopg2, in part
|
to allow easier migration from previous SQLAlchemy versions that used
|
these objects directly.
|
|
:param lower: Lower bound value, or None
|
:param upper: Upper bound value, or None
|
:param bounds: keyword-only, optional string value that is one of
|
``"()"``, ``"[)"``, ``"(]"``, ``"[]"``. Defaults to ``"[)"``.
|
:param empty: keyword-only, optional bool indicating this is an "empty"
|
range
|
|
.. versionadded:: 2.0
|
|
Nz Optional[_T]ÚlowerÚupperr )ÚdefaultÚ _BoundsTypeÚboundsFÚboolÚemptyr! )r# r% ©r r r# r% c C s | j ||||d¡ d S )Nr& )Ú__dict__Úupdate)Úselfr r r# r% © r* ú\d:\z\workplace\vscode\pyvenv\venv\Lib\site-packages\sqlalchemy/dialects/postgresql/ranges.pyÚ__init__U s üÿzRange.__init__)Úreturnc C s | j S ©N©r% ©r) r* r* r+ Ú__bool__g s zRange.__bool__c C s | j S ©z$A synonym for the 'empty' attribute.r/ r0 r* r* r+ Úisemptyj s z Range.isemptyc C s | j S r2 r/ r0 r* r* r+ Úis_emptyp s zRange.is_emptyc C s | j d dkS )z,Return True if the lower bound is inclusive.r ú[©r# r0 r* r* r+ Ú lower_incv s zRange.lower_incc C s | j o| jdkS )zKReturn True if this range is non-empty and lower bound is
|
infinite.N)r% r r0 r* r* r+ Ú lower_inf| s zRange.lower_infc C s | j d dkS )z,Return True if the upper bound is inclusive.é ú]r6 r0 r* r* r+ Ú upper_inc s zRange.upper_incc C s | j o| jdkS )zOReturn True if this range is non-empty and the upper bound is
|
infinite.N)r% r r0 r* r* r+ Ú upper_inf s zRange.upper_infzAbstractRange[Range[_T]]c C s t S r. )Ú AbstractRanger0 r* r* r+ Ú__sa_type_engine__ s zRange.__sa_type_engine__r ©Úvaluer- c C s° | j r
|
dS | jdkr@| jdkp>| jd dkr6|| jk S || jkS | jdkrl| jd dkrb|| jkS || jkS | jd dkr|| jkn|| jko®| jd dkr¦|| jk S || jkS )z3Return True if this range contains the given value.FNr9 ú)r ú()r% r r r# ©r) r@ r* r* r+ Ú_contains_value s*
|
|
ÿ ý
|
ÿ ý ÿ ý ÿ ùzRange._contains_valuer c C sb t | jtst | jtr dS t | jts4t | jtr8dS t | jtsPt | jtrZtddS dS dS )uA Determine the âstepâ for this range, if it is a discrete one.r9 N)Údays)Ú
|
isinstancer Úintr r r r r0 r* r* r+ Ú_get_discrete_step² s ÿ
|
zRange._get_discrete_stepÚstrrG )Úvalue1Úbound1Úvalue2Úbound2Ú only_valuesr- c C sx |dk}|dk}|| kr$dkrBn n||kr4dS |r<dS dS n(|dkrV|rRdS dS |dkrj|rfdS dS ||kr~||kr~dS |dk}|dk} | ¡ }
|
|
|
dk rê|r´|sÄ||
|
7 }d}n|rÄ||
|
7 }d}|rÚ| sê||
|
7 }d} n| rê||
|
7 }d} ||k rödS ||krdS |rdS |r | r dS |sH| sH||kr8dS |rBdS dS n,|s\|rXdS dS | sp|rldS dS dS dS ) a Compare two range bounds.
|
|
Return -1, 0 or 1 respectively when `value1` is less than,
|
equal to or greater than `value2`.
|
|
When `only_value` is ``True``, do not consider the *inclusivity*
|
of the edges, just their values.
|
> rB r5 Nr éÿÿÿÿr9 > r: r5 TF)rH ) r) rJ rK rL rM rN Zvalue1_is_lower_boundZvalue2_is_lower_boundZ
|
value1_incZ
|
value2_incÚstepr* r* r+ Ú_compare_edgesÆ s^
|
|
zRange._compare_edges©Úotherr- c
|
C s t |tstS | jr |jr dS | j|jkr.dS | j}| jd }|j}|jd }| j}| jd }|j}|jd } | ||||¡dko| |||| ¡dkS )zCompare this range to the `other` taking into account
|
bounds inclusivity, returning ``True`` if they are equal.
|
TFr r9 )rF r ÚNotImplementedr% r r# r rQ ©
|
r) rS ÚslowerÚslower_bÚolowerÚolower_bÚsupperÚsupper_bÚoupperÚoupper_br* r* r+ Ú__eq__ s"
|
|
|
|
|
þz Range.__eq__z Range[_T]c
|
C s | j r
|
dS |j rdS | j}| jd }|j}|jd }| ||||¡dk rLdS | j}| jd }|j}|jd } | |||| ¡dkrdS dS )z7Determine whether this range is a contained by `other`.TFr r9 )r% r r# rQ r rU r* r* r+ Ú contained_by: s"
|
|
|
|
zRange.contained_byzUnion[_T, Range[_T]]c C s" t |tr| | ¡S | |¡S dS )z.Determine whether this range contains `value`.N)rF r r_ rD rC r* r* r+ ÚcontainsW s
|
|
zRange.containsc
|
C s¬ | j s |j rdS | j}| jd }| j}| jd }|j}|jd }|j}|jd } | ||||¡dkr|| |||| ¡dkr|dS | ||||¡dkr¨| ||||¡dkr¨dS dS )z3Determine whether this range overlaps with `other`.Fr r9 T©r% r r# r rQ ©
|
r) rS rV rW rZ r[ rX rY r\ r] r* r* r+ Úoverlaps_ s*
|
|
|
|
ÿþÿþzRange.overlapsc C sD | j s |j rdS | j}| jd }|j}|jd }| ||||¡dk S )zBDetermine whether this range is completely to the left of `other`.Fr9 r )r% r r# r rQ )r) rS rZ r[ rX rY r* r* r+ Ústrictly_left_of s
|
|
zRange.strictly_left_ofc C sD | j s |j rdS | j}| jd }|j}|jd }| ||||¡dkS )zCDetermine whether this range is completely to the right of `other`.Fr r9 ra )r) rS rV rW r\ r] r* r* r+ Ústrictly_right_of s
|
|
zRange.strictly_right_ofc C sD | j s |j rdS | j}| jd }|j}|jd }| ||||¡dkS )z>Determine whether this does not extend to the left of `other`.Fr )r% r r# rQ )r) rS rV rW rX rY r* r* r+ Únot_extend_left_of¡ s
|
|
zRange.not_extend_left_ofc C sD | j s |j rdS | j}| jd }|j}|jd }| ||||¡dkS )z?Determine whether this does not extend to the right of `other`.Fr9 r )r% r r# rQ )r) rS rZ r[ r\ r] r* r* r+ Únot_extend_right_of° s
|
|
zRange.not_extend_right_of)rJ rK rL rM r- c C sÖ | ||||d¡}|dkrr| ¡ }|dkr.dS |dkrT|dkrJ||| kS ||kS qÒ|dkrd||kS ||| kS n`|dkrÎ|dkr|dks|dkr®|d kr®| ¡ }|dk r®dS |dkr¾|dkpÌ|dkoÌ|d kS dS dS )
|
zTDetermine whether an upper bound is immediately successive to a
|
lower bound.TrO NFr: r5 r rA rB )rQ rH )r) rJ rK rL rM ÚresrP r* r* r+ Ú _upper_edge_adjacent_to_lower¿ s>
|
ÿþýüÿüz#Range._upper_edge_adjacent_to_lowerc
|
C sp | j s |j rdS | j}| jd }| j}| jd }|j}|jd }|j}|jd } | ||||¡pn| || ||¡S )z8Determine whether this range is adjacent to the `other`.Fr r9 )r% r r# r ri rb r* r* r+ Ú adjacent_toî s.
|
|
|
|
ÿ ÿþzRange.adjacent_toc C sÔ | j r
|
|S |j r| S | |¡s0| |¡s0td| j}| jd }| j}| jd }|j}|jd }|j}|jd } | ||||¡dk r|}
|
|} n|}
|
|} | |||| ¡dkr´|} |} n|} | } t|
|
| t t
|
| | dS )z¾Compute the union of this range with the `other`.
|
|
This raises a ``ValueError`` exception if the two ranges are
|
"disjunct", that is neither adjacent nor overlapping.
|
zAAdding non-overlapping and non-adjacent ranges is not implementedr r9 r6 ) r% rc rj Ú
|
ValueErrorr r# r rQ r r r" ©r) rS rV rW rZ r[ rX rY r\ r] ZrlowerÚrlower_bZrupperÚrupper_br* r* r+ Úunion s> ÿ
|
|
|
|
ÿz Range.unionc C s
|
| |¡S r. )ro ©r) rS r* r* r+ Ú__add__2 s z Range.__add__c C sø | j s |j r| S | j}| jd }| j}| jd }|j}|jd }|j}|jd } | ||||¡}
|
| |||| ¡} |
|
dk r| dkrtd| |||| ¡} | ||||¡} | dks¸| dk r¼| S |
|
dkrÚ| dkrÚtddddS |
|
dkrZ| dkrZ| dkrZ|dkrdnd }|dkrB|d krB| ||||¡dkrBtddddS t||tt|| d
|
S |
|
dkrÚ| dkrÚ| dkrÚ| d krd nd}|dkrÂ|d krÂ| ||||¡dkrÂtddddS t||tt|| d
|
S d sôt d | d| dS )zÇCompute the difference between this range and the `other`.
|
|
This raises a ``ValueError`` exception if the two ranges are
|
"disjunct", that is neither adjacent nor overlapping.
|
r r9 z5Subtracting a strictly inner range is not implementedNTr/ r5 rA r: r6 rB FzUnhandled case computing z - )
|
r% r r# r rQ rk r r r" ÚAssertionError)r) rS rV rW rZ r[ rX rY r\ r] Zsl_vs_olZsu_vs_ouZsl_vs_ouZsu_vs_olrn rm r* r* r+ Ú
|
difference5 sn
|
|
|
|
ÿ ÿþÿý ý ÿþÿý ýzRange.differencec C s
|
| |¡S r. )rs rp r* r* r+ Ú__sub__ s z Range.__sub__c C sÈ | j s|j s| |¡s$tddddS | j}| jd }| j}| jd }|j}|jd }|j}|jd } | ||||¡dk r|}
|
|} n|}
|
|} | |||| ¡dkr¨|} | } n|} |} t|
|
| tt| | dS )zdCompute the intersection of this range with the `other`.
|
|
.. versionadded:: 2.0.10
|
|
NTr/ r r9 r6 ) r% rc r r r# r rQ r r" rl r* r* r+ Ú intersection s2
|
|
|
|
ýzRange.intersectionc C s
|
| |¡S r. )ru rp r* r* r+ Ú__mul__ª s z Range.__mul__c C s | ¡ S r. )Ú
|
_stringifyr0 r* r* r+ Ú__str__ s z Range.__str__c C s^ | j r
|
dS | j| j }}|d kr$dn|}|d kr4dn|}td| j\}}| | d| | S )Nr% Ú zTuple[str, str]ú,)r% r r r r# )r) ÚlÚrZb0Zb1r* r* r+ rw ° s zRange._stringify)NN)F)/Ú__name__Ú
|
__module__Ú __qualname__Ú__doc__r Ú__annotations__r r Ú dataclassesÚfieldr# r% Ú dc_kwonlyr r, r1 Úpropertyr3 r4 r7 r8 r; r< r> rD rH rQ r^ r_ r` rc rd Ú
|
__lshift__re Ú
|
__rshift__rf rg ri rj ro rq rs rt ru rv rx rw r* r* r* r+ r / sl
|
ýú úY /.L&r c s e Zd ZdZdZdZeddddddZed dd
|
dd dZd dd
|
d fd d ZdddddZG dd de j
|
j e e Z ZS )r= zª
|
Base for PostgreSQL RANGE types.
|
|
.. seealso::
|
|
`PostgreSQL range functions <https://www.postgresql.org/docs/current/static/functions-range.html>`_
|
|
Tz Type[_TE]r r )ÚclsÚkwr- c K s d S r. r* ©r) r r r* r* r+ ÚadaptË s zAbstractRange.adaptzType[TypeEngineMixin]zTypeEngine[Any]c K s d S r. r* r r* r* r+ r Ï s z-Type[Union[TypeEngine[Any], TypeEngineMixin]]c sH t |tr8|| jk r8| j}t| d|| jfd|i S t |¡S dS )a Dynamically adapt a range type to an abstract impl.
|
|
For example ``INT4RANGE().adapt(_Psycopg2NumericRange)`` should
|
produce a type that will have ``_Psycopg2NumericRange`` behaviors
|
and also render as ``INT4RANGE`` in SQL and DDL.
|
|
Z RangeImplÚ__visit_name__N)Ú
|
issubclassÚAbstractRangeImplÚ __class__r ÚtypeÚsuperr )r) r r Z
|
visit_name©r r* r+ r Ó s
|
ýr? c C sp |j d k r|j n|j}t|tr&t S t|ttfr:t S t|trV|j sPt
|
S t S t|t rft S tjS d S r. )r r rF rG Ú INT8RANGEr ÚfloatÚNUMRANGEr ÚtzinfoÚTSRANGEÚ TSTZRANGEr Ú DATERANGEÚsqltypesZNULLTYPE)r) r@ Úspecr* r* r+ Ú_resolve_for_literalò s
|
|
|
z"AbstractRange._resolve_for_literalc sî e Zd ZdZddd fdd Zdddddd Zdddd
|
d Zdddd d ZdddddZeZ dddddZ
|
e
|
Z dddddZ dddddZ dddddZdddddZeZdddddZeZdd dd d ZeZ ZS ) z AbstractRange.comparator_factoryz-Define comparison operations for range types.r zColumnElement[bool]rR c s, |dkrt |¡S | jjddd|S dS )z<Boolean expression. Returns true if two ranges are not equalNz<>T©Z is_comparison)r Ú__ne__ÚexprÚoprp r r* r+ r s z'AbstractRange.comparator_factory.__ne__)rS r r- c K s | j jddd|S )a
|
Boolean expression. Returns true if the right hand operand,
|
which can be an element or a range, is contained within the
|
column.
|
|
kwargs may be ignored by this operator but are required for API
|
conformance.
|
z@>Tr ©r r )r) rS r r* r* r+ r` s z)AbstractRange.comparator_factory.containsc C s | j jddd|S )zsBoolean expression. Returns true if the column is contained
|
within the right hand operand.
|
z<@Tr r¡ rp r* r* r+ r_ s z-AbstractRange.comparator_factory.contained_byc C s | j jddd|S )zBoolean expression. Returns true if the column overlaps
|
(has points in common with) the right hand operand.
|
z&&Tr r¡ rp r* r* r+ rc s z)AbstractRange.comparator_factory.overlapsc C s | j jddd|S )zsBoolean expression. Returns true if the column is strictly
|
left of the right hand operand.
|
z<<Tr r¡ rp r* r* r+ rd ! s z1AbstractRange.comparator_factory.strictly_left_ofc C s | j jddd|S )ztBoolean expression. Returns true if the column is strictly
|
right of the right hand operand.
|
z>>Tr r¡ rp r* r* r+ re ) s z2AbstractRange.comparator_factory.strictly_right_ofc C s | j jddd|S )zBoolean expression. Returns true if the range in the column
|
does not extend right of the range in the operand.
|
z&<Tr r¡ rp r* r* r+ rg 1 s z4AbstractRange.comparator_factory.not_extend_right_ofc C s | j jddd|S )zBoolean expression. Returns true if the range in the column
|
does not extend left of the range in the operand.
|
z&>Tr r¡ rp r* r* r+ rf 7 s z3AbstractRange.comparator_factory.not_extend_left_ofc C s | j jddd|S )z}Boolean expression. Returns true if the range in the column
|
is adjacent to the range in the operand.
|
z-|-Tr r¡ rp r* r* r+ rj = s z,AbstractRange.comparator_factory.adjacent_toc C s | j d¡|S )úRange expression. Returns the union of the two ranges.
|
Will raise an exception if the resulting range is not
|
contiguous.
|
ú+r¡ rp r* r* r+ ro C s z&AbstractRange.comparator_factory.unionc C s | j d¡|S )r¢ ú-r¡ rp r* r* r+ rs L s z+AbstractRange.comparator_factory.differencezColumnElement[Range[_T]]c C s | j d¡|S )z¤Range expression. Returns the intersection of the two ranges.
|
Will raise an exception if the resulting range is not
|
contiguous.
|
Ú*r¡ rp r* r* r+ ru U s z-AbstractRange.comparator_factory.intersection)r} r~ r r r r` r_ rc rd r re r rg rf rj ro rq rs rt ru rv Ú __classcell__r* r* r r+ Úcomparator_factory s$
|
r§ )r} r~ r r Zrender_bind_castÚ __abstract__r r r r Z ConcatenableZ
|
Comparatorr r r§ r¦ r* r* r r+ r= ½ s r= c @ s e Zd ZdZdS )r úKMarker for AbstractRange that will apply a subclass-specific
|
adaptationN©r} r~ r r r* r* r* r+ r _ s r c @ s e Zd ZdZdZdS )ÚAbstractMultiRangez$base for PostgreSQL MULTIRANGE typesTN)r} r~ r r r¨ r* r* r* r+ r« d s r« c @ s e Zd ZdZdS )ÚAbstractMultiRangeImplr© Nrª r* r* r* r+ r¬ j s r¬ c @ s e Zd ZdZd ZdS )Ú INT4RANGEz(Represent the PostgreSQL INT4RANGE type.N©r} r~ r r r r* r* r* r+ r q s r c @ s e Zd ZdZd ZdS )r z(Represent the PostgreSQL INT8RANGE type.Nr® r* r* r* r+ r w s r c @ s e Zd ZdZd ZdS )r z'Represent the PostgreSQL NUMRANGE type.Nr® r* r* r* r+ r } s r c @ s e Zd ZdZd ZdS )r z(Represent the PostgreSQL DATERANGE type.Nr® r* r* r* r+ r s r c @ s e Zd ZdZd ZdS )r ú&Represent the PostgreSQL TSRANGE type.Nr® r* r* r* r+ r s r c @ s e Zd ZdZd ZdS )r ú(Represent the PostgreSQL TSTZRANGE type.Nr® r* r* r* r+ r s r c @ s e Zd ZdZd ZdS )ÚINT4MULTIRANGEz-Represent the PostgreSQL INT4MULTIRANGE type.Nr® r* r* r* r+ r± s r± c @ s e Zd ZdZd ZdS )ÚINT8MULTIRANGEz-Represent the PostgreSQL INT8MULTIRANGE type.Nr® r* r* r* r+ r² s r² c @ s e Zd ZdZd ZdS )Ú NUMMULTIRANGEz,Represent the PostgreSQL NUMMULTIRANGE type.Nr® r* r* r* r+ r³ ¡ s r³ c @ s e Zd ZdZd ZdS )ÚDATEMULTIRANGEz-Represent the PostgreSQL DATEMULTIRANGE type.Nr® r* r* r* r+ r´ § s r´ c @ s e Zd ZdZd ZdS )Ú TSMULTIRANGEr¯ Nr® r* r* r* r+ rµ s rµ c @ s e Zd ZdZd ZdS )ÚTSTZMULTIRANGEr° Nr® r* r* r* r+ r¶ ³ s r¶ )7Ú
|
__future__r r r r r Údecimalr Útypingr r r r
|
r r r r r r ry r r Úutilr Z util.typingr Z sql.elementsr Z sql.type_apir r r r r" Zdc_slotsr Z dataclassr r= r r« r¬ rG r r r r r r r± r² r³ r´ rµ r¶ r* r* r* r+ Ú<module> sr
|
#
|
|
|
ÿ
|
