mypy.messages.MessageBuilder

class documentation

class MessageBuilder: (source)

Helper class for reporting type checker error messages with parameters.

The methods of this class need to be provided with the context within a file; the errors member manages the wider context.

IDEA: Support a 'verbose mode' that includes full information about types: in error messages and that may otherwise produce more detailed error messages.

Method	`__init__`	Undocumented
Method	`add_errors`	Add errors in messages to this builder.
Method	`add_fixture_note`	Undocumented
Method	`argument_incompatible_with_supertype`	Undocumented
Method	`bad_proto_variance`	Undocumented
Method	`base_class_definitions_incompatible`	Undocumented
Method	`cannot_determine_type`	Undocumented
Method	`cannot_determine_type_in_base`	Undocumented
Method	`cannot_instantiate_abstract_class`	Undocumented
Method	`cannot_use_function_with_type`	Undocumented
Method	`cant_assign_to_classvar`	Undocumented
Method	`cant_assign_to_final`	Warn about a prohibited assignment to a final attribute.
Method	`cant_assign_to_method`	Undocumented
Method	`cant_override_final`	Undocumented
Method	`clean_copy`	Undocumented
Method	`comparison_method_example_msg`	Undocumented
Method	`concrete_only_assign`	Undocumented
Method	`concrete_only_call`	Undocumented
Method	`copy`	Undocumented
Method	`could_not_infer_type_arguments`	Undocumented
Method	`dangerous_comparison`	Undocumented
Method	`deleted_as_lvalue`	Report an error about using an deleted type as an lvalue.
Method	`deleted_as_rvalue`	Report an error about using an deleted type as an rvalue.
Method	`disable_errors`	Undocumented
Method	`disallowed_any_type`	Undocumented
Method	`does_not_return_value`	Report an error about use of an unusable type.
Method	`duplicate_argument_value`	Undocumented
Method	`explicit_any`	Undocumented
Method	`fail`	Report an error message (unless disabled).
Method	`final_cant_override_writable`	Undocumented
Method	`final_without_value`	Undocumented
Method	`first_argument_for_super_must_be_type`	Undocumented
Method	`format_long_tuple_type`	Format very long tuple type using an ellipsis notation
Method	`forward_operator_not_callable`	Undocumented
Method	`generate_incompatible_tuple_error`	Generate error message for individual incompatible tuple pairs
Method	`has_no_attr`	Report a missing or non-accessible member.
Method	`impossible_intersection`	Undocumented
Method	`incompatible_argument`	Report an error about an incompatible argument type.
Method	`incompatible_argument_note`	Undocumented
Method	`incompatible_conditional_function_def`	Undocumented
Method	`incompatible_operator_assignment`	Undocumented
Method	`incompatible_self_argument`	Undocumented
Method	`incompatible_type_application`	Undocumented
Method	`incompatible_typevar_value`	Undocumented
Method	`incorrect__exit__return`	Undocumented
Method	`incorrectly_returning_any`	Undocumented
Method	`invalid_index_type`	Undocumented
Method	`invalid_keyword_var_arg`	Undocumented
Method	`invalid_signature`	Undocumented
Method	`invalid_signature_for_special_method`	Undocumented
Method	`invalid_var_arg`	Undocumented
Method	`is_errors`	Undocumented
Method	`key_not_in_mapping`	Undocumented
Method	`maybe_note_about_special_args`	Undocumented
Method	`missing_named_argument`	Undocumented
Method	`most_recent_context`	Return a dummy context matching the most recent generated error in current file.
Method	`need_annotation_for_var`	Undocumented
Method	`no_formal_self`	Undocumented
Method	`no_variant_matches_arguments`	Undocumented
Method	`not_callable`	Undocumented
Method	`note`	Report a note (unless disabled).
Method	`note_call`	Undocumented
Method	`note_multiline`	Report as many notes as lines in the message (unless disabled).
Method	`operator_method_signatures_overlap`	Undocumented
Method	`overload_inconsistently_applies_decorator`	Undocumented
Method	`overload_signature_incompatible_with_supertype`	Undocumented
Method	`overloaded_signature_will_never_match`	Undocumented
Method	`overloaded_signatures_arg_specific`	Undocumented
Method	`overloaded_signatures_overlap`	Undocumented
Method	`overloaded_signatures_ret_specific`	Undocumented
Method	`overloaded_signatures_typevar_specific`	Undocumented
Method	`override_target`	Undocumented
Method	`pretty_callable_or_overload`	Undocumented
Method	`pretty_overload`	Undocumented
Method	`print_more`	Undocumented
Method	`protocol_members_cant_be_final`	Undocumented
Method	`read_only_property`	Undocumented
Method	`redundant_cast`	Undocumented
Method	`redundant_condition_in_assert`	Undocumented
Method	`redundant_condition_in_comprehension`	Undocumented
Method	`redundant_condition_in_if`	Undocumented
Method	`redundant_expr`	Undocumented
Method	`redundant_left_operand`	Indicates that the left operand of a boolean expression is redundant: it does not change the truth value of the entire condition as a whole. 'op_name' should either be the string "and" or the string "or".
Method	`report`	Report an error or note (unless disabled).
Method	`report_non_method_protocol`	Undocumented
Method	`report_protocol_problems`	Report possible protocol conflicts between 'subtype' and 'supertype'.
Method	`requires_int_or_char`	Undocumented
Method	`requires_int_or_single_byte`	Undocumented
Method	`return_type_incompatible_with_supertype`	Undocumented
Method	`reveal_locals`	Undocumented
Method	`reveal_type`	Undocumented
Method	`signature_incompatible_with_supertype`	Undocumented
Method	`signatures_incompatible`	Undocumented
Method	`string_interpolation_mixing_key_and_non_keys`	Undocumented
Method	`string_interpolation_with_star_and_key`	Undocumented
Method	`too_few_arguments`	Undocumented
Method	`too_few_string_formatting_arguments`	Undocumented
Method	`too_many_arguments`	Undocumented
Method	`too_many_arguments_from_typed_dict`	Undocumented
Method	`too_many_positional_arguments`	Undocumented
Method	`too_many_string_formatting_arguments`	Undocumented
Method	`try_report_long_tuple_assignment_error`	Try to generate meaningful error message for very long tuple assignment
Method	`type_arguments_not_allowed`	Undocumented
Method	`type_not_iterable`	Undocumented
Method	`typed_function_untyped_decorator`	Undocumented
Method	`typeddict_context_ambiguous`	Undocumented
Method	`typeddict_key_cannot_be_deleted`	Undocumented
Method	`typeddict_key_must_be_string_literal`	Undocumented
Method	`typeddict_key_not_found`	Undocumented
Method	`typeddict_setdefault_arguments_inconsistent`	Undocumented
Method	`undefined_in_superclass`	Undocumented
Method	`underscore_function_call`	Undocumented
Method	`unexpected_keyword_argument`	Undocumented
Method	`unexpected_typeddict_keys`	Undocumented
Method	`unimported_type_becomes_any`	Undocumented
Method	`unpacking_strings_disallowed`	Undocumented
Method	`unreachable_right_operand`	Indicates that the right operand of a boolean expression is redundant: it does not change the truth value of the entire condition as a whole. 'op_name' should either be the string "and" or the string "or".
Method	`unreachable_statement`	Undocumented
Method	`unsupported_left_operand`	Undocumented
Method	`unsupported_operand_types`	Report unsupported operand types for a binary operation.
Method	`unsupported_placeholder`	Undocumented
Method	`unsupported_type_type`	Undocumented
Method	`untyped_decorated_function`	Undocumented
Method	`untyped_function_call`	Undocumented
Method	`warn_both_operands_are_from_unions`	Undocumented
Method	`warn_operand_was_from_union`	Undocumented
Method	`wrong_number_values_to_unpack`	Undocumented
Method	`yield_from_invalid_operand_type`	Undocumented
Instance Variable	`disable_count`	Undocumented
Instance Variable	`disable_type_names`	Undocumented
Instance Variable	`errors`	Undocumented
Instance Variable	`modules`	Undocumented

