← Back
Editing: constraint.cpython-38.pyc
U s�Z�> � @ s� d dl Z d dlmZ ddddddd d d g ZG d d � d e�ZG dd� de�ZG dd� de�ZG dd� de�ZG dd� de�Z G dd� de�Z G dd� de�Z G dd � d e�Z G dd� de�Z G dd � d e �ZG dd � d e �ZdS )� N)�error�SingleValueConstraint�ContainedSubtypeConstraint�ValueRangeConstraint�ValueSizeConstraint�PermittedAlphabetConstraint�InnerTypeConstraint�ConstraintsExclusion�ConstraintsIntersection�ConstraintsUnionc @ s� e Zd Zdd� Zd&dd�Zdd� Zdd � Zd d � Zd d � Zdd� Z dd� Z dd� Z e j d dkrjdd� Zndd� Zdd� Zd d � Zd d � Zd d!� Zd"d#� Zd$d%� ZdS )'�AbstractConstraintc G s* t � | _| �|� t| jj| jf�| _d S �N)�set� _valueMap� _setValues�hash� __class__�__name__�_values�_AbstractConstraint__hash��self�values� r �8/usr/lib/python3/dist-packages/pyasn1/type/constraint.py�__init__ s zAbstractConstraint.__init__Nc C sP | j s d S z| �||� W n0 tjk rJ t�d| t�� d f ��Y nX d S )Nz%s failed at: %r� )r � _testValuer �ValueConstraintError�sys�exc_info�r �value�idxr r r �__call__ s �zAbstractConstraint.__call__c C s@ d| j jt| �f }| jr8|dd�dd� | jD �� 7 }d| S )Nz%s object at 0x%xz consts %sz, c S s g | ] }t |��qS r )�repr)�.0�xr r r � <listcomp>+ s z/AbstractConstraint.__repr__.<locals>.<listcomp>z<%s>)r r �idr �join)r Zrepresentationr r r �__repr__' s zAbstractConstraint.__repr__c C s | |kr dp| j |kS )NT�r �r �otherr r r �__eq__/ s zAbstractConstraint.__eq__c C s | j |kS r r, r- r r r �__ne__2 s zAbstractConstraint.__ne__c C s | j |k S r r, r- r r r �__lt__5 s zAbstractConstraint.__lt__c C s | j |kS r r, r- r r r �__le__8 s zAbstractConstraint.__le__c C s | j |kS r r, r- r r r �__gt__; s zAbstractConstraint.__gt__c C s | j |kS r r, r- r r r �__ge__> s zAbstractConstraint.__ge__r � c C s | j r dp dS �NTFr, �r r r r � __nonzero__B s z AbstractConstraint.__nonzero__c C s | j r dp dS r6 r, r7 r r r �__bool__E s zAbstractConstraint.__bool__c C s | j S r )r r7 r r r �__hash__H s zAbstractConstraint.__hash__c C s || _ d S r r, r r r r r K s z AbstractConstraint._setValuesc C s t �|��d S r )r r r! r r r r N s z AbstractConstraint._testValuec C s | j S r �r r7 r r r � getValueMapR s z AbstractConstraint.getValueMapc C s$ || kp"| j p"|| kp"| |�� kS r )r r< �r ZotherConstraintr r r � isSuperTypeOfU s �� �z AbstractConstraint.isSuperTypeOfc C s || kp | p || kp || j kS r r; r= r r r � isSubTypeOf\ s ���z AbstractConstraint.isSubTypeOf)N)r � __module__� __qualname__r r$ r+ r/ r0 r1 r2 r3 r4 r � version_infor8 r9 r: r r r< r> r? r r r r r s$ r c @ s e Zd ZdZdd� Zdd� ZdS )r a Create a SingleValueConstraint object. The SingleValueConstraint satisfies any value that is present in the set of permitted values. The SingleValueConstraint object can be applied to any ASN.1 type. Parameters ---------- \*values: :class:`int` Full set of values permitted by this constraint object. Examples -------- .. code-block:: python class DivisorOfSix(Integer): ''' ASN.1 specification: Divisor-Of-6 ::= INTEGER (1 | 2 | 3 | 6) ''' subtypeSpec = SingleValueConstraint(1, 2, 3, 6) # this will succeed divisor_of_six = DivisorOfSix(1) # this will raise ValueConstraintError divisor_of_six = DivisorOfSix(7) c C s || _ t|�| _d S r �r r �_setr r r r r � s z SingleValueConstraint._setValuesc C s || j krt�|��d S r )rD r r r! r r r r � s z SingleValueConstraint._testValueN�r r@ rA �__doc__r r r r r r r c s c @ s e Zd ZdZdd� ZdS )r a� Create a ContainedSubtypeConstraint object. The ContainedSubtypeConstraint satisfies any value that is present in the set of permitted values and also satisfies included constraints. The ContainedSubtypeConstraint object can be applied to any ASN.1 type. Parameters ---------- \*values: Full set of values and constraint objects permitted by this constraint object. Examples -------- .. code-block:: python class DivisorOfEighteen(Integer): ''' ASN.1 specification: Divisors-of-18 ::= INTEGER (INCLUDES Divisors-of-6 | 9 | 18) ''' subtypeSpec = ContainedSubtypeConstraint( SingleValueConstraint(1, 2, 3, 6), 9, 18 ) # this will succeed divisor_of_eighteen = DivisorOfEighteen(9) # this will raise ValueConstraintError divisor_of_eighteen = DivisorOfEighteen(10) c C s: | j D ].}t|t�r |||� q|| jkrt�|��qd S r )r � isinstancer rD r r �r r" r# � constraintr r r r � s z%ContainedSubtypeConstraint._testValueN�r r@ rA rF r r r r r r � s #c @ s e Zd ZdZdd� Zdd� ZdS )r a{ Create a ValueRangeConstraint object. The ValueRangeConstraint satisfies any value that falls in the range of permitted values. The ValueRangeConstraint object can only be applied to :class:`~pyasn1.type.univ.Integer` and :class:`~pyasn1.type.univ.Real` types. Parameters ---------- start: :class:`int` Minimum permitted value in the range (inclusive) end: :class:`int` Maximum permitted value in the range (inclusive) Examples -------- .. code-block:: python class TeenAgeYears(Integer): ''' ASN.1 specification: TeenAgeYears ::= INTEGER (13 .. 19) ''' subtypeSpec = ValueRangeConstraint(13, 19) # this will succeed teen_year = TeenAgeYears(18) # this will raise ValueConstraintError teen_year = TeenAgeYears(20) c C s" || j k s|| jkr t�|��d S r )�start�stopr r r! r r r r � s z ValueRangeConstraint._testValuec C sd t |�dkr t�d| jjf ��|\| _| _| j| jkrTt�d| jj| j| jf ��t�| |� d S )Nr5 z%s: bad constraint valuesz5%s: screwed constraint values (start > stop): %s > %s) �lenr � PyAsn1Errorr r rK rL r r r r r r r � s � ��z ValueRangeConstraint._setValuesN�r r@ rA rF r r r r r r r � s #c @ s e Zd ZdZdd� ZdS )r a Create a ValueSizeConstraint object. The ValueSizeConstraint satisfies any value for as long as its size falls within the range of permitted sizes. The ValueSizeConstraint object can be applied to :class:`~pyasn1.type.univ.BitString`, :class:`~pyasn1.type.univ.OctetString` (including all :ref:`character ASN.1 types <type.char>`), :class:`~pyasn1.type.univ.SequenceOf` and :class:`~pyasn1.type.univ.SetOf` types. Parameters ---------- minimum: :class:`int` Minimum permitted size of the value (inclusive) maximum: :class:`int` Maximum permitted size of the value (inclusive) Examples -------- .. code-block:: python class BaseballTeamRoster(SetOf): ''' ASN.1 specification: BaseballTeamRoster ::= SET SIZE (1..25) OF PlayerNames ''' componentType = PlayerNames() subtypeSpec = ValueSizeConstraint(1, 25) # this will succeed team = BaseballTeamRoster() team.extend(['Jan', 'Matej']) encode(team) # this will raise ValueConstraintError team = BaseballTeamRoster() team.extend(['Jan'] * 26) encode(team) Note ---- Whenever ValueSizeConstraint is applied to mutable types (e.g. :class:`~pyasn1.type.univ.SequenceOf`, :class:`~pyasn1.type.univ.SetOf`), constraint validation only happens at the serialisation phase rather than schema instantiation phase (as it is with immutable types). c C s* t |�}|| jk s || jkr&t�|��d S r )rM rK rL r r )r r" r# Z valueSizer r r r & s z ValueSizeConstraint._testValueNrJ r r r r r � s 5c @ s e Zd ZdZdd� Zdd� ZdS )r a� Create a PermittedAlphabetConstraint object. The PermittedAlphabetConstraint satisfies any character string for as long as all its characters are present in the set of permitted characters. The PermittedAlphabetConstraint object can only be applied to the :ref:`character ASN.1 types <type.char>` such as :class:`~pyasn1.type.char.IA5String`. Parameters ---------- \*alphabet: :class:`str` Full set of characters permitted by this constraint object. Examples -------- .. code-block:: python class BooleanValue(IA5String): ''' ASN.1 specification: BooleanValue ::= IA5String (FROM ('T' | 'F')) ''' subtypeSpec = PermittedAlphabetConstraint('T', 'F') # this will succeed truth = BooleanValue('T') truth = BooleanValue('TF') # this will raise ValueConstraintError garbage = BooleanValue('TAF') c C s || _ t|�| _d S r rC r r r r r O s z&PermittedAlphabetConstraint._setValuesc C s | j �|�st�|��d S r )rD � issupersetr r r! r r r r S s z&PermittedAlphabetConstraint._testValueNrE r r r r r , s "c @ s e Zd ZdZdd� Zdd� ZdS )r z4Value must satisfy the type and presence constraintsc C sX | j r| � |� nB| jrT|| jkr,t�|��| j| \}}|dkrLt�|��||� d S )NZABSENT)�*_InnerTypeConstraint__singleTypeConstraint�,_InnerTypeConstraint__multipleTypeConstraintr r )r r" r# rI Zstatusr r r r \ s z InnerTypeConstraint._testValuec C sR i | _ d | _|D ]0}t|t�r:|d |d f| j |d < q|| _qt�| |� d S )Nr r5 r )rR rQ rG �tupler r )r r �vr r r r g s z InnerTypeConstraint._setValuesNrO r r r r r Y s c @ s e Zd ZdZdd� Zdd� ZdS )r af Create a ConstraintsExclusion logic operator object. The ConstraintsExclusion logic operator succeeds when the value does *not* satisfy the operand constraint. The ConstraintsExclusion object can be applied to any constraint and logic operator object. Parameters ---------- constraint: Constraint or logic operator object. Examples -------- .. code-block:: python class Lipogramme(IA5STRING): ''' ASN.1 specification: Lipogramme ::= IA5String (FROM (ALL EXCEPT ("e"|"E"))) ''' subtypeSpec = ConstraintsExclusion( PermittedAlphabetConstraint('e', 'E') ) # this will succeed lipogramme = Lipogramme('A work of fiction?') # this will raise ValueConstraintError lipogramme = Lipogramme('Eel') Warning ------- The above example involving PermittedAlphabetConstraint might not work due to the way how PermittedAlphabetConstraint works. The other constraints might work with ConstraintsExclusion though. c C s< z| j d ||� W n tjk r, Y d S X t�|��d S )Nr �r r r r! r r r r � s z ConstraintsExclusion._testValuec C s& t |�dkrt�d��t�| |� d S )Nr zSingle constraint expected)rM r rN r r r r r r r � s z ConstraintsExclusion._setValuesNrO r r r r r t s )c @ s< e Zd Zdd� Zdd� Zdd� Zdd� Zd d � Zd d � Zd S )�AbstractConstraintSetc C s | j | S r r, )r r# r r r � __getitem__� s z!AbstractConstraintSet.__getitem__c C s t | j�S r )�iterr r7 r r r �__iter__� s z AbstractConstraintSet.__iter__c C s | j | j|f � S r �r r �r r" r r r �__add__� s z AbstractConstraintSet.__add__c C s | j |f| j � S r rZ r[ r r r �__radd__� s z AbstractConstraintSet.__radd__c C s t | j�S r )rM r r7 r r r �__len__� s z AbstractConstraintSet.__len__c C s4 || _ |D ]$}|r | j�|� | j�|�� � q d S r )r r �add�updater< )r r rI r r r r � s z AbstractConstraintSet._setValuesN) r r@ rA rW rY r\ r] r^ r r r r r rV � s rV c @ s e Zd ZdZdd� ZdS )r a8 Create a ConstraintsIntersection logic operator object. The ConstraintsIntersection logic operator only succeeds if *all* its operands succeed. The ConstraintsIntersection object can be applied to any constraint and logic operator objects. The ConstraintsIntersection object duck-types the immutable container object like Python :py:class:`tuple`. Parameters ---------- \*constraints: Constraint or logic operator objects. Examples -------- .. code-block:: python class CapitalAndSmall(IA5String): ''' ASN.1 specification: CapitalAndSmall ::= IA5String (FROM ("A".."Z"|"a".."z")) ''' subtypeSpec = ConstraintsIntersection( PermittedAlphabetConstraint('A', 'Z'), PermittedAlphabetConstraint('a', 'z') ) # this will succeed capital_and_small = CapitalAndSmall('Hello') # this will raise ValueConstraintError capital_and_small = CapitalAndSmall('hello') c C s | j D ]}|||� qd S r r, rH r r r r � s z"ConstraintsIntersection._testValueNrJ r r r r r � s &c @ s e Zd ZdZdd� ZdS )r a+ Create a ConstraintsUnion logic operator object. The ConstraintsUnion logic operator only succeeds if *at least a single* operand succeeds. The ConstraintsUnion object can be applied to any constraint and logic operator objects. The ConstraintsUnion object duck-types the immutable container object like Python :py:class:`tuple`. Parameters ---------- \*constraints: Constraint or logic operator objects. Examples -------- .. code-block:: python class CapitalOrSmall(IA5String): ''' ASN.1 specification: CapitalOrSmall ::= IA5String (FROM ("A".."Z") | FROM ("a".."z")) ''' subtypeSpec = ConstraintsIntersection( PermittedAlphabetConstraint('A', 'Z'), PermittedAlphabetConstraint('a', 'z') ) # this will succeed capital_or_small = CapitalAndSmall('Hello') # this will raise ValueConstraintError capital_or_small = CapitalOrSmall('hello!') c C sP | j D ]0}z|||� W n tjk r. Y qX d S qt�d| j |f ��d S )Nzall of %s failed for "%s"rU rH r r r r s �zConstraintsUnion._testValueNrJ r r r r r � s &)r Z pyasn1.typer �__all__�objectr r r r r r r r rV r r r r r r �<module> s* �O),8<-9,
Save File
Cancel