AHjIBdZddlmZddlZddlZddlmZmZddlm Z m Z ddl m Z m Z mZddlmZddlZe Gdd Ze Gd d ZGd d eZGddeZGddeZGddeZGddeZGddeZGddeZy)z This module provides a number of classes for validating input. See [Validating Input](/widgets/input/#validating-input) for details. ) annotationsN)ABCabstractmethod) dataclassfield)CallablePatternSequence)urlparseceZdZUdZeeZded< ed dZ ed dZ ed dZ e ddZ e dd Zy )ValidationResultz4The result of calling a `Validator.validate` method.)default_factorySequence[Failure]failuresctd|D}|Dcgc]}|jD]}|}}}|rtjStj |Scc}}w)zMerge multiple ValidationResult objects into one. Args: results: List of ValidationResult objects to merge. Returns: Merged ValidationResult object. c34K|]}|jywN)is_valid).0results J/root/tools/cai/cai_env/lib/python3.12/site-packages/textual/validation.py z)ValidationResult.merge..&s=6v=s)allrr successfailure)resultsrrrrs rmergezValidationResult.merges`=W==*1QQgGQGQQ #++- -#++H5 5 RsA ctS)znConstruct a successful ValidationResult. Returns: A successful ValidationResult. r rrzValidationResult.success-s  !!r!ct|S)zConstruct a failure ValidationResult. Args: failures: The failures. Returns: A failure ValidationResult. rrs rrzValidationResult.failure6s ))r!cl|jDcgc]}|j |jc}Scc}w)aUtility for extracting failure descriptions as strings. Useful if you don't care about the additional metadata included in the `Failure` objects. Returns: A list of the string descriptions explaining the failing validations. )r descriptionselfrs rfailure_descriptionsz%ValidationResult.failure_descriptionsBs: == "".      s1c2t|jdk(S)z&True if the validation was successful.r)lenrr's rrzValidationResult.is_validQs4==!Q&&r!N)rzSequence['ValidationResult']returnz'ValidationResult'r,r )rrr,r )r,z list[str])r,bool)__name__ __module__ __qualname____doc__rlistr__annotations__ staticmethodrrrpropertyr(rr r!rr r sz>"'"=H=J66 "" * *    ''r!r cNeZdZUdZded< dZded< dZded< d dZd d Zy) Failurez'Information about a validation failure. Validator validatorN str | Nonevaluer%c|jS|jj|jj|_y|jj||_yyr)r%r:failure_descriptiondescribe_failurer+s r __post_init__zFailure.__post_init__bsL    #~~11=#'>>#E#E #'>>#B#B4#H $r!c#`K|j|j|jywr)r<r:r%r+s r __rich_repr__zFailure.__rich_repr__js&jjnns,.)r,None)r,zrich.repr.Result) r/r0r1r2r4r<r%r@rBr r!rr8r8Ws313E:9"K"tIr!r8cZeZdZdZdd dZed dZd dZd dZ d ddZ y)r9aaBase class for the validation of string values. Commonly used in conjunction with the `Input` widget, which accepts a list of validators via its constructor. This validation framework can also be used to validate any 'stringly-typed' values (for example raw command line input from `sys.args`). To implement your own `Validator`, subclass this class. Example: ```python def is_palindrome(value: str) -> bool: """Check has string has the same code points left to right, as right to left.""" return value == value[::-1] class Palindrome(Validator): def validate(self, value: str) -> ValidationResult: if is_palindrome(value): return self.success() else: return self.failure("Not a palindrome!") ``` Nc||_yrr>)r'r>s r__init__zValidator.__init__s#6  r!cy)aValidate the value and return a ValidationResult describing the outcome of the validation. Implement this method when defining custom validators. Args: value: The value to validate. Returns: The result of the validation ([`self.success()`][textual.validation.Validator.success) or [`self.failure(...)`][textual.validation.Validator.failure]). Nr r'r<s rvalidatezValidator.validatesr!c|jS)aReturn a string description of the Failure. Used to provide a more fine-grained description of the failure. A Validator could fail for multiple reasons, so this method could be used to provide a different reason for different types of failure. !!! warning This method is only called if no other description has been supplied. If you supply a description inside a call to `self.failure(description="...")`, or pass a description into the constructor of the validator, those will take priority, and this method won't be called. Args: failure: Information about why the validation failed. Returns: A string description of the failure. rFr&s rr?zValidator.describe_failures$'''r!ctS)aShorthand for `ValidationResult(True)`. Return `self.success()` from [`validate()`][textual.validation.Validator.validate] to indicated that validation *succeeded*. Returns: A ValidationResult indicating validation succeeded. rr+s rrzValidator.successs  !!r!cdt|tr|g}t|xst|||g}|S)aqShorthand for signaling validation failure. Return `self.failure(...)` from [`validate()`][textual.validation.Validator.validate] to indicated that validation *failed*. Args: description: The failure description that will be used. When used in conjunction with the Input widget, this is the description that will ultimately be available inside the handler for `Input.Changed`. If not supplied, the `failure_description` from the `Validator` will be used. If that is not supplied either, then the `describe_failure` method on `Validator` will be called. value: The value that was considered invalid. This is optional, and only needs to be supplied if required in your `Input.Changed` handler. failures: The reasons the validator failed. If not supplied, a generic `Failure` will be included in the ValidationResult returned from this function. Returns: A ValidationResult representing failed validation, and containing the metadata supplied to this function. )r:r<r%) isinstancer8r )r'r%r<rrs rrzValidator.failures:0 h ( zH!  W4u+VW  r!r)r>r;r,rCr<strr,r rr8r,r;r-NNN)r%r;r<r;rz"Failure | Sequence[Failure] | Noner,r ) r/r0r1r2rGrrJr?rrr r!rr9r9ps`.     (("#' 7; 5   r!r9c^eZdZdZ d dfd ZGddeZd dZd dZxZ S) RegexzGA validator that checks the value matches a regex (via `re.fullmatch`).cDt||||_ ||_yNrF)superrGregexflags)r'rXrYr> __class__s rrGzRegex.__init__s* -@A E 2r!ceZdZdZy)Regex.NoResultszYIndicates validation failed because the regex could not be found within the value string.Nr/r0r1r2r r!r NoResultsr\sgr!r^c|j}tj|||jdu}|s)tj ||g}|j |S|jS)zEnsure that the value matches the regex. Args: value: The value that should match the regex. Returns: The result of the validation. )rYNr#)rXre fullmatchrYrTr^rr)r'r<rX has_matchrs rrJzRegex.validates[ LLTZZ@L e45H<<<2 2||~r!c<d|jd|jdS)Describes why the validator failed. Args: failure: Information about why the validation failed. Returns: A string description of the failure. zMust match regular expression z (flags=z).)rXrYr&s rr?zRegex.describe_failures"0 ~Xdjj\QSTTr!)rN)rXzstr | Pattern[str]rYzint | re.RegexFlagr>r;r,rCrOrQ) r/r0r1r2rGr8r^rJr? __classcell__rZs@rrTrTsRQ %&*. 3! 3" 3( 3  3hGh Ur!rTc~eZdZdZ d d fd ZGddeZGddeZd dZd dZ dd Z xZ S)NumberzKValidator that ensures the value is a number, with an optional range check.cDt||||_ ||_yrVrWrGminimummaximumr'rkrlr>rZs rrGzNumber.__init__s* -@A ^ ^r!ceZdZdZy)Number.NotANumberziIndicates a failure due to the value not being a valid number (decimal/integer, inc. scientific notation)Nr]r r!r NotANumberroswr!rpceZdZdZy)Number.NotInRangezTIndicates a failure due to the number not being within the range [minimum, maximum].Nr]r r!r NotInRangerrsbr!rsc t|}t j|st j|r*tjtj ||gS|j|s*tjtj||gS|jS#t$r-tjtj ||gcYSwxYw)zEnsure that `value` is a valid number, optionally within a range. Args: value: The value to validate. Returns: The result of the validation. ) float ValueErrorr rrhrpmathisnanisinf_validate_rangersr)r'r< float_values rrJzNumber.validate!s N,K ::k "djj&=#++V->->tU-K,LM M##K0#++""4/0 ||~ N#++V->->tU-K,LM M Ns B,,3C"!C"ct|j||jkry|j||jkDryy)z_Return a boolean indicating whether the number is within the range specified in the attributes.FT)rkrlrIs rrzzNumber._validate_range8s5 << # (< << # (<r!cHt|tjryt|tjrm|j|j d|j dS|j|j d|jdSd|jd|j dSy)rdzMust be a valid number.NMust be less than or equal to .!Must be greater than or equal to Must be between  and )rNrhrprsrkrlr&s rr?zNumber.describe_failure@s gv00 1, !2!2 3||# (@7 ~QGG)dll.B:4<<.JJ)$,,uT\\N!LLr!rR)rk float | Nonerlrr>r;r,rCrO)r<rur,r.rQ) r/r0r1r2rGr8rprsrJrzr?rerfs@rrhrh slU!% $*. _ _ _( _  _xWxcWc.r!rhcBeZdZdZGddeZdfd ZddZxZS)IntegerzKValidator which ensures the value is an integer which falls within a range.ceZdZdZy)Integer.NotAnIntegerz?Indicates a failure due to the value not being a valid integer.Nr]r r!r NotAnIntegerrYsMr!rct||}|js|S t|}|jS#t$r-t j tj||gcYSwxYw)zEnsure that `value` is an integer, optionally within a range. Args: value: The value to validate. Returns: The result of the validation. ) rWrJrintrvr rrrr)r'r<number_validation_result int_valuerZs rrJzInteger.validate\su$)7#3E#: '00+ + QE I||~ Q#++W-A-A$-N,OP P Qs ;3A10A1cht|tjtjfryt|tjrm|j |j d|j dS|j |j d|j dSd|j d|j dSy)rdzMust be a valid integer.Nr~rrrr)rNrrprrsrkrlr&s rr?zInteger.describe_failureqs g 2 2G4H4HI J- !3!3 4||# (@7 ~QGG)dll.B:4<<.JJ)$,,uT\\N!LLr!rOrQ) r/r0r1r2r8rrJr?rerfs@rrrVsUNwN*r!rc`eZdZdZ d dfd ZGddeZd dZd dZxZ S) Lengthz5Validate that a string is within a range (inclusive).cDt||||_ ||_yrVrjrms rrGzLength.__init__s* -@A N Nr!ceZdZdZy)Length.IncorrectzKIndicates a failure due to the length of the value being outside the range.Nr]r r!r IncorrectrsYr!rc|jduxrt||jk}|jduxrt||jkD}|s|r*tj t j ||gS|jS)zEnsure that value falls within the maximum and minimum length constraints. Args: value: The value to validate. Returns: The result of the validation. N)rkr*rlr rrrr)r'r< too_shorttoo_longs rrJzLength.validatesvLL,JUdll1J <r;r,rCrOrQ) r/r0r1r2rGr8rrJr?rerfs@rrrsY?#"*. O O O( O  OZGZ r!rcXeZdZdZ d dfd ZGddeZd dZd dZxZ S) FunctionzIA flexible validator which allows you to provide custom validation logic.c4t||||_yrV)rWrGfunction)r'rr>rZs rrGzFunction.__init__s -@A  hr!ceZdZdZy)Function.ReturnedFalsezIIndicates validation failed because the supplied function returned False.Nr]r r!r ReturnedFalsersWr!rc|j|}|r|jS|jtj ||S)a'Validate that the supplied function returns True. Args: value: The value to pass into the supplied function. Returns: A ValidationResult indicating success if the function returned True, and failure if the function return False. r#)rrrrr)r'r<rs rrJzFunction.validates?==' <<> !||X%;%;D%%H|IIr!c|jS)rdrFr&s rr?zFunction.describe_failures'''r!r)rzCallable[[str], bool]r>r;r,rCrOrQ) r/r0r1r2rGr8rrJr?rerfs@rrrsIS +/i'i(i  iXX J (r!rc6eZdZdZGddeZddZddZy) URLzGValidator that checks if a URL is valid (ensuring a scheme is present).ceZdZdZy)URL.InvalidURLz$Indicates that the URL is not valid.Nr]r r!r InvalidURLrs2r!rctjtj||g} t |}t |j |jgs|S |jS#t$r|cYSwxYw)zValidates that `value` is a valid URL (contains a scheme). Args: value: The value to validate. Returns: The result of the validation. ) r rrrr rschemenetlocrvr)r'r< invalid_url parsed_urls rrJz URL.validatesy'..tU0K/LM  !%J )):+<+<=>""? ||~   s-A++ A98A9cy)rdzMust be a valid URL.r r&s rr?zURL.describe_failures&r!NrOrQ)r/r0r1r2r8rrJr?r r!rrrsQ3W3& &r!r)r2 __future__rrwr`abcrr dataclassesrrtypingrr r urllib.parser rich.reprrichr r8r9rTrhrrrrr r!rrs# #(..! >'>' >'B  0kk\+UI+U\GYGT.f.b1Y1h'(y'(T"&)"&r!