def __init__(self, errors, modules): (source)

Undocumented

Parameters
errors:`Errors`	Undocumented
modules:`Dict[str, MypyFile]`	Undocumented

def add_errors(self, messages): (source)

Add errors in messages to this builder.

Parameters
messages:`MessageBuilder`	Undocumented

def add_fixture_note(self, fullname, ctx): (source)

Undocumented

Parameters
fullname:`str`	Undocumented
ctx:`Context`	Undocumented

def argument_incompatible_with_supertype(self, arg_num, name, type_name, name_in_supertype, arg_type_in_supertype, supertype, context): (source)

Undocumented

Parameters
arg_num:`int`	Undocumented
name:`str`	Undocumented
type_name:`Optional[str]`	Undocumented
name_in_supertype:`str`	Undocumented
arg_type_in_supertype:`Type`	Undocumented
supertype:`str`	Undocumented
context:`Context`	Undocumented

def bad_proto_variance(self, actual, tvar_name, expected, context): (source)

Undocumented

Parameters
actual:`int`	Undocumented
tvar_name:`str`	Undocumented
expected:`int`	Undocumented
context:`Context`	Undocumented

def base_class_definitions_incompatible(self, name, base1, base2, context): (source)

Undocumented

Parameters
name:`str`	Undocumented
base1:`TypeInfo`	Undocumented
base2:`TypeInfo`	Undocumented
context:`Context`	Undocumented

