mypy.semanal_typeargs.TypeArgumentAnalyzer

class documentation

class TypeArgumentAnalyzer(MixedTraverserVisitor): (source)

View In Hierarchy

Undocumented

Method __init__ Undocumented
Method check_type_var_values Undocumented
Method fail Undocumented
Method note Undocumented
Method validate_args Undocumented
Method visit_block Undocumented
Method visit_class_def Undocumented
Method visit_func Undocumented
Method visit_instance Undocumented
Method visit_mypy_file Undocumented
Method visit_type_alias_type Undocumented
Method visit_unpack_type Undocumented
Instance Variable errors Undocumented
Instance Variable is_typeshed_file Undocumented
Instance Variable options Undocumented
Instance Variable recurse_into_functions Undocumented
Instance Variable scope Undocumented
Instance Variable seen_aliases Undocumented

Inherited from MixedTraverserVisitor:

Method visit__promote_expr Undocumented
Method visit_assert_type_expr Undocumented
Method visit_assignment_stmt Undocumented
Method visit_cast_expr Undocumented
Method visit_for_stmt Undocumented
Method visit_namedtuple_expr Undocumented
Method visit_newtype_expr Undocumented
Method visit_optional_type Undocumented
Method visit_type_alias_expr Undocumented
Method visit_type_application Undocumented
Method visit_type_var_expr Undocumented
Method visit_typeddict_expr Undocumented
Method visit_var Undocumented
Method visit_with_stmt Undocumented
Instance Variable in_type_alias_expr Undocumented

Inherited from TraverserVisitor (via MixedTraverserVisitor):

Method visit_as_pattern Undocumented
Method visit_assert_stmt Undocumented
Method visit_assignment_expr Undocumented
Method visit_await_expr Undocumented
Method visit_call_expr Undocumented
Method visit_class_pattern Undocumented
Method visit_comparison_expr Undocumented
Method visit_conditional_expr Undocumented
Method visit_decorator Undocumented
Method visit_del_stmt Undocumented
Method visit_dict_expr Undocumented
Method visit_dictionary_comprehension Undocumented
Method visit_expression_stmt Undocumented
Method visit_func_def Undocumented
Method visit_generator_expr Undocumented
Method visit_if_stmt Undocumented
Method visit_import Undocumented
Method visit_import_from Undocumented
Method visit_index_expr Undocumented
Method visit_lambda_expr Undocumented
Method visit_list_comprehension Undocumented
Method visit_list_expr Undocumented
Method visit_mapping_pattern Undocumented
Method visit_match_stmt Undocumented
Method visit_member_expr Undocumented
Method visit_op_expr Undocumented
Method visit_operator_assignment_stmt Undocumented
Method visit_or_pattern Undocumented
Method visit_overloaded_func_def Undocumented
Method visit_raise_stmt Undocumented
Method visit_return_stmt Undocumented
Method visit_reveal_expr Undocumented
Method visit_sequence_pattern Undocumented
Method visit_set_comprehension Undocumented
Method visit_set_expr Undocumented
Method visit_slice_expr Undocumented
Method visit_star_expr Undocumented
Method visit_starred_pattern Undocumented
Method visit_super_expr Undocumented
Method visit_try_stmt Undocumented
Method visit_tuple_expr Undocumented
Method visit_unary_expr Undocumented
Method visit_value_pattern Undocumented
Method visit_while_stmt Undocumented
Method visit_yield_expr Undocumented
Method visit_yield_from_expr Undocumented

Inherited from NodeVisitor (via MixedTraverserVisitor, TraverserVisitor):

Method visit_break_stmt Undocumented
Method visit_bytes_expr Undocumented
Method visit_complex_expr Undocumented
Method visit_continue_stmt Undocumented
Method visit_ellipsis Undocumented
Method visit_enum_call_expr Undocumented
Method visit_float_expr Undocumented
Method visit_global_decl Undocumented
Method visit_import_all Undocumented
Method visit_int_expr Undocumented
Method visit_name_expr Undocumented
Method visit_nonlocal_decl Undocumented
Method visit_paramspec_expr Undocumented
Method visit_pass_stmt Undocumented
Method visit_placeholder_node Undocumented
Method visit_singleton_pattern Undocumented
Method visit_str_expr Undocumented
Method visit_temp_node Undocumented
Method visit_type_alias Undocumented
Method visit_type_var_tuple_expr Undocumented

Inherited from TypeTraverserVisitor (via MixedTraverserVisitor, TraverserVisitor, NodeVisitor, ExpressionVisitor, StatementVisitor, PatternVisitor):

Method traverse_types Undocumented
Method visit_any Undocumented
Method visit_callable_argument Undocumented
Method visit_callable_type Undocumented
Method visit_deleted_type Undocumented
Method visit_ellipsis_type Undocumented
Method visit_erased_type Undocumented
Method visit_literal_type Undocumented
Method visit_none_type Undocumented
Method visit_overloaded Undocumented
Method visit_param_spec Undocumented
Method visit_parameters Undocumented
Method visit_partial_type Undocumented
Method visit_placeholder_type Undocumented
Method visit_raw_expression_type Undocumented
Method visit_tuple_type Undocumented
Method visit_type_list Undocumented
Method visit_type_type Undocumented
Method visit_type_var Undocumented
Method visit_type_var_tuple Undocumented
Method visit_typeddict_type Undocumented
Method visit_unbound_type Undocumented
Method visit_uninhabited_type Undocumented
Method visit_union_type Undocumented
def __init__(self, errors: Errors, options: Options, is_typeshed_file: bool): (source)
overrides mypy.mixedtraverser.MixedTraverserVisitor.__init__

Undocumented

def check_type_var_values(self, name: str, actuals: list[Type], arg_name: str, valids: list[Type], context: Context) -> bool: (source)

Undocumented

def fail(self, msg: str, context: Context, *, code: ErrorCode|None = None): (source)

Undocumented

def note(self, msg: str, context: Context, *, code: ErrorCode|None = None): (source)

Undocumented

def validate_args(self, name: str, args: Sequence[Type], type_vars: list[TypeVarLikeType], ctx: Context) -> bool: (source)

Undocumented

def visit_block(self, o: Block): (source)
overrides mypy.traverser.TraverserVisitor.visit_block

Undocumented

def visit_class_def(self, defn: ClassDef): (source)
overrides mypy.mixedtraverser.MixedTraverserVisitor.visit_class_def

Undocumented

def visit_func(self, defn: FuncItem): (source)
overrides mypy.mixedtraverser.MixedTraverserVisitor.visit_func

Undocumented

def visit_instance(self, t: Instance): (source)
overrides mypy.typetraverser.TypeTraverserVisitor.visit_instance

Undocumented

def visit_mypy_file(self, o: MypyFile): (source)
overrides mypy.traverser.TraverserVisitor.visit_mypy_file

Undocumented

def visit_type_alias_type(self, t: TypeAliasType): (source)
overrides mypy.typetraverser.TypeTraverserVisitor.visit_type_alias_type

Undocumented

def visit_unpack_type(self, typ: UnpackType): (source)
overrides mypy.typetraverser.TypeTraverserVisitor.visit_unpack_type

Undocumented

errors = (source)

Undocumented

is_typeshed_file = (source)

Undocumented

options = (source)

Undocumented

recurse_into_functions: bool = (source)

Undocumented

scope = (source)

Undocumented

seen_aliases: set[TypeAliasType] = (source)

Undocumented