3 s¨Z²>ã @sÞddlZddlmZddddddd d d g ZGd d „d eƒZGdd„deƒZGdd„deƒZGdd„deƒZGdd„deƒZ Gdd„deƒZ Gdd„deƒZ Gdd „d eƒZ Gdd„deƒZ Gdd „d e ƒZGdd „d e ƒZdS)éN)ÚerrorÚSingleValueConstraintÚContainedSubtypeConstraintÚValueRangeConstraintÚValueSizeConstraintÚPermittedAlphabetConstraintÚInnerTypeConstraintÚConstraintsExclusionÚConstraintsIntersectionÚConstraintsUnionc@s¦eZdZdd„Zd&dd„Zdd„Zdd „Zd d „Zd d „Zdd„Z dd„Z dd„Z e j ddkrjdd„Zndd„Zdd„Zdd„Zdd„Zd d!„Zd"d#„Zd$d%„ZdS)'ÚAbstractConstraintcGs*tƒ|_|j|ƒt|jj|jfƒ|_dS)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 CsP|js dSy|j||ƒWn0tjk rJtjd|tjƒdfƒ‚YnXdS)Nz%s failed at: %ré)rÚ _testValuerÚValueConstraintErrorÚsysÚexc_info)rÚvalueÚidxrrrÚ__call__szAbstractConstraint.__call__cCs@d|jjt|ƒf}|jr8|ddjdd„|jDƒƒ7}d|S)Nz%s object at 0x%xz consts %sz, cSsg|] }t|ƒ‘qSr)Úrepr)Ú.0Úxrrrú +sz/AbstractConstraint.__repr__..z<%s>)rrÚidrÚjoin)rZrepresentationrrrÚ__repr__'szAbstractConstraint.__repr__cCs||kr dp|j|kS)NT)r)rÚotherrrrÚ__eq__/szAbstractConstraint.__eq__cCs |j|kS)N)r)rr)rrrÚ__ne__2szAbstractConstraint.__ne__cCs |j|kS)N)r)rr)rrrÚ__lt__5szAbstractConstraint.__lt__cCs |j|kS)N)r)rr)rrrÚ__le__8szAbstractConstraint.__le__cCs |j|kS)N)r)rr)rrrÚ__gt__;szAbstractConstraint.__gt__cCs |j|kS)N)r)rr)rrrÚ__ge__>szAbstractConstraint.__ge__récCs|jr dp dS)NTF)r)rrrrÚ __nonzero__BszAbstractConstraint.__nonzero__cCs|jr dp dS)NTF)r)rrrrÚ__bool__EszAbstractConstraint.__bool__cCs|jS)N)r)rrrrÚ__hash__HszAbstractConstraint.__hash__cCs ||_dS)N)r)rrrrrrKszAbstractConstraint._setValuescCstj|ƒ‚dS)N)rr)rrr rrrrNszAbstractConstraint._testValuecCs|jS)N)r)rrrrÚ getValueMapRszAbstractConstraint.getValueMapcCs$||kp"|j p"||kp"||jƒkS)N)rr4)rÚotherConstraintrrrÚ isSuperTypeOfUsz AbstractConstraint.isSuperTypeOfcCs ||kp| p||kp||jkS)N)r)rr5rrrÚ isSubTypeOf\szAbstractConstraint.isSubTypeOf)N)rÚ __module__Ú __qualname__rr!r(r*r+r,r-r.r/rÚ version_infor1r2r3rrr4r6r7rrrrr s$  r c@s eZdZdZdd„Zdd„ZdS)raCreate 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) cCs||_t|ƒ|_dS)N)rr Ú_set)rrrrrrƒsz SingleValueConstraint._setValuescCs||jkrtj|ƒ‚dS)N)r;rr)rrr rrrr‡s z SingleValueConstraint._testValueN)rr8r9Ú__doc__rrrrrrrcsc@seZdZdZdd„ZdS)raÂ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) cCs>x8|jD].}t|tƒr"|||ƒq||jkrtj|ƒ‚qWdS)N)rÚ isinstancer r;rr)rrr Ú constraintrrrr°s     z%ContainedSubtypeConstraint._testValueN)rr8r9r<rrrrrrŒs#c@s eZdZdZdd„Zdd„ZdS)ra{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) cCs"||jks||jkrtj|ƒ‚dS)N)ÚstartÚstoprr)rrr rrrrÜszValueRangeConstraint._testValuecCsdt|ƒdkr tjd|jjfƒ‚|\|_|_|j|jkrTtjd|jj|j|jfƒ‚tj||ƒdS)Nr0z%s: bad constraint valuesz5%s: screwed constraint values (start > stop): %s > %s) ÚlenrÚ PyAsn1Errorrrr?r@r r)rrrrrràs   zValueRangeConstraint._setValuesN)rr8r9r<rrrrrrr¸s#c@seZdZdZdd„ZdS)raCreate 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 `), :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). cCs*t|ƒ}||jks||jkr&tj|ƒ‚dS)N)rAr?r@rr)rrr Z valueSizerrrr&szValueSizeConstraint._testValueN)rr8r9r<rrrrrrðs5c@s eZdZdZdd„Zdd„ZdS)raÇ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 ` 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') cCs||_t|ƒ|_dS)N)rr r;)rrrrrrOsz&PermittedAlphabetConstraint._setValuescCs|jj|ƒstj|ƒ‚dS)N)r;Ú issupersetrr)rrr rrrrSs z&PermittedAlphabetConstraint._testValueN)rr8r9r<rrrrrrr,s"c@s eZdZdZdd„Zdd„ZdS)rz4Value must satisfy the type and presence constraintscCsX|jr|j|ƒnB|jrT||jkr,tj|ƒ‚|j|\}}|dkrLtj|ƒ‚||ƒdS)NZABSENT)Ú*_InnerTypeConstraint__singleTypeConstraintÚ,_InnerTypeConstraint__multipleTypeConstraintrr)rrr r>Zstatusrrrr\s    zInnerTypeConstraint._testValuecCsVi|_d|_x8|D]0}t|tƒr<|d|df|j|d<q||_qWtj||ƒdS)Nrr0r)rErDr=Útupler r)rrÚvrrrrgs   zInnerTypeConstraint._setValuesN)rr8r9r<rrrrrrrYs c@s eZdZdZdd„Zdd„ZdS)r afCreate 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 Cs:y|jd||ƒWntjk r*dSXtj|ƒ‚dS)Nr)rrr)rrr rrrržs zConstraintsExclusion._testValuecCs&t|ƒdkrtjdƒ‚tj||ƒdS)NrzSingle constraint expected)rArrBr r)rrrrrr¦s  zConstraintsExclusion._setValuesN)rr8r9r<rrrrrrr ts)c@s<eZdZdd„Zdd„Zdd„Zdd„Zd d „Zd d „Zd S)ÚAbstractConstraintSetcCs |j|S)N)r)rr rrrÚ __getitem__¯sz!AbstractConstraintSet.__getitem__cCs t|jƒS)N)Úiterr)rrrrÚ__iter__²szAbstractConstraintSet.__iter__cCs|j|j|fŽS)N)rr)rrrrrÚ__add__µszAbstractConstraintSet.__add__cCs|j|f|jŽS)N)rr)rrrrrÚ__radd__¸szAbstractConstraintSet.__radd__cCs t|jƒS)N)rAr)rrrrÚ__len__»szAbstractConstraintSet.__len__cCs8||_x,|D]$}|r |jj|ƒ|jj|jƒƒq WdS)N)rrÚaddÚupdater4)rrr>rrrrÀs   z AbstractConstraintSet._setValuesN) rr8r9rIrKrLrMrNrrrrrrH­s rHc@seZdZdZdd„ZdS)r a8Create 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') cCsx|jD]}|||ƒqWdS)N)r)rrr r>rrrrïs z"ConstraintsIntersection._testValueN)rr8r9r<rrrrrr Ès&c@seZdZdZdd„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 CsRx8|jD].}y|||ƒWntjk r0YqXdSqWtjd|j|fƒ‚dS)Nzall of %s failed for "%s")rrr)rrr r>rrrrs zConstraintsUnion._testValueN)rr8r9r<rrrrrr ôs&)rZ pyasn1.typerÚ__all__Úobjectr rrrrrrr rHr r rrrrÚ s" O),8<-9,