def cannot_determine_type(self, name, context): (source)

Undocumented

Parameters
name:`str`	Undocumented
context:`Context`	Undocumented

def cannot_determine_type_in_base(self, name, base, context): (source)

Undocumented

Parameters
name:`str`	Undocumented
base:`str`	Undocumented
context:`Context`	Undocumented

def cannot_instantiate_abstract_class(self, class_name, abstract_attributes, context): (source)

Undocumented

Parameters
class_name:`str`	Undocumented
abstract_attributes:`List[str]`	Undocumented
context:`Context`	Undocumented

def cannot_use_function_with_type(self, method_name, type_name, context): (source)

Undocumented

Parameters
method_name:`str`	Undocumented
type_name:`str`	Undocumented
context:`Context`	Undocumented

def cant_assign_to_classvar(self, name, context): (source)

Undocumented

Parameters
name:`str`	Undocumented
context:`Context`	Undocumented

def cant_assign_to_final(self, name, attr_assign, ctx): (source)

Warn about a prohibited assignment to a final attribute.

Pass attr_assign=True if the assignment assigns to an attribute.

Parameters
name:`str`	Undocumented
attr_assign:`bool`	Undocumented
ctx:`Context`	Undocumented

def cant_assign_to_method(self, context): (source)

Undocumented

Parameters
context:`Context`	Undocumented

def cant_override_final(self, name, base_name, ctx): (source)

Undocumented

Parameters
name:`str`	Undocumented
base_name:`str`	Undocumented
ctx:`Context`	Undocumented

def clean_copy(self): (source)

Undocumented

Returns
`MessageBuilder`	Undocumented

def comparison_method_example_msg(self, class_name): (source)

Undocumented

Parameters
class_name:`str`	Undocumented
Returns
`str`	Undocumented

def concrete_only_assign(self, typ, context): (source)

Undocumented

Parameters
typ:`Type`	Undocumented
context:`Context`	Undocumented

def concrete_only_call(self, typ, context): (source)

Undocumented

Parameters
typ:`Type`	Undocumented
context:`Context`	Undocumented

def copy(self): (source)

Undocumented

Returns
`MessageBuilder`	Undocumented

def could_not_infer_type_arguments(self, callee_type, n, context): (source)

Undocumented

Parameters
callee_type:`CallableType`	Undocumented
n:`int`	Undocumented
context:`Context`	Undocumented

def dangerous_comparison(self, left, right, kind, ctx): (source)

Undocumented

Parameters
left:`Type`	Undocumented
right:`Type`	Undocumented
kind:`str`	Undocumented
ctx:`Context`	Undocumented

def deleted_as_lvalue(self, typ, context): (source)

Report an error about using an deleted type as an lvalue.

Currently, this only occurs when trying to assign to an exception variable outside the local except: blocks.

Parameters
typ:`DeletedType`	Undocumented
context:`Context`	Undocumented

def deleted_as_rvalue(self, typ, context): (source)

Report an error about using an deleted type as an rvalue.

Parameters
typ:`DeletedType`	Undocumented
context:`Context`	Undocumented

@contextmanager
def disable_errors(self): (source)

Undocumented

Returns
`Iterator[None]`	Undocumented

def disallowed_any_type(self, typ, context): (source)

Undocumented

Parameters
typ:`Type`	Undocumented
context:`Context`	Undocumented

def does_not_return_value(self, callee_type, context): (source)

Report an error about use of an unusable type.

Parameters
callee_type:`Optional[Type]`	Undocumented
context:`Context`	Undocumented

def duplicate_argument_value(self, callee, index, context): (source)

Undocumented

Parameters
callee:`CallableType`	Undocumented
index:`int`	Undocumented
context:`Context`	Undocumented

def explicit_any(self, ctx): (source)

Undocumented

Parameters
ctx:`Context`	Undocumented

def fail(self, msg, context, *, code=None, file=None, origin=None, allow_dups=False): (source)

Report an error message (unless disabled).

