o 2g+@s2UdZddlmZddlmZddlmZddlmZiZ de d<ee Z de d <ed d Gd d d Z e dddZde d<e dddZde d<e dddZde d<e dddZde d<e dddZde d<e d d!dZde d"<e d#d$dZde d%<e d&d'dZde d(<e d)d*dZde d+<e d,d-dZde d.<e d/d0dZde d1<e d2d3ded4Zde d5<e d6d7dZde d8<e d9d:dZde d;<e d<e d?d@dZde dA<e dBdCdZde dD<e dEdFdZde dG<e dHdIdZ de dJ<e dKdLdZ!de dM<e dNdOde!d4Z"de dP<e dQdRdZ#de dS<e dTdUdZ$de dV<e dWdXde$d4Z%de dY<e dZd[de$d4Z&de d\<e d]d^dZ'de d_<e d`dadZ(de db<e dcdddZ)de de<e dfdgdZ*de dh<e didjdZ+de dk<e dldmdZ,de dn<e dodpdZ-de dq<e drdsdZ.de dt<e dudvdZ/de dw<e dxdydZ0de dz<e d{d|dZ1de d}<e d~ddZ2de d<e dddZ3de d<e dddZ4de d<e dddZ5de d<e dddZ6de d<e dddZ7de d<e dddZ8de d<e dddZ9de d<e dddZ:de d<e dddZ;de d<e dddZe dddddZ?de d<e dddddZ@de d<e dddddZAde d<e dddZBde d<e dddddZCde d<e dddZDde d<e dddZEde d<e dddddZFde d<e dddddZGde d<e dddddZHe dddZIde d<e dddddZJde d<e dddddZKde d<e dddddZLde d<e dddddZMde d<e dddZNde d<e dddZOde d<e eOjP=e dddZQde d<e dddeQd4ZRde d<e dddeQd4ZSde d<e dddeQd4ZTe dddZUde d<e VZWdS)zeClassification of possible errors mypy can detect. These can be used for filtering specific errors. ) annotations) defaultdict)Final) mypyc_attrzdict[str, ErrorCode] error_codeszdict[str, set[str]] sub_code_mapT)allow_interpreted_subclassesc@s:eZdZ  ddd dZdddZdddZdddZdS) ErrorCodeTNcodestr descriptioncategorydefault_enabledbool sub_code_ofErrorCode | NonereturnNonecCsT||_||_||_||_||_|dur$|jdusJdt|j||t|<dS)Nz&Nested subcategories are not supported)r r r rrraddr)selfr r r rrrG/home/garg/my-data/venv/lib/python3.10/site-packages/mypy/errorcodes.py__init__s zErrorCode.__init__cCsd|jdS)Nz )r rrrr__str__%szErrorCode.__str__otherobjectcCst|tsdS|j|jkS)NF) isinstancer r )rrrrr__eq__(s  zErrorCode.__eq__intcCs t|jfS)N)hashr rrrr__hash__-s zErrorCode.__hash__)TN) r r r r r r rrrrrr)rr )rrrr)rr )__name__ __module__ __qualname__rrrr"rrrrr s  r z attr-definedzCheck that attribute existsGeneralr ATTR_DEFINEDz name-definedzCheck that name is defined NAME_DEFINEDzcall-argz3Check number, names and kinds of arguments in callszFinal[ErrorCode]CALL_ARGzarg-typezCheck argument types in callsARG_TYPEz call-overloadz0Check that an overload variant matches arguments CALL_OVERLOADz valid-typez%Check that type (annotation) is valid VALID_TYPEz var-annotatedz5Require variable annotation if type can't be inferred VAR_ANNOTATEDoverridez8Check that method override is compatible with base classOVERRIDErz*Check that function always returns a valueRETURNz return-valuez4Check that return value is compatible with signature RETURN_VALUE assignmentz3Check that assigned value is compatible with target ASSIGNMENTz method-assignz,Check that assignment target is not a method)r METHOD_ASSIGNztype-argz-Check that generic type arguments are presentTYPE_ARGztype-varz)Check that type variable values are validTYPE_VARz union-attrz3Check that attribute exists in each item of a union UNION_ATTRindexzCheck indexing operationsINDEXoperatorz)Check that operator is valid for operandsOPERATORz list-itemz1Check list items in a list expression [item, ...] LIST_ITEMz dict-itemz7Check dict items in a dict expression {key: value, ...} DICT_ITEMztypeddict-itemz'Check items when constructing TypedDictTYPEDDICT_ITEMztypeddict-unknown-keyz.Check unknown keys when constructing TypedDictTYPEDDICT_UNKNOWN_KEYzhas-typez.Check that type of reference can be determinedHAS_TYPEimportz6Require that imported module can be found or has stubsIMPORTzimport-not-foundz)Require that imported module can be foundIMPORT_NOT_FOUNDzimport-untypedz&Require that imported module has stubsIMPORT_UNTYPEDzno-redefz$Check that each name is defined onceNO_REDEFzfunc-returns-valuez;Check that called function returns a value in value contextFUNC_RETURNS_VALUEabstractz9Prevent instantiation of classes with abstract attributesABSTRACTz type-abstractz9Require only concrete classes where Type[...] is expected TYPE_ABSTRACTz valid-newtypez)Check that argument 2 to NewType is valid VALID_NEWTYPEz str-formatz7Check that string formatting/interpolation is type-safeSTRING_FORMATTINGzstr-bytes-safez?Warn about implicit coercions related to bytes and string types STR_BYTES_PY3z exit-returnz1Warn about too general return type for '__exit__' EXIT_RETURNzliteral-requiredzCheck that value is a literal LITERAL_REQzunused-coroutinez#Ensure that all coroutines are usedUNUSED_COROUTINEz empty-bodyzHA dedicated error code to opt out return errors for empty/trivial bodies EMPTY_BODYz safe-superz>Warn about calls to abstract methods with empty/trivial bodies SAFE_SUPERztop-level-awaitz&Warn about top level await expressionsTOP_LEVEL_AWAITzawait-not-asyncz2Warn about "await" outside coroutine ("async def")AWAIT_NOT_ASYNCzno-untyped-defz+Check that every function has an annotationNO_UNTYPED_DEFzno-untyped-callzLDisallow calling functions without type annotations from annotated functionsNO_UNTYPED_CALLzredundant-castz*Check that cast changes type of expressionREDUNDANT_CASTz assert-typez&Check that assert_type() call succeeds ASSERT_TYPEzcomparison-overlapzr?r@rBrCrDrErFrHrIrJrKrLrMrNrOrPrQrRrSrTrUrVrWrXrYrZr\ANNOTATION_UNCHECKEDTYPEDDICT_READONLY_MUTATEDr]r^r_r`rarbrcrdreREDUNDANT_SELF_TYPErfrgrhrirjrlrnr rprqrrPROPERTY_DECORATORrscopymypy_error_codesrrrrs