| """Message constants for generating error messages during type checking. |
| |
| Literal messages should be defined as constants in this module so they won't get out of sync |
| if used in more than one place, and so that they can be easily introspected. These messages are |
| ultimately consumed by messages.MessageBuilder.fail(). For more non-trivial message generation, |
| add a method to MessageBuilder and call this instead. |
| """ |
| |
| from typing_extensions import Final |
| |
| # Invalid types |
| INVALID_TYPE_RAW_ENUM_VALUE = "Invalid type: try using Literal[{}.{}] instead?" # type: Final |
| |
| # Type checker error message constants |
| NO_RETURN_VALUE_EXPECTED = 'No return value expected' # type: Final |
| MISSING_RETURN_STATEMENT = 'Missing return statement' # type: Final |
| INVALID_IMPLICIT_RETURN = 'Implicit return in function which does not return' # type: Final |
| INCOMPATIBLE_RETURN_VALUE_TYPE = 'Incompatible return value type' # type: Final |
| RETURN_VALUE_EXPECTED = 'Return value expected' # type: Final |
| NO_RETURN_EXPECTED = 'Return statement in function which does not return' # type: Final |
| INVALID_EXCEPTION = 'Exception must be derived from BaseException' # type: Final |
| INVALID_EXCEPTION_TYPE = 'Exception type must be derived from BaseException' # type: Final |
| RETURN_IN_ASYNC_GENERATOR = "'return' with value in async generator is not allowed" # type: Final |
| INVALID_RETURN_TYPE_FOR_GENERATOR = \ |
| 'The return type of a generator function should be "Generator"' \ |
| ' or one of its supertypes' # type: Final |
| INVALID_RETURN_TYPE_FOR_ASYNC_GENERATOR = \ |
| 'The return type of an async generator function should be "AsyncGenerator" or one of its ' \ |
| 'supertypes' # type: Final |
| INVALID_GENERATOR_RETURN_ITEM_TYPE = \ |
| 'The return type of a generator function must be None in' \ |
| ' its third type parameter in Python 2' # type: Final |
| YIELD_VALUE_EXPECTED = 'Yield value expected' # type: Final |
| INCOMPATIBLE_TYPES = 'Incompatible types' # type: Final |
| INCOMPATIBLE_TYPES_IN_ASSIGNMENT = 'Incompatible types in assignment' # type: Final |
| INCOMPATIBLE_REDEFINITION = 'Incompatible redefinition' # type: Final |
| INCOMPATIBLE_TYPES_IN_AWAIT = 'Incompatible types in "await"' # type: Final |
| INCOMPATIBLE_TYPES_IN_ASYNC_WITH_AENTER = \ |
| 'Incompatible types in "async with" for "__aenter__"' # type: Final |
| INCOMPATIBLE_TYPES_IN_ASYNC_WITH_AEXIT = \ |
| 'Incompatible types in "async with" for "__aexit__"' # type: Final |
| INCOMPATIBLE_TYPES_IN_ASYNC_FOR = 'Incompatible types in "async for"' # type: Final |
| |
| INCOMPATIBLE_TYPES_IN_YIELD = 'Incompatible types in "yield"' # type: Final |
| INCOMPATIBLE_TYPES_IN_YIELD_FROM = 'Incompatible types in "yield from"' # type: Final |
| INCOMPATIBLE_TYPES_IN_STR_INTERPOLATION = \ |
| 'Incompatible types in string interpolation' # type: Final |
| MUST_HAVE_NONE_RETURN_TYPE = 'The return type of "{}" must be None' # type: Final |
| INVALID_TUPLE_INDEX_TYPE = 'Invalid tuple index type' # type: Final |
| TUPLE_INDEX_OUT_OF_RANGE = 'Tuple index out of range' # type: Final |
| INVALID_SLICE_INDEX = 'Slice index must be an integer or None' # type: Final |
| CANNOT_INFER_LAMBDA_TYPE = 'Cannot infer type of lambda' # type: Final |
| CANNOT_ACCESS_INIT = 'Cannot access "__init__" directly' # type: Final |
| NON_INSTANCE_NEW_TYPE = '"__new__" must return a class instance (got {})' # type: Final |
| INVALID_NEW_TYPE = 'Incompatible return type for "__new__"' # type: Final |
| BAD_CONSTRUCTOR_TYPE = 'Unsupported decorated constructor type' # type: Final |
| CANNOT_ASSIGN_TO_METHOD = 'Cannot assign to a method' # type: Final |
| CANNOT_ASSIGN_TO_TYPE = 'Cannot assign to a type' # type: Final |
| INCONSISTENT_ABSTRACT_OVERLOAD = \ |
| 'Overloaded method has both abstract and non-abstract variants' # type: Final |
| MULTIPLE_OVERLOADS_REQUIRED = 'Single overload definition, multiple required' # type: Final |
| READ_ONLY_PROPERTY_OVERRIDES_READ_WRITE = \ |
| 'Read-only property cannot override read-write property' # type: Final |
| FORMAT_REQUIRES_MAPPING = 'Format requires a mapping' # type: Final |
| RETURN_TYPE_CANNOT_BE_CONTRAVARIANT = \ |
| "Cannot use a contravariant type variable as return type" # type: Final |
| FUNCTION_PARAMETER_CANNOT_BE_COVARIANT = \ |
| "Cannot use a covariant type variable as a parameter" # type: Final |
| INCOMPATIBLE_IMPORT_OF = "Incompatible import of" # type: Final |
| FUNCTION_TYPE_EXPECTED = "Function is missing a type annotation" # type: Final |
| ONLY_CLASS_APPLICATION = "Type application is only supported for generic classes" # type: Final |
| RETURN_TYPE_EXPECTED = "Function is missing a return type annotation" # type: Final |
| ARGUMENT_TYPE_EXPECTED = \ |
| "Function is missing a type annotation for one or more arguments" # type: Final |
| KEYWORD_ARGUMENT_REQUIRES_STR_KEY_TYPE = \ |
| 'Keyword argument only valid with "str" key type in call to "dict"' # type: Final |
| ALL_MUST_BE_SEQ_STR = 'Type of __all__ must be {}, not {}' # type: Final |
| INVALID_TYPEDDICT_ARGS = \ |
| 'Expected keyword arguments, {...}, or dict(...) in TypedDict constructor' # type: Final |
| TYPEDDICT_KEY_MUST_BE_STRING_LITERAL = \ |
| 'Expected TypedDict key to be string literal' # type: Final |
| MALFORMED_ASSERT = 'Assertion is always true, perhaps remove parentheses?' # type: Final |
| DUPLICATE_TYPE_SIGNATURES = 'Function has duplicate type signatures' # type: Final |
| DESCRIPTOR_SET_NOT_CALLABLE = "{}.__set__ is not callable" # type: Final |
| DESCRIPTOR_GET_NOT_CALLABLE = "{}.__get__ is not callable" # type: Final |
| MODULE_LEVEL_GETATTRIBUTE = '__getattribute__ is not valid at the module level' # type: Final |
| |
| # Generic |
| GENERIC_INSTANCE_VAR_CLASS_ACCESS = \ |
| 'Access to generic instance variables via class is ambiguous' # type: Final |
| BARE_GENERIC = 'Missing type parameters for generic type {}' # type: Final |
| IMPLICIT_GENERIC_ANY_BUILTIN = \ |
| 'Implicit generic "Any". Use "{}" and specify generic parameters' # type: Final |
| |
| # TypeVar |
| INCOMPATIBLE_TYPEVAR_VALUE = 'Value of type variable "{}" of {} cannot be {}' # type: Final |
| CANNOT_USE_TYPEVAR_AS_EXPRESSION = \ |
| 'Type variable "{}.{}" cannot be used as an expression' # type: Final |
| |
| # Super |
| TOO_MANY_ARGS_FOR_SUPER = 'Too many arguments for "super"' # type: Final |
| TOO_FEW_ARGS_FOR_SUPER = 'Too few arguments for "super"' # type: Final |
| SUPER_WITH_SINGLE_ARG_NOT_SUPPORTED = '"super" with a single argument not supported' # type: Final |
| UNSUPPORTED_ARG_1_FOR_SUPER = 'Unsupported argument 1 for "super"' # type: Final |
| UNSUPPORTED_ARG_2_FOR_SUPER = 'Unsupported argument 2 for "super"' # type: Final |
| SUPER_VARARGS_NOT_SUPPORTED = 'Varargs not supported with "super"' # type: Final |
| SUPER_POSITIONAL_ARGS_REQUIRED = '"super" only accepts positional arguments' # type: Final |
| SUPER_ARG_2_NOT_INSTANCE_OF_ARG_1 = \ |
| 'Argument 2 for "super" not an instance of argument 1' # type: Final |
| SUPER_OUTSIDE_OF_METHOD_NOT_SUPPORTED = \ |
| 'super() outside of a method is not supported' # type: Final |
| SUPER_ENCLOSING_POSITIONAL_ARGS_REQUIRED = \ |
| 'super() requires one or more positional arguments in enclosing function' # type: Final |
| |
| # Self-type |
| MISSING_OR_INVALID_SELF_TYPE = \ |
| "Self argument missing for a non-static method (or an invalid type for self)" # type: Final |
| ERASED_SELF_TYPE_NOT_SUPERTYPE = \ |
| 'The erased type of self "{}" is not a supertype of its class "{}"' # type: Final |
| INVALID_SELF_TYPE_OR_EXTRA_ARG = \ |
| "Invalid type for self, or extra argument type in function annotation" # type: Final |
| |
| # Final |
| CANNOT_INHERIT_FROM_FINAL = 'Cannot inherit from final class "{}"' # type: Final |
| DEPENDENT_FINAL_IN_CLASS_BODY = \ |
| "Final name declared in class body cannot depend on type variables" # type: Final |
| CANNOT_ACCESS_FINAL_INSTANCE_ATTR = \ |
| 'Cannot access final instance attribute "{}" on class object' # type: Final |
| |
| # ClassVar |
| CANNOT_OVERRIDE_INSTANCE_VAR = \ |
| 'Cannot override instance variable (previously declared on base class "{}") with class ' \ |
| 'variable' # type: Final |
| CANNOT_OVERRIDE_CLASS_VAR = \ |
| 'Cannot override class variable (previously declared on base class "{}") with instance ' \ |
| 'variable' # type: Final |
| |
| # Protocol |
| RUNTIME_PROTOCOL_EXPECTED = \ |
| 'Only @runtime_checkable protocols can be used with instance and class checks' # type: Final |
| CANNOT_INSTANTIATE_PROTOCOL = 'Cannot instantiate protocol class "{}"' # type: Final |