Parameters
msg:`str`	Undocumented
context:`Optional[Context]`	Undocumented
code:`Optional[ErrorCode]`	Undocumented
file:`Optional[str]`	Undocumented
origin:`Optional[Context]`	Undocumented
allow_dups:`bool`	Undocumented

def final_cant_override_writable(self, name, ctx): (source)

Undocumented

Parameters
name:`str`	Undocumented
ctx:`Context`	Undocumented

def final_without_value(self, ctx): (source)

Undocumented

Parameters
ctx:`Context`	Undocumented

def first_argument_for_super_must_be_type(self, actual, context): (source)

Undocumented

Parameters
actual:`Type`	Undocumented
context:`Context`	Undocumented

def format_long_tuple_type(self, typ): (source)

Format very long tuple type using an ellipsis notation

Parameters
typ:`TupleType`	Undocumented
Returns
`str`	Undocumented

def forward_operator_not_callable(self, forward_method, context): (source)

Undocumented

Parameters
forward_method:`str`	Undocumented
context:`Context`	Undocumented

def generate_incompatible_tuple_error(self, lhs_types, rhs_types, context, msg=message_registry.INCOMPATIBLE_TYPES, code=None): (source)

Generate error message for individual incompatible tuple pairs

Parameters
lhs_types:`List[Type]`	Undocumented
rhs_types:`List[Type]`	Undocumented
context:`Context`	Undocumented
msg:`str`	Undocumented
code:`Optional[ErrorCode]`	Undocumented

def has_no_attr(self, original_type, typ, member, context, module_symbol_table=None): (source)

Report a missing or non-accessible member.

original_type is the top-level type on which the error occurred. typ is the actual type that is missing the member. These can be different, e.g., in a union, original_type will be the union and typ will be the specific item in the union that does not have the member attribute.

'module_symbol_table' is passed to this function if the type for which we are trying to get a member was originally a module. The SymbolTable allows us to look up and suggests attributes of the module since they are not directly available on original_type

If member corresponds to an operator, use the corresponding operator name in the messages. Return type Any.

Parameters
original_type:`Type`	Undocumented
typ:`Type`	Undocumented
member:`str`	Undocumented
context:`Context`	Undocumented
module_symbol_table:`Optional[SymbolTable]`	Undocumented
Returns
`Type`	Undocumented

def impossible_intersection(self, formatted_base_class_list, reason, context): (source)

Undocumented

Parameters
formatted_base_class_list:`str`	Undocumented
reason:`str`	Undocumented
context:`Context`	Undocumented

def incompatible_argument(self, n, m, callee, arg_type, arg_kind, object_type, context, outer_context): (source)

Report an error about an incompatible argument type.

The argument type is arg_type, argument number is n and the callee type is 'callee'. If the callee represents a method that corresponds to an operator, use the corresponding operator name in the messages.

Return the error code that used for the argument (multiple error codes are possible).

Parameters
n:`int`	Undocumented
m:`int`	Undocumented
callee:`CallableType`	Undocumented
arg_type:`Type`	Undocumented
arg_kind:`ArgKind`	Undocumented
object_type:`Optional[Type]`	Undocumented
context:`Context`	Undocumented
outer_context:`Context`	Undocumented
Returns
`Optional[ErrorCode]`	Undocumented

def incompatible_argument_note(self, original_caller_type, callee_type, context, code): (source)

Undocumented

Parameters
original_caller_type:`ProperType`	Undocumented
callee_type:`ProperType`	Undocumented
context:`Context`	Undocumented
code:`Optional[ErrorCode]`	Undocumented

def incompatible_conditional_function_def(self, defn): (source)

Undocumented

Parameters
defn:`FuncDef`	Undocumented

def incompatible_operator_assignment(self, op, context): (source)

Undocumented

Parameters
op:`str`	Undocumented
context:`Context`	Undocumented

def incompatible_self_argument(self, name, arg, sig, is_classmethod, context): (source)

Undocumented

Parameters
name:`str`	Undocumented
arg:`Type`	Undocumented
sig:`CallableType`	Undocumented
is_classmethod:`bool`	Undocumented
context:`Context`	Undocumented

def incompatible_type_application(self, expected_arg_count, actual_arg_count, context): (source)

Undocumented

Parameters
expected_arg_count:`int`	Undocumented
actual_arg_count:`int`	Undocumented
context:`Context`	Undocumented

def incompatible_typevar_value(self, callee, typ, typevar_name, context): (source)

Undocumented

Parameters
callee:`CallableType`	Undocumented
typ:`Type`	Undocumented
typevar_name:`str`	Undocumented
context:`Context`	Undocumented

def incorrect__exit__return(self, context): (source)

