o XiV)@sddlmZgdZddlZddlZddlmZmZmZddl m Z ddl Z ddl m Z mZmZmZGdddZeZejd d Zejd d Gd ddZejd d GdddZejd d GdddZd!ddZd"ddZejGdd d ZdS)#) annotations) OpSignature ParameterAttributeParameterTypeConstraintParamN)IteratorMappingSequence)Any)_core_enums _protocolsserdec@seZdZdddZdS)_EmptyreturnstrcCdS)N_EMPTY_DEFAULTselfrrC/home/ubuntu/.local/lib/python3.10/site-packages/onnx_ir/schemas.py__repr__z_Empty.__repr__Nrr)__name__ __module__ __qualname__rrrrrrsrcCs4tddtjDddtjDBddtjDBS)NcSsh|]}t|qSrr TensorType.0dtyperrr "sz#_all_value_types..cSh|] }tt|qSr)r SequenceTyperr rrrr##cSr$r)r OptionalTyperr rrrr#$r& frozensetr DataTyperrrr_all_value_typessr+T)frozenc@s`eZdZUdZded<ded<dZded<dd Zdd d Zeddd dZ eddddZ dS)rzType constraint for a parameter. Attributes: name: Name of the parameter. E.g. "TFloat" allowed_types: Allowed types for the parameter. description: Human-readable description of the type constraint. rnamez"frozenset[_protocols.TypeProtocol] allowed_types descriptioncCs@|js td|jdt|jtst|dt|jdSdS)NzType constraint 'z&' must have at least one allowed type.r.)r. ValueErrorr- isinstancer)object __setattr__rrrr __post_init__6s  z!TypeConstraintParam.__post_init__rcCs&ddd|jD}|jd|S)Nz | cs|]}t|VqdSNr)r!trrr @z.TypeConstraintParam.__str__..=)joinr.r-)rallowed_types_strrrr__str__?szTypeConstraintParam.__str__cCs||tddtjD|S)Ncss|]}t|VqdSr7rr rrrr:Fsz1TypeConstraintParam.any_tensor..r(clsr-r0rrr any_tensorCszTypeConstraintParam.any_tensorcCs||t|Sr7)r+r@rrr any_valueIszTypeConstraintParam.any_valueNr)r/)r-rr0rrr) rrr__doc____annotations__r0r5r? classmethodrBrCrrrrr(s   rc@s~eZdZUdZded<ded<ded<ded<d Zded <d Zd ed <eZded<dddZ dddZ dddZ dddZ dS)rz"A formal parameter of an operator.rr-rtype_constraintboolrequiredvariadicT homogeneousint min_arityr defaultrcC8|jj}|r|jd|d|jS|jd|SNz: z = )rGr- has_defaultrOrtype_strrrrr?[zParameter.__str__cCs |jtuSr7)rOrrrrrrRa zParameter.has_defaultcCr)z_This parameter is an ONNX input or output parameter, as opposed to an ONNX attribute parameter.Trrrrris_paramdzParameter.is_paramcCrNFrrrrr is_attributehrzParameter.is_attributeNrrrH) rrrrDrErKrNrrOr?rRrWrZrrrrrNs       rc@s^eZdZUdZded<ded<ded<dZd ed <dd d ZdddZdddZdddZ dS)rzHA parameter in the function signature that represents an ONNX attribute.rr-z_enums.AttributeTypetyperHrINz_core.Attr | NonerOrcCrPrQ)r\r-rRrOrSrrrr?urUzAttributeParameter.__str__cCs |jduSr7)rOrrrrrR{rVzAttributeParameter.has_defaultcCrrYrrrrrrW~rzAttributeParameter.is_paramcCr)z_This parameter is an ONNX attribute parameter, as opposed to an ONNX input or output parameter.TrrrrrrZrXzAttributeParameter.is_attributerr[) rrrrDrErOr?rRrWrZrrrrrls     rrTrr:_core.TensorType | _core.SequenceType | _core.OptionalTypecCs|d}|d}tj|d}ttjj}t|ddD]*}|dkr.t|}q"|dkr8t |}q"|dkrBt |}q"t d|d |d |S) zConvert a type_str from ONNX OpSchema to _protocols.TypeProtocol. A type str has the form of "tensor(float)" or composite type like "seq(tensor(float))". )(NtensorseqoptionalzUnknown type part: 'z ' in type '') rstripsplitr r*upperr r UNDEFINEDreversedr%r'r1)rTstripped type_partsr"type_ type_partrrr_get_type_from_strs    rnparam"onnx.defs.OpSchema.FormalParametertype_constraints!Mapping[str, TypeConstraintParam]cCsf|j|vr ||j}n t|jtt|jfd}t|j||jtjj j j k|jtjj j j k|j |jdS)z;Convert a formal parameter from ONNX OpSchema to Parameter.)r-r.)r-rGrIrJrKrN)rTrr-r)rnroptiononnxdefsOpSchemaFormalParameterOptionOptionalVariadicis_homogeneousrN)rorqrGrrr_convert_formal_parameters  r{c@seZdZUdZded<ded<ded<ded<ded <ejd d d Zd ed <dZded<ddZ d*d+ddZ d,ddZ d-ddZ d.dd Z ed/d!d"Zed0d$d%Zed1d(d)ZdS)2raSchema for an operator. Attributes: domain: Domain of the operator. E.g. "". name: Name of the operator. E.g. "Add". overload: Overload name of the operator. params: Input parameters. When the op is an ONNX function definition, the order is according to the function signature. This mean we can interleave ONNX inputs and ONNX attributes in the list. outputs: Output parameters. since_version: The version of the operator set. E.g. 1. rdomainr-overloadz(Sequence[Parameter | AttributeParameter]paramsSequence[Parameter]outputsF)initreprz,Mapping[str, Parameter | AttributeParameter] params_maprLrM since_versioncCsNi}|jD]}|j|vrtd|jd|jd|j|||j<q||_dS)NzDuplicate parameter name z in OpSignature ::)r~r-r1r|r)rrrorrrr5s     zOpSignature.__post_init__NrO%Parameter | AttributeParameter | NonercCs|j||Sr7)rget)rr-rOrrrrszOpSignature.getrHcCs ||jvSr7)r)rr-rrr __contains__rVzOpSignature.__contains__(Iterator[Parameter | AttributeParameter]cCs t|jSr7)iterr~rrrr__iter__rVzOpSignature.__iter__c Cs|jpd}|jrd|jnd}ddd|jD}ddd|jD}i}|jD]}t|tr9|j||jj<q+|jD] }|j||jj<q=ddd| D}|d|j|d |d |d | S) Nz''rr/z, csr6r7r8r!rorrrr:r;z&OpSignature.__str__..css|] }t|jjVqdSr7)rrGr-rrrrr:scsr6r7r8)r!rGrrrr: r_z) -> (z) where ) r|r}r=r~rr2rrGr-values)rr|r}r~rrqrotype_constraints_strrrrr?s     &zOpSignature.__str__cCdd|jDS)zReturns the input parameters.cSg|] }t|tr|qSr)r2rrrrr z&OpSignature.inputs..r~rrrrinputszOpSignature.inputsSequence[AttributeParameter]cCr)z!Returns the attribute parameters.cSrr)r2rrrrrrrz*OpSignature.attributes..rrrrr attributesrzOpSignature.attributes op_schemaonnx.defs.OpSchemac sdd|jDfdd|jD}|jD](}|jdur$t|jnd}|dur.|j|_|t |jt |j |j |dqfdd|jD}||j|jd|||jd S) z-Produce an OpSignature from an ONNX OpSchema.cSs2i|]}|jt|jtdd|jD|jdqS)csr6r7)rn)r!rTrrrr:rz8OpSignature.from_op_schema...)r-r.r0)type_param_strrr)allowed_type_strsr0)r! constraintrrr sz.OpSignature.from_op_schema..cg|]}t|qSrr{rrqrrr z.OpSignature.from_op_schema..N)r-r\rIrOcrrrrrrrr,rr/)r|r-r}r~rr)rqrrr default_valuerdeserialize_attributer-appendrr AttributeTyper\rIrr|r)rArr~ro default_attrrrrrfrom_op_schemas@     zOpSignature.from_op_schemar7)r-rrOrrr)r-rrrH)rrr)rr)rr)rrrr)rrrrDrE dataclassesfieldrrr5rrrr?propertyrrrFrrrrrrs.        r)rTrrr])rorprqrrrr) __future__r__all__r functoolscollections.abcrrr typingr rtonnx_irr r r rrrcacher+ dataclassrrrrnr{rrrrrs,     %