o iA @sUddlmZ ddlZddlZddlZddlZddlZddl Z ddl Z ddl Z ddl m Z mZmZmZddlmZddlmZmZmZmZmZmZmZmZddlmZddlZddlm Z ddl!m"Z"m#Z#dd l$m%Z%m&Z&m'Z'm(Z(dd l)m*Z*m+Z+dd l,m-Z-m.Z.m/Z/m0Z0dd l1m2Z2m3Z3m4Z4m5Z5m6Z6m7Z7m8Z8dddZ9dddZ:dddZ;dddZdd!d"Z?dd#d$Z@dd%d&ZAdd'd(ZBdd)d*ZCdd+d,ZDdd-d.ZEdd/d0ZFdd1d2ZGdd3d4ZHdd5d6ZIdd7d8ZJdd9d:ZKdd;d<ZLdd=d>ZMdd?d@ZNddAdBZOddCdDZPddEdFZQddJdKZRddLdMZSddNdOZTddPdQZUddRdSZVddTdUZWddVdWZXddXdYZYdd[d\ZZdd]d^Z[dd_d`Z\ddadbZ]ddcddZ^ddedfZ_ddgdhZ`ddidjZaddkdlZbddmdnZcddodpZdddqdrZeddsdtZfddudvZgddwdxZhddzd{Zidd|d}Zjdd~dZkdddZlee+e-ge6fZmiZndeod< ddddZp ddddZq ddddZrdddZseqe#jtddeqe#juddeqe#jvddeqe#jwddeqe#j ddeqe#jxddeqe#jydddddZzdddZ{dddZ|dddZ}dddZ~dddZdddZdddZdddZdddZdddZe+dddZdddZdddZdddZdddZdddZtddd„ZdddĄZddd̄Zddd΄Zddd҄ZedddՄZedddՄZedddՄZdddՄZdddZdS() annotationsN)ROUND_HALF_DOWN ROUND_HALF_UPDecimalInvalidOperation)reduce)AnyCallableDictNoReturnOptionalTupleUnionoverload)quote) ParseResults)RDFXSD)XSD_DateTime_DTsXSD_DTsXSD_Duration_DTstype_promotion) CompValueExpr)FrozenBindings QueryContext SPARQLErrorSPARQLTypeError)BNodeIdentifiedNode IdentifierLiteralNodeURIRefVariableexprrctxrreturnr#cCs6|j}t|tr |St|tr|jt|Std)z7 http://www.w3.org/TR/sparql11-query/#func-iri z6IRI function only accepts URIRefs or Literals/Strings!)arg isinstancer#r!prologue absolutizerr%r&ar.Z/var/www/edux/Edux_v2/venv/lib/python3.10/site-packages/rdflib/plugins/sparql/operators.py Builtin_IRI4s   r0r!cCtt|jtSN)r!r)r(rr%r&r.r.r/Builtin_isBLANKEr4cCstt|jtSr2)r!r)r(r3r.r.r/Builtin_isLITERALIr5r6cCr1r2)r!r)r(r#r3r.r.r/ Builtin_isIRIMr5r7cCs(z t|jtdWStdYSNTF)numericr(r!r3r.r.r/Builtin_isNUMERICQs    r:rcCs0|j}|dur tSt|tr|j|Std)z9 http://www.w3.org/TR/sparql11-query/#func-bnode Nz9BNode function only accepts no argument or literal/string)r(rr)r!bnodesrr,r.r.r/ Builtin_BNODEYs   r<cCsttt|jS)z7 http://www.w3.org/TR/sparql11-query/#func-abs )r!absr9r(r3r.r.r/ Builtin_ABSisr>cCst|jr|jS|jS)z6 http://www.w3.org/TR/sparql11-query/#func-if )EBVarg1arg2arg3r3r.r.r/ Builtin_IFqsrCcCs ttS)z9 http://www.w3.org/TR/sparql11-query/#idp2133952 )r!randomr3r.r.r/ Builtin_RANDys rEcCsttjS9 http://www.w3.org/TR/sparql11-query/#func-strdt )r#uuiduuid4urnr3r.r.r/ Builtin_UUIDsrKcCstttSrF)r!strrHrIr3r.r.r/Builtin_STRUUIDsrMcC"t|jd}tt|SNutf-8)stringr(encoder!hashlibmd5 hexdigestr%r&sr.r.r/ Builtin_MD5rXcCrNrO)rQr(rRr!rSsha1rUrVr.r.r/ Builtin_SHA1rYr[cCrNrO)rQr(rRr!rSsha256rUrVr.r.r/Builtin_SHA256rYr]cCrNrO)rQr(rRr!rSsha384rUrVr.r.r/Builtin_SHA384rYr_cCrNrO)rQr(rRr!rSsha512rUrVr.r.r/Builtin_SHA512rYracCs:|jdddD]}|durt|ttfs|Sqtd)z< http://www.w3.org/TR/sparql11-query/#func-coalesce r(T variablesNz;COALESCE got no arguments that did not evaluate to an error)getr)rr$)r%r&xr.r.r/Builtin_COALESCEs rfcC"|j}tttt||jdS)z8 http://www.w3.org/TR/sparql11-query/#func-ceil datatype)r(r!intmathceilr9rir%r&l_r.r.r/ Builtin_CEILsrocCrg)z9 http://www.w3.org/TR/sparql11-query/#func-floor rh)r(r!rjrkfloorr9rirmr.r.r/ Builtin_FLOORsrqcCs<|j}t|}tt|d|dkrtnt}t||jdS)z9 http://www.w3.org/TR/sparql11-query/#func-round rrh) r(r9rjrquantizerrr!ri)r%r&rnvr.r.r/ Builtin_ROUNDs  rucsvt|j}t|j}|j}d}|r.tdtjfdtjfdtjfgt t j fdd|D}t t tt|||S)a* http://www.w3.org/TR/sparql11-query/#func-regex Invokes the XPath fn:matches function to match text against a regular expression pattern. The regular expression language is defined in XQuery 1.0 and XPath 2.0 Functions and Operators section 7.6.1 Regular Expression Syntax rirWmcg|]}|dqSrrd.0fflagMapr.r/ z!Builtin_REGEX..)rQtextpatternflagsdictre IGNORECASEDOTALL MULTILINErpyopor_r!boolsearchrL)r%r&rrrcFlagr.r~r/ Builtin_REGEXs  rcst|j}t|j}t|j}|j}tdd|}d}|r:tdtjfdtj fdtj fgt t j fdd|D}ttt|||||j|jd S) : http://www.w3.org/TR/sparql11-query/#func-substr z \$([0-9]*)z\\\1rrvrWrwcrxryrzr{r~r.r/rrz#Builtin_REPLACE..rilang)rQr(r replacementrrsubrrrrrrrr!rLrilanguage)r%r&rrrrrr.r~r/Builtin_REPLACEs    rcCstt|j|jdS)rGrh)r!rLr@rAr3r.r.r/ Builtin_STRDTsrcCs8t|j}|js |jrtdtt|t|jdS)z; http://www.w3.org/TR/sparql11-query/#func-strlang z STRLANG expects a simple literal)r) rQr@rrirr!rLrAlowerrVr.r.r/Builtin_STRLANGs  rcCsxtdd|jD}t|dkr|nd}tdd|jD}t|dkr*|nd}tddd|jD||dS) z: http://www.w3.org/TR/sparql11-query/#func-concat cs |] }t|tr|jVqdSr2)r)r!rir|rer.r.r/ %z!Builtin_CONCAT..rrNcsrr2)r)r!rrr.r.r/r)rcs|]}t|VqdSr2)rQrr.r.r/r0r)setr(lenpopr!join)r%r&dtrr.r.r/Builtin_CONCATs  rr-bNonecCs2t|t||jr|j|jkrtddSdS)Nz'incompatible arguments to str functions)rQrr)r-rr.r.r/_compatibleStrings3s rcC$|j}|j}t||t||S)z= http://www.w3.org/TR/sparql11-query/#func-strstarts )r@rArr! startswithr%r&r-rr.r.r/Builtin_STRSTARTS;s rcCr)z; http://www.w3.org/TR/sparql11-query/#func-strends )r@rArr!endswithrr.r.r/Builtin_STRENDSGs rcCsJ|j}|j}t||||}|dkrtdSt|d||j|jdS)z= http://www.w3.org/TR/sparql11-query/#func-strbefore rNrri)r@rArfindr!rrir%r&r-rrvr.r.r/Builtin_STRBEFORESs  rcCsR|j}|j}t||||}|dkrtdSt||t|d|j|jdS)z< http://www.w3.org/TR/sparql11-query/#func-strafter rrNr)r@rArrr!rrrirr.r.r/Builtin_STRAFTERcs  "rcCs"|j}|j}t||t||vS)z? http://www.w3.org/TR/sparql11-query/#func-strcontains )r@rArr!rr.r.r/Builtin_CONTAINSss  rcCsttt|jdddS)NrPr)safe)r!rrQr(rRr3r.r.r/Builtin_ENCODE_FOR_URIsrcCsLt|j}t|jd}|j}|durt||}t||||j|jdS)rrrNr)rQr(r9startlengthr!rri)r%r&r-rrr.r.r/Builtin_SUBSTRs  recCst|j}tt|Sr2)rQr(r!rrr&rnr.r.r/Builtin_STRLENs  rcCs |j}t|tr |tt|Sr2)r(r)rr!rL)rr&r(r.r.r/ Builtin_STRs  rcC t|j}t||j|jdSNr)rQr(r!rrirrr.r.r/ Builtin_LCASE rcCs6t|j}t|j}t|dkrtdStt||S)zA http://www.w3.org/TR/sparql11-query/#func-langMatches rF)rQr@rArLr!_lang_range_check)rr&langTag langRanger.r.r/Builtin_LANGMATCHESs   rcCs t|jS)z7 http://www.w3.org/TR/sparql11-query/#func-now )r!now)rr&r.r.r/ Builtin_NOWs rcCt|j}t|jSr2)dater(r!yearrr&dr.r.r/ Builtin_YEAR  rcCrr2)rr(r!monthrr.r.r/ Builtin_MONTHrrcCrr2)rr(r!dayrr.r.r/ Builtin_DAYrrcCrr2)datetimer(r!hourrr.r.r/ Builtin_HOURSrrcCrr2)rr(r!minuterr.r.r/Builtin_MINUTESrrcCs>t|j}t|j}|jr|t|jtd7}t|tjdS)z; http://www.w3.org/TR/sparql11-query/#func-seconds i@Brh)rr(rsecond microsecondr!rdecimal)rr&r result_valuer.r.r/Builtin_SECONDSs  rc Cst|j}|jstd||}|j}|j}d}|dkr(d||}d}d}|d}||ddd}||dd|d}d||rJd |nd|rQd |nd|rXd |nd|sc|sc|scd |ndf} t| tj d S)z http://www.w3.org/TR/sparql11-query/#func-timezone :returns: the timezone part of arg as an xsd:dayTimeDuration. :raises: an error if there is no timezone. zdatatime has no timezone: %rrri-i<z %sP%sT%s%s%sz%dDz%dHz%dMz%dSrh) rr(tzinfor utcoffsetdayssecondsr!rdayTimeDuration) rr&rdeltarrWneghrwtzdeltar.r.r/Builtin_TIMEZONEs,   rcCs8t|j}|js tdS|j|}|dkrd}t|S)NrUTCZ)rr(rr!tzname)rr&rnr.r.r/ Builtin_TZs  rcCrr)rQr(r!upperrirrr.r.r/ Builtin_UCASErrcCst|j}t|jp dS)z http://www.w3.org/TR/sparql11-query/#func-lang Returns the language tag of ltrl, if it has one. It returns "" if ltrl has no language tag. Note that the RDF data model does not include literals with an empty language tag. r)literalr(r!rrr.r.r/ Builtin_LANGs r Optional[str]cCs@|j}t|tstd||jrtjS|js|jstj S|jS)Nz$Can only get datatype of literal: %r) r(r)r!rrr langStringrirrQrr.r.r/Builtin_DATATYPE$s   rcCs|j}|j}t||kSr2)r@rAr!)rr&r-rr.r.r/Builtin_sameTerm/s rcCs|jddd}tt|t S)z9 http://www.w3.org/TR/sparql11-query/#func-bound r(Trb)rdr!r)r$)rr&rr.r.r/ Builtin_BOUND5srcCsHddlm}|jdk}|j|}|||jD]}t|St| S)Nr)evalPartBuiltin_EXISTS)rdflib.plugins.sparql.evaluaternamer&thawgraphr!)rr&rexistsrer.r.r/r>s     rz*Dict[URIRef, Tuple[_CustomFunction, bool]]_CUSTOM_FUNCTIONSFurifunc_CustomFunctionoverriderrawcCs,|s|tvrtd|||ft|<dS)a  Register a custom SPARQL function. By default, the function will be passed the RDF terms in the argument list. If raw is True, the function will be passed an Expression and a Context. The function must return an RDF term, or raise a SparqlError. z&A function is already registered as %sN)r ValueErrorn3)rrrrr.r.r/register_custom_functionQs r,Callable[[_CustomFunction], _CustomFunction]csdfdd }|S)z@ Decorator version of :func:`register_custom_function`. rrr'cst|d|S)N)rr)r)rrrrr.r/ decoratorhsz"custom_function..decoratorN)rrr'rr.)rrrr r.r r/custom_functionasr Optional[Callable[..., Any]]cCs*t|r t|=dStd|dS)a The 'func' argument is included for compatibility with existing code. A previous implementation checked that the function associated with the given uri was actually 'func', but this is not necessary as the uri should uniquely identify the function. z%This function is not registered as %sN)rrdwarningswarnr)rrr.r.r/unregister_custom_functionos rr"c Csht|j}|durtd|j|\}}|r|||Sz||jWSty3}zt|jd}~ww)z$ Custom functions and casts NzUnknown function %r)rrdirirr% TypeErrorargs)rr&pairrrexr.r.r/Function~s    rT)rcCs|jstdt|jdkrtd|jd}|jtjkr5t|ttfr+t|tjdStd|t |ft|ts>td|j rM|j t vrMtd|j |jtj kr{|j rf|j tj tjfvrftd |j z tt ||jdWStd ||j tj krtd |j|jtjtjfvrz tt||jdWStd ||jtjkrd |vsd|vrtd|z tt||jdWStd||jtjkrz tt|tjdWStd||jtjkr |dvrtdS|dvrtdStd|dS)NzNothing given to cast.rrz Cannot cast more than one thing!rrhzCannot cast term %r of type %rz/Can only cast Literals to non-string data-typesz-Cannot cast literal with unknown datatype: %rzCannot cast %r to XSD:dateTimez!Cannot interpret '%r' as datetimezCannot cast XSD.dateTime to %rzCannot interpret '%r' as floatrEz Cannot interpret '%r' as decimalzCannot interpret '%r' as int)1trueT)0falseFzCannot interpret '%r' as bool)r%rrrrrQr)r#r!typerirdateTimeisodateparse_datetimefloatdoublerrintegerrjbooleanr)rr&rer.r.r/ default_casts\              r$cCstt|j Sr2)r!r?r%r3r.r.r/UnaryNotr5r%cCstt|j Sr2r!r9r%r3r.r.r/ UnaryMinusr5r'cCstt|j Sr2r&r3r.r.r/ UnaryPlusr5r(#Union[QueryContext, FrozenBindings]c Cs|j}|j}|dur |Sz1tt|}t|j|D]\}}t|}t|tkr+t|}|dkr4||9}q||}qWt |Stt fyJt dw)N*z divide by 0) r%otherrr9zipoprr rZeroDivisionErrorrr!)rr&r%r+resr-r}r.r.r/MultiplicativeExpressions$     r0c Cs|j}|j}|dur |St|dr|jtvs|jtvrt|}|j}t|j|D]h\}}|tvrT||jkrT|dkrTt |dkrGd}t ||jt|} t || }|S|tvrn|jtvrnt|} t ||| |j|}|S|tvr|jtvr|dkrt|} t ||| |j|}|Sq(t ddSt |}|j}t|j|D]7\}}t |} t| trt|trt| } t| trt|trt|}t||j}|dkr|| 7}q|| 8}qt||dS)Nrirrrz$Can't evaluate multiple %r arguments+zInvalid DateTime Operationsrh)r%r+hasattrrirrdateTimeObjectsr,r-rrcalculateDurationcalculateFinalDateTimer9r)rr rr!) rr&r%r+r/rr-term error_messagerr.r.r/AdditiveExpressionsR    #    r8c Cs|j}|j}|j}|dur|Stdddfdddfdddfdd dfd d dfd d dfdtjfdddfg}|dvr}|dk}d}|tjkrKg}|D]%}z||kr]td|AWSWqMt yr}z|}WYd}~qMd}~ww|s{td|AS||dvrt |tst d|t |tst d|nt |t st d|t |t st d|t |trt |tr|j dur|j t vr|j dur|j t vr|dvrt dz||||} | tkrt dWt| Sty} zt | jd} ~ ww)N>cS ||Sr2)__gt__reyr.r.r/X z&RelationalExpression..Yr?=cSr:r2)eqr<r.r.r/r>Zr?!=cSr:r2)neqr<r.r.r/r>[r?z>=cSr:r2)__ge__r<r.r.r/r>\r?z<=cSr:r2)__le__r<r.r.r/r>]r?INNOT INcSst|| Sr2)rcontainsr<r.r.r/r>_s)rHrIFT)rBrDrHrIz8Compare other than =, != of non-literals is an error: %rz"I cannot compare this non-node: %r)rBrDz0Can only do =,!= comparisons of non-XSD LiteralszError when comparing)r%r+r-rrrJrnilr!rr)r"rirNotImplementedrr) rr&r%r+r-opsr/errorrerter.r.r/RelationalExpressionLs                     rQcCs4|j}|j}|dur |Sttdd|g|DS)Ncsrr2)r?rr.r.r/rrz+ConditionalAndExpression..)r%r+r!all)rr&r%r+r.r.r/ConditionalAndExpressions rSc Cs~|j}|j}|dur |Sd}|g|D]#}z t|r!tdWSWqty6}z|}WYd}~qd}~ww|r;|tdSr8)r%r+r?r!r)rr&r%r+rNrer.r.r/ConditionalOrExpressions"rTcCstdt|dS)Nr%r%)rr%)r(r.r.r/not_srVrcGs4t|dkr |dStdt|dt|dddS)NrrrrS)r%r+)rrrSlist)rr.r.r/and_s rX TrueFiltercCstdS)NT)r!)_1_2r.r.r/r>sr>rcCst|trt|dkrt|dSt|ttfrttt|St|ts&|S|jdr6|j dur6t|j S| D] }t||||<q:|S)Nrrr Expression) r)rrsimplifyrWmaprrrr+r%keys)r%kr.r.r/r]s      r]rWcCst|ts td||S)Nz Non-literal passed as string: %r)r)r!rrWr.r.r/rs  rpy_datetime.datetimecCs6t|ts td||jtjkstd||S)Nz"Non-literal passed as datetime: %rz2Literal with wrong datatype passed as datetime: %r)r)r!rrirrtoPython)rr.r.r/rs    rpy_datetime.datecCsTt|ts td||jtjtjfvrtd||}t|tj r(|S|S)NzNon-literal passed as date: %rz.Literal with wrong datatype passed as date: %r) r)r!rrirrrrc py_datetimer)rresultr.r.r/rs    rcCs8t|ts td||jr|jtjkrtd||S)zz Make sure the passed thing is a string literal i.e. plain literal, xsd:string literal or lang-tagged literal z Non-literal passes as string: %rz0Non-string datatype-literal passes as string: %r)r)r!rrirrQrar.r.r/rQs   rQcCstt|ts td||jtjtjtjtjtj tj tj tj tj tjtjtjtjtjtjtjfvr6td||S)zf return a number from a literal http://www.w3.org/TR/xpath20/#promotion or TypeError z%r is not a literal!z$%r does not have a numeric datatype!)r)r!rrirr r!rr"nonPositiveIntegernegativeIntegernonNegativeIntegerpositiveInteger unsignedLong unsignedInt unsignedShort unsignedBytelongrjshortbytercrUr.r.r/r9s,   r9cCs|S)zo return a dataTime/date/time/duration/dayTimeDuration/yearMonthDuration python objects from a literal )rcrUr.r.r/r35sr3obj1-Union[py_datetime.date, py_datetime.datetime]dt1obj2.Union[isodate.Duration, py_datetime.timedelta]dt2cCs|tjkr |tjkr dS|tjks|tjkr dt|vrdSdS|tjkrB|tjkr,dS|tjks6|tjkrBdt|dkr@dSdS|tjkrIdSdS)zq Returns a boolean indicating if first object is compatible with operation(+/-) over second object. TTFrrN)rryearMonthDurationrDurationrLtimer)rrrtrurwr.r.r/isCompatibleDateTimeDatatype>s"     r|cCs|}|}||}t|tjdS)z< returns the duration Literal between two datetime rh)r!rduration)rrrudate1date2 differencer.r.r/r4esr4 operationrLcCsFt||||r|dkr||}t||dS||}t||dStd)z Calculates the final dateTime/date/time resultant after addition/ subtraction of duration/dayTimeDuration/yearMonthDuration rrhz.Incompatible Data types to DateTime Operations)r|r!r)rrrtrurwransr.r.r/r5ts   r5rtcCdSr2r.rr.r.r/r?r?2Union[Variable, IdentifiedNode, SPARQLError, Expr]r cCrr2r.rr.r.r/r?r$Union[Identifier, SPARQLError, Expr]Union[bool, NoReturn]cCrr2r.rr.r.r/r?rcCsrt|tr3|jtjkr|S|jtjks|jdur t|dkS|}t|tr/td|t |Std|)a Effective Boolean Value (EBV) * If the argument is a typed literal with a datatype of xsd:boolean, the EBV is the value of that argument. * If the argument is a plain literal or a typed literal with a datatype of xsd:string, the EBV is false if the operand value has zero length; otherwise the EBV is true. * If the argument is a numeric type or a typed literal with a datatype derived from a numeric type, the EBV is false if the operand value is NaN or is numerically equal to zero; otherwise the EBV is true. * All other arguments, including unbound arguments, produce a type error. Nrzjhttp://www.w3.org/TR/rdf-sparql-query/#ebv - ' + 'Could not determine the EBV for : %rzchttp://www.w3.org/TR/rdf-sparql-query/#ebv - ' + 'Only literals have Boolean values! %r) r)r!rirr#rcrQrrr)rpyRTr.r.r/r?s$    rangercstddd|d}|d}|d |d s"d St|t|kr,d Stfd d t||DS)a( Implementation of the extended filtering algorithm, as defined in point 3.3.2, of U{RFC 4647}, on matching language ranges and language tags. Needed to handle the C{rdf:PlainLiteral} datatype. @param range: language range @param lang: language tag @rtype: boolean @author: U{Ivan Herman} Taken from `RDFClosure/RestrictedDatatype.py`__ .. __:http://dev.w3.org/2004/PythonLib-IH/RDFClosure/RestrictedDatatype.py rOrLrnr'rcSs|dkp||kS)z Matching of a range and language item: either range is a wildcard or the two are equal @param r: language range item @param l_: language tag item @rtype: boolean r*r.)rOrnr.r.r/_matchsz!_lang_range_check.._matchrrFc3s|]}|VqdSr2r.rrr.r/rrz$_lang_range_check..N)rOrLrnrLr'r)striprsplitrrRr,)rr rangeListlangListr.rr/rs  r)r%rr&rr'r#)r%rr&rr'r!)r'r!)r'r)r%rr'r!)r%r)r%rr'r#)r-r!rr!r'r)rrr'r!)rrr'r)rrr&rr'r!)FF) rr#rrrrrrr'r)rr#rrrrr'r r2)rr#rr r'r)rrr&rr'r")rrr&r)r'r!)r'r)rrr'r)r%rr'r)rWr!r'r!)rr!r'rb)rr!r'rd)r%r!r'r) rrrsrtr#rurvrwr#r'r)rrrsrursr'r!) rrrsrtr#rurvrwr#rrLr'r!)rr!r'r)rrr'r )rrr'r)rrr'r)rr!rr!r'r) __future__rrrerSrkoperatorrrDrrHrrrrrr functoolsrtypingrr r r r r rr urllib.parserr pyparsingrrdflib.namespacerrrdflib.plugins.sparql.datatypesrrrr!rdflib.plugins.sparql.parserutilsrrrdflib.plugins.sparql.sparqlrrrr rdflib.termrrr r!r"r#r$r0r4r6r7r:r<r>rCrErKrMrXr[r]r_rarfrorqrurrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrr__annotations__rr rrrQrr r!r"r#r$r%r'r(r0r8rQrSrTrVrXrYr]rrr9r3r|r4r5r?rr.r.r.r/s (  $                                       '               ?     I O        " '     ,