Undocumented

Parameters
context:`Context`	Undocumented

def incorrectly_returning_any(self, typ, context): (source)

Undocumented

Parameters
typ:`Type`	Undocumented
context:`Context`	Undocumented

def invalid_index_type(self, index_type, expected_type, base_str, context, *, code): (source)

Undocumented

Parameters
index_type:`Type`	Undocumented
expected_type:`Type`	Undocumented
base_str:`str`	Undocumented
context:`Context`	Undocumented
code:`ErrorCode`	Undocumented

def invalid_keyword_var_arg(self, typ, is_mapping, context): (source)

Undocumented

Parameters
typ:`Type`	Undocumented
is_mapping:`bool`	Undocumented
context:`Context`	Undocumented

def invalid_signature(self, func_type, context): (source)

Undocumented

Parameters
func_type:`Type`	Undocumented
context:`Context`	Undocumented

def invalid_signature_for_special_method(self, func_type, context, method_name): (source)

Undocumented

Parameters
func_type:`Type`	Undocumented
context:`Context`	Undocumented
method_name:`str`	Undocumented

def invalid_var_arg(self, typ, context): (source)

Undocumented

Parameters
typ:`Type`	Undocumented
context:`Context`	Undocumented

def is_errors(self): (source)

Undocumented

Returns
`bool`	Undocumented

def key_not_in_mapping(self, key, context): (source)

Undocumented

Parameters
key:`str`	Undocumented
context:`Context`	Undocumented

def maybe_note_about_special_args(self, callee, context): (source)

Undocumented

Parameters
callee:`CallableType`	Undocumented
context:`Context`	Undocumented

def missing_named_argument(self, callee, context, name): (source)

Undocumented

Parameters
callee:`CallableType`	Undocumented
context:`Context`	Undocumented
name:`str`	Undocumented

def most_recent_context(self): (source)

Return a dummy context matching the most recent generated error in current file.

Returns
`Context`	Undocumented

def need_annotation_for_var(self, node, context, python_version=None): (source)

Undocumented

Parameters
node:`SymbolNode`	Undocumented
context:`Context`	Undocumented
python_version:`Optional[Tuple[int, int]]`	Undocumented

def no_formal_self(self, name, item, context): (source)

Undocumented

Parameters
name:`str`	Undocumented
item:`CallableType`	Undocumented
context:`Context`	Undocumented

def no_variant_matches_arguments(self, overload, arg_types, context, *, code=None): (source)

Undocumented

Parameters
overload:`Overloaded`	Undocumented
arg_types:`List[Type]`	Undocumented
context:`Context`	Undocumented
code:`Optional[ErrorCode]`	Undocumented

def not_callable(self, typ, context): (source)

Undocumented

Parameters
typ:`Type`	Undocumented
context:`Context`	Undocumented
Returns
`Type`	Undocumented

def note(self, msg, context, file=None, origin=None, offset=0, allow_dups=False, *, code=None): (source)

Report a note (unless disabled).

Parameters
msg:`str`	Undocumented
context:`Context`	Undocumented
file:`Optional[str]`	Undocumented
origin:`Optional[Context]`	Undocumented
offset:`int`	Undocumented
allow_dups:`bool`	Undocumented
code:`Optional[ErrorCode]`	Undocumented

def note_call(self, subtype, call, context, *, code): (source)

Undocumented

Parameters
subtype:`Type`	Undocumented
call:`Type`	Undocumented
context:`Context`	Undocumented
code:`Optional[ErrorCode]`	Undocumented

def note_multiline(self, messages, context, file=None, origin=None, offset=0, allow_dups=False, code=None): (source)

Report as many notes as lines in the message (unless disabled).

Parameters
messages:`str`	Undocumented
context:`Context`	Undocumented
file:`Optional[str]`	Undocumented
origin:`Optional[Context]`	Undocumented
offset:`int`	Undocumented
allow_dups:`bool`	Undocumented
code:`Optional[ErrorCode]`	Undocumented

def operator_method_signatures_overlap(self, reverse_class, reverse_method, forward_class, forward_method, context): (source)

Undocumented

Parameters
reverse_class:`TypeInfo`	Undocumented
reverse_method:`str`	Undocumented
forward_class:`Type`	Undocumented
forward_method:`str`	Undocumented
context:`Context`	Undocumented

def overload_inconsistently_applies_decorator(self, decorator, context): (source)

Undocumented

Parameters
decorator:`str`	Undocumented
context:`Context`	Undocumented

def overload_signature_incompatible_with_supertype(self, name, name_in_super, supertype, overload, context): (source)

Undocumented

Parameters
name:`str`	Undocumented
name_in_super:`str`	Undocumented
supertype:`str`	Undocumented
overload:`Overloaded`	Undocumented
context:`Context`	Undocumented

def overloaded_signature_will_never_match(self, index1, index2, context): (source)

Undocumented

Parameters
index1:`int`	Undocumented
index2:`int`	Undocumented
context:`Context`	Undocumented

def overloaded_signatures_arg_specific(self, index, context): (source)

Undocumented

Parameters
index:`int`	Undocumented
context:`Context`	Undocumented

def overloaded_signatures_overlap(self, index1, index2, context): (source)

Undocumented

Parameters
index1:`int`	Undocumented
index2:`int`	Undocumented
context:`Context`	Undocumented

def overloaded_signatures_ret_specific(self, index, context): (source)

Undocumented

Parameters
index:`int`	Undocumented
context:`Context`	Undocumented

def overloaded_signatures_typevar_specific(self, index, context): (source)

Undocumented

Parameters
index:`int`	Undocumented
context:`Context`	Undocumented

def override_target(self, name, name_in_super, supertype): (source)

Undocumented

Parameters
name:`str`	Undocumented
name_in_super:`str`	Undocumented
supertype:`str`	Undocumented
Returns
`str`	Undocumented

def pretty_callable_or_overload(self, tp, context, *, offset=0, add_class_or_static_decorator=False, allow_dups=False, code=None): (source)

Undocumented

Parameters
tp:`Union[CallableType, Overloaded]`	Undocumented
context:`Context`	Undocumented
offset:`int`	Undocumented
add_class_or_static_decorator:`bool`	Undocumented
allow_dups:`bool`	Undocumented
code:`Optional[ErrorCode]`	Undocumented

def pretty_overload(self, tp, context, offset, *, add_class_or_static_decorator=False, allow_dups=False, code=None): (source)

Undocumented

Parameters
tp:`Overloaded`	Undocumented
context:`Context`	Undocumented
offset:`int`	Undocumented
add_class_or_static_decorator:`bool`	Undocumented
allow_dups:`bool`	Undocumented
code:`Optional[ErrorCode]`	Undocumented

def print_more(self, conflicts, context, offset, max_items, *, code=None): (source)

Undocumented

Parameters
conflicts:`Sequence[Any]`	Undocumented
context:`Context`	Undocumented
offset:`int`	Undocumented
max_items:`int`	Undocumented
code:`Optional[ErrorCode]`	Undocumented

def protocol_members_cant_be_final(self, ctx): (source)

Undocumented

Parameters
ctx:`Context`	Undocumented

def read_only_property(self, name, type, context): (source)

Undocumented

Parameters
name:`str`	Undocumented
type:`TypeInfo`	Undocumented
context:`Context`	Undocumented

def redundant_cast(self, typ, context): (source)

Undocumented

Parameters
typ:`Type`	Undocumented
context:`Context`	Undocumented

def redundant_condition_in_assert(self, truthiness, context): (source)

Undocumented

Parameters
truthiness:`bool`	Undocumented
context:`Context`	Undocumented

def redundant_condition_in_comprehension(self, truthiness, context): (source)

Undocumented

Parameters
truthiness:`bool`	Undocumented
context:`Context`	Undocumented

def redundant_condition_in_if(self, truthiness, context): (source)

Undocumented

Parameters
truthiness:`bool`	Undocumented
context:`Context`	Undocumented

def redundant_expr(self, description, truthiness, context): (source)

Undocumented

Parameters
description:`str`	Undocumented
truthiness:`bool`	Undocumented
context:`Context`	Undocumented

def redundant_left_operand(self, op_name, context): (source)

Indicates that the left operand of a boolean expression is redundant: it does not change the truth value of the entire condition as a whole. 'op_name' should either be the string "and" or the string "or".

Parameters
op_name:`str`	Undocumented
context:`Context`	Undocumented

def report(self, msg, context, severity, *, code=None, file=None, origin=None, offset=0, allow_dups=False): (source)

Report an error or note (unless disabled).

Parameters
msg:`str`	Undocumented
context:`Optional[Context]`	Undocumented
severity:`str`	Undocumented
code:`Optional[ErrorCode]`	Undocumented
file:`Optional[str]`	Undocumented
origin:`Optional[Context]`	Undocumented
offset:`int`	Undocumented
allow_dups:`bool`	Undocumented

def report_non_method_protocol(self, tp, members, context): (source)

Undocumented

Parameters
tp:`TypeInfo`	Undocumented
members:`List[str]`	Undocumented
context:`Context`	Undocumented

def report_protocol_problems(self, subtype, supertype, context, *, code): (source)

Report possible protocol conflicts between 'subtype' and 'supertype'.

This includes missing members, incompatible types, and incompatible attribute flags, such as settable vs read-only or class variable vs instance variable.

Parameters
subtype:`Union[Instance, TupleType, TypedDictType]`	Undocumented
supertype:`Instance`	Undocumented
context:`Context`	Undocumented
code:`Optional[ErrorCode]`	Undocumented

def requires_int_or_char(self, context, format_call=False): (source)

Undocumented

Parameters
context:`Context`	Undocumented
format_call:`bool`	Undocumented

def requires_int_or_single_byte(self, context, format_call=False): (source)

Undocumented

Parameters
context:`Context`	Undocumented
format_call:`bool`	Undocumented

def return_type_incompatible_with_supertype(self, name, name_in_supertype, supertype, original, override, context): (source)

Undocumented

Parameters
name:`str`	Undocumented
name_in_supertype:`str`	Undocumented
supertype:`str`	Undocumented
original:`Type`	Undocumented
override:`Type`	Undocumented
context:`Context`	Undocumented

def reveal_locals(self, type_map, context): (source)

Undocumented

Parameters
type_map:`Dict[str, Optional[Type]]`	Undocumented
context:`Context`	Undocumented

def reveal_type(self, typ, context): (source)

Undocumented

Parameters
typ:`Type`	Undocumented
context:`Context`	Undocumented

def signature_incompatible_with_supertype(self, name, name_in_super, supertype, context, original=None, override=None): (source)

Undocumented

Parameters
name:`str`	Undocumented
name_in_super:`str`	Undocumented
supertype:`str`	Undocumented
context:`Context`	Undocumented
original:`Optional[FunctionLike]`	Undocumented
override:`Optional[FunctionLike]`	Undocumented

def signatures_incompatible(self, method, other_method, context): (source)

Undocumented

Parameters
method:`str`	Undocumented
other_method:`str`	Undocumented
context:`Context`	Undocumented

def string_interpolation_mixing_key_and_non_keys(self, context): (source)

Undocumented

Parameters
context:`Context`	Undocumented

def string_interpolation_with_star_and_key(self, context): (source)

Undocumented

Parameters
context:`Context`	Undocumented

def too_few_arguments(self, callee, context, argument_names): (source)

Undocumented

Parameters
callee:`CallableType`	Undocumented
context:`Context`	Undocumented
argument_names:`Optional[Sequence[Optional[str]]]`	Undocumented

def too_few_string_formatting_arguments(self, context): (source)

Undocumented

Parameters
context:`Context`	Undocumented

def too_many_arguments(self, callee, context): (source)

Undocumented

Parameters
callee:`CallableType`	Undocumented
context:`Context`	Undocumented

def too_many_arguments_from_typed_dict(self, callee, arg_type, context): (source)

Undocumented

Parameters
callee:`CallableType`	Undocumented
arg_type:`TypedDictType`	Undocumented
context:`Context`	Undocumented

def too_many_positional_arguments(self, callee, context): (source)

Undocumented

Parameters
callee:`CallableType`	Undocumented
context:`Context`	Undocumented

def too_many_string_formatting_arguments(self, context): (source)

Undocumented

Parameters
context:`Context`	Undocumented

def try_report_long_tuple_assignment_error(self, subtype, supertype, context, msg=message_registry.INCOMPATIBLE_TYPES, subtype_label=None, supertype_label=None, code=None): (source)

Try to generate meaningful error message for very long tuple assignment

Returns a bool: True when generating long tuple assignment error, False when no such error reported

Parameters
subtype:`ProperType`	Undocumented
supertype:`ProperType`	Undocumented
context:`Context`	Undocumented
msg:`str`	Undocumented
subtype_label:`Optional[str]`	Undocumented
supertype_label:`Optional[str]`	Undocumented
code:`Optional[ErrorCode]`	Undocumented
Returns
`bool`	Undocumented

def type_arguments_not_allowed(self, context): (source)

Undocumented

Parameters
context:`Context`	Undocumented

def type_not_iterable(self, type, context): (source)

Undocumented

Parameters
type:`Type`	Undocumented
context:`Context`	Undocumented

def typed_function_untyped_decorator(self, func_name, context): (source)

Undocumented

Parameters
func_name:`str`	Undocumented
context:`Context`	Undocumented

def typeddict_context_ambiguous(self, types, context): (source)

Undocumented

Parameters
types:`List[TypedDictType]`	Undocumented
context:`Context`	Undocumented

def typeddict_key_cannot_be_deleted(self, typ, item_name, context): (source)

Undocumented

Parameters
typ:`TypedDictType`	Undocumented
item_name:`str`	Undocumented
context:`Context`	Undocumented

def typeddict_key_must_be_string_literal(self, typ, context): (source)

Undocumented

Parameters
typ:`TypedDictType`	Undocumented
context:`Context`	Undocumented

def typeddict_key_not_found(self, typ, item_name, context): (source)

Undocumented

Parameters
typ:`TypedDictType`	Undocumented
item_name:`str`	Undocumented
context:`Context`	Undocumented

def typeddict_setdefault_arguments_inconsistent(self, default, expected, context): (source)

Undocumented

Parameters
default:`Type`	Undocumented
expected:`Type`	Undocumented
context:`Context`	Undocumented

def undefined_in_superclass(self, member, context): (source)

Undocumented

Parameters
member:`str`	Undocumented
context:`Context`	Undocumented

def underscore_function_call(self, context): (source)

Undocumented

Parameters
context:`Context`	Undocumented

def unexpected_keyword_argument(self, callee, name, arg_type, context): (source)

Undocumented

Parameters
callee:`CallableType`	Undocumented
name:`str`	Undocumented
arg_type:`Type`	Undocumented
context:`Context`	Undocumented

def unexpected_typeddict_keys(self, typ, expected_keys, actual_keys, context): (source)

Undocumented

Parameters
typ:`TypedDictType`	Undocumented
expected_keys:`List[str]`	Undocumented
actual_keys:`List[str]`	Undocumented
context:`Context`	Undocumented

def unimported_type_becomes_any(self, prefix, typ, ctx): (source)

Undocumented

Parameters
prefix:`str`	Undocumented
typ:`Type`	Undocumented
ctx:`Context`	Undocumented

def unpacking_strings_disallowed(self, context): (source)

Undocumented

Parameters
context:`Context`	Undocumented

def unreachable_right_operand(self, op_name, context): (source)

Indicates that the right operand of a boolean expression is redundant: it does not change the truth value of the entire condition as a whole. 'op_name' should either be the string "and" or the string "or".

Parameters
op_name:`str`	Undocumented
context:`Context`	Undocumented

def unreachable_statement(self, context): (source)

Undocumented

Parameters
context:`Context`	Undocumented

def unsupported_left_operand(self, op, typ, context): (source)

Undocumented

Parameters
op:`str`	Undocumented
typ:`Type`	Undocumented
context:`Context`	Undocumented

def unsupported_operand_types(self, op, left_type, right_type, context, *, code=codes.OPERATOR): (source)

Report unsupported operand types for a binary operation.

Types can be Type objects or strings.

Parameters
op:`str`	Undocumented
left_type:`Any`	Undocumented
right_type:`Any`	Undocumented
context:`Context`	Undocumented
code:`ErrorCode`	Undocumented

def unsupported_placeholder(self, placeholder, context): (source)

Undocumented

Parameters
placeholder:`str`	Undocumented
context:`Context`	Undocumented

def unsupported_type_type(self, item, context): (source)

Undocumented

Parameters
item:`Type`	Undocumented
context:`Context`	Undocumented

def untyped_decorated_function(self, typ, context): (source)

Undocumented

Parameters
typ:`Type`	Undocumented
context:`Context`	Undocumented

def untyped_function_call(self, callee, context): (source)

Undocumented

Parameters
callee:`CallableType`	Undocumented
context:`Context`	Undocumented
Returns
`Type`	Undocumented

def warn_both_operands_are_from_unions(self, context): (source)

Undocumented

Parameters
context:`Context`	Undocumented

def warn_operand_was_from_union(self, side, original, context): (source)

Undocumented

Parameters
side:`str`	Undocumented
original:`Type`	Undocumented
context:`Context`	Undocumented

def wrong_number_values_to_unpack(self, provided, expected, context): (source)

Undocumented

Parameters
provided:`int`	Undocumented
expected:`int`	Undocumented
context:`Context`	Undocumented

def yield_from_invalid_operand_type(self, expr, context): (source)

Undocumented

Parameters
expr:`Type`	Undocumented
context:`Context`	Undocumented
Returns
`Type`	Undocumented

disable_count: int = (source)

Undocumented

disable_type_names: int = (source)

Undocumented

errors = (source)

Undocumented

modules = (source)

Undocumented