Upgrading mypy 0.720 to 0.730
Unknown0.720 → 0.730
Fetching 1 release from GitHub…0 / 1
UnknownUpgrade verdict
DepDelta is still reading the notes for this range, so breaking changes can't be ruled out yet.
In plain terms
- DepDelta is still reading the release notes in this range, so it can't rule out breaking changes yet.
- This page updates as the notes come in.
Must act Still reading release notes
DepDelta is still reading the release notes in this range. This updates as they come in.
Requires Python >=3.5 from 0.730 (none stated before).
API changes
Generated by DepDelta from published Python source. Not mixed with prose notes.
- changed:
function apply_generic_arguments(callable: CallableType, orig_types: Sequence[Optional[Type]], msg: MessageBuilder, context: Context, skip_unsatisfied: bool=…) -> CallableType → function apply_generic_arguments(callable: CallableType, orig_types: Sequence[Optional[Type]], report_incompatible_typevar_value: Callable[[CallableType, Type, str, Context], None], context: Context, skip_unsatisfied: bool=…) -> CallableType
- removed:
method State.patch_dependency_parents() -> None - removed:
method State.semantic_analysis() -> None - removed:
method State.semantic_analysis_apply_patches() -> None - removed:
method State.semantic_analysis_pass_three() -> None - changed:
function generate_deps_for_cache(proto_deps: Dict[str, Set[str]], manager: BuildManager, graph: Graph) -> Dict[str, Dict[str, Set[str]]] → function generate_deps_for_cache(manager: BuildManager, graph: Graph) -> Dict[str, Dict[str, Set[str]]] - added:
field State.dependencies_set - added:
field State.suppressed_set - added:
method State.add_dependency(dep: str) -> None - added:
method State.free_state() -> None - added:
method State.suppress_dependency(dep: str) -> None - added:
method State.update_fine_grained_deps(deps: Dict[str, Set[str]]) -> None
- changed:
function coerce_to_literal(typ: Type) -> Type → function coerce_to_literal(typ: Type) -> ProperType - changed:
function try_expanding_enum_to_union(typ: Type, target_fullname: str) -> Type → function try_expanding_enum_to_union(typ: Type, target_fullname: str) -> ProperType - changed:
method TypeChecker.check_async_with_item(expr: Expression, target: Optional[Expression], infer_lvalue_type: bool) -> None → method TypeChecker.check_async_with_item(expr: Expression, target: Optional[Expression], infer_lvalue_type: bool) -> Type - changed:
method TypeChecker.check_final(s: Union[AssignmentStmt, OperatorAssignmentStmt]) -> None → method TypeChecker.check_final(s: Union[AssignmentStmt, OperatorAssignmentStmt, AssignmentExpr]) -> None - changed:
method TypeChecker.check_simple_assignment(lvalue_type: Optional[Type], rvalue: Expression, context: Context, msg: str=…, lvalue_name: str=…, rvalue_name: str=…) -> Type → method TypeChecker.check_simple_assignment(lvalue_type: Optional[Type], rvalue: Expression, context: Context, msg: str=…, lvalue_name: str=…, rvalue_name: str=…, *, code: Optional[ErrorCode]=…) -> Type - changed:
method TypeChecker.check_subtype(subtype: Type, supertype: Type, context: Context, msg: str=…, subtype_label: Optional[str]=…, supertype_label: Optional[str]=…) -> bool → method TypeChecker.check_subtype(subtype: Type, supertype: Type, context: Context, msg: str=…, subtype_label: Optional[str]=…, supertype_label: Optional[str]=…, *, code: Optional[ErrorCode]=…) -> bool - changed:
method TypeChecker.check_with_item(expr: Expression, target: Optional[Expression], infer_lvalue_type: bool) -> None → method TypeChecker.check_with_item(expr: Expression, target: Optional[Expression], infer_lvalue_type: bool) -> Type - changed:
method TypeChecker.fail(msg: str, context: Context) -> None → method TypeChecker.fail(msg: str, context: Context, *, code: Optional[ErrorCode]=…) -> None - changed:
method TypeChecker.note(msg: str, context: Context, offset: int=…) -> None → method TypeChecker.note(msg: str, context: Context, offset: int=…, *, code: Optional[ErrorCode]=…) -> None - added:
method TypeChecker.check___new___signature(fdef: FuncDef, typ: CallableType) -> None - added:
method TypeChecker.check_default_args(item: FuncItem, body_is_trivial: bool) -> None
- removed:
function is_empty_tuple(t: Type) -> bool - removed:
method ExpressionChecker.analyze_super(e: SuperExpr, is_lvalue: bool) -> Type - removed:
method ExpressionChecker.check_super_arguments(e: SuperExpr) -> None - changed:
method ExpressionChecker.analyze_type_type_callee(item: Type, context: Context) -> Type → method ExpressionChecker.analyze_type_type_callee(item: ProperType, context: Context) -> ProperType - changed:
method ExpressionChecker.check_arg(caller_type: Type, original_caller_type: Type, caller_kind: int, callee_type: Type, n: int, m: int, callee: CallableType, context: Context, messages: MessageBuilder) -> None → method ExpressionChecker.check_arg(caller_type: Type, original_caller_type: Type, caller_kind: int, callee_type: Type, n: int, m: int, callee: CallableType, context: Context, outer_context: Context, messages: MessageBuilder) -> None - changed:
method ExpressionChecker.check_argument_types(arg_types: List[Type], arg_kinds: List[int], callee: CallableType, formal_to_actual: List[List[int]], context: Context, messages: Optional[MessageBuilder]=…, check_arg: Optional[ArgChecker]=…) -> None → method ExpressionChecker.check_argument_types(arg_types: List[Type], arg_kinds: List[int], args: List[Expression], callee: CallableType, formal_to_actual: List[List[int]], context: Context, messages: Optional[MessageBuilder]=…, check_arg: Optional[ArgChecker]=…) -> None - changed:
method ExpressionChecker.erased_signature_similarity(arg_types: List[Type], arg_kinds: List[int], arg_names: Optional[Sequence[Optional[str]]], callee: CallableType, context: Context) -> bool → method ExpressionChecker.erased_signature_similarity(arg_types: List[Type], arg_kinds: List[int], arg_names: Optional[Sequence[Optional[str]]], args: List[Expression], callee: CallableType, context: Context) -> bool - changed:
method ExpressionChecker.overload_erased_call_targets(plausible_targets: List[CallableType], arg_types: List[Type], arg_kinds: List[int], arg_names: Optional[Sequence[Optional[str]]], context: Context) -> List[CallableType] → method ExpressionChecker.overload_erased_call_targets(plausible_targets: List[CallableType], arg_types: List[Type], arg_kinds: List[int], arg_names: Optional[Sequence[Optional[str]]], args: List[Expression], context: Context) -> List[CallableType] - changed:
method ExpressionChecker.visit_index_with_type(left_type: Type, e: IndexExpr, original_type: Optional[Type]=…) -> Type → method ExpressionChecker.visit_index_with_type(left_type: Type, e: IndexExpr, original_type: Optional[ProperType]=…) -> Type - added:
function is_non_empty_tuple(t: Type) -> bool - added:
function try_getting_literal(typ: Type) -> ProperType - added:
function type_info_from_type(typ: Type) -> Optional[TypeInfo] - added:
method ExpressionChecker.concat_tuples(left: TupleType, right: TupleType) -> TupleType - added:
method ExpressionChecker.visit_assignment_expr(e: AssignmentExpr) -> Type - added:
variable OVERLAPPING_TYPES_WHITELIST
- removed:
function bind_self(method: F, original_type: Optional[Type]=…, is_classmethod: bool=…) -> F - removed:
function class_callable(init_type: CallableType, info: TypeInfo, type_type: Instance, special_sig: Optional[str]) -> CallableType - removed:
function erase_to_bound(t: Type) -> Type - removed:
function map_type_from_supertype(typ: Type, sub_info: TypeInfo, super_info: TypeInfo) -> Type - removed:
function type_object_type_from_function(signature: FunctionLike, info: TypeInfo, def_info: TypeInfo, fallback: Instance) -> FunctionLike - removed:
variable F - changed:
function add_class_tvars(t: Type, itype: Instance, isuper: Optional[Instance], is_classmethod: bool, builtin_type: Callable[[str], Instance], original_type: Type) -> Type → function add_class_tvars(t: ProperType, itype: Instance, isuper: Optional[Instance], is_classmethod: bool, builtin_type: Callable[[str], Instance], original_type: Type) -> Type - changed:
function analyze_class_attribute_access(itype: Instance, name: str, mx: MemberContext) -> Optional[Type] → function analyze_class_attribute_access(itype: Instance, name: str, mx: MemberContext, override_info: Optional[TypeInfo]=…) -> Optional[Type] - changed:
function analyze_type_type_member_access(name: str, typ: TypeType, mx: MemberContext) -> Type → function analyze_type_type_member_access(name: str, typ: TypeType, mx: MemberContext, override_info: Optional[TypeInfo]) -> Type - changed:
function freeze_type_vars(member_type: Type) -> None → function freeze_type_vars(member_type: ProperType) -> None - changed:
function type_object_type(info: TypeInfo, builtin_type: Callable[[str], Instance]) -> Type → function type_object_type(info: TypeInfo, builtin_type: Callable[[str], Instance]) -> ProperType
- added:
function expand_path(path: str) -> str
- changed:
constructor ConstraintBuilderVisitor(actual: Type, direction: int) -> None → constructor ConstraintBuilderVisitor(actual: ProperType, direction: int) -> None - changed:
function simplify_away_incomplete_types(types: List[Type]) -> List[Type] → function simplify_away_incomplete_types(types: Iterable[Type]) -> List[Type]
- changed:
method Server.check(sources: List[BuildSource]) -> Dict[str, Any] → method Server.check(sources: List[BuildSource], is_tty: bool, terminal_width: int) -> Dict[str, Any] - changed:
method Server.cmd_check(files: Sequence[str]) -> Dict[str, object] → method Server.cmd_check(files: Sequence[str], is_tty: bool, terminal_width: int) -> Dict[str, object] - changed:
method Server.cmd_recheck(remove: Optional[List[str]]=…, update: Optional[List[str]]=…) -> Dict[str, object] → method Server.cmd_recheck(is_tty: bool, terminal_width: int, remove: Optional[List[str]]=…, update: Optional[List[str]]=…) -> Dict[str, object] - changed:
method Server.cmd_run(version: str, args: Sequence[str]) -> Dict[str, object] → method Server.cmd_run(version: str, args: Sequence[str], is_tty: bool, terminal_width: int) -> Dict[str, object] - changed:
method Server.cmd_suggest(function: str, callsites: bool, **kwargs: bool) -> Dict[str, object] → method Server.cmd_suggest(function: str, callsites: bool, **kwargs: Any) -> Dict[str, object] - changed:
method Server.fine_grained_increment(sources: List[BuildSource], remove: Optional[List[str]]=…, update: Optional[List[str]]=…) -> Dict[str, Any] → method Server.fine_grained_increment(sources: List[BuildSource], is_tty: bool, terminal_width: int, remove: Optional[List[str]]=…, update: Optional[List[str]]=…) -> Dict[str, Any] - changed:
method Server.initialize_fine_grained(sources: List[BuildSource]) -> Dict[str, Any] → method Server.initialize_fine_grained(sources: List[BuildSource], is_tty: bool, terminal_width: int) -> Dict[str, Any] - changed:
method Server.run_command(command: str, data: Mapping[str, object]) -> Dict[str, object] → method Server.run_command(command: str, data: Dict[str, object]) -> Dict[str, object] - added:
method Server.pretty_messages(messages: List[str], n_sources: int, is_tty: bool=…, terminal_width: Optional[int]=…) -> List[str]
- changed:
class EraseTypeVisitor(TypeVisitor[Type]) → class EraseTypeVisitor(TypeVisitor[ProperType]) - changed:
function erase_type(typ: Type) -> Type → function erase_type(typ: Type) -> ProperType - changed:
method EraseTypeVisitor.visit_any(t: AnyType) -> Type → method EraseTypeVisitor.visit_any(t: AnyType) -> ProperType - changed:
method EraseTypeVisitor.visit_callable_type(t: CallableType) -> Type → method EraseTypeVisitor.visit_callable_type(t: CallableType) -> ProperType - changed:
method EraseTypeVisitor.visit_deleted_type(t: DeletedType) -> Type → method EraseTypeVisitor.visit_deleted_type(t: DeletedType) -> ProperType - changed:
method EraseTypeVisitor.visit_erased_type(t: ErasedType) -> Type → method EraseTypeVisitor.visit_erased_type(t: ErasedType) -> ProperType - changed:
method EraseTypeVisitor.visit_instance(t: Instance) -> Type → method EraseTypeVisitor.visit_instance(t: Instance) -> ProperType - changed:
method EraseTypeVisitor.visit_literal_type(t: LiteralType) -> Type → method EraseTypeVisitor.visit_literal_type(t: LiteralType) -> ProperType - changed:
method EraseTypeVisitor.visit_none_type(t: NoneType) -> Type → method EraseTypeVisitor.visit_none_type(t: NoneType) -> ProperType - changed:
method EraseTypeVisitor.visit_overloaded(t: Overloaded) -> Type → method EraseTypeVisitor.visit_overloaded(t: Overloaded) -> ProperType - changed:
method EraseTypeVisitor.visit_partial_type(t: PartialType) -> Type → method EraseTypeVisitor.visit_partial_type(t: PartialType) -> ProperType - changed:
method EraseTypeVisitor.visit_tuple_type(t: TupleType) -> Type → method EraseTypeVisitor.visit_tuple_type(t: TupleType) -> ProperType - changed:
method EraseTypeVisitor.visit_type_type(t: TypeType) -> Type → method EraseTypeVisitor.visit_type_type(t: TypeType) -> ProperType - changed:
method EraseTypeVisitor.visit_type_var(t: TypeVarType) -> Type → method EraseTypeVisitor.visit_type_var(t: TypeVarType) -> ProperType - changed:
method EraseTypeVisitor.visit_typeddict_type(t: TypedDictType) -> Type → method EraseTypeVisitor.visit_typeddict_type(t: TypedDictType) -> ProperType - changed:
method EraseTypeVisitor.visit_unbound_type(t: UnboundType) -> Type → method EraseTypeVisitor.visit_unbound_type(t: UnboundType) -> ProperType - changed:
method EraseTypeVisitor.visit_uninhabited_type(t: UninhabitedType) -> Type → method EraseTypeVisitor.visit_uninhabited_type(t: UninhabitedType) -> ProperType - changed:
method EraseTypeVisitor.visit_union_type(t: UnionType) -> Type → method EraseTypeVisitor.visit_union_type(t: UnionType) -> ProperType
- added:
class ErrorCode - added:
constructor ErrorCode(code: str, description: str, category: str) -> None - added:
variable ABSTRACT - added:
variable ARG_TYPE - added:
variable ASSIGNMENT - added:
variable ATTR_DEFINED - added:
variable CALL_ARG - added:
variable CALL_OVERLOAD - added:
variable COMPARISON_OVERLAP - added:
variable DICT_ITEM - added:
variable FUNC_RETURNS_VALUE - added:
variable HAS_TYPE - added:
variable IMPORT - added:
variable INDEX - added:
variable LIST_ITEM - added:
variable MISC - added:
variable NAME_DEFINED - added:
variable NO_ANY_RETURN - added:
variable NO_ANY_UNIMPORTED - added:
variable NO_REDEF - added:
variable NO_UNTYPED_CALL - added:
variable NO_UNTYPED_DEF - added:
variable OPERATOR - added:
variable OVERRIDE - added:
variable REDUNDANT_CAST - added:
variable RETURN - added:
variable RETURN_VALUE - added:
variable SYNTAX - added:
variable TYPEDDICT_ITEM - added:
variable TYPE_ARG - added:
variable TYPE_VAR - added:
variable UNION_ATTR - added:
variable VALID_NEWTYPE - added:
variable VALID_TYPE - added:
variable VAR_ANNOTATED - added:
variable all_error_codes
- changed:
constructor ErrorInfo(import_ctx: List[Tuple[str, int]], file: str, module: Optional[str], typ: Optional[str], function_or_member: Optional[str], line: int, column: int, severity: str, message: str, blocker: bool, only_once: bool, origin: Optional[Tuple[str, int, int]]=…, target: Optional[str]=…) -> None → constructor ErrorInfo(import_ctx: List[Tuple[str, int]], file: str, module: Optional[str], typ: Optional[str], function_or_member: Optional[str], line: int, column: int, severity: str, message: str, code: Optional[ErrorCode], blocker: bool, only_once: bool, origin: Optional[Tuple[str, int, int]]=…, target: Optional[str]=…) -> None - changed:
constructor Errors(show_error_context: bool=…, show_column_numbers: bool=…) -> None → constructor Errors(show_error_context: bool=…, show_column_numbers: bool=…, show_error_codes: bool=…, pretty: bool=…, read_source: Optional[Callable[[str], Optional[List[str]]]]=…) -> None - changed:
method Errors.format_messages(error_info: List[ErrorInfo]) -> List[str] → method Errors.format_messages(error_info: List[ErrorInfo], source_lines: Optional[List[str]]) -> List[str] - changed:
method Errors.remove_duplicates(errors: List[Tuple[Optional[str], int, int, str, str]]) -> List[Tuple[Optional[str], int, int, str, str]] → method Errors.remove_duplicates(errors: List[ErrorTuple]) -> List[ErrorTuple] - changed:
method Errors.render_messages(errors: List[ErrorInfo]) -> List[Tuple[Optional[str], int, int, str, str]] → method Errors.render_messages(errors: List[ErrorInfo]) -> List[ErrorTuple] - changed:
method Errors.report(line: int, column: Optional[int], message: str, blocker: bool=…, severity: str=…, file: Optional[str]=…, only_once: bool=…, origin_line: Optional[int]=…, offset: int=…, end_line: Optional[int]=…) -> None → method Errors.report(line: int, column: Optional[int], message: str, code: Optional[ErrorCode]=…, *, blocker: bool=…, severity: str=…, file: Optional[str]=…, only_once: bool=…, origin_line: Optional[int]=…, offset: int=…, end_line: Optional[int]=…) -> None - changed:
method Errors.set_file_ignored_lines(file: str, ignored_lines: Set[int], ignore_all: bool=…) -> None → method Errors.set_file_ignored_lines(file: str, ignored_lines: Dict[int, List[str]], ignore_all: bool=…) -> None - added:
field ErrorInfo.code - added:
method Errors.is_ignored_error(line: int, info: ErrorInfo, ignores: Dict[int, List[str]]) -> bool - added:
variable ErrorTuple
- changed:
class ExpandTypeVisitor(TypeVisitor[Type]) → class ExpandTypeVisitor(TypeVisitor[ProperType]) - changed:
function expand_type(typ: Type, env: Mapping[TypeVarId, Type]) -> Type → function expand_type(typ: Type, env: Mapping[TypeVarId, Type]) -> ProperType - changed:
function expand_type_by_instance(typ: Type, instance: Instance) -> Type → function expand_type_by_instance(typ: Type, instance: Instance) -> ProperType - changed:
method ExpandTypeVisitor.visit_any(t: AnyType) -> Type → method ExpandTypeVisitor.visit_any(t: AnyType) -> ProperType - changed:
method ExpandTypeVisitor.visit_callable_type(t: CallableType) -> Type → method ExpandTypeVisitor.visit_callable_type(t: CallableType) -> ProperType - changed:
method ExpandTypeVisitor.visit_deleted_type(t: DeletedType) -> Type → method ExpandTypeVisitor.visit_deleted_type(t: DeletedType) -> ProperType - changed:
method ExpandTypeVisitor.visit_erased_type(t: ErasedType) -> Type → method ExpandTypeVisitor.visit_erased_type(t: ErasedType) -> ProperType - changed:
method ExpandTypeVisitor.visit_instance(t: Instance) -> Type → method ExpandTypeVisitor.visit_instance(t: Instance) -> ProperType - changed:
method ExpandTypeVisitor.visit_literal_type(t: LiteralType) -> Type → method ExpandTypeVisitor.visit_literal_type(t: LiteralType) -> ProperType - changed:
method ExpandTypeVisitor.visit_none_type(t: NoneType) -> Type → method ExpandTypeVisitor.visit_none_type(t: NoneType) -> ProperType - changed:
method ExpandTypeVisitor.visit_overloaded(t: Overloaded) -> Type → method ExpandTypeVisitor.visit_overloaded(t: Overloaded) -> ProperType - changed:
method ExpandTypeVisitor.visit_partial_type(t: PartialType) -> Type → method ExpandTypeVisitor.visit_partial_type(t: PartialType) -> ProperType - changed:
method ExpandTypeVisitor.visit_tuple_type(t: TupleType) -> Type → method ExpandTypeVisitor.visit_tuple_type(t: TupleType) -> ProperType - changed:
method ExpandTypeVisitor.visit_type_type(t: TypeType) -> Type → method ExpandTypeVisitor.visit_type_type(t: TypeType) -> ProperType - changed:
method ExpandTypeVisitor.visit_type_var(t: TypeVarType) -> Type → method ExpandTypeVisitor.visit_type_var(t: TypeVarType) -> ProperType - changed:
method ExpandTypeVisitor.visit_typeddict_type(t: TypedDictType) -> Type → method ExpandTypeVisitor.visit_typeddict_type(t: TypedDictType) -> ProperType - changed:
method ExpandTypeVisitor.visit_unbound_type(t: UnboundType) -> Type → method ExpandTypeVisitor.visit_unbound_type(t: UnboundType) -> ProperType - changed:
method ExpandTypeVisitor.visit_uninhabited_type(t: UninhabitedType) -> Type → method ExpandTypeVisitor.visit_uninhabited_type(t: UninhabitedType) -> ProperType - changed:
method ExpandTypeVisitor.visit_union_type(t: UnionType) -> Type → method ExpandTypeVisitor.visit_union_type(t: UnionType) -> ProperType
- changed:
function expr_to_unanalyzed_type(expr: Expression, _parent: Optional[Expression]=…) -> Type → function expr_to_unanalyzed_type(expr: Expression, _parent: Optional[Expression]=…) -> ProperType
- removed:
variable overload - changed:
function parse_type_comment(type_comment: str, line: int, column: int, errors: Optional[Errors], assume_str_is_unicode: bool=…) -> Tuple[bool, Optional[Type]] → function parse_type_comment(type_comment: str, line: int, column: int, errors: Optional[Errors], assume_str_is_unicode: bool=…) -> Tuple[Optional[List[str]], Optional[ProperType]] - changed:
function parse_type_string(expr_string: str, expr_fallback_name: str, line: int, column: int, assume_str_is_unicode: bool=…) -> Type → function parse_type_string(expr_string: str, expr_fallback_name: str, line: int, column: int, assume_str_is_unicode: bool=…) -> ProperType - changed:
method ASTConverter.visit_NamedExpr(n: NamedExpr) -> None → method ASTConverter.visit_NamedExpr(n: NamedExpr) -> AssignmentExpr - changed:
method TypeConverter.visit(node: ast3.expr) -> Type | (node: Optional[AST]) -> Optional[Type] → method TypeConverter.visit(node: ast3.expr) -> ProperType | (node: Optional[AST]) -> Optional[ProperType] - added:
function parse_type_ignore_tag(tag: Optional[str]) -> List[str] - added:
method ASTConverter.translate_type_comment(n: Union[ast3.stmt, ast3.arg], type_comment: Optional[str]) -> Optional[ProperType]
- added:
method ASTConverter.translate_type_comment(n: ast27.stmt, type_comment: Optional[str]) -> Optional[ProperType]
- added:
method TypeFixer.visit_erased_type(o: Any) -> None
- added:
class TreeFreer(TraverserVisitor) - added:
function free_tree(tree: MypyFile) -> None - added:
method TreeFreer.visit_block(block: Block) -> None
- removed:
method TypeIndirectionVisitor.visit_callable_argument(t: types.CallableArgument) -> Set[str] - removed:
method TypeIndirectionVisitor.visit_ellipsis_type(t: types.EllipsisType) -> Set[str] - removed:
method TypeIndirectionVisitor.visit_forwardref_type(t: types.ForwardRef) -> Set[str] - removed:
method TypeIndirectionVisitor.visit_raw_expression_type(t: types.RawExpressionType) -> Set[str] - removed:
method TypeIndirectionVisitor.visit_star_type(t: types.StarType) -> Set[str] - removed:
method TypeIndirectionVisitor.visit_type_list(t: types.TypeList) -> Set[str] - changed:
class TypeIndirectionVisitor(SyntheticTypeVisitor[Set[str]]) → class TypeIndirectionVisitor(TypeVisitor[Set[str]])
- changed:
class TypeJoinVisitor(TypeVisitor[Type]) → class TypeJoinVisitor(TypeVisitor[ProperType]) - changed:
constructor TypeJoinVisitor(s: Type) -> None → constructor TypeJoinVisitor(s: ProperType) -> None - changed:
function join_instances(t: Instance, s: Instance) -> Type → function join_instances(t: Instance, s: Instance) -> ProperType - changed:
function join_instances_via_supertype(t: Instance, s: Instance) -> Type → function join_instances_via_supertype(t: Instance, s: Instance) -> ProperType - changed:
function join_simple(declaration: Optional[Type], s: Type, t: Type) -> Type → function join_simple(declaration: Optional[Type], s: Type, t: Type) -> ProperType - changed:
function join_types(s: Type, t: Type) -> Type → function join_types(s: Type, t: Type) -> ProperType - changed:
method TypeJoinVisitor.default(typ: Type) -> Type → method TypeJoinVisitor.default(typ: Type) -> ProperType - changed:
method TypeJoinVisitor.join(s: Type, t: Type) -> Type → method TypeJoinVisitor.join(s: Type, t: Type) -> ProperType - changed:
method TypeJoinVisitor.visit_any(t: AnyType) -> Type → method TypeJoinVisitor.visit_any(t: AnyType) -> ProperType - changed:
method TypeJoinVisitor.visit_callable_type(t: CallableType) -> Type → method TypeJoinVisitor.visit_callable_type(t: CallableType) -> ProperType - changed:
method TypeJoinVisitor.visit_deleted_type(t: DeletedType) -> Type → method TypeJoinVisitor.visit_deleted_type(t: DeletedType) -> ProperType - changed:
method TypeJoinVisitor.visit_erased_type(t: ErasedType) -> Type → method TypeJoinVisitor.visit_erased_type(t: ErasedType) -> ProperType - changed:
method TypeJoinVisitor.visit_instance(t: Instance) -> Type → method TypeJoinVisitor.visit_instance(t: Instance) -> ProperType - changed:
method TypeJoinVisitor.visit_literal_type(t: LiteralType) -> Type → method TypeJoinVisitor.visit_literal_type(t: LiteralType) -> ProperType - changed:
method TypeJoinVisitor.visit_none_type(t: NoneType) -> Type → method TypeJoinVisitor.visit_none_type(t: NoneType) -> ProperType - changed:
method TypeJoinVisitor.visit_overloaded(t: Overloaded) -> Type → method TypeJoinVisitor.visit_overloaded(t: Overloaded) -> ProperType - changed:
method TypeJoinVisitor.visit_partial_type(t: PartialType) -> Type → method TypeJoinVisitor.visit_partial_type(t: PartialType) -> ProperType - changed:
method TypeJoinVisitor.visit_tuple_type(t: TupleType) -> Type → method TypeJoinVisitor.visit_tuple_type(t: TupleType) -> ProperType - changed:
method TypeJoinVisitor.visit_type_type(t: TypeType) -> Type → method TypeJoinVisitor.visit_type_type(t: TypeType) -> ProperType - changed:
method TypeJoinVisitor.visit_type_var(t: TypeVarType) -> Type → method TypeJoinVisitor.visit_type_var(t: TypeVarType) -> ProperType - changed:
method TypeJoinVisitor.visit_typeddict_type(t: TypedDictType) -> Type → method TypeJoinVisitor.visit_typeddict_type(t: TypedDictType) -> ProperType - changed:
method TypeJoinVisitor.visit_unbound_type(t: UnboundType) -> Type → method TypeJoinVisitor.visit_unbound_type(t: UnboundType) -> ProperType - changed:
method TypeJoinVisitor.visit_uninhabited_type(t: UninhabitedType) -> Type → method TypeJoinVisitor.visit_uninhabited_type(t: UninhabitedType) -> ProperType - changed:
method TypeJoinVisitor.visit_union_type(t: UnionType) -> Type → method TypeJoinVisitor.visit_union_type(t: UnionType) -> ProperType
- changed:
class TypeMeetVisitor(TypeVisitor[Type]) → class TypeMeetVisitor(TypeVisitor[ProperType]) - changed:
constructor TypeMeetVisitor(s: Type) -> None → constructor TypeMeetVisitor(s: ProperType) -> None - changed:
function adjust_tuple(left: Type, r: Type) -> Optional[TupleType] → function adjust_tuple(left: ProperType, r: ProperType) -> Optional[TupleType] - changed:
function are_tuples_overlapping(left: Type, right: Type, *, ignore_promotions: bool=…, prohibit_none_typevar_overlap: bool=…) -> bool → function are_tuples_overlapping(left: ProperType, right: ProperType, *, ignore_promotions: bool=…, prohibit_none_typevar_overlap: bool=…) -> bool - changed:
function meet_types(s: Type, t: Type) -> Type → function meet_types(s: Type, t: Type) -> ProperType - changed:
function typed_dict_mapping_overlap(left: Type, right: Type, overlapping: Callable[[Type, Type], bool]) -> bool → function typed_dict_mapping_overlap(left: ProperType, right: ProperType, overlapping: Callable[[Type, Type], bool]) -> bool - changed:
function typed_dict_mapping_pair(left: Type, right: Type) -> bool → function typed_dict_mapping_pair(left: ProperType, right: ProperType) -> bool - changed:
method TypeMeetVisitor.default(typ: Type) -> Type → method TypeMeetVisitor.default(typ: Type) -> ProperType - changed:
method TypeMeetVisitor.meet(s: Type, t: Type) -> Type → method TypeMeetVisitor.meet(s: Type, t: Type) -> ProperType - changed:
method TypeMeetVisitor.visit_any(t: AnyType) -> Type → method TypeMeetVisitor.visit_any(t: AnyType) -> ProperType - changed:
method TypeMeetVisitor.visit_callable_type(t: CallableType) -> Type → method TypeMeetVisitor.visit_callable_type(t: CallableType) -> ProperType - changed:
method TypeMeetVisitor.visit_deleted_type(t: DeletedType) -> Type → method TypeMeetVisitor.visit_deleted_type(t: DeletedType) -> ProperType - changed:
method TypeMeetVisitor.visit_erased_type(t: ErasedType) -> Type → method TypeMeetVisitor.visit_erased_type(t: ErasedType) -> ProperType - changed:
method TypeMeetVisitor.visit_instance(t: Instance) -> Type → method TypeMeetVisitor.visit_instance(t: Instance) -> ProperType - changed:
method TypeMeetVisitor.visit_literal_type(t: LiteralType) -> Type → method TypeMeetVisitor.visit_literal_type(t: LiteralType) -> ProperType - changed:
method TypeMeetVisitor.visit_none_type(t: NoneType) -> Type → method TypeMeetVisitor.visit_none_type(t: NoneType) -> ProperType - changed:
method TypeMeetVisitor.visit_overloaded(t: Overloaded) -> Type → method TypeMeetVisitor.visit_overloaded(t: Overloaded) -> ProperType - changed:
method TypeMeetVisitor.visit_partial_type(t: PartialType) -> Type → method TypeMeetVisitor.visit_partial_type(t: PartialType) -> ProperType - changed:
method TypeMeetVisitor.visit_tuple_type(t: TupleType) -> Type → method TypeMeetVisitor.visit_tuple_type(t: TupleType) -> ProperType - changed:
method TypeMeetVisitor.visit_type_type(t: TypeType) -> Type → method TypeMeetVisitor.visit_type_type(t: TypeType) -> ProperType - changed:
method TypeMeetVisitor.visit_type_var(t: TypeVarType) -> Type → method TypeMeetVisitor.visit_type_var(t: TypeVarType) -> ProperType - changed:
method TypeMeetVisitor.visit_typeddict_type(t: TypedDictType) -> Type → method TypeMeetVisitor.visit_typeddict_type(t: TypedDictType) -> ProperType - changed:
method TypeMeetVisitor.visit_unbound_type(t: UnboundType) -> Type → method TypeMeetVisitor.visit_unbound_type(t: UnboundType) -> ProperType - changed:
method TypeMeetVisitor.visit_uninhabited_type(t: UninhabitedType) -> Type → method TypeMeetVisitor.visit_uninhabited_type(t: UninhabitedType) -> ProperType - changed:
method TypeMeetVisitor.visit_union_type(t: UnionType) -> Type → method TypeMeetVisitor.visit_union_type(t: UnionType) -> ProperType
- added:
variable INVALID_NEW_TYPE - added:
variable NON_INSTANCE_NEW_TYPE
- removed:
method MessageBuilder.format(typ: Type, verbosity: int=…) -> str - removed:
method MessageBuilder.format_bare(typ: Type, verbosity: int=…) -> str - removed:
method MessageBuilder.format_distinctly(type1: Type, type2: Type, bare: bool=…) -> Tuple[str, str] - removed:
method MessageBuilder.pretty_callable(tp: CallableType) -> str - removed:
method MessageBuilder.quote_type_string(type_string: str) -> str - changed:
method MessageBuilder.alias_invalid_in_runtime_context(item: Type, ctx: Context) -> None → method MessageBuilder.alias_invalid_in_runtime_context(item: ProperType, ctx: Context) -> None - changed:
method MessageBuilder.fail(msg: str, context: Optional[Context], file: Optional[str]=…, origin: Optional[Context]=…) -> None → method MessageBuilder.fail(msg: str, context: Optional[Context], *, code: Optional[ErrorCode]=…, file: Optional[str]=…, origin: Optional[Context]=…) -> None - changed:
method MessageBuilder.incompatible_argument(n: int, m: int, callee: CallableType, arg_type: Type, arg_kind: int, context: Context) -> None → method MessageBuilder.incompatible_argument(n: int, m: int, callee: CallableType, arg_type: Type, arg_kind: int, context: Context, outer_context: Context) -> Optional[ErrorCode] - changed:
method MessageBuilder.invalid_index_type(index_type: Type, expected_type: Type, base_str: str, context: Context) -> None → method MessageBuilder.invalid_index_type(index_type: Type, expected_type: Type, base_str: str, context: Context, *, code: ErrorCode) -> None - changed:
method MessageBuilder.note(msg: str, context: Context, file: Optional[str]=…, origin: Optional[Context]=…, offset: int=…) -> None → method MessageBuilder.note(msg: str, context: Context, file: Optional[str]=…, origin: Optional[Context]=…, offset: int=…, *, code: Optional[ErrorCode]=…) -> None - changed:
method MessageBuilder.note_call(subtype: Type, call: Type, context: Context) -> None → method MessageBuilder.note_call(subtype: Type, call: Type, context: Context, *, code: Optional[ErrorCode]) -> None - changed:
method MessageBuilder.note_multiline(messages: str, context: Context, file: Optional[str]=…, origin: Optional[Context]=…, offset: int=…) -> None → method MessageBuilder.note_multiline(messages: str, context: Context, file: Optional[str]=…, origin: Optional[Context]=…, offset: int=…, code: Optional[ErrorCode]=…) -> None - changed:
method MessageBuilder.pretty_overload(tp: Overloaded, context: Context, offset: int, max_items: int) -> None → method MessageBuilder.pretty_overload(tp: Overloaded, context: Context, offset: int, max_items: int, *, code: Optional[ErrorCode]=…) -> None - changed:
method MessageBuilder.pretty_overload_matches(targets: List[CallableType], func: Overloaded, context: Context, offset: int, max_items: int) -> None → method MessageBuilder.pretty_overload_matches(targets: List[CallableType], func: Overloaded, context: Context, offset: int, max_items: int, code: ErrorCode) -> None - changed:
method MessageBuilder.print_more(conflicts: Sequence[Any], context: Context, offset: int, max_items: int) -> None → method MessageBuilder.print_more(conflicts: Sequence[Any], context: Context, offset: int, max_items: int, *, code: Optional[ErrorCode]=…) -> None - changed:
method MessageBuilder.report(msg: str, context: Optional[Context], severity: str, file: Optional[str]=…, origin: Optional[Context]=…, offset: int=…) -> None → method MessageBuilder.report(msg: str, context: Optional[Context], severity: str, *, code: Optional[ErrorCode]=…, file: Optional[str]=…, origin: Optional[Context]=…, offset: int=…) -> None - changed:
method MessageBuilder.report_protocol_problems(subtype: Union[Instance, TupleType, TypedDictType], supertype: Instance, context: Context) -> None → method MessageBuilder.report_protocol_problems(subtype: Union[Instance, TupleType, TypedDictType], supertype: Instance, context: Context, *, code: Optional[ErrorCode]) -> None - changed:
method MessageBuilder.unsupported_operand_types(op: str, left_type: Any, right_type: Any, context: Context) -> None → method MessageBuilder.unsupported_operand_types(op: str, left_type: Any, right_type: Any, context: Context, *, code: ErrorCode=…) -> None - added:
class CollectAllInstancesQuery(TypeTraverserVisitor) - added:
constructor CollectAllInstancesQuery() -> None - added:
function collect_all_instances(t: Type) -> List[Instance] - added:
function find_type_overlaps(*types: Type) -> Set[str] - added:
function format_type(typ: Type, verbosity: int=…) -> str - added:
function format_type_bare(typ: Type, verbosity: int=…, fullnames: Optional[Set[str]]=…) -> str - added:
function format_type_distinctly(type1: Type, type2: Type, bare: bool=…) -> Tuple[str, str] - added:
function format_type_inner(typ: Type, verbosity: int, fullnames: Optional[Set[str]]) -> str - added:
function pretty_callable(tp: CallableType) -> str - added:
function quote_type_string(type_string: str) -> str - added:
method CollectAllInstancesQuery.visit_instance(t: Instance) -> None - added:
method MessageBuilder.incompatible_argument_note(original_caller_type: ProperType, callee_type: ProperType, context: Context, code: Optional[ErrorCode]) -> None
- changed:
constructor FindModuleCache(search_paths: SearchPaths, fscache: Optional[FileSystemCache]=…, options: Optional[Options]=…) -> None → constructor FindModuleCache(search_paths: SearchPaths, fscache: Optional[FileSystemCache]=…, options: Optional[Options]=…, ns_packages: Optional[List[str]]=…) -> None
- removed:
class HasPlaceholders(TypeQuery[bool]) - removed:
class MakeAnyNonExplicit(TypeTranslator) - removed:
class NewSemanticAnalyzer(NodeVisitor[None], SemanticAnalyzerInterface, SemanticAnalyzerPluginInterface) - removed:
constructor HasPlaceholders() -> None - removed:
constructor NewSemanticAnalyzer(modules: Dict[str, MypyFile], missing_modules: Set[str], incomplete_namespaces: Set[str], errors: Errors, plugin: Plugin) -> None - removed:
field NewSemanticAnalyzer.block_depth - removed:
field NewSemanticAnalyzer.cur_mod_id - removed:
field NewSemanticAnalyzer.deferred - removed:
field NewSemanticAnalyzer.errors - removed:
field NewSemanticAnalyzer.function_stack - removed:
field NewSemanticAnalyzer.global_decls - removed:
field NewSemanticAnalyzer.globals - removed:
field NewSemanticAnalyzer.imports - removed:
field NewSemanticAnalyzer.incomplete - removed:
field NewSemanticAnalyzer.is_stub_file - removed:
field NewSemanticAnalyzer.locals - removed:
field NewSemanticAnalyzer.loop_depth - removed:
field NewSemanticAnalyzer.missing_names - removed:
field NewSemanticAnalyzer.modules - removed:
field NewSemanticAnalyzer.nonlocal_decls - removed:
field NewSemanticAnalyzer.options - removed:
field NewSemanticAnalyzer.patches - removed:
field NewSemanticAnalyzer.plugin - removed:
field NewSemanticAnalyzer.progress - removed:
field NewSemanticAnalyzer.statement - removed:
field NewSemanticAnalyzer.tvar_scope - removed:
field NewSemanticAnalyzer.type - removed:
field NewSemanticAnalyzer.type_stack - removed:
function apply_semantic_analyzer_patches(patches: List[Tuple[int, Callable[[], None]]]) -> None - removed:
function dummy_context() -> Context - removed:
function find_duplicate(list: List[T]) -> Optional[T] - removed:
function has_placeholder(typ: Type) -> bool - removed:
function is_same_symbol(a: Optional[SymbolNode], b: Optional[SymbolNode]) -> bool - removed:
function is_same_var_from_getattr(n1: Optional[SymbolNode], n2: Optional[SymbolNode]) -> bool - removed:
function is_valid_replacement(old: SymbolTableNode, new: SymbolTableNode) -> bool - removed:
function make_any_non_explicit(t: Type) -> Type - removed:
function names_modified_by_assignment(s: AssignmentStmt) -> List[NameExpr] - removed:
function names_modified_in_lvalue(lvalue: Lvalue) -> List[NameExpr] - removed:
function refers_to_class_or_function(node: Expression) -> bool - removed:
function refers_to_fullname(node: Expression, fullname: str) -> bool - removed:
function remove_imported_names_from_symtable(names: SymbolTable, module: str) -> None - removed:
function replace_implicit_first_type(sig: FunctionLike, new: Type) -> FunctionLike - removed:
method HasPlaceholders.visit_placeholder_type(t: PlaceholderType) -> bool - removed:
method MakeAnyNonExplicit.visit_any(t: AnyType) -> Type - removed:
method NewSemanticAnalyzer.accept(node: Node) -> None - removed:
method NewSemanticAnalyzer.add_builtin_aliases(tree: MypyFile) -> None - removed:
method NewSemanticAnalyzer.add_exports(exp_or_exps: Union[Iterable[Expression], Expression]) -> None - removed:
method NewSemanticAnalyzer.add_fixture_note(fullname: str, ctx: Context) -> None - removed:
method NewSemanticAnalyzer.add_function_to_symbol_table(func: Union[FuncDef, OverloadedFuncDef]) -> None - removed:
method NewSemanticAnalyzer.add_implicit_module_attrs(file_node: MypyFile) -> None - removed:
method NewSemanticAnalyzer.add_imported_symbol(name: str, node: SymbolTableNode, context: Context, module_public: bool=…, module_hidden: bool=…) -> None - removed:
method NewSemanticAnalyzer.add_local(node: Union[Var, FuncDef, OverloadedFuncDef], context: Context) -> None - removed:
method NewSemanticAnalyzer.add_module_symbol(id: str, as_id: str, module_public: bool, context: Context, module_hidden: bool=…) -> None - removed:
method NewSemanticAnalyzer.add_plugin_dependency(trigger: str, target: Optional[str]=…) -> None - removed:
method NewSemanticAnalyzer.add_redefinition(names: SymbolTable, name: str, symbol: SymbolTableNode) -> None - removed:
method NewSemanticAnalyzer.add_symbol(name: str, node: SymbolNode, context: Context, module_public: bool=…, module_hidden: bool=…, can_defer: bool=…) -> bool - removed:
method NewSemanticAnalyzer.add_symbol_skip_local(name: str, node: SymbolNode) -> None - removed:
method NewSemanticAnalyzer.add_symbol_table_node(name: str, symbol: SymbolTableNode, context: Optional[Context]=…, can_defer: bool=…) -> bool - removed:
method NewSemanticAnalyzer.add_type_alias_deps(aliases_used: Iterable[str], target: Optional[str]=…) -> None - removed:
method NewSemanticAnalyzer.add_unknown_imported_symbol(name: str, context: Context, target_name: Optional[str]=…) -> None - removed:
method NewSemanticAnalyzer.adjust_public_exports() -> None - removed:
method NewSemanticAnalyzer.allow_patching(parent_mod: MypyFile, child: str) -> bool - removed:
method NewSemanticAnalyzer.already_defined(name: str, ctx: Context, original_ctx: Optional[Union[SymbolTableNode, SymbolNode]], noun: str) -> None - removed:
method NewSemanticAnalyzer.anal_type(typ: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, allow_placeholder: bool=…, report_invalid_types: bool=…, third_pass: bool=…) -> Optional[Type] - removed:
method NewSemanticAnalyzer.analyze_alias(rvalue: Expression, allow_placeholder: bool=…) -> Tuple[Optional[Type], List[str], Set[str], List[str]] - removed:
method NewSemanticAnalyzer.analyze_base_classes(base_type_exprs: List[Expression]) -> Optional[Tuple[List[Tuple[Type, Expression]], bool]] - removed:
method NewSemanticAnalyzer.analyze_class(defn: ClassDef) -> None - removed:
method NewSemanticAnalyzer.analyze_class_body_common(defn: ClassDef) -> None - removed:
method NewSemanticAnalyzer.analyze_class_decorator(defn: ClassDef, decorator: Expression) -> None - removed:
method NewSemanticAnalyzer.analyze_class_keywords(defn: ClassDef) -> None - removed:
method NewSemanticAnalyzer.analyze_class_typevar_declaration(base: Type) -> Optional[Tuple[TypeVarList, bool]] - removed:
method NewSemanticAnalyzer.analyze_comp_for(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None - removed:
method NewSemanticAnalyzer.analyze_comp_for_2(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None - removed:
method NewSemanticAnalyzer.analyze_enum_assign(s: AssignmentStmt) -> bool - removed:
method NewSemanticAnalyzer.analyze_func_def(defn: FuncDef) -> None - removed:
method NewSemanticAnalyzer.analyze_function_body(defn: FuncItem) -> None - removed:
method NewSemanticAnalyzer.analyze_identity_global_assignment(s: AssignmentStmt) -> bool - removed:
method NewSemanticAnalyzer.analyze_lvalue(lval: Lvalue, nested: bool=…, explicit_type: bool=…, is_final: bool=…) -> None - removed:
method NewSemanticAnalyzer.analyze_lvalues(s: AssignmentStmt) -> None - removed:
method NewSemanticAnalyzer.analyze_member_lvalue(lval: MemberExpr, explicit_type: bool, is_final: bool) -> None - removed:
method NewSemanticAnalyzer.analyze_metaclass(defn: ClassDef) -> None - removed:
method NewSemanticAnalyzer.analyze_name_lvalue(lvalue: NameExpr, explicit_type: bool, is_final: bool) -> None - removed:
method NewSemanticAnalyzer.analyze_namedtuple_assign(s: AssignmentStmt) -> bool - removed:
method NewSemanticAnalyzer.analyze_namedtuple_classdef(defn: ClassDef) -> bool - removed:
method NewSemanticAnalyzer.analyze_overload_sigs_and_impl(defn: OverloadedFuncDef) -> Tuple[List[CallableType], Optional[OverloadPart], List[int]] - removed:
method NewSemanticAnalyzer.analyze_overloaded_func_def(defn: OverloadedFuncDef) -> None - removed:
method NewSemanticAnalyzer.analyze_property_with_multi_part_definition(defn: OverloadedFuncDef) -> None - removed:
method NewSemanticAnalyzer.analyze_simple_literal_type(rvalue: Expression, is_final: bool) -> Optional[Type] - removed:
method NewSemanticAnalyzer.analyze_try_stmt(s: TryStmt, visitor: NodeVisitor[None]) -> None - removed:
method NewSemanticAnalyzer.analyze_tuple_or_list_lvalue(lval: TupleExpr, explicit_type: bool=…) -> None - removed:
method NewSemanticAnalyzer.analyze_type_application(expr: IndexExpr) -> None - removed:
method NewSemanticAnalyzer.analyze_type_application_args(expr: IndexExpr) -> Optional[List[Type]] - removed:
method NewSemanticAnalyzer.analyze_type_expr(expr: Expression) -> None - removed:
method NewSemanticAnalyzer.analyze_typeddict_assign(s: AssignmentStmt) -> bool - removed:
method NewSemanticAnalyzer.analyze_unbound_tvar(t: Type) -> Optional[Tuple[str, TypeVarExpr]] - removed:
method NewSemanticAnalyzer.analyze_value_types(items: List[Expression]) -> List[Type] - removed:
method NewSemanticAnalyzer.apply_class_plugin_hooks(defn: ClassDef) -> None - removed:
method NewSemanticAnalyzer.apply_dynamic_class_hook(s: AssignmentStmt) -> None - removed:
method NewSemanticAnalyzer.attribute_already_defined(name: str, ctx: Context, original_ctx: Optional[Union[SymbolTableNode, SymbolNode]]=…) -> None - removed:
method NewSemanticAnalyzer.basic_new_typeinfo(name: str, basetype_or_fallback: Instance) -> TypeInfo - removed:
method NewSemanticAnalyzer.bind_name_expr(expr: NameExpr, sym: SymbolTableNode) -> None - removed:
method NewSemanticAnalyzer.builtin_type(fully_qualified_name: str) -> Instance - removed:
method NewSemanticAnalyzer.calculate_class_mro(defn: ClassDef, obj_type: Optional[Callable[[], Instance]]=…) -> None - removed:
method NewSemanticAnalyzer.can_be_type_alias(rv: Expression) -> bool - removed:
method NewSemanticAnalyzer.cannot_resolve_name(name: str, kind: str, ctx: Context) -> None - removed:
method NewSemanticAnalyzer.check_and_set_up_type_alias(s: AssignmentStmt) -> bool - removed:
method NewSemanticAnalyzer.check_classvar(s: AssignmentStmt) -> None - removed:
method NewSemanticAnalyzer.check_classvar_in_signature(typ: Type) -> None - removed:
method NewSemanticAnalyzer.check_decorated_function_is_method(decorator: str, context: Context) -> None - removed:
method NewSemanticAnalyzer.check_final_implicit_def(s: AssignmentStmt) -> None - removed:
method NewSemanticAnalyzer.check_fixed_args(expr: CallExpr, numargs: int, name: str) -> bool - removed:
method NewSemanticAnalyzer.check_function_signature(fdef: FuncItem) -> None - removed:
method NewSemanticAnalyzer.check_lvalue_validity(node: Union[Expression, SymbolNode, None], ctx: Context) -> None - removed:
method NewSemanticAnalyzer.check_no_global(name: str, ctx: Context, is_overloaded_func: bool=…) -> None - removed:
method NewSemanticAnalyzer.check_typevar_name(call: CallExpr, name: str, context: Context) -> bool - removed:
method NewSemanticAnalyzer.class_type(self_type: Type) -> Type - removed:
method NewSemanticAnalyzer.clean_up_bases_and_infer_type_variables(defn: ClassDef, base_type_exprs: List[Expression], context: Context) -> Tuple[List[Expression], List[TypeVarDef], bool] - removed:
method NewSemanticAnalyzer.configure_base_classes(defn: ClassDef, bases: List[Tuple[Type, Expression]]) -> None - removed:
method NewSemanticAnalyzer.configure_tuple_base_class(defn: ClassDef, base: TupleType, base_expr: Expression) -> Instance - removed:
method NewSemanticAnalyzer.correct_relative_import(node: Union[ImportFrom, ImportAll]) -> str - removed:
method NewSemanticAnalyzer.create_getattr_var(getattr_defn: SymbolTableNode, name: str, fullname: str) -> Optional[Var] - removed:
method NewSemanticAnalyzer.current_symbol_kind() -> int - removed:
method NewSemanticAnalyzer.current_symbol_table() -> SymbolTable - removed:
method NewSemanticAnalyzer.defer(debug_context: Optional[Context]=…) -> None - removed:
method NewSemanticAnalyzer.enter(function: Union[FuncItem, GeneratorExpr, DictionaryComprehension]) -> None - removed:
method NewSemanticAnalyzer.enter_class(info: TypeInfo) -> None - removed:
method NewSemanticAnalyzer.expr_to_analyzed_type(expr: Expression, report_invalid_types: bool=…, allow_placeholder: bool=…) -> Optional[Type] - removed:
method NewSemanticAnalyzer.fail(msg: str, ctx: Context, serious: bool=…, *, blocker: bool=…) -> None - removed:
method NewSemanticAnalyzer.fail_blocker(msg: str, ctx: Context) -> None - removed:
method NewSemanticAnalyzer.fail_invalid_classvar(context: Context) -> None - removed:
method NewSemanticAnalyzer.file_context(file_node: MypyFile, options: Options, active_type: Optional[TypeInfo]=…) -> Iterator[None] - removed:
method NewSemanticAnalyzer.flatten_lvalues(lvalues: List[Expression]) -> List[Expression] - removed:
method NewSemanticAnalyzer.found_incomplete_ref(tag: Tag) -> bool - removed:
method NewSemanticAnalyzer.get_all_bases_tvars(base_type_exprs: List[Expression], removed: List[int]) -> TypeVarList - removed:
method NewSemanticAnalyzer.get_module_symbol(node: MypyFile, name: str) -> Optional[SymbolTableNode] - removed:
method NewSemanticAnalyzer.get_name_repr_of_expr(expr: Expression) -> Optional[str] - removed:
method NewSemanticAnalyzer.get_typevar_declaration(s: AssignmentStmt) -> Optional[CallExpr] - removed:
method NewSemanticAnalyzer.handle_missing_overload_decorators(defn: OverloadedFuncDef, non_overload_indexes: List[int], some_overload_decorators: bool) -> None - removed:
method NewSemanticAnalyzer.handle_missing_overload_implementation(defn: OverloadedFuncDef) -> None - removed:
method NewSemanticAnalyzer.implicit_symbol(sym: SymbolTableNode, name: str, parts: List[str], source_type: AnyType) -> SymbolTableNode - removed:
method NewSemanticAnalyzer.is_active_symbol_in_class_body(node: Optional[SymbolNode]) -> bool - removed:
method NewSemanticAnalyzer.is_alias_for_final_name(name: str) -> bool - removed:
method NewSemanticAnalyzer.is_base_class(t: TypeInfo, s: TypeInfo) -> bool - removed:
method NewSemanticAnalyzer.is_class_scope() -> bool - removed:
method NewSemanticAnalyzer.is_classvar(typ: Type) -> bool - removed:
method NewSemanticAnalyzer.is_core_builtin_class(defn: ClassDef) -> bool - removed:
method NewSemanticAnalyzer.is_defined_in_current_module(fullname: Optional[str]) -> bool - removed:
method NewSemanticAnalyzer.is_final_redefinition(kind: int, name: str) -> bool - removed:
method NewSemanticAnalyzer.is_final_type(typ: Optional[Type]) -> bool - removed:
method NewSemanticAnalyzer.is_func_scope() -> bool - removed:
method NewSemanticAnalyzer.is_global_or_nonlocal(name: str) -> bool - removed:
method NewSemanticAnalyzer.is_incomplete_namespace(fullname: str) -> bool - removed:
method NewSemanticAnalyzer.is_initial_mangled_global(name: str) -> bool - removed:
method NewSemanticAnalyzer.is_local_name(name: str) -> bool - removed:
method NewSemanticAnalyzer.is_mangled_global(name: str) -> bool - removed:
method NewSemanticAnalyzer.is_missing_module(module: str) -> bool - removed:
method NewSemanticAnalyzer.is_module_scope() -> bool - removed:
method NewSemanticAnalyzer.is_nested_within_func_scope() -> bool - removed:
method NewSemanticAnalyzer.is_none_alias(node: Expression) -> bool - removed:
method NewSemanticAnalyzer.is_self_member_ref(memberexpr: MemberExpr) -> bool - removed:
method NewSemanticAnalyzer.is_type_ref(rv: Expression, bare: bool=…) -> bool - removed:
method NewSemanticAnalyzer.is_valid_del_target(s: Expression) -> bool - removed:
method NewSemanticAnalyzer.leave() -> None - removed:
method NewSemanticAnalyzer.leave_class() -> None - removed:
method NewSemanticAnalyzer.lookup(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - removed:
method NewSemanticAnalyzer.lookup_current_scope(name: str) -> Optional[SymbolTableNode] - removed:
method NewSemanticAnalyzer.lookup_fully_qualified(name: str) -> SymbolTableNode - removed:
method NewSemanticAnalyzer.lookup_fully_qualified_or_none(fullname: str) -> Optional[SymbolTableNode] - removed:
method NewSemanticAnalyzer.lookup_qualified(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - removed:
method NewSemanticAnalyzer.lookup_type_node(expr: Expression) -> Optional[SymbolTableNode] - removed:
method NewSemanticAnalyzer.make_empty_type_info(defn: ClassDef) -> TypeInfo - removed:
method NewSemanticAnalyzer.make_name_lvalue_point_to_existing_def(lval: NameExpr, explicit_type: bool, is_final: bool) -> None - removed:
method NewSemanticAnalyzer.make_name_lvalue_var(lvalue: NameExpr, kind: int, inferred: bool) -> Var - removed:
method NewSemanticAnalyzer.mark_incomplete(name: str, node: Node, becomes_typeinfo: bool=…) -> None - removed:
method NewSemanticAnalyzer.name_already_defined(name: str, ctx: Context, original_ctx: Optional[Union[SymbolTableNode, SymbolNode]]=…) -> None - removed:
method NewSemanticAnalyzer.name_not_defined(name: str, ctx: Context, namespace: Optional[str]=…) -> None - removed:
method NewSemanticAnalyzer.named_type(qualified_name: str, args: Optional[List[Type]]=…) -> Instance - removed:
method NewSemanticAnalyzer.named_type_or_none(qualified_name: str, args: Optional[List[Type]]=…) -> Optional[Instance] - removed:
method NewSemanticAnalyzer.note(msg: str, ctx: Context) -> None - removed:
method NewSemanticAnalyzer.object_type() -> Instance - removed:
method NewSemanticAnalyzer.parse_bool(expr: Expression) -> Optional[bool] - removed:
method NewSemanticAnalyzer.prepare_builtins_namespace(file_node: MypyFile) -> None - removed:
method NewSemanticAnalyzer.prepare_class_def(defn: ClassDef, info: Optional[TypeInfo]=…) -> None - removed:
method NewSemanticAnalyzer.prepare_file(file_node: MypyFile) -> None - removed:
method NewSemanticAnalyzer.prepare_method_signature(func: FuncDef, info: TypeInfo) -> None - removed:
method NewSemanticAnalyzer.prepare_typing_namespace(file_node: MypyFile) -> None - removed:
method NewSemanticAnalyzer.process__all__(s: AssignmentStmt) -> None - removed:
method NewSemanticAnalyzer.process_final_in_overload(defn: OverloadedFuncDef) -> None - removed:
method NewSemanticAnalyzer.process_import_over_existing_name(imported_id: str, existing_symbol: SymbolTableNode, module_symbol: SymbolTableNode, import_node: ImportBase) -> bool - removed:
method NewSemanticAnalyzer.process_imported_symbol(node: SymbolTableNode, module_id: str, id: str, as_id: Optional[str], fullname: str, context: ImportBase) -> None - removed:
method NewSemanticAnalyzer.process_module_assignment(lvals: List[Lvalue], rval: Expression, ctx: AssignmentStmt) -> None - removed:
method NewSemanticAnalyzer.process_placeholder(name: str, kind: str, ctx: Context) -> None - removed:
method NewSemanticAnalyzer.process_static_or_class_method_in_overload(defn: OverloadedFuncDef) -> None - removed:
method NewSemanticAnalyzer.process_type_annotation(s: AssignmentStmt) -> None - removed:
method NewSemanticAnalyzer.process_typevar_declaration(s: AssignmentStmt) -> bool - removed:
method NewSemanticAnalyzer.process_typevar_parameters(args: List[Expression], names: List[Optional[str]], kinds: List[int], num_values: int, context: Context) -> Optional[Tuple[int, Type]] - removed:
method NewSemanticAnalyzer.qualified_name(name: str) -> str - removed:
method NewSemanticAnalyzer.record_incomplete_ref() -> None - removed:
method NewSemanticAnalyzer.record_special_form_lvalue(s: AssignmentStmt) -> None - removed:
method NewSemanticAnalyzer.refresh_partial(node: Union[MypyFile, FuncDef, OverloadedFuncDef], patches: List[Tuple[int, Callable[[], None]]], final_iteration: bool, file_node: MypyFile, options: Options, active_type: Optional[TypeInfo]=…) -> None - removed:
method NewSemanticAnalyzer.refresh_top_level(file_node: MypyFile) -> None - removed:
method NewSemanticAnalyzer.report_hang() -> None - removed:
method NewSemanticAnalyzer.report_missing_module_attribute(import_id: str, source_id: str, imported_id: str, context: Node) -> None - removed:
method NewSemanticAnalyzer.schedule_patch(priority: int, patch: Callable[[], None]) -> None - removed:
method NewSemanticAnalyzer.set_original_def(previous: Optional[Node], new: Union[FuncDef, Decorator]) -> bool - removed:
method NewSemanticAnalyzer.should_wait_rhs(rv: Expression) -> bool - removed:
method NewSemanticAnalyzer.store_declared_types(lvalue: Lvalue, typ: Type) -> None - removed:
method NewSemanticAnalyzer.store_final_status(s: AssignmentStmt) -> None - removed:
method NewSemanticAnalyzer.str_type() -> Instance - removed:
method NewSemanticAnalyzer.track_incomplete_refs() -> Tag - removed:
method NewSemanticAnalyzer.translate_dict_call(call: CallExpr) -> Optional[DictExpr] - removed:
method NewSemanticAnalyzer.tvar_scope_frame(frame: TypeVarScope) -> Iterator[None] - removed:
method NewSemanticAnalyzer.type_analyzer(*, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, allow_placeholder: bool=…, report_invalid_types: bool=…) -> TypeAnalyser - removed:
method NewSemanticAnalyzer.unbox_literal(e: Expression) -> Optional[Union[int, float, bool, str]] - removed:
method NewSemanticAnalyzer.unwrap_final(s: AssignmentStmt) -> bool - removed:
method NewSemanticAnalyzer.update_function_type_variables(fun_type: CallableType, defn: FuncItem) -> None - removed:
method NewSemanticAnalyzer.update_metaclass(defn: ClassDef) -> None - removed:
method NewSemanticAnalyzer.verify_base_classes(defn: ClassDef) -> bool - removed:
method NewSemanticAnalyzer.visit__promote_expr(expr: PromoteExpr) -> None - removed:
method NewSemanticAnalyzer.visit_assert_stmt(s: AssertStmt) -> None - removed:
method NewSemanticAnalyzer.visit_assignment_stmt(s: AssignmentStmt) -> None - removed:
method NewSemanticAnalyzer.visit_await_expr(expr: AwaitExpr) -> None - removed:
method NewSemanticAnalyzer.visit_backquote_expr(expr: BackquoteExpr) -> None - removed:
method NewSemanticAnalyzer.visit_block(b: Block) -> None - removed:
method NewSemanticAnalyzer.visit_block_maybe(b: Optional[Block]) -> None - removed:
method NewSemanticAnalyzer.visit_break_stmt(s: BreakStmt) -> None - removed:
method NewSemanticAnalyzer.visit_call_expr(expr: CallExpr) -> None - removed:
method NewSemanticAnalyzer.visit_cast_expr(expr: CastExpr) -> None - removed:
method NewSemanticAnalyzer.visit_class_def(defn: ClassDef) -> None - removed:
method NewSemanticAnalyzer.visit_comparison_expr(expr: ComparisonExpr) -> None - removed:
method NewSemanticAnalyzer.visit_conditional_expr(expr: ConditionalExpr) -> None - removed:
method NewSemanticAnalyzer.visit_continue_stmt(s: ContinueStmt) -> None - removed:
method NewSemanticAnalyzer.visit_decorator(dec: Decorator) -> None - removed:
method NewSemanticAnalyzer.visit_del_stmt(s: DelStmt) -> None - removed:
method NewSemanticAnalyzer.visit_dict_expr(expr: DictExpr) -> None - removed:
method NewSemanticAnalyzer.visit_dictionary_comprehension(expr: DictionaryComprehension) -> None - removed:
method NewSemanticAnalyzer.visit_exec_stmt(s: ExecStmt) -> None - removed:
method NewSemanticAnalyzer.visit_expression_stmt(s: ExpressionStmt) -> None - removed:
method NewSemanticAnalyzer.visit_for_stmt(s: ForStmt) -> None - removed:
method NewSemanticAnalyzer.visit_func_def(defn: FuncDef) -> None - removed:
method NewSemanticAnalyzer.visit_generator_expr(expr: GeneratorExpr) -> None - removed:
method NewSemanticAnalyzer.visit_global_decl(g: GlobalDecl) -> None - removed:
method NewSemanticAnalyzer.visit_if_stmt(s: IfStmt) -> None - removed:
method NewSemanticAnalyzer.visit_import(i: Import) -> None - removed:
method NewSemanticAnalyzer.visit_import_all(i: ImportAll) -> None - removed:
method NewSemanticAnalyzer.visit_import_from(imp: ImportFrom) -> None - removed:
method NewSemanticAnalyzer.visit_index_expr(expr: IndexExpr) -> None - removed:
method NewSemanticAnalyzer.visit_lambda_expr(expr: LambdaExpr) -> None - removed:
method NewSemanticAnalyzer.visit_list_comprehension(expr: ListComprehension) -> None - removed:
method NewSemanticAnalyzer.visit_list_expr(expr: ListExpr) -> None - removed:
method NewSemanticAnalyzer.visit_member_expr(expr: MemberExpr) -> None - removed:
method NewSemanticAnalyzer.visit_name_expr(expr: NameExpr) -> None - removed:
method NewSemanticAnalyzer.visit_nonlocal_decl(d: NonlocalDecl) -> None - removed:
method NewSemanticAnalyzer.visit_op_expr(expr: OpExpr) -> None - removed:
method NewSemanticAnalyzer.visit_operator_assignment_stmt(s: OperatorAssignmentStmt) -> None - removed:
method NewSemanticAnalyzer.visit_overloaded_func_def(defn: OverloadedFuncDef) -> None - removed:
method NewSemanticAnalyzer.visit_print_stmt(s: PrintStmt) -> None - removed:
method NewSemanticAnalyzer.visit_raise_stmt(s: RaiseStmt) -> None - removed:
method NewSemanticAnalyzer.visit_return_stmt(s: ReturnStmt) -> None - removed:
method NewSemanticAnalyzer.visit_reveal_expr(expr: RevealExpr) -> None - removed:
method NewSemanticAnalyzer.visit_set_comprehension(expr: SetComprehension) -> None - removed:
method NewSemanticAnalyzer.visit_set_expr(expr: SetExpr) -> None - removed:
method NewSemanticAnalyzer.visit_slice_expr(expr: SliceExpr) -> None - removed:
method NewSemanticAnalyzer.visit_star_expr(expr: StarExpr) -> None - removed:
method NewSemanticAnalyzer.visit_super_expr(expr: SuperExpr) -> None - removed:
method NewSemanticAnalyzer.visit_try_stmt(s: TryStmt) -> None - removed:
method NewSemanticAnalyzer.visit_tuple_expr(expr: TupleExpr) -> None - removed:
method NewSemanticAnalyzer.visit_type_application(expr: TypeApplication) -> None - removed:
method NewSemanticAnalyzer.visit_unary_expr(expr: UnaryExpr) -> None - removed:
method NewSemanticAnalyzer.visit_while_stmt(s: WhileStmt) -> None - removed:
method NewSemanticAnalyzer.visit_with_stmt(s: WithStmt) -> None - removed:
method NewSemanticAnalyzer.visit_yield_expr(expr: YieldExpr) -> None - removed:
method NewSemanticAnalyzer.visit_yield_from_expr(e: YieldFromExpr) -> None - removed:
property NewSemanticAnalyzer.final_iteration -> bool - removed:
property NewSemanticAnalyzer.is_typeshed_stub_file -> bool - removed:
variable CORE_BUILTIN_CLASSES - removed:
variable SUGGESTED_TEST_FIXTURES - removed:
variable T - removed:
variable TYPES_FOR_UNIMPORTED_HINTS - removed:
variable Tag
- removed:
function add_type_promotion(info: TypeInfo, module_names: SymbolTable, options: Options) -> None - removed:
function calculate_class_abstract_status(typ: TypeInfo, is_stub_file: bool, errors: Errors) -> None - removed:
function calculate_class_vars(info: TypeInfo) -> None - removed:
function check_protocol_status(info: TypeInfo, errors: Errors) -> None - removed:
variable TYPE_PROMOTIONS - removed:
variable TYPE_PROMOTIONS_PYTHON2 - removed:
variable TYPE_PROMOTIONS_PYTHON3
- removed:
class EnumCallAnalyzer - removed:
constructor EnumCallAnalyzer(options: Options, api: SemanticAnalyzerInterface) -> None - removed:
method EnumCallAnalyzer.build_enum_call_typeinfo(name: str, items: List[str], fullname: str) -> TypeInfo - removed:
method EnumCallAnalyzer.check_enum_call(node: Expression, var_name: str, is_func_scope: bool) -> Optional[TypeInfo] - removed:
method EnumCallAnalyzer.fail(msg: str, ctx: Context) -> None - removed:
method EnumCallAnalyzer.fail_enum_call_arg(message: str, context: Context) -> Tuple[List[str], List[Optional[Expression]], bool] - removed:
method EnumCallAnalyzer.parse_enum_call_args(call: CallExpr, class_name: str) -> Tuple[List[str], List[Optional[Expression]], bool] - removed:
method EnumCallAnalyzer.process_enum_call(s: AssignmentStmt, is_func_scope: bool) -> bool
- removed:
function calculate_return_type(expr: Expression) -> Optional[Type] - removed:
function find_fixed_callable_return(expr: Expression) -> Optional[CallableType] - removed:
function infer_decorator_signature_if_simple(dec: Decorator, analyzer: SemanticAnalyzerInterface) -> None - removed:
function is_identity_signature(sig: Type) -> bool
- removed:
function calculate_class_properties(graph: Graph, scc: List[str], errors: Errors) -> None - removed:
function check_blockers(graph: Graph, scc: List[str]) -> None - removed:
function check_type_arguments(graph: Graph, scc: List[str], errors: Errors) -> None - removed:
function check_type_arguments_in_targets(targets: List[FineGrainedDeferredNode], state: State, errors: Errors) -> None - removed:
function cleanup_builtin_scc(state: State) -> None - removed:
function get_all_leaf_targets(file: MypyFile) -> List[TargetInfo] - removed:
function nothing() -> Iterator[None] - removed:
function process_functions(graph: Graph, scc: List[str], patches: Patches) -> None - removed:
function process_top_level_function(analyzer: NewSemanticAnalyzer, state: State, module: str, target: str, node: Union[FuncDef, OverloadedFuncDef, Decorator], active_type: Optional[TypeInfo], patches: Patches) -> None - removed:
function process_top_levels(graph: Graph, scc: List[str], patches: Patches) -> None - removed:
function restore_saved_attrs(saved_attrs: SavedAttributes) -> None - removed:
function semantic_analysis_for_scc(graph: Graph, scc: List[str], errors: Errors) -> None - removed:
function semantic_analysis_for_targets(state: State, nodes: List[FineGrainedDeferredNode], graph: Graph, saved_attrs: SavedAttributes) -> None - removed:
function semantic_analyze_target(target: str, state: State, node: Union[MypyFile, FuncDef, OverloadedFuncDef, Decorator], active_type: Optional[TypeInfo], final_iteration: bool, patches: Patches) -> Tuple[List[str], bool, bool] - removed:
variable CORE_WARMUP - removed:
variable MAX_ITERATIONS - removed:
variable Patches - removed:
variable TargetInfo - removed:
variable core_modules
- removed:
class NamedTupleAnalyzer - removed:
constructor NamedTupleAnalyzer(options: Options, api: SemanticAnalyzerInterface) -> None - removed:
method NamedTupleAnalyzer.analyze_namedtuple_classdef(defn: ClassDef) -> Tuple[bool, Optional[TypeInfo]] - removed:
method NamedTupleAnalyzer.build_namedtuple_typeinfo(name: str, items: List[str], types: List[Type], default_items: Mapping[str, Expression], line: int) -> TypeInfo - removed:
method NamedTupleAnalyzer.check_namedtuple(node: Expression, var_name: Optional[str], is_func_scope: bool) -> Tuple[bool, Optional[TypeInfo]] - removed:
method NamedTupleAnalyzer.check_namedtuple_classdef(defn: ClassDef) -> Optional[Tuple[List[str], List[Type], Dict[str, Expression]]] - removed:
method NamedTupleAnalyzer.fail(msg: str, ctx: Context) -> None - removed:
method NamedTupleAnalyzer.fail_namedtuple_arg(message: str, context: Context) -> Tuple[List[str], List[Type], List[Expression], bool] - removed:
method NamedTupleAnalyzer.parse_namedtuple_args(call: CallExpr, fullname: str) -> Optional[Tuple[List[str], List[Type], List[Expression], bool]] - removed:
method NamedTupleAnalyzer.parse_namedtuple_fields_with_types(nodes: List[Expression], context: Context) -> Optional[Tuple[List[str], List[Type], List[Expression], bool]] - removed:
method NamedTupleAnalyzer.save_namedtuple_body(named_tuple_info: TypeInfo) -> Iterator[None] - removed:
method NamedTupleAnalyzer.store_namedtuple_info(info: TypeInfo, name: str, call: CallExpr, is_typed: bool) -> None - removed:
variable NAMEDTUPLE_PROHIBITED_NAMES - removed:
variable NAMEDTUP_CLASS_ERROR - removed:
variable SELF_TVAR_NAME
- removed:
class NewTypeAnalyzer - removed:
constructor NewTypeAnalyzer(options: Options, api: SemanticAnalyzerInterface, msg: MessageBuilder) -> None - removed:
method NewTypeAnalyzer.analyze_newtype_declaration(s: AssignmentStmt) -> Tuple[Optional[str], Optional[CallExpr]] - removed:
method NewTypeAnalyzer.build_newtype_typeinfo(name: str, old_type: Type, base_type: Instance) -> TypeInfo - removed:
method NewTypeAnalyzer.check_newtype_args(name: str, call: CallExpr, context: Context) -> Tuple[Optional[Type], bool] - removed:
method NewTypeAnalyzer.fail(msg: str, ctx: Context) -> None - removed:
method NewTypeAnalyzer.make_argument(name: str, type: Type) -> Argument - removed:
method NewTypeAnalyzer.process_newtype_declaration(s: AssignmentStmt) -> bool
- removed:
class SemanticAnalyzerPreAnalysis(TraverserVisitor) - removed:
method SemanticAnalyzerPreAnalysis.visit_assignment_stmt(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPreAnalysis.visit_block(b: Block) -> None - removed:
method SemanticAnalyzerPreAnalysis.visit_class_def(node: ClassDef) -> None - removed:
method SemanticAnalyzerPreAnalysis.visit_expression_stmt(s: ExpressionStmt) -> None - removed:
method SemanticAnalyzerPreAnalysis.visit_file(file: MypyFile, fnam: str, mod_id: str, options: Options) -> None - removed:
method SemanticAnalyzerPreAnalysis.visit_for_stmt(s: ForStmt) -> None - removed:
method SemanticAnalyzerPreAnalysis.visit_func_def(node: FuncDef) -> None - removed:
method SemanticAnalyzerPreAnalysis.visit_if_stmt(s: IfStmt) -> None - removed:
method SemanticAnalyzerPreAnalysis.visit_import(node: Import) -> None - removed:
method SemanticAnalyzerPreAnalysis.visit_import_all(node: ImportAll) -> None - removed:
method SemanticAnalyzerPreAnalysis.visit_import_from(node: ImportFrom) -> None - removed:
method SemanticAnalyzerPreAnalysis.visit_return_stmt(s: ReturnStmt) -> None
- removed:
class SemanticAnalyzerCoreInterface - removed:
class SemanticAnalyzerInterface(SemanticAnalyzerCoreInterface) - removed:
function calculate_tuple_fallback(typ: TupleType) -> None - removed:
function create_indirect_imported_name(file_node: MypyFile, module: str, relative: int, imported_name: str) -> Optional[SymbolTableNode] - removed:
function set_callable_name(sig: Type, fdef: FuncDef) -> Type - removed:
method SemanticAnalyzerCoreInterface.defer() -> None - removed:
method SemanticAnalyzerCoreInterface.fail(msg: str, ctx: Context, serious: bool=…, *, blocker: bool=…) -> None - removed:
method SemanticAnalyzerCoreInterface.final_iteration() -> bool - removed:
method SemanticAnalyzerCoreInterface.is_incomplete_namespace(fullname: str) -> bool - removed:
method SemanticAnalyzerCoreInterface.lookup_fully_qualified(name: str) -> SymbolTableNode - removed:
method SemanticAnalyzerCoreInterface.lookup_fully_qualified_or_none(name: str) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerCoreInterface.lookup_qualified(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerCoreInterface.note(msg: str, ctx: Context) -> None - removed:
method SemanticAnalyzerCoreInterface.record_incomplete_ref() -> None - removed:
method SemanticAnalyzerInterface.accept(node: Node) -> None - removed:
method SemanticAnalyzerInterface.add_symbol(name: str, node: SymbolNode, context: Context, module_public: bool=…, module_hidden: bool=…, can_defer: bool=…) -> bool - removed:
method SemanticAnalyzerInterface.add_symbol_skip_local(name: str, node: SymbolNode) -> None - removed:
method SemanticAnalyzerInterface.add_symbol_table_node(name: str, stnode: SymbolTableNode) -> bool - removed:
method SemanticAnalyzerInterface.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, report_invalid_types: bool=…) -> Optional[Type] - removed:
method SemanticAnalyzerInterface.basic_new_typeinfo(name: str, basetype_or_fallback: Instance) -> TypeInfo - removed:
method SemanticAnalyzerInterface.current_symbol_table() -> SymbolTable - removed:
method SemanticAnalyzerInterface.is_typeshed_stub_file() -> bool - removed:
method SemanticAnalyzerInterface.lookup(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerInterface.named_type(qualified_name: str, args: Optional[List[Type]]=…) -> Instance - removed:
method SemanticAnalyzerInterface.named_type_or_none(qualified_name: str, args: Optional[List[Type]]=…) -> Optional[Instance] - removed:
method SemanticAnalyzerInterface.parse_bool(expr: Expression) -> Optional[bool] - removed:
method SemanticAnalyzerInterface.qualified_name(n: str) -> str - removed:
method SemanticAnalyzerInterface.schedule_patch(priority: int, fn: Callable[[], None]) -> None - removed:
variable PRIORITY_FALLBACKS
- removed:
class TypeArgumentAnalyzer(MixedTraverserVisitor) - removed:
constructor TypeArgumentAnalyzer(errors: Errors, options: Options, is_typeshed_file: bool) -> None - removed:
method TypeArgumentAnalyzer.check_type_var_values(type: TypeInfo, actuals: List[Type], arg_name: str, valids: List[Type], arg_number: int, context: Context) -> None - removed:
method TypeArgumentAnalyzer.fail(msg: str, context: Context) -> None - removed:
method TypeArgumentAnalyzer.visit_block(o: Block) -> None - removed:
method TypeArgumentAnalyzer.visit_class_def(defn: ClassDef) -> None - removed:
method TypeArgumentAnalyzer.visit_func(defn: FuncItem) -> None - removed:
method TypeArgumentAnalyzer.visit_instance(t: Instance) -> None - removed:
method TypeArgumentAnalyzer.visit_mypy_file(o: MypyFile) -> None
- removed:
class TypedDictAnalyzer - removed:
constructor TypedDictAnalyzer(options: Options, api: SemanticAnalyzerInterface, msg: MessageBuilder) -> None - removed:
method TypedDictAnalyzer.analyze_typeddict_classdef(defn: ClassDef) -> Tuple[bool, Optional[TypeInfo]] - removed:
method TypedDictAnalyzer.analyze_typeddict_classdef_fields(defn: ClassDef, oldfields: Optional[List[str]]=…) -> Tuple[Optional[List[str]], List[Type], Set[str]] - removed:
method TypedDictAnalyzer.build_typeddict_typeinfo(name: str, items: List[str], types: List[Type], required_keys: Set[str]) -> TypeInfo - removed:
method TypedDictAnalyzer.check_typeddict(node: Expression, var_name: Optional[str], is_func_scope: bool) -> Tuple[bool, Optional[TypeInfo]] - removed:
method TypedDictAnalyzer.fail(msg: str, ctx: Context) -> None - removed:
method TypedDictAnalyzer.fail_typeddict_arg(message: str, context: Context) -> Tuple[List[str], List[Type], bool, bool] - removed:
method TypedDictAnalyzer.is_typeddict(expr: Expression) -> bool - removed:
method TypedDictAnalyzer.parse_typeddict_args(call: CallExpr) -> Optional[Tuple[List[str], List[Type], bool, bool]] - removed:
method TypedDictAnalyzer.parse_typeddict_fields_with_types(dict_items: List[Tuple[Optional[Expression], Expression]], context: Context) -> Optional[Tuple[List[str], List[Type], bool]] - removed:
variable TPDICT_CLASS_ERROR
- removed:
class CollectAllInnerTypesQuery(TypeQuery[List[Type]]) - removed:
class CollectAnyTypesQuery(TypeQuery[List[AnyType]]) - removed:
class HasAnyFromUnimportedType(TypeQuery[bool]) - removed:
class HasExplicitAny(TypeQuery[bool]) - removed:
class InstanceFixer(TypeTraverserVisitor) - removed:
class TypeAnalyser(SyntheticTypeVisitor[Type], TypeAnalyzerPluginInterface) - removed:
class TypeVariableQuery(TypeQuery[TypeVarList]) - removed:
constructor CollectAllInnerTypesQuery() -> None - removed:
constructor CollectAnyTypesQuery() -> None - removed:
constructor HasAnyFromUnimportedType() -> None - removed:
constructor HasExplicitAny() -> None - removed:
constructor InstanceFixer(fail: Callable[[str, Context], None], disallow_any: bool) -> None - removed:
constructor TypeAnalyser(api: SemanticAnalyzerCoreInterface, tvar_scope: TypeVarScope, plugin: Plugin, options: Options, is_typeshed_stub: bool, *, defining_alias: bool=…, allow_tuple_literal: bool=…, allow_unnormalized: bool=…, allow_unbound_tvars: bool=…, allow_placeholder: bool=…, report_invalid_types: bool=…) -> None - removed:
constructor TypeVariableQuery(lookup: Callable[[str, Context], Optional[SymbolTableNode]], scope: TypeVarScope, *, include_callables: bool=…, include_bound_tvars: bool=…) -> None - removed:
field TypeAnalyser.global_scope - removed:
field TypeAnalyser.in_dynamic_func - removed:
function analyze_type_alias(node: Expression, api: SemanticAnalyzerCoreInterface, tvar_scope: TypeVarScope, plugin: Plugin, options: Options, is_typeshed_stub: bool, allow_unnormalized: bool=…, allow_placeholder: bool=…, in_dynamic_func: bool=…, global_scope: bool=…) -> Optional[Tuple[Type, Set[str]]] - removed:
function check_for_explicit_any(typ: Optional[Type], options: Options, is_typeshed_stub: bool, msg: MessageBuilder, context: Context) -> None - removed:
function collect_all_inner_types(t: Type) -> List[Type] - removed:
function collect_any_types(t: Type) -> List[AnyType] - removed:
function expand_type_alias(target: Type, alias_tvars: List[str], args: List[Type], fail: Callable[[str, Context], None], no_args: bool, ctx: Context, *, disallow_any: bool=…) -> Type - removed:
function fix_instance(t: Instance, fail: Callable[[str, Context], None], disallow_any: bool, use_generic_error: bool=…) -> None - removed:
function fix_instance_types(t: Type, fail: Callable[[str, Context], None], disallow_any: bool) -> None - removed:
function flatten_tvars(ll: Iterable[List[T]]) -> List[T] - removed:
function get_omitted_any(disallow_any: bool, fail: Callable[[str, Context], None], ctx: Context, fullname: Optional[str]=…) -> AnyType - removed:
function has_any_from_unimported_type(t: Type) -> bool - removed:
function has_explicit_any(t: Type) -> bool - removed:
function make_optional_type(t: Type) -> Type - removed:
function no_subscript_builtin_alias(name: str, propose_alt: bool=…) -> str - removed:
function remove_dups(tvars: Iterable[T]) -> List[T] - removed:
function replace_alias_tvars(tp: Type, vars: List[str], subs: List[Type], newline: int, newcolumn: int) -> Type - removed:
function set_any_tvars(tp: Type, vars: List[str], newline: int, newcolumn: int, *, from_error: bool=…, disallow_any: bool=…, fail: Optional[Callable[[str, Context], None]]=…) -> Type - removed:
method CollectAllInnerTypesQuery.query_types(types: Iterable[Type]) -> List[Type] - removed:
method CollectAnyTypesQuery.visit_any(t: AnyType) -> List[AnyType] - removed:
method HasAnyFromUnimportedType.visit_any(t: AnyType) -> bool - removed:
method HasAnyFromUnimportedType.visit_typeddict_type(t: TypedDictType) -> bool - removed:
method HasExplicitAny.visit_any(t: AnyType) -> bool - removed:
method HasExplicitAny.visit_typeddict_type(t: TypedDictType) -> bool - removed:
method InstanceFixer.visit_instance(typ: Instance) -> None - removed:
method TypeAnalyser.anal_array(a: List[Type], nested: bool=…) -> List[Type] - removed:
method TypeAnalyser.anal_type(t: Type, nested: bool=…) -> Type - removed:
method TypeAnalyser.anal_var_defs(var_defs: List[TypeVarDef]) -> List[TypeVarDef] - removed:
method TypeAnalyser.analyze_callable_args(arglist: TypeList) -> Optional[Tuple[List[Type], List[int], List[Optional[str]]]] - removed:
method TypeAnalyser.analyze_callable_type(t: UnboundType) -> Type - removed:
method TypeAnalyser.analyze_literal_param(idx: int, arg: Type, ctx: Context) -> Optional[List[Type]] - removed:
method TypeAnalyser.analyze_literal_type(t: UnboundType) -> Type - removed:
method TypeAnalyser.analyze_type(t: Type) -> Type - removed:
method TypeAnalyser.analyze_type_with_type_info(info: TypeInfo, args: List[Type], ctx: Context) -> Type - removed:
method TypeAnalyser.analyze_unbound_type_without_type_info(t: UnboundType, sym: SymbolTableNode, defining_literal: bool) -> Type - removed:
method TypeAnalyser.bind_function_type_variables(fun_type: CallableType, defn: Context) -> List[TypeVarDef] - removed:
method TypeAnalyser.cannot_resolve_type(t: UnboundType) -> None - removed:
method TypeAnalyser.fail(msg: str, ctx: Context) -> None - removed:
method TypeAnalyser.get_omitted_any(ctx: Context, fullname: Optional[str]=…) -> AnyType - removed:
method TypeAnalyser.infer_type_variables(type: CallableType) -> List[Tuple[str, TypeVarExpr]] - removed:
method TypeAnalyser.is_defined_type_var(tvar: str, context: Context) -> bool - removed:
method TypeAnalyser.named_type(fully_qualified_name: str, args: Optional[List[Type]]=…, line: int=…, column: int=…) -> Instance - removed:
method TypeAnalyser.named_type_with_normalized_str(fully_qualified_name: str) -> Instance - removed:
method TypeAnalyser.note(msg: str, ctx: Context) -> None - removed:
method TypeAnalyser.try_analyze_special_unbound_type(t: UnboundType, fullname: str) -> Optional[Type] - removed:
method TypeAnalyser.tuple_type(items: List[Type]) -> TupleType - removed:
method TypeAnalyser.tvar_scope_frame() -> Iterator[None] - removed:
method TypeAnalyser.visit_any(t: AnyType) -> Type - removed:
method TypeAnalyser.visit_callable_argument(t: CallableArgument) -> Type - removed:
method TypeAnalyser.visit_callable_type(t: CallableType, nested: bool=…) -> Type - removed:
method TypeAnalyser.visit_deleted_type(t: DeletedType) -> Type - removed:
method TypeAnalyser.visit_ellipsis_type(t: EllipsisType) -> Type - removed:
method TypeAnalyser.visit_forwardref_type(t: ForwardRef) -> Type - removed:
method TypeAnalyser.visit_instance(t: Instance) -> Type - removed:
method TypeAnalyser.visit_literal_type(t: LiteralType) -> Type - removed:
method TypeAnalyser.visit_none_type(t: NoneType) -> Type - removed:
method TypeAnalyser.visit_partial_type(t: PartialType) -> Type - removed:
method TypeAnalyser.visit_placeholder_type(t: PlaceholderType) -> Type - removed:
method TypeAnalyser.visit_raw_expression_type(t: RawExpressionType) -> Type - removed:
method TypeAnalyser.visit_star_type(t: StarType) -> Type - removed:
method TypeAnalyser.visit_tuple_type(t: TupleType) -> Type - removed:
method TypeAnalyser.visit_type_list(t: TypeList) -> Type - removed:
method TypeAnalyser.visit_type_type(t: TypeType) -> Type - removed:
method TypeAnalyser.visit_type_var(t: TypeVarType) -> Type - removed:
method TypeAnalyser.visit_typeddict_type(t: TypedDictType) -> Type - removed:
method TypeAnalyser.visit_unbound_type(t: UnboundType, defining_literal: bool=…) -> Type - removed:
method TypeAnalyser.visit_unbound_type_nonoptional(t: UnboundType, defining_literal: bool) -> Type - removed:
method TypeAnalyser.visit_uninhabited_type(t: UninhabitedType) -> Type - removed:
method TypeAnalyser.visit_union_type(t: UnionType) -> Type - removed:
method TypeVariableQuery.visit_callable_type(t: CallableType) -> TypeVarList - removed:
method TypeVariableQuery.visit_unbound_type(t: UnboundType) -> TypeVarList - removed:
static method CollectAllInnerTypesQuery.combine_lists_strategy(it: Iterable[List[Type]]) -> List[Type] - removed:
static method CollectAnyTypesQuery.combine_lists_strategy(it: Iterable[List[AnyType]]) -> List[AnyType] - removed:
variable ARG_KINDS_BY_CONSTRUCTOR - removed:
variable T - removed:
variable TypeVarList - removed:
variable type_constructors
- changed:
constructor MypyFile(defs: List[Statement], imports: List[ImportBase], is_bom: bool=…, ignored_lines: Optional[Set[int]]=…) -> None → constructor MypyFile(defs: List[Statement], imports: List[ImportBase], is_bom: bool=…, ignored_lines: Optional[Dict[int, List[str]]]=…) -> None - changed:
constructor TempNode(typ: mypy.types.Type, no_rhs: bool=…) -> None → constructor TempNode(typ: mypy.types.Type, no_rhs: bool=…, *, context: Optional[Context]=…) -> None - added:
class AssignmentExpr(Expression) - added:
constructor AssignmentExpr(target: Expression, value: Expression) -> None - added:
method AssignmentExpr.accept(visitor: ExpressionVisitor[T]) -> T
- added:
property Options.new_semantic_analyzer -> bool
- changed:
method CheckerPluginInterface.fail(msg: str, ctx: Context) -> None → method CheckerPluginInterface.fail(msg: str, ctx: Context, *, code: Optional[ErrorCode]=…) -> None - changed:
method SemanticAnalyzerPluginInterface.fail(msg: str, ctx: Context, serious: bool=…, *, blocker: bool=…) -> None → method SemanticAnalyzerPluginInterface.fail(msg: str, ctx: Context, serious: bool=…, *, blocker: bool=…, code: Optional[ErrorCode]=…) -> None - changed:
method TypeAnalyzerPluginInterface.fail(msg: str, ctx: Context) -> None → method TypeAnalyzerPluginInterface.fail(msg: str, ctx: Context, *, code: Optional[ErrorCode]=…) -> None
- changed:
method DataclassTransformer.collect_attributes() -> List[DataclassAttribute] → method DataclassTransformer.collect_attributes() -> Optional[List[DataclassAttribute]]
- changed:
method AbstractReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type], options: Options) -> None → method AbstractReporter.on_file(tree: MypyFile, modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], options: Options) -> None - changed:
method AnyExpressionsReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type], options: Options) -> None → method AnyExpressionsReporter.on_file(tree: MypyFile, modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], options: Options) -> None - changed:
method CoberturaXmlReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type], options: Options) -> None → method CoberturaXmlReporter.on_file(tree: MypyFile, modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], options: Options) -> None - changed:
method LineCountReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type], options: Options) -> None → method LineCountReporter.on_file(tree: MypyFile, modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], options: Options) -> None - changed:
method LineCoverageReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type], options: Options) -> None → method LineCoverageReporter.on_file(tree: MypyFile, modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], options: Options) -> None - changed:
method MemoryXmlReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type], options: Options) -> None → method MemoryXmlReporter.on_file(tree: MypyFile, modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], options: Options) -> None - changed:
method Reports.file(tree: MypyFile, type_map: Dict[Expression, Type], options: Options) -> None → method Reports.file(tree: MypyFile, modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], options: Options) -> None - changed:
method XmlReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type], options: Options) -> None → method XmlReporter.on_file(tree: MypyFile, modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], options: Options) -> None - changed:
method XsltHtmlReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type], options: Options) -> None → method XsltHtmlReporter.on_file(tree: MypyFile, modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], options: Options) -> None - changed:
method XsltTxtReporter.on_file(tree: MypyFile, type_map: Dict[Expression, Type], options: Options) -> None → method XsltTxtReporter.on_file(tree: MypyFile, modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], options: Options) -> None - added:
class LinePrecisionReporter(AbstractReporter) - added:
constructor LinePrecisionReporter(reports: Reports, output_dir: str) -> None - added:
function iterate_python_lines(path: str) -> Iterator[Tuple[int, str]] - added:
function should_skip_path(path: str) -> bool - added:
method LinePrecisionReporter.on_file(tree: MypyFile, modules: Dict[str, MypyFile], type_map: Dict[Expression, Type], options: Options) -> None - added:
method LinePrecisionReporter.on_finish() -> None
- changed:
constructor SameTypeVisitor(right: Type) -> None → constructor SameTypeVisitor(right: ProperType) -> None - changed:
function simplify_union(t: Type) -> Type → function simplify_union(t: Type) -> ProperType
- removed:
class SemanticAnalyzerPass2(NodeVisitor[None], SemanticAnalyzerInterface, SemanticAnalyzerPluginInterface) - removed:
constructor SemanticAnalyzerPass2(modules: Dict[str, MypyFile], missing_modules: Set[str], errors: Errors, plugin: Plugin) -> None - removed:
field SemanticAnalyzerPass2.block_depth - removed:
field SemanticAnalyzerPass2.cur_mod_id - removed:
field SemanticAnalyzerPass2.errors - removed:
field SemanticAnalyzerPass2.function_stack - removed:
field SemanticAnalyzerPass2.global_decls - removed:
field SemanticAnalyzerPass2.globals - removed:
field SemanticAnalyzerPass2.imports - removed:
field SemanticAnalyzerPass2.is_stub_file - removed:
field SemanticAnalyzerPass2.locals - removed:
field SemanticAnalyzerPass2.loop_depth - removed:
field SemanticAnalyzerPass2.modules - removed:
field SemanticAnalyzerPass2.nonlocal_decls - removed:
field SemanticAnalyzerPass2.options - removed:
field SemanticAnalyzerPass2.plugin - removed:
field SemanticAnalyzerPass2.postpone_nested_functions_stack - removed:
field SemanticAnalyzerPass2.postponed_functions_stack - removed:
field SemanticAnalyzerPass2.tvar_scope - removed:
field SemanticAnalyzerPass2.type - removed:
field SemanticAnalyzerPass2.type_stack - removed:
method SemanticAnalyzerPass2.accept(node: Node) -> None - removed:
method SemanticAnalyzerPass2.add_builtin_aliases(tree: MypyFile) -> None - removed:
method SemanticAnalyzerPass2.add_exports(exp_or_exps: Union[Iterable[Expression], Expression]) -> None - removed:
method SemanticAnalyzerPass2.add_fixture_note(fullname: str, ctx: Context) -> None - removed:
method SemanticAnalyzerPass2.add_local(node: Union[Var, FuncDef, OverloadedFuncDef], ctx: Context) -> None - removed:
method SemanticAnalyzerPass2.add_module_symbol(id: str, as_id: str, module_public: bool, context: Context, module_hidden: bool=…) -> None - removed:
method SemanticAnalyzerPass2.add_plugin_dependency(trigger: str, target: Optional[str]=…) -> None - removed:
method SemanticAnalyzerPass2.add_submodules_to_parent_modules(id: str, module_public: bool) -> None - removed:
method SemanticAnalyzerPass2.add_symbol(name: str, node: SymbolTableNode, context: Context) -> None - removed:
method SemanticAnalyzerPass2.add_symbol_table_node(name: str, stnode: SymbolTableNode) -> None - removed:
method SemanticAnalyzerPass2.add_type_alias_deps(aliases_used: Iterable[str], target: Optional[str]=…) -> None - removed:
method SemanticAnalyzerPass2.add_unknown_symbol(name: str, context: Context, is_import: bool=…, target_name: Optional[str]=…) -> None - removed:
method SemanticAnalyzerPass2.allow_patching(parent_mod: MypyFile, child: str) -> bool - removed:
method SemanticAnalyzerPass2.already_defined(name: str, ctx: Context, original_ctx: Optional[Union[SymbolTableNode, SymbolNode]], noun: str) -> None - removed:
method SemanticAnalyzerPass2.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, report_invalid_types: bool=…, third_pass: bool=…) -> Type - removed:
method SemanticAnalyzerPass2.analyze_alias(rvalue: Expression) -> Tuple[Optional[Type], List[str], Set[str], List[str]] - removed:
method SemanticAnalyzerPass2.analyze_base_classes(defn: ClassDef) -> None - removed:
method SemanticAnalyzerPass2.analyze_class(defn: ClassDef) -> None - removed:
method SemanticAnalyzerPass2.analyze_class_body_common(defn: ClassDef) -> None - removed:
method SemanticAnalyzerPass2.analyze_class_decorator(defn: ClassDef, decorator: Expression) -> None - removed:
method SemanticAnalyzerPass2.analyze_class_keywords(defn: ClassDef) -> None - removed:
method SemanticAnalyzerPass2.analyze_comp_for(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None - removed:
method SemanticAnalyzerPass2.analyze_comp_for_2(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None - removed:
method SemanticAnalyzerPass2.analyze_function(defn: FuncItem) -> None - removed:
method SemanticAnalyzerPass2.analyze_lvalue(lval: Lvalue, nested: bool=…, add_global: bool=…, explicit_type: bool=…, is_final: bool=…) -> None - removed:
method SemanticAnalyzerPass2.analyze_lvalues(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.analyze_member_lvalue(lval: MemberExpr, explicit_type: bool, is_final: bool) -> None - removed:
method SemanticAnalyzerPass2.analyze_metaclass(defn: ClassDef) -> None - removed:
method SemanticAnalyzerPass2.analyze_name_lvalue(lval: NameExpr, add_global: bool, explicit_type: bool, is_final: bool) -> None - removed:
method SemanticAnalyzerPass2.analyze_namedtuple_classdef(defn: ClassDef) -> bool - removed:
method SemanticAnalyzerPass2.analyze_property_with_multi_part_definition(defn: OverloadedFuncDef) -> None - removed:
method SemanticAnalyzerPass2.analyze_simple_literal_type(rvalue: Expression, is_final: bool) -> Optional[Type] - removed:
method SemanticAnalyzerPass2.analyze_try_stmt(s: TryStmt, visitor: NodeVisitor[None], add_global: bool=…) -> None - removed:
method SemanticAnalyzerPass2.analyze_tuple_or_list_lvalue(lval: TupleExpr, add_global: bool=…, explicit_type: bool=…) -> None - removed:
method SemanticAnalyzerPass2.analyze_type_expr(expr: Expression) -> None - removed:
method SemanticAnalyzerPass2.analyze_types(items: List[Expression]) -> List[Type] - removed:
method SemanticAnalyzerPass2.analyze_typevar_declaration(t: Type) -> Optional[TypeVarList] - removed:
method SemanticAnalyzerPass2.analyze_unbound_tvar(t: Type) -> Optional[Tuple[str, TypeVarExpr]] - removed:
method SemanticAnalyzerPass2.apply_class_plugin_hooks(defn: ClassDef) -> None - removed:
method SemanticAnalyzerPass2.apply_dynamic_class_hook(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.attribute_already_defined(name: str, ctx: Context, original_ctx: Optional[Union[SymbolTableNode, SymbolNode]]=…) -> None - removed:
method SemanticAnalyzerPass2.basic_new_typeinfo(name: str, basetype_or_fallback: Instance) -> TypeInfo - removed:
method SemanticAnalyzerPass2.builtin_type(fully_qualified_name: str) -> Instance - removed:
method SemanticAnalyzerPass2.calculate_abstract_status(typ: TypeInfo) -> None - removed:
method SemanticAnalyzerPass2.calculate_class_mro(defn: ClassDef, obj_type: Optional[Callable[[], Instance]]=…) -> None - removed:
method SemanticAnalyzerPass2.check_and_set_up_type_alias(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.check_classvar(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.check_classvar_in_signature(typ: Type) -> None - removed:
method SemanticAnalyzerPass2.check_decorated_function_is_method(decorator: str, context: Context) -> None - removed:
method SemanticAnalyzerPass2.check_final_implicit_def(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.check_fixed_args(expr: CallExpr, numargs: int, name: str) -> bool - removed:
method SemanticAnalyzerPass2.check_for_obsolete_short_name(name: str, ctx: Context) -> None - removed:
method SemanticAnalyzerPass2.check_function_signature(fdef: FuncItem) -> None - removed:
method SemanticAnalyzerPass2.check_lvalue_validity(node: Union[Expression, SymbolNode, None], ctx: Context) -> None - removed:
method SemanticAnalyzerPass2.check_no_global(n: str, ctx: Context, is_overloaded_func: bool=…) -> None - removed:
method SemanticAnalyzerPass2.check_typevar_name(call: CallExpr, name: str, context: Context) -> bool - removed:
method SemanticAnalyzerPass2.class_type(self_type: Type) -> Type - removed:
method SemanticAnalyzerPass2.clean_up_bases_and_infer_type_variables(defn: ClassDef) -> None - removed:
method SemanticAnalyzerPass2.correct_relative_import(node: Union[ImportFrom, ImportAll]) -> str - removed:
method SemanticAnalyzerPass2.create_getattr_var(getattr_defn: SymbolTableNode, name: str, fullname: str) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerPass2.current_symbol_kind() -> int - removed:
method SemanticAnalyzerPass2.defer() -> None - removed:
method SemanticAnalyzerPass2.dereference_module_cross_ref(node: Optional[SymbolTableNode]) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerPass2.detect_protocol_base(defn: ClassDef) -> bool - removed:
method SemanticAnalyzerPass2.enter() -> None - removed:
method SemanticAnalyzerPass2.enter_class(info: TypeInfo) -> None - removed:
method SemanticAnalyzerPass2.expr_to_analyzed_type(expr: Expression, report_invalid_types: bool=…) -> Type - removed:
method SemanticAnalyzerPass2.fail(msg: str, ctx: Context, serious: bool=…, *, blocker: bool=…) -> None - removed:
method SemanticAnalyzerPass2.fail_blocker(msg: str, ctx: Context) -> None - removed:
method SemanticAnalyzerPass2.fail_invalid_classvar(context: Context) -> None - removed:
method SemanticAnalyzerPass2.file_context(file_node: MypyFile, fnam: str, options: Options, active_type: Optional[TypeInfo], scope: Optional[Scope]=…) -> Iterator[None] - removed:
method SemanticAnalyzerPass2.find_overload_sigs_and_impl(defn: OverloadedFuncDef) -> Tuple[List[CallableType], Optional[OverloadPart], List[int]] - removed:
method SemanticAnalyzerPass2.flatten_lvalues(lvalues: List[Expression]) -> List[Expression] - removed:
method SemanticAnalyzerPass2.get_all_bases_tvars(defn: ClassDef, removed: List[int]) -> TypeVarList - removed:
method SemanticAnalyzerPass2.get_typevar_declaration(s: AssignmentStmt) -> Optional[CallExpr] - removed:
method SemanticAnalyzerPass2.handle_missing_overload_decorators(defn: OverloadedFuncDef, non_overload_indexes: List[int], some_overload_decorators: bool) -> None - removed:
method SemanticAnalyzerPass2.handle_missing_overload_implementation(defn: OverloadedFuncDef) -> None - removed:
method SemanticAnalyzerPass2.is_alias_for_final_name(name: str) -> bool - removed:
method SemanticAnalyzerPass2.is_base_class(t: TypeInfo, s: TypeInfo) -> bool - removed:
method SemanticAnalyzerPass2.is_class_scope() -> bool - removed:
method SemanticAnalyzerPass2.is_classvar(typ: Type) -> bool - removed:
method SemanticAnalyzerPass2.is_final_type(typ: Type) -> bool - removed:
method SemanticAnalyzerPass2.is_func_scope() -> bool - removed:
method SemanticAnalyzerPass2.is_initial_mangled_global(name: str) -> bool - removed:
method SemanticAnalyzerPass2.is_mangled_global(name: str) -> bool - removed:
method SemanticAnalyzerPass2.is_module_scope() -> bool - removed:
method SemanticAnalyzerPass2.is_nested_within_func_scope() -> bool - removed:
method SemanticAnalyzerPass2.is_self_member_ref(memberexpr: MemberExpr) -> bool - removed:
method SemanticAnalyzerPass2.is_valid_del_target(s: Expression) -> bool - removed:
method SemanticAnalyzerPass2.leave() -> None - removed:
method SemanticAnalyzerPass2.leave_class() -> None - removed:
method SemanticAnalyzerPass2.lookup(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerPass2.lookup_current_scope(name: str) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerPass2.lookup_fully_qualified(name: str) -> SymbolTableNode - removed:
method SemanticAnalyzerPass2.lookup_fully_qualified_or_none(fullname: str) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerPass2.lookup_qualified(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerPass2.lookup_type_node(expr: Expression) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerPass2.make_name_lvalue_point_to_existing_def(lval: NameExpr, explicit_type: bool, is_final: bool) -> None - removed:
method SemanticAnalyzerPass2.make_name_lvalue_var(lvalue: NameExpr, kind: int, inferred: bool) -> Var - removed:
method SemanticAnalyzerPass2.name_already_defined(name: str, ctx: Context, original_ctx: Optional[Union[SymbolTableNode, SymbolNode]]=…) -> None - removed:
method SemanticAnalyzerPass2.name_not_defined(name: str, ctx: Context) -> None - removed:
method SemanticAnalyzerPass2.named_type(qualified_name: str, args: Optional[List[Type]]=…) -> Instance - removed:
method SemanticAnalyzerPass2.named_type_or_none(qualified_name: str, args: Optional[List[Type]]=…) -> Optional[Instance] - removed:
method SemanticAnalyzerPass2.note(msg: str, ctx: Context) -> None - removed:
method SemanticAnalyzerPass2.object_type() -> Instance - removed:
method SemanticAnalyzerPass2.parse_bool(expr: Expression) -> Optional[bool] - removed:
method SemanticAnalyzerPass2.prepare_method_signature(func: FuncDef, info: TypeInfo) -> None - removed:
method SemanticAnalyzerPass2.process__all__(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.process_final_in_overload(defn: OverloadedFuncDef) -> None - removed:
method SemanticAnalyzerPass2.process_import_over_existing_name(imported_id: str, existing_symbol: SymbolTableNode, module_symbol: SymbolTableNode, import_node: ImportBase) -> bool - removed:
method SemanticAnalyzerPass2.process_module_assignment(lvals: List[Lvalue], rval: Expression, ctx: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.process_static_or_class_method_in_overload(defn: OverloadedFuncDef) -> None - removed:
method SemanticAnalyzerPass2.process_type_annotation(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.process_typevar_declaration(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.process_typevar_parameters(args: List[Expression], names: List[Optional[str]], kinds: List[int], num_values: int, context: Context) -> Optional[Tuple[int, Type]] - removed:
method SemanticAnalyzerPass2.qualified_name(n: str) -> str - removed:
method SemanticAnalyzerPass2.rebind_symbol_table_node(n: SymbolTableNode) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerPass2.refresh_partial(node: Union[MypyFile, FuncDef, OverloadedFuncDef], patches: List[Tuple[int, Callable[[], None]]]) -> None - removed:
method SemanticAnalyzerPass2.refresh_top_level(file_node: MypyFile) -> None - removed:
method SemanticAnalyzerPass2.schedule_patch(priority: int, patch: Callable[[], None]) -> None - removed:
method SemanticAnalyzerPass2.set_original_def(previous: Optional[Node], new: FuncDef) -> bool - removed:
method SemanticAnalyzerPass2.setup_class_def_analysis(defn: ClassDef) -> None - removed:
method SemanticAnalyzerPass2.setup_type_promotion(defn: ClassDef) -> None - removed:
method SemanticAnalyzerPass2.store_declared_types(lvalue: Lvalue, typ: Type) -> None - removed:
method SemanticAnalyzerPass2.store_final_status(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.str_type() -> Instance - removed:
method SemanticAnalyzerPass2.translate_dict_call(call: CallExpr) -> Optional[DictExpr] - removed:
method SemanticAnalyzerPass2.tvar_scope_frame(frame: TypeVarScope) -> Iterator[None] - removed:
method SemanticAnalyzerPass2.type_analyzer(*, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, report_invalid_types: bool=…, third_pass: bool=…) -> TypeAnalyser - removed:
method SemanticAnalyzerPass2.unbox_literal(e: Expression) -> Optional[Union[int, float, bool, str]] - removed:
method SemanticAnalyzerPass2.undefined_name_extra_info(fullname: str) -> Optional[str] - removed:
method SemanticAnalyzerPass2.unwrap_final(s: AssignmentStmt) -> bool - removed:
method SemanticAnalyzerPass2.update_function_type_variables(fun_type: CallableType, defn: FuncItem) -> None - removed:
method SemanticAnalyzerPass2.update_metaclass(defn: ClassDef) -> None - removed:
method SemanticAnalyzerPass2.verify_base_classes(defn: ClassDef) -> bool - removed:
method SemanticAnalyzerPass2.visit__promote_expr(expr: PromoteExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_assert_stmt(s: AssertStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_assignment_stmt(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_await_expr(expr: AwaitExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_backquote_expr(expr: BackquoteExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_block(b: Block) -> None - removed:
method SemanticAnalyzerPass2.visit_block_maybe(b: Optional[Block]) -> None - removed:
method SemanticAnalyzerPass2.visit_break_stmt(s: BreakStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_call_expr(expr: CallExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_cast_expr(expr: CastExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_class_def(defn: ClassDef) -> None - removed:
method SemanticAnalyzerPass2.visit_comparison_expr(expr: ComparisonExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_conditional_expr(expr: ConditionalExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_continue_stmt(s: ContinueStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_decorator(dec: Decorator) -> None - removed:
method SemanticAnalyzerPass2.visit_del_stmt(s: DelStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_dict_expr(expr: DictExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_dictionary_comprehension(expr: DictionaryComprehension) -> None - removed:
method SemanticAnalyzerPass2.visit_exec_stmt(s: ExecStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_expression_stmt(s: ExpressionStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_file(file_node: MypyFile, fnam: str, options: Options, patches: List[Tuple[int, Callable[[], None]]]) -> None - removed:
method SemanticAnalyzerPass2.visit_for_stmt(s: ForStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_func_def(defn: FuncDef) -> None - removed:
method SemanticAnalyzerPass2.visit_generator_expr(expr: GeneratorExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_global_decl(g: GlobalDecl) -> None - removed:
method SemanticAnalyzerPass2.visit_if_stmt(s: IfStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_import(i: Import) -> None - removed:
method SemanticAnalyzerPass2.visit_import_all(i: ImportAll) -> None - removed:
method SemanticAnalyzerPass2.visit_import_from(imp: ImportFrom) -> None - removed:
method SemanticAnalyzerPass2.visit_index_expr(expr: IndexExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_lambda_expr(expr: LambdaExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_list_comprehension(expr: ListComprehension) -> None - removed:
method SemanticAnalyzerPass2.visit_list_expr(expr: ListExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_member_expr(expr: MemberExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_name_expr(expr: NameExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_nonlocal_decl(d: NonlocalDecl) -> None - removed:
method SemanticAnalyzerPass2.visit_op_expr(expr: OpExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_operator_assignment_stmt(s: OperatorAssignmentStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_overloaded_func_def(defn: OverloadedFuncDef) -> None - removed:
method SemanticAnalyzerPass2.visit_print_stmt(s: PrintStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_raise_stmt(s: RaiseStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_return_stmt(s: ReturnStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_reveal_expr(expr: RevealExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_set_comprehension(expr: SetComprehension) -> None - removed:
method SemanticAnalyzerPass2.visit_set_expr(expr: SetExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_slice_expr(expr: SliceExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_star_expr(expr: StarExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_super_expr(expr: SuperExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_try_stmt(s: TryStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_tuple_expr(expr: TupleExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_type_application(expr: TypeApplication) -> None - removed:
method SemanticAnalyzerPass2.visit_unary_expr(expr: UnaryExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_while_stmt(s: WhileStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_with_stmt(s: WithStmt) -> None - removed:
method SemanticAnalyzerPass2.visit_yield_expr(expr: YieldExpr) -> None - removed:
method SemanticAnalyzerPass2.visit_yield_from_expr(e: YieldFromExpr) -> None - removed:
property SemanticAnalyzerPass2.final_iteration -> bool - removed:
property SemanticAnalyzerPass2.is_typeshed_stub_file -> bool - removed:
variable FUNCTION_BOTH_PHASES - removed:
variable FUNCTION_FIRST_PHASE_POSTPONE_SECOND - removed:
variable FUNCTION_SECOND_PHASE - removed:
variable TYPE_PROMOTIONS - removed:
variable TYPE_PROMOTIONS_PYTHON2 - removed:
variable TYPE_PROMOTIONS_PYTHON3 - removed:
variable obsolete_name_mapping - added:
class HasPlaceholders(TypeQuery[bool]) - added:
class SemanticAnalyzer(NodeVisitor[None], SemanticAnalyzerInterface, SemanticAnalyzerPluginInterface) - added:
constructor HasPlaceholders() -> None - added:
constructor SemanticAnalyzer(modules: Dict[str, MypyFile], missing_modules: Set[str], incomplete_namespaces: Set[str], errors: Errors, plugin: Plugin) -> None - added:
field SemanticAnalyzer.block_depth - added:
field SemanticAnalyzer.cur_mod_id - added:
field SemanticAnalyzer.deferred - added:
field SemanticAnalyzer.errors - added:
field SemanticAnalyzer.function_stack - added:
field SemanticAnalyzer.global_decls - added:
field SemanticAnalyzer.globals - added:
field SemanticAnalyzer.imports - added:
field SemanticAnalyzer.incomplete - added:
field SemanticAnalyzer.is_comprehension_stack - added:
field SemanticAnalyzer.is_stub_file - added:
field SemanticAnalyzer.locals - added:
field SemanticAnalyzer.loop_depth - added:
field SemanticAnalyzer.missing_names - added:
field SemanticAnalyzer.modules - added:
field SemanticAnalyzer.nonlocal_decls - added:
field SemanticAnalyzer.options - added:
field SemanticAnalyzer.patches - added:
field SemanticAnalyzer.plugin - added:
field SemanticAnalyzer.progress - added:
field SemanticAnalyzer.statement - added:
field SemanticAnalyzer.tvar_scope - added:
field SemanticAnalyzer.type - added:
field SemanticAnalyzer.type_stack - added:
function dummy_context() -> Context - added:
function has_placeholder(typ: Type) -> bool - added:
function is_same_symbol(a: Optional[SymbolNode], b: Optional[SymbolNode]) -> bool - added:
function is_same_var_from_getattr(n1: Optional[SymbolNode], n2: Optional[SymbolNode]) -> bool - added:
function is_valid_replacement(old: SymbolTableNode, new: SymbolTableNode) -> bool - added:
function names_modified_by_assignment(s: AssignmentStmt) -> List[NameExpr] - added:
function names_modified_in_lvalue(lvalue: Lvalue) -> List[NameExpr] - added:
method HasPlaceholders.visit_placeholder_type(t: PlaceholderType) -> bool - added:
method SemanticAnalyzer.accept(node: Node) -> None - added:
method SemanticAnalyzer.add_builtin_aliases(tree: MypyFile) -> None - added:
method SemanticAnalyzer.add_exports(exp_or_exps: Union[Iterable[Expression], Expression]) -> None - added:
method SemanticAnalyzer.add_fixture_note(fullname: str, ctx: Context) -> None - added:
method SemanticAnalyzer.add_function_to_symbol_table(func: Union[FuncDef, OverloadedFuncDef]) -> None - added:
method SemanticAnalyzer.add_implicit_module_attrs(file_node: MypyFile) -> None - added:
method SemanticAnalyzer.add_imported_symbol(name: str, node: SymbolTableNode, context: Context, module_public: bool=…, module_hidden: bool=…) -> None - added:
method SemanticAnalyzer.add_local(node: Union[Var, FuncDef, OverloadedFuncDef], context: Context) -> None - added:
method SemanticAnalyzer.add_module_symbol(id: str, as_id: str, module_public: bool, context: Context, module_hidden: bool=…) -> None - added:
method SemanticAnalyzer.add_plugin_dependency(trigger: str, target: Optional[str]=…) -> None - added:
method SemanticAnalyzer.add_redefinition(names: SymbolTable, name: str, symbol: SymbolTableNode) -> None - added:
method SemanticAnalyzer.add_symbol(name: str, node: SymbolNode, context: Context, module_public: bool=…, module_hidden: bool=…, can_defer: bool=…, escape_comprehensions: bool=…) -> bool - added:
method SemanticAnalyzer.add_symbol_skip_local(name: str, node: SymbolNode) -> None - added:
method SemanticAnalyzer.add_symbol_table_node(name: str, symbol: SymbolTableNode, context: Optional[Context]=…, can_defer: bool=…, escape_comprehensions: bool=…) -> bool - added:
method SemanticAnalyzer.add_type_alias_deps(aliases_used: Iterable[str], target: Optional[str]=…) -> None - added:
method SemanticAnalyzer.add_unknown_imported_symbol(name: str, context: Context, target_name: Optional[str]=…) -> None - added:
method SemanticAnalyzer.adjust_public_exports() -> None - added:
method SemanticAnalyzer.already_defined(name: str, ctx: Context, original_ctx: Optional[Union[SymbolTableNode, SymbolNode]], noun: str) -> None - added:
method SemanticAnalyzer.anal_type(typ: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, allow_placeholder: bool=…, report_invalid_types: bool=…, third_pass: bool=…) -> Optional[Type] - added:
method SemanticAnalyzer.analyze_alias(rvalue: Expression, allow_placeholder: bool=…) -> Tuple[Optional[Type], List[str], Set[str], List[str]] - added:
method SemanticAnalyzer.analyze_arg_initializers(defn: FuncItem) -> None - added:
method SemanticAnalyzer.analyze_base_classes(base_type_exprs: List[Expression]) -> Optional[Tuple[List[Tuple[ProperType, Expression]], bool]] - added:
method SemanticAnalyzer.analyze_class(defn: ClassDef) -> None - added:
method SemanticAnalyzer.analyze_class_body_common(defn: ClassDef) -> None - added:
method SemanticAnalyzer.analyze_class_decorator(defn: ClassDef, decorator: Expression) -> None - added:
method SemanticAnalyzer.analyze_class_keywords(defn: ClassDef) -> None - added:
method SemanticAnalyzer.analyze_class_typevar_declaration(base: Type) -> Optional[Tuple[TypeVarList, bool]] - added:
method SemanticAnalyzer.analyze_comp_for(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None - added:
method SemanticAnalyzer.analyze_comp_for_2(expr: Union[GeneratorExpr, DictionaryComprehension]) -> None - added:
method SemanticAnalyzer.analyze_enum_assign(s: AssignmentStmt) -> bool - added:
method SemanticAnalyzer.analyze_func_def(defn: FuncDef) -> None - added:
method SemanticAnalyzer.analyze_function_body(defn: FuncItem) -> None - added:
method SemanticAnalyzer.analyze_identity_global_assignment(s: AssignmentStmt) -> bool - added:
method SemanticAnalyzer.analyze_lvalue(lval: Lvalue, nested: bool=…, explicit_type: bool=…, is_final: bool=…, escape_comprehensions: bool=…) -> None - added:
method SemanticAnalyzer.analyze_lvalues(s: AssignmentStmt) -> None - added:
method SemanticAnalyzer.analyze_member_lvalue(lval: MemberExpr, explicit_type: bool, is_final: bool) -> None - added:
method SemanticAnalyzer.analyze_metaclass(defn: ClassDef) -> None - added:
method SemanticAnalyzer.analyze_name_lvalue(lvalue: NameExpr, explicit_type: bool, is_final: bool, escape_comprehensions: bool) -> None - added:
method SemanticAnalyzer.analyze_namedtuple_assign(s: AssignmentStmt) -> bool - added:
method SemanticAnalyzer.analyze_namedtuple_classdef(defn: ClassDef) -> bool - added:
method SemanticAnalyzer.analyze_overload_sigs_and_impl(defn: OverloadedFuncDef) -> Tuple[List[CallableType], Optional[OverloadPart], List[int]] - added:
method SemanticAnalyzer.analyze_overloaded_func_def(defn: OverloadedFuncDef) -> None - added:
method SemanticAnalyzer.analyze_property_with_multi_part_definition(defn: OverloadedFuncDef) -> None - added:
method SemanticAnalyzer.analyze_simple_literal_type(rvalue: Expression, is_final: bool) -> Optional[Type] - added:
method SemanticAnalyzer.analyze_try_stmt(s: TryStmt, visitor: NodeVisitor[None]) -> None - added:
method SemanticAnalyzer.analyze_tuple_or_list_lvalue(lval: TupleExpr, explicit_type: bool=…) -> None - added:
method SemanticAnalyzer.analyze_type_application(expr: IndexExpr) -> None - added:
method SemanticAnalyzer.analyze_type_application_args(expr: IndexExpr) -> Optional[List[Type]] - added:
method SemanticAnalyzer.analyze_type_expr(expr: Expression) -> None - added:
method SemanticAnalyzer.analyze_typeddict_assign(s: AssignmentStmt) -> bool - added:
method SemanticAnalyzer.analyze_unbound_tvar(t: Type) -> Optional[Tuple[str, TypeVarExpr]] - added:
method SemanticAnalyzer.analyze_value_types(items: List[Expression]) -> List[Type] - added:
method SemanticAnalyzer.apply_class_plugin_hooks(defn: ClassDef) -> None - added:
method SemanticAnalyzer.apply_dynamic_class_hook(s: AssignmentStmt) -> None - added:
method SemanticAnalyzer.attribute_already_defined(name: str, ctx: Context, original_ctx: Optional[Union[SymbolTableNode, SymbolNode]]=…) -> None - added:
method SemanticAnalyzer.basic_new_typeinfo(name: str, basetype_or_fallback: Instance) -> TypeInfo - added:
method SemanticAnalyzer.bind_name_expr(expr: NameExpr, sym: SymbolTableNode) -> None - added:
method SemanticAnalyzer.builtin_type(fully_qualified_name: str) -> Instance - added:
method SemanticAnalyzer.calculate_class_mro(defn: ClassDef, obj_type: Optional[Callable[[], Instance]]=…) -> None - added:
method SemanticAnalyzer.can_be_type_alias(rv: Expression) -> bool - added:
method SemanticAnalyzer.cannot_resolve_name(name: str, kind: str, ctx: Context) -> None - added:
method SemanticAnalyzer.check_and_set_up_type_alias(s: AssignmentStmt) -> bool - added:
method SemanticAnalyzer.check_classvar(s: AssignmentStmt) -> None - added:
method SemanticAnalyzer.check_classvar_in_signature(typ: ProperType) -> None - added:
method SemanticAnalyzer.check_decorated_function_is_method(decorator: str, context: Context) -> None - added:
method SemanticAnalyzer.check_final_implicit_def(s: AssignmentStmt) -> None - added:
method SemanticAnalyzer.check_fixed_args(expr: CallExpr, numargs: int, name: str) -> bool - added:
method SemanticAnalyzer.check_function_signature(fdef: FuncItem) -> None - added:
method SemanticAnalyzer.check_lvalue_validity(node: Union[Expression, SymbolNode, None], ctx: Context) -> None - added:
method SemanticAnalyzer.check_no_global(name: str, ctx: Context, is_overloaded_func: bool=…) -> None - added:
method SemanticAnalyzer.check_typevar_name(call: CallExpr, name: str, context: Context) -> bool - added:
method SemanticAnalyzer.class_type(self_type: Type) -> Type - added:
method SemanticAnalyzer.clean_up_bases_and_infer_type_variables(defn: ClassDef, base_type_exprs: List[Expression], context: Context) -> Tuple[List[Expression], List[TypeVarDef], bool] - added:
method SemanticAnalyzer.configure_base_classes(defn: ClassDef, bases: List[Tuple[ProperType, Expression]]) -> None - added:
method SemanticAnalyzer.configure_tuple_base_class(defn: ClassDef, base: TupleType, base_expr: Expression) -> Instance - added:
method SemanticAnalyzer.correct_relative_import(node: Union[ImportFrom, ImportAll]) -> str - added:
method SemanticAnalyzer.create_getattr_var(getattr_defn: SymbolTableNode, name: str, fullname: str) -> Optional[Var] - added:
method SemanticAnalyzer.current_symbol_kind() -> int - added:
method SemanticAnalyzer.current_symbol_table(escape_comprehensions: bool=…) -> SymbolTable - added:
method SemanticAnalyzer.defer(debug_context: Optional[Context]=…) -> None - added:
method SemanticAnalyzer.enter(function: Union[FuncItem, GeneratorExpr, DictionaryComprehension]) -> None - added:
method SemanticAnalyzer.enter_class(info: TypeInfo) -> None - added:
method SemanticAnalyzer.expr_to_analyzed_type(expr: Expression, report_invalid_types: bool=…, allow_placeholder: bool=…) -> Optional[Type] - added:
method SemanticAnalyzer.fail(msg: str, ctx: Context, serious: bool=…, *, code: Optional[ErrorCode]=…, blocker: bool=…) -> None - added:
method SemanticAnalyzer.fail_blocker(msg: str, ctx: Context) -> None - added:
method SemanticAnalyzer.fail_invalid_classvar(context: Context) -> None - added:
method SemanticAnalyzer.file_context(file_node: MypyFile, options: Options, active_type: Optional[TypeInfo]=…) -> Iterator[None] - added:
method SemanticAnalyzer.flatten_lvalues(lvalues: List[Expression]) -> List[Expression] - added:
method SemanticAnalyzer.found_incomplete_ref(tag: Tag) -> bool - added:
method SemanticAnalyzer.get_all_bases_tvars(base_type_exprs: List[Expression], removed: List[int]) -> TypeVarList - added:
method SemanticAnalyzer.get_module_symbol(node: MypyFile, name: str) -> Optional[SymbolTableNode] - added:
method SemanticAnalyzer.get_name_repr_of_expr(expr: Expression) -> Optional[str] - added:
method SemanticAnalyzer.get_typevar_declaration(s: AssignmentStmt) -> Optional[CallExpr] - added:
method SemanticAnalyzer.handle_missing_overload_decorators(defn: OverloadedFuncDef, non_overload_indexes: List[int], some_overload_decorators: bool) -> None - added:
method SemanticAnalyzer.handle_missing_overload_implementation(defn: OverloadedFuncDef) -> None - added:
method SemanticAnalyzer.implicit_symbol(sym: SymbolTableNode, name: str, parts: List[str], source_type: AnyType) -> SymbolTableNode - added:
method SemanticAnalyzer.is_active_symbol_in_class_body(node: Optional[SymbolNode]) -> bool - added:
method SemanticAnalyzer.is_alias_for_final_name(name: str) -> bool - added:
method SemanticAnalyzer.is_base_class(t: TypeInfo, s: TypeInfo) -> bool - added:
method SemanticAnalyzer.is_class_scope() -> bool - added:
method SemanticAnalyzer.is_classvar(typ: Type) -> bool - added:
method SemanticAnalyzer.is_core_builtin_class(defn: ClassDef) -> bool - added:
method SemanticAnalyzer.is_defined_in_current_module(fullname: Optional[str]) -> bool - added:
method SemanticAnalyzer.is_final_redefinition(kind: int, name: str) -> bool - added:
method SemanticAnalyzer.is_final_type(typ: Optional[Type]) -> bool - added:
method SemanticAnalyzer.is_func_scope() -> bool - added:
method SemanticAnalyzer.is_global_or_nonlocal(name: str) -> bool - added:
method SemanticAnalyzer.is_incomplete_namespace(fullname: str) -> bool - added:
method SemanticAnalyzer.is_initial_mangled_global(name: str) -> bool - added:
method SemanticAnalyzer.is_local_name(name: str) -> bool - added:
method SemanticAnalyzer.is_mangled_global(name: str) -> bool - added:
method SemanticAnalyzer.is_missing_module(module: str) -> bool - added:
method SemanticAnalyzer.is_module_scope() -> bool - added:
method SemanticAnalyzer.is_nested_within_func_scope() -> bool - added:
method SemanticAnalyzer.is_none_alias(node: Expression) -> bool - added:
method SemanticAnalyzer.is_self_member_ref(memberexpr: MemberExpr) -> bool - added:
method SemanticAnalyzer.is_type_ref(rv: Expression, bare: bool=…) -> bool - added:
method SemanticAnalyzer.is_valid_del_target(s: Expression) -> bool - added:
method SemanticAnalyzer.leave() -> None - added:
method SemanticAnalyzer.leave_class() -> None - added:
method SemanticAnalyzer.lookup(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - added:
method SemanticAnalyzer.lookup_current_scope(name: str) -> Optional[SymbolTableNode] - added:
method SemanticAnalyzer.lookup_fully_qualified(name: str) -> SymbolTableNode - added:
method SemanticAnalyzer.lookup_fully_qualified_or_none(fullname: str) -> Optional[SymbolTableNode] - added:
method SemanticAnalyzer.lookup_qualified(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - added:
method SemanticAnalyzer.lookup_type_node(expr: Expression) -> Optional[SymbolTableNode] - added:
method SemanticAnalyzer.make_empty_type_info(defn: ClassDef) -> TypeInfo - added:
method SemanticAnalyzer.make_name_lvalue_point_to_existing_def(lval: NameExpr, explicit_type: bool, is_final: bool) -> None - added:
method SemanticAnalyzer.make_name_lvalue_var(lvalue: NameExpr, kind: int, inferred: bool) -> Var - added:
method SemanticAnalyzer.mark_incomplete(name: str, node: Node, becomes_typeinfo: bool=…) -> None - added:
method SemanticAnalyzer.name_already_defined(name: str, ctx: Context, original_ctx: Optional[Union[SymbolTableNode, SymbolNode]]=…) -> None - added:
method SemanticAnalyzer.name_not_defined(name: str, ctx: Context, namespace: Optional[str]=…) -> None - added:
method SemanticAnalyzer.named_type(qualified_name: str, args: Optional[List[Type]]=…) -> Instance - added:
method SemanticAnalyzer.named_type_or_none(qualified_name: str, args: Optional[List[Type]]=…) -> Optional[Instance] - added:
method SemanticAnalyzer.note(msg: str, ctx: Context, code: Optional[ErrorCode]=…) -> None - added:
method SemanticAnalyzer.object_type() -> Instance - added:
method SemanticAnalyzer.parse_bool(expr: Expression) -> Optional[bool] - added:
method SemanticAnalyzer.prepare_builtins_namespace(file_node: MypyFile) -> None - added:
method SemanticAnalyzer.prepare_class_def(defn: ClassDef, info: Optional[TypeInfo]=…) -> None - added:
method SemanticAnalyzer.prepare_file(file_node: MypyFile) -> None - added:
method SemanticAnalyzer.prepare_method_signature(func: FuncDef, info: TypeInfo) -> None - added:
method SemanticAnalyzer.prepare_typing_namespace(file_node: MypyFile) -> None - added:
method SemanticAnalyzer.process__all__(s: AssignmentStmt) -> None - added:
method SemanticAnalyzer.process_final_in_overload(defn: OverloadedFuncDef) -> None - added:
method SemanticAnalyzer.process_import_over_existing_name(imported_id: str, existing_symbol: SymbolTableNode, module_symbol: SymbolTableNode, import_node: ImportBase) -> bool - added:
method SemanticAnalyzer.process_imported_symbol(node: SymbolTableNode, module_id: str, id: str, as_id: Optional[str], fullname: str, context: ImportBase) -> None - added:
method SemanticAnalyzer.process_module_assignment(lvals: List[Lvalue], rval: Expression, ctx: AssignmentStmt) -> None - added:
method SemanticAnalyzer.process_placeholder(name: str, kind: str, ctx: Context) -> None - added:
method SemanticAnalyzer.process_static_or_class_method_in_overload(defn: OverloadedFuncDef) -> None - added:
method SemanticAnalyzer.process_type_annotation(s: AssignmentStmt) -> None - added:
method SemanticAnalyzer.process_typevar_declaration(s: AssignmentStmt) -> bool - added:
method SemanticAnalyzer.process_typevar_parameters(args: List[Expression], names: List[Optional[str]], kinds: List[int], num_values: int, context: Context) -> Optional[Tuple[int, Type]] - added:
method SemanticAnalyzer.qualified_name(name: str) -> str - added:
method SemanticAnalyzer.record_incomplete_ref() -> None - added:
method SemanticAnalyzer.record_special_form_lvalue(s: AssignmentStmt) -> None - added:
method SemanticAnalyzer.refresh_partial(node: Union[MypyFile, FuncDef, OverloadedFuncDef], patches: List[Tuple[int, Callable[[], None]]], final_iteration: bool, file_node: MypyFile, options: Options, active_type: Optional[TypeInfo]=…) -> None - added:
method SemanticAnalyzer.refresh_top_level(file_node: MypyFile) -> None - added:
method SemanticAnalyzer.report_hang() -> None - added:
method SemanticAnalyzer.report_missing_module_attribute(import_id: str, source_id: str, imported_id: str, context: Node) -> None - added:
method SemanticAnalyzer.schedule_patch(priority: int, patch: Callable[[], None]) -> None - added:
method SemanticAnalyzer.set_original_def(previous: Optional[Node], new: Union[FuncDef, Decorator]) -> bool - added:
method SemanticAnalyzer.should_wait_rhs(rv: Expression) -> bool - added:
method SemanticAnalyzer.store_declared_types(lvalue: Lvalue, typ: Type) -> None - added:
method SemanticAnalyzer.store_final_status(s: AssignmentStmt) -> None - added:
method SemanticAnalyzer.str_type() -> Instance - added:
method SemanticAnalyzer.track_incomplete_refs() -> Tag - added:
method SemanticAnalyzer.translate_dict_call(call: CallExpr) -> Optional[DictExpr] - added:
method SemanticAnalyzer.tvar_scope_frame(frame: TypeVarScope) -> Iterator[None] - added:
method SemanticAnalyzer.type_analyzer(*, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, allow_placeholder: bool=…, report_invalid_types: bool=…) -> TypeAnalyser - added:
method SemanticAnalyzer.unbox_literal(e: Expression) -> Optional[Union[int, float, bool, str]] - added:
method SemanticAnalyzer.unwrap_final(s: AssignmentStmt) -> bool - added:
method SemanticAnalyzer.update_function_type_variables(fun_type: CallableType, defn: FuncItem) -> None - added:
method SemanticAnalyzer.update_metaclass(defn: ClassDef) -> None - added:
method SemanticAnalyzer.verify_base_classes(defn: ClassDef) -> bool - added:
method SemanticAnalyzer.visit__promote_expr(expr: PromoteExpr) -> None - added:
method SemanticAnalyzer.visit_assert_stmt(s: AssertStmt) -> None - added:
method SemanticAnalyzer.visit_assignment_expr(s: AssignmentExpr) -> None - added:
method SemanticAnalyzer.visit_assignment_stmt(s: AssignmentStmt) -> None - added:
method SemanticAnalyzer.visit_await_expr(expr: AwaitExpr) -> None - added:
method SemanticAnalyzer.visit_backquote_expr(expr: BackquoteExpr) -> None - added:
method SemanticAnalyzer.visit_block(b: Block) -> None - added:
method SemanticAnalyzer.visit_block_maybe(b: Optional[Block]) -> None - added:
method SemanticAnalyzer.visit_break_stmt(s: BreakStmt) -> None - added:
method SemanticAnalyzer.visit_call_expr(expr: CallExpr) -> None - added:
method SemanticAnalyzer.visit_cast_expr(expr: CastExpr) -> None - added:
method SemanticAnalyzer.visit_class_def(defn: ClassDef) -> None - added:
method SemanticAnalyzer.visit_comparison_expr(expr: ComparisonExpr) -> None - added:
method SemanticAnalyzer.visit_conditional_expr(expr: ConditionalExpr) -> None - added:
method SemanticAnalyzer.visit_continue_stmt(s: ContinueStmt) -> None - added:
method SemanticAnalyzer.visit_decorator(dec: Decorator) -> None - added:
method SemanticAnalyzer.visit_del_stmt(s: DelStmt) -> None - added:
method SemanticAnalyzer.visit_dict_expr(expr: DictExpr) -> None - added:
method SemanticAnalyzer.visit_dictionary_comprehension(expr: DictionaryComprehension) -> None - added:
method SemanticAnalyzer.visit_exec_stmt(s: ExecStmt) -> None - added:
method SemanticAnalyzer.visit_expression_stmt(s: ExpressionStmt) -> None - added:
method SemanticAnalyzer.visit_for_stmt(s: ForStmt) -> None - added:
method SemanticAnalyzer.visit_func_def(defn: FuncDef) -> None - added:
method SemanticAnalyzer.visit_generator_expr(expr: GeneratorExpr) -> None - added:
method SemanticAnalyzer.visit_global_decl(g: GlobalDecl) -> None - added:
method SemanticAnalyzer.visit_if_stmt(s: IfStmt) -> None - added:
method SemanticAnalyzer.visit_import(i: Import) -> None - added:
method SemanticAnalyzer.visit_import_all(i: ImportAll) -> None - added:
method SemanticAnalyzer.visit_import_from(imp: ImportFrom) -> None - added:
method SemanticAnalyzer.visit_index_expr(expr: IndexExpr) -> None - added:
method SemanticAnalyzer.visit_lambda_expr(expr: LambdaExpr) -> None - added:
method SemanticAnalyzer.visit_list_comprehension(expr: ListComprehension) -> None - added:
method SemanticAnalyzer.visit_list_expr(expr: ListExpr) -> None - added:
method SemanticAnalyzer.visit_member_expr(expr: MemberExpr) -> None - added:
method SemanticAnalyzer.visit_name_expr(expr: NameExpr) -> None - added:
method SemanticAnalyzer.visit_nonlocal_decl(d: NonlocalDecl) -> None - added:
method SemanticAnalyzer.visit_op_expr(expr: OpExpr) -> None - added:
method SemanticAnalyzer.visit_operator_assignment_stmt(s: OperatorAssignmentStmt) -> None - added:
method SemanticAnalyzer.visit_overloaded_func_def(defn: OverloadedFuncDef) -> None - added:
method SemanticAnalyzer.visit_print_stmt(s: PrintStmt) -> None - added:
method SemanticAnalyzer.visit_raise_stmt(s: RaiseStmt) -> None - added:
method SemanticAnalyzer.visit_return_stmt(s: ReturnStmt) -> None - added:
method SemanticAnalyzer.visit_reveal_expr(expr: RevealExpr) -> None - added:
method SemanticAnalyzer.visit_set_comprehension(expr: SetComprehension) -> None - added:
method SemanticAnalyzer.visit_set_expr(expr: SetExpr) -> None - added:
method SemanticAnalyzer.visit_slice_expr(expr: SliceExpr) -> None - added:
method SemanticAnalyzer.visit_star_expr(expr: StarExpr) -> None - added:
method SemanticAnalyzer.visit_super_expr(expr: SuperExpr) -> None - added:
method SemanticAnalyzer.visit_try_stmt(s: TryStmt) -> None - added:
method SemanticAnalyzer.visit_tuple_expr(expr: TupleExpr) -> None - added:
method SemanticAnalyzer.visit_type_application(expr: TypeApplication) -> None - added:
method SemanticAnalyzer.visit_unary_expr(expr: UnaryExpr) -> None - added:
method SemanticAnalyzer.visit_while_stmt(s: WhileStmt) -> None - added:
method SemanticAnalyzer.visit_with_stmt(s: WithStmt) -> None - added:
method SemanticAnalyzer.visit_yield_expr(expr: YieldExpr) -> None - added:
method SemanticAnalyzer.visit_yield_from_expr(e: YieldFromExpr) -> None - added:
property SemanticAnalyzer.final_iteration -> bool - added:
property SemanticAnalyzer.is_typeshed_stub_file -> bool - added:
variable CORE_BUILTIN_CLASSES - added:
variable Tag
- added:
function add_type_promotion(info: TypeInfo, module_names: SymbolTable, options: Options) -> None - added:
function calculate_class_abstract_status(typ: TypeInfo, is_stub_file: bool, errors: Errors) -> None - added:
function calculate_class_vars(info: TypeInfo) -> None - added:
function check_protocol_status(info: TypeInfo, errors: Errors) -> None - added:
variable TYPE_PROMOTIONS - added:
variable TYPE_PROMOTIONS_PYTHON2 - added:
variable TYPE_PROMOTIONS_PYTHON3
- changed:
method EnumCallAnalyzer.process_enum_call(s: AssignmentStmt, is_func_scope: bool) -> None → method EnumCallAnalyzer.process_enum_call(s: AssignmentStmt, is_func_scope: bool) -> bool
- added:
function calculate_return_type(expr: Expression) -> Optional[ProperType] - added:
function find_fixed_callable_return(expr: Expression) -> Optional[CallableType] - added:
function infer_decorator_signature_if_simple(dec: Decorator, analyzer: SemanticAnalyzerInterface) -> None - added:
function is_identity_signature(sig: Type) -> bool
- added:
function calculate_class_properties(graph: Graph, scc: List[str], errors: Errors) -> None - added:
function check_blockers(graph: Graph, scc: List[str]) -> None - added:
function check_type_arguments(graph: Graph, scc: List[str], errors: Errors) -> None - added:
function check_type_arguments_in_targets(targets: List[FineGrainedDeferredNode], state: State, errors: Errors) -> None - added:
function cleanup_builtin_scc(state: State) -> None - added:
function get_all_leaf_targets(file: MypyFile) -> List[TargetInfo] - added:
function nothing() -> Iterator[None] - added:
function process_functions(graph: Graph, scc: List[str], patches: Patches) -> None - added:
function process_top_level_function(analyzer: SemanticAnalyzer, state: State, module: str, target: str, node: Union[FuncDef, OverloadedFuncDef, Decorator], active_type: Optional[TypeInfo], patches: Patches) -> None - added:
function process_top_levels(graph: Graph, scc: List[str], patches: Patches) -> None - added:
function restore_saved_attrs(saved_attrs: SavedAttributes) -> None - added:
function semantic_analysis_for_scc(graph: Graph, scc: List[str], errors: Errors) -> None - added:
function semantic_analysis_for_targets(state: State, nodes: List[FineGrainedDeferredNode], graph: Graph, saved_attrs: SavedAttributes) -> None - added:
function semantic_analyze_target(target: str, state: State, node: Union[MypyFile, FuncDef, OverloadedFuncDef, Decorator], active_type: Optional[TypeInfo], final_iteration: bool, patches: Patches) -> Tuple[List[str], bool, bool] - added:
variable CORE_WARMUP - added:
variable MAX_ITERATIONS - added:
variable Patches - added:
variable TargetInfo - added:
variable core_modules
- removed:
method NamedTupleAnalyzer.process_namedtuple_definition(s: AssignmentStmt, is_func_scope: bool) -> None - changed:
method NamedTupleAnalyzer.analyze_namedtuple_classdef(defn: ClassDef) -> Optional[TypeInfo] → method NamedTupleAnalyzer.analyze_namedtuple_classdef(defn: ClassDef) -> Tuple[bool, Optional[TypeInfo]] - changed:
method NamedTupleAnalyzer.build_namedtuple_typeinfo(name: str, items: List[str], types: List[Type], default_items: Mapping[str, Expression]) -> TypeInfo → method NamedTupleAnalyzer.build_namedtuple_typeinfo(name: str, items: List[str], types: List[Type], default_items: Mapping[str, Expression], line: int) -> TypeInfo - changed:
method NamedTupleAnalyzer.check_namedtuple(node: Expression, var_name: Optional[str], is_func_scope: bool) -> Optional[TypeInfo] → method NamedTupleAnalyzer.check_namedtuple(node: Expression, var_name: Optional[str], is_func_scope: bool) -> Tuple[bool, Optional[TypeInfo]] - changed:
method NamedTupleAnalyzer.check_namedtuple_classdef(defn: ClassDef) -> Tuple[List[str], List[Type], Dict[str, Expression]] → method NamedTupleAnalyzer.check_namedtuple_classdef(defn: ClassDef) -> Optional[Tuple[List[str], List[Type], Dict[str, Expression]]] - changed:
method NamedTupleAnalyzer.parse_namedtuple_args(call: CallExpr, fullname: str) -> Tuple[List[str], List[Type], List[Expression], bool] → method NamedTupleAnalyzer.parse_namedtuple_args(call: CallExpr, fullname: str) -> Optional[Tuple[List[str], List[Type], List[Expression], bool]] - changed:
method NamedTupleAnalyzer.parse_namedtuple_fields_with_types(nodes: List[Expression], context: Context) -> Tuple[List[str], List[Type], List[Expression], bool] → method NamedTupleAnalyzer.parse_namedtuple_fields_with_types(nodes: List[Expression], context: Context) -> Optional[Tuple[List[str], List[Type], List[Expression], bool]] - added:
method NamedTupleAnalyzer.save_namedtuple_body(named_tuple_info: TypeInfo) -> Iterator[None] - added:
variable SELF_TVAR_NAME
- changed:
method NewTypeAnalyzer.check_newtype_args(name: str, call: CallExpr, context: Context) -> Optional[Type] → method NewTypeAnalyzer.check_newtype_args(name: str, call: CallExpr, context: Context) -> Tuple[Optional[Type], bool] - changed:
method NewTypeAnalyzer.fail(msg: str, ctx: Context) -> None → method NewTypeAnalyzer.fail(msg: str, ctx: Context, *, code: Optional[ErrorCode]=…) -> None - changed:
method NewTypeAnalyzer.process_newtype_declaration(s: AssignmentStmt) -> None → method NewTypeAnalyzer.process_newtype_declaration(s: AssignmentStmt) -> bool
- removed:
class SemanticAnalyzerPass1(NodeVisitor[None]) - removed:
constructor SemanticAnalyzerPass1(sem: SemanticAnalyzerPass2) -> None - removed:
method SemanticAnalyzerPass1.add_symbol(name: str, node: SymbolTableNode, context: Context) -> None - removed:
method SemanticAnalyzerPass1.analyze_lvalue(lvalue: Lvalue, explicit_type: bool=…) -> None - removed:
method SemanticAnalyzerPass1.kind_by_scope() -> int - removed:
method SemanticAnalyzerPass1.process_nested_classes(outer_def: ClassDef) -> None - removed:
method SemanticAnalyzerPass1.visit_assignment_stmt(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass1.visit_block(b: Block) -> None - removed:
method SemanticAnalyzerPass1.visit_class_def(cdef: ClassDef) -> None - removed:
method SemanticAnalyzerPass1.visit_decorator(d: Decorator) -> None - removed:
method SemanticAnalyzerPass1.visit_file(file: MypyFile, fnam: str, mod_id: str, options: Options) -> None - removed:
method SemanticAnalyzerPass1.visit_for_stmt(s: ForStmt) -> None - removed:
method SemanticAnalyzerPass1.visit_func_def(func: FuncDef, decorated: bool=…) -> None - removed:
method SemanticAnalyzerPass1.visit_if_stmt(s: IfStmt) -> None - removed:
method SemanticAnalyzerPass1.visit_import(node: Import) -> None - removed:
method SemanticAnalyzerPass1.visit_import_all(node: ImportAll) -> None - removed:
method SemanticAnalyzerPass1.visit_import_from(node: ImportFrom) -> None - removed:
method SemanticAnalyzerPass1.visit_overloaded_func_def(func: OverloadedFuncDef) -> None - removed:
method SemanticAnalyzerPass1.visit_try_stmt(s: TryStmt) -> None - removed:
method SemanticAnalyzerPass1.visit_while_stmt(s: WhileStmt) -> None - removed:
method SemanticAnalyzerPass1.visit_with_stmt(s: WithStmt) -> None - added:
class SemanticAnalyzerPreAnalysis(TraverserVisitor) - added:
method SemanticAnalyzerPreAnalysis.visit_assignment_stmt(s: AssignmentStmt) -> None - added:
method SemanticAnalyzerPreAnalysis.visit_block(b: Block) -> None - added:
method SemanticAnalyzerPreAnalysis.visit_class_def(node: ClassDef) -> None - added:
method SemanticAnalyzerPreAnalysis.visit_expression_stmt(s: ExpressionStmt) -> None - added:
method SemanticAnalyzerPreAnalysis.visit_file(file: MypyFile, fnam: str, mod_id: str, options: Options) -> None - added:
method SemanticAnalyzerPreAnalysis.visit_for_stmt(s: ForStmt) -> None - added:
method SemanticAnalyzerPreAnalysis.visit_func_def(node: FuncDef) -> None - added:
method SemanticAnalyzerPreAnalysis.visit_if_stmt(s: IfStmt) -> None - added:
method SemanticAnalyzerPreAnalysis.visit_import(node: Import) -> None - added:
method SemanticAnalyzerPreAnalysis.visit_import_all(node: ImportAll) -> None - added:
method SemanticAnalyzerPreAnalysis.visit_import_from(node: ImportFrom) -> None - added:
method SemanticAnalyzerPreAnalysis.visit_return_stmt(s: ReturnStmt) -> None
- removed:
class ForwardReferenceResolver(TypeTranslator) - removed:
class SemanticAnalyzerPass3(TraverserVisitor, SemanticAnalyzerCoreInterface) - removed:
class TypeVariableChecker(TypeTranslator) - removed:
constructor ForwardReferenceResolver(fail: Callable[[str, Context], None], start: Union[Node, SymbolTableNode], warn: bool) -> None - removed:
constructor SemanticAnalyzerPass3(modules: Dict[str, MypyFile], errors: Errors, sem: SemanticAnalyzerPass2) -> None - removed:
constructor TypeVariableChecker(fail: Callable[[str, Context], None]) -> None - removed:
function calculate_return_type(expr: Expression) -> Optional[Type] - removed:
function find_fixed_callable_return(expr: Expression) -> Optional[CallableType] - removed:
function is_identity_signature(sig: Type) -> bool - removed:
method ForwardReferenceResolver.check_recursion(t: Type) -> bool - removed:
method ForwardReferenceResolver.visit_callable_type(t: CallableType) -> Type - removed:
method ForwardReferenceResolver.visit_forwardref_type(t: ForwardRef) -> Type - removed:
method ForwardReferenceResolver.visit_instance(t: Instance, from_fallback: bool=…) -> Type - removed:
method ForwardReferenceResolver.visit_literal_type(t: LiteralType) -> Type - removed:
method ForwardReferenceResolver.visit_overloaded(t: Overloaded) -> Type - removed:
method ForwardReferenceResolver.visit_tuple_type(t: TupleType) -> Type - removed:
method ForwardReferenceResolver.visit_type_type(t: TypeType) -> Type - removed:
method ForwardReferenceResolver.visit_type_var(t: TypeVarType) -> Type - removed:
method ForwardReferenceResolver.visit_typeddict_type(t: TypedDictType) -> Type - removed:
method ForwardReferenceResolver.visit_union_type(t: UnionType) -> Type - removed:
method SemanticAnalyzerPass3.accept(node: Node) -> None - removed:
method SemanticAnalyzerPass3.analyze(type: Optional[Type], node: Node, warn: bool=…) -> None - removed:
method SemanticAnalyzerPass3.analyze_symbol_table(names: SymbolTable) -> None - removed:
method SemanticAnalyzerPass3.analyze_synthetic_info(info: TypeInfo) -> None - removed:
method SemanticAnalyzerPass3.analyze_types(types: List[Type], node: Node) -> None - removed:
method SemanticAnalyzerPass3.builtin_type(name: str, args: Optional[List[Type]]=…) -> Instance - removed:
method SemanticAnalyzerPass3.check_for_omitted_generics(typ: Type) -> None - removed:
method SemanticAnalyzerPass3.dereference_module_cross_ref(node: Optional[SymbolTableNode]) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerPass3.fail(msg: str, ctx: Context, serious: bool=…, *, blocker: bool=…) -> None - removed:
method SemanticAnalyzerPass3.fail_blocker(msg: str, ctx: Context) -> None - removed:
method SemanticAnalyzerPass3.generate_type_patches(node: Node, indicator: Dict[str, bool], warn: bool) -> None - removed:
method SemanticAnalyzerPass3.lookup_fully_qualified(fullname: str) -> SymbolTableNode - removed:
method SemanticAnalyzerPass3.lookup_qualified(name: str, ctx: Context, suppress_errors: bool=…) -> Optional[SymbolTableNode] - removed:
method SemanticAnalyzerPass3.make_scoped_patch(fn: Callable[[], None]) -> Callable[[], None] - removed:
method SemanticAnalyzerPass3.make_type_analyzer(indicator: Dict[str, bool]) -> TypeAnalyserPass3 - removed:
method SemanticAnalyzerPass3.note(msg: str, ctx: Context) -> None - removed:
method SemanticAnalyzerPass3.perform_transform(node: Node, transform: Callable[[Type], Type]) -> None - removed:
method SemanticAnalyzerPass3.refresh_partial(node: Union[MypyFile, FuncDef, OverloadedFuncDef], patches: List[Tuple[int, Callable[[], None]]]) -> None - removed:
method SemanticAnalyzerPass3.refresh_top_level(file_node: MypyFile) -> None - removed:
method SemanticAnalyzerPass3.transform_types_in_lvalue(lvalue: Lvalue, transform: Callable[[Type], Type]) -> None - removed:
method SemanticAnalyzerPass3.update_imported_vars() -> None - removed:
method SemanticAnalyzerPass3.visit_assignment_stmt(s: AssignmentStmt) -> None - removed:
method SemanticAnalyzerPass3.visit_block(b: Block) -> None - removed:
method SemanticAnalyzerPass3.visit_cast_expr(e: CastExpr) -> None - removed:
method SemanticAnalyzerPass3.visit_class_def(tdef: ClassDef) -> None - removed:
method SemanticAnalyzerPass3.visit_decorator(dec: Decorator) -> None - removed:
method SemanticAnalyzerPass3.visit_file(file_node: MypyFile, fnam: str, options: Options, patches: List[Tuple[int, Callable[[], None]]]) -> None - removed:
method SemanticAnalyzerPass3.visit_for_stmt(s: ForStmt) -> None - removed:
method SemanticAnalyzerPass3.visit_func_def(fdef: FuncDef) -> None - removed:
method SemanticAnalyzerPass3.visit_overloaded_func_def(fdef: OverloadedFuncDef) -> None - removed:
method SemanticAnalyzerPass3.visit_reveal_expr(e: RevealExpr) -> None - removed:
method SemanticAnalyzerPass3.visit_type_application(e: TypeApplication) -> None - removed:
method SemanticAnalyzerPass3.visit_with_stmt(s: WithStmt) -> None - removed:
method TypeVariableChecker.check_type_var_values(type: TypeInfo, actuals: List[Type], arg_name: str, valids: List[Type], arg_number: int, context: Context) -> None - removed:
method TypeVariableChecker.visit_instance(t: Instance) -> Type
- removed:
method SemanticAnalyzerCoreInterface.dereference_module_cross_ref(node: Optional[SymbolTableNode]) -> Optional[SymbolTableNode] - removed:
variable PRIORITY_FORWARD_REF - removed:
variable PRIORITY_TYPEVAR_VALUES - changed:
function set_callable_name(sig: Type, fdef: FuncDef) -> Type → function set_callable_name(sig: Type, fdef: FuncDef) -> ProperType - changed:
method SemanticAnalyzerCoreInterface.fail(msg: str, ctx: Context, serious: bool=…, *, blocker: bool=…) -> None → method SemanticAnalyzerCoreInterface.fail(msg: str, ctx: Context, serious: bool=…, *, blocker: bool=…, code: Optional[ErrorCode]=…) -> None - changed:
method SemanticAnalyzerCoreInterface.note(msg: str, ctx: Context) -> None → method SemanticAnalyzerCoreInterface.note(msg: str, ctx: Context, *, code: Optional[ErrorCode]=…) -> None - changed:
method SemanticAnalyzerInterface.add_symbol_table_node(name: str, stnode: SymbolTableNode) -> None → method SemanticAnalyzerInterface.add_symbol_table_node(name: str, stnode: SymbolTableNode) -> bool - changed:
method SemanticAnalyzerInterface.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, report_invalid_types: bool=…, third_pass: bool=…) -> Type → method SemanticAnalyzerInterface.anal_type(t: Type, *, tvar_scope: Optional[TypeVarScope]=…, allow_tuple_literal: bool=…, allow_unbound_tvars: bool=…, report_invalid_types: bool=…) -> Optional[Type] - added:
function calculate_tuple_fallback(typ: TupleType) -> None - added:
method SemanticAnalyzerCoreInterface.defer() -> None - added:
method SemanticAnalyzerCoreInterface.final_iteration() -> bool - added:
method SemanticAnalyzerCoreInterface.is_incomplete_namespace(fullname: str) -> bool - added:
method SemanticAnalyzerCoreInterface.lookup_fully_qualified_or_none(name: str) -> Optional[SymbolTableNode] - added:
method SemanticAnalyzerCoreInterface.record_incomplete_ref() -> None - added:
method SemanticAnalyzerInterface.add_symbol(name: str, node: SymbolNode, context: Context, module_public: bool=…, module_hidden: bool=…, can_defer: bool=…) -> bool - added:
method SemanticAnalyzerInterface.add_symbol_skip_local(name: str, node: SymbolNode) -> None - added:
method SemanticAnalyzerInterface.current_symbol_table() -> SymbolTable
- added:
class TypeArgumentAnalyzer(MixedTraverserVisitor) - added:
constructor TypeArgumentAnalyzer(errors: Errors, options: Options, is_typeshed_file: bool) -> None - added:
method TypeArgumentAnalyzer.check_type_var_values(type: TypeInfo, actuals: List[Type], arg_name: str, valids: List[Type], arg_number: int, context: Context) -> None - added:
method TypeArgumentAnalyzer.fail(msg: str, context: Context, *, code: Optional[ErrorCode]=…) -> None - added:
method TypeArgumentAnalyzer.visit_block(o: Block) -> None - added:
method TypeArgumentAnalyzer.visit_class_def(defn: ClassDef) -> None - added:
method TypeArgumentAnalyzer.visit_func(defn: FuncItem) -> None - added:
method TypeArgumentAnalyzer.visit_instance(t: Instance) -> None - added:
method TypeArgumentAnalyzer.visit_mypy_file(o: MypyFile) -> None
- removed:
method TypedDictAnalyzer.check_typeddict_classdef(defn: ClassDef, oldfields: Optional[List[str]]=…) -> Tuple[List[str], List[Type], Set[str]] - removed:
method TypedDictAnalyzer.process_typeddict_definition(s: AssignmentStmt, is_func_scope: bool) -> None - changed:
method TypedDictAnalyzer.analyze_typeddict_classdef(defn: ClassDef) -> bool → method TypedDictAnalyzer.analyze_typeddict_classdef(defn: ClassDef) -> Tuple[bool, Optional[TypeInfo]] - changed:
method TypedDictAnalyzer.check_typeddict(node: Expression, var_name: Optional[str], is_func_scope: bool) -> Optional[TypeInfo] → method TypedDictAnalyzer.check_typeddict(node: Expression, var_name: Optional[str], is_func_scope: bool) -> Tuple[bool, Optional[TypeInfo]] - changed:
method TypedDictAnalyzer.fail_typeddict_arg(message: str, context: Context) -> Tuple[List[str], List[Type], bool, bool] → method TypedDictAnalyzer.fail_typeddict_arg(message: str, context: Context) -> Tuple[str, List[str], List[Type], bool, bool] - changed:
method TypedDictAnalyzer.parse_typeddict_args(call: CallExpr) -> Tuple[List[str], List[Type], bool, bool] → method TypedDictAnalyzer.parse_typeddict_args(call: CallExpr) -> Optional[Tuple[str, List[str], List[Type], bool, bool]] - changed:
method TypedDictAnalyzer.parse_typeddict_fields_with_types(dict_items: List[Tuple[Optional[Expression], Expression]], context: Context) -> Tuple[List[str], List[Type], bool] → method TypedDictAnalyzer.parse_typeddict_fields_with_types(dict_items: List[Tuple[Optional[Expression], Expression]], context: Context) -> Optional[Tuple[List[str], List[Type], bool]] - added:
method TypedDictAnalyzer.analyze_typeddict_classdef_fields(defn: ClassDef, oldfields: Optional[List[str]]=…) -> Tuple[Optional[List[str]], List[Type], Set[str]]
- added:
method TypeReplaceVisitor.visit_erased_type(t: ErasedType) -> None - added:
method TypeReplaceVisitor.visit_placeholder_type(t: PlaceholderType) -> None
- removed:
function is_self_member_ref(memberexpr: MemberExpr) -> bool - removed:
method NodeStripVisitor.is_duplicate_attribute_def(node: MemberExpr) -> bool - removed:
method NodeStripVisitor.strip_class_attr(name: str) -> None - removed:
method NodeStripVisitor.strip_type_info(info: TypeInfo) -> List[SymbolNode] - removed:
method NodeStripVisitor.visit_import(node: Import) -> None - removed:
method NodeStripVisitor.visit_with_stmt(node: WithStmt) -> None - changed:
constructor NodeStripVisitor() -> None → constructor NodeStripVisitor(saved_class_attrs: SavedAttributes) -> None - changed:
function strip_target(node: Union[MypyFile, FuncDef, OverloadedFuncDef]) -> None → function strip_target(node: Union[MypyFile, FuncDef, OverloadedFuncDef], saved_attrs: SavedAttributes) -> None - added:
method NodeStripVisitor.save_implicit_attributes(node: ClassDef) -> None - added:
variable SavedAttributes
- removed:
class NodeStripVisitor(TraverserVisitor) - removed:
constructor NodeStripVisitor(saved_class_attrs: SavedAttributes) -> None - removed:
function strip_target_new(node: Union[MypyFile, FuncDef, OverloadedFuncDef], saved_attrs: SavedAttributes) -> None - removed:
method NodeStripVisitor.enter_class(info: TypeInfo) -> Iterator[None] - removed:
method NodeStripVisitor.enter_method(info: TypeInfo) -> Iterator[None] - removed:
method NodeStripVisitor.process_lvalue_in_method(lvalue: Node) -> None - removed:
method NodeStripVisitor.save_implicit_attributes(node: ClassDef) -> None - removed:
method NodeStripVisitor.strip_file_top_level(file_node: MypyFile) -> None - removed:
method NodeStripVisitor.strip_ref_expr(node: RefExpr) -> None - removed:
method NodeStripVisitor.visit_assignment_stmt(node: AssignmentStmt) -> None - removed:
method NodeStripVisitor.visit_block(b: Block) -> None - removed:
method NodeStripVisitor.visit_call_expr(node: CallExpr) -> None - removed:
method NodeStripVisitor.visit_class_def(node: ClassDef) -> None - removed:
method NodeStripVisitor.visit_decorator(node: Decorator) -> None - removed:
method NodeStripVisitor.visit_for_stmt(node: ForStmt) -> None - removed:
method NodeStripVisitor.visit_func_def(node: FuncDef) -> None - removed:
method NodeStripVisitor.visit_import_all(node: ImportAll) -> None - removed:
method NodeStripVisitor.visit_import_from(node: ImportFrom) -> None - removed:
method NodeStripVisitor.visit_index_expr(node: IndexExpr) -> None - removed:
method NodeStripVisitor.visit_member_expr(node: MemberExpr) -> None - removed:
method NodeStripVisitor.visit_name_expr(node: NameExpr) -> None - removed:
method NodeStripVisitor.visit_overloaded_func_def(node: OverloadedFuncDef) -> None - removed:
method NodeStripVisitor.visit_super_expr(node: SuperExpr) -> None - removed:
variable SavedAttributes
- removed:
method TypeTriggersVisitor.visit_forwardref_type(typ: ForwardRef) -> List[str] - changed:
method DependencyVisitor.add_operator_method_dependency_for_type(typ: Type, method: str) -> None → method DependencyVisitor.add_operator_method_dependency_for_type(typ: ProperType, method: str) -> None - added:
function merge_dependencies(new_deps: Dict[str, Set[str]], deps: Dict[str, Set[str]]) -> None - added:
method TypeTriggersVisitor.visit_erased_type(t: ErasedType) -> List[str]
- added:
method SubexpressionFinder.visit_assignment_expr(e: AssignmentExpr) -> None
- removed:
function get_all_dependencies(manager: BuildManager, graph: Dict[str, State]) -> Dict[str, Set[str]] - removed:
function merge_dependencies(new_deps: Dict[str, Set[str]], deps: Dict[str, Set[str]]) -> None - removed:
function re_analyze_nodes(file_node: MypyFile, nodes: List[FineGrainedDeferredNode], manager: BuildManager, options: Options) -> None - added:
function fix_fg_dependencies(manager: BuildManager, deps: Dict[str, Set[str]]) -> None
- removed:
method HasAnyQuery.visit_instance(t: Instance) -> bool - changed:
constructor StatisticsVisitor(inferred: bool, filename: str, typemap: Optional[Dict[Expression, Type]]=…, all_nodes: bool=…, visit_untyped_defs: bool=…) -> None → constructor StatisticsVisitor(inferred: bool, filename: str, modules: Dict[str, MypyFile], typemap: Optional[Dict[Expression, Type]]=…, all_nodes: bool=…, visit_untyped_defs: bool=…) -> None - changed:
function dump_type_stats(tree: MypyFile, path: str, inferred: bool=…, typemap: Optional[Dict[Expression, Type]]=…) -> None → function dump_type_stats(tree: MypyFile, path: str, modules: Dict[str, MypyFile], inferred: bool=…, typemap: Optional[Dict[Expression, Type]]=…) -> None - added:
method StatisticsVisitor.enter_scope(o: FuncDef) -> Iterator[None] - added:
method StatisticsVisitor.is_checked_scope() -> bool - added:
method StatisticsVisitor.process_import(imp: Union[ImportFrom, ImportAll]) -> None - added:
method StatisticsVisitor.record_call_target_precision(o: CallExpr) -> None - added:
method StatisticsVisitor.record_callable_target_precision(o: CallExpr, callee: CallableType) -> None - added:
method StatisticsVisitor.record_precise_if_checked_scope(node: Node) -> None - added:
method StatisticsVisitor.visit_assignment_expr(o: AssignmentExpr) -> None - added:
method StatisticsVisitor.visit_break_stmt(o: BreakStmt) -> None - added:
method StatisticsVisitor.visit_bytes_expr(o: BytesExpr) -> None - added:
method StatisticsVisitor.visit_complex_expr(o: ComplexExpr) -> None - added:
method StatisticsVisitor.visit_continue_stmt(o: ContinueStmt) -> None - added:
method StatisticsVisitor.visit_ellipsis(o: EllipsisExpr) -> None - added:
method StatisticsVisitor.visit_expression_stmt(o: ExpressionStmt) -> None - added:
method StatisticsVisitor.visit_float_expr(o: FloatExpr) -> None - added:
method StatisticsVisitor.visit_import(imp: Import) -> None - added:
method StatisticsVisitor.visit_import_all(imp: ImportAll) -> None - added:
method StatisticsVisitor.visit_import_from(imp: ImportFrom) -> None - added:
method StatisticsVisitor.visit_int_expr(o: IntExpr) -> None - added:
method StatisticsVisitor.visit_mypy_file(o: MypyFile) -> None - added:
method StatisticsVisitor.visit_pass_stmt(o: PassStmt) -> None - added:
method StatisticsVisitor.visit_str_expr(o: StrExpr) -> None - added:
method StatisticsVisitor.visit_unicode_expr(o: UnicodeExpr) -> None
- added:
method StrConv.visit_assignment_expr(o: mypy.nodes.AssignmentExpr) -> str
- removed:
variable Analyzer - added:
method AnnotationPrinter.visit_any(t: AnyType) -> str - added:
method StubGenerator.add_decorator(string: str) -> None - added:
method StubGenerator.clear_decorators() -> None
- changed:
constructor ProperSubtypeVisitor(right: Type, *, ignore_promotions: bool=…, erase_instances: bool=…) -> None → constructor ProperSubtypeVisitor(right: ProperType, *, ignore_promotions: bool=…, erase_instances: bool=…) -> None - changed:
constructor SubtypeVisitor(right: Type, *, ignore_type_params: bool, ignore_pos_arg_names: bool=…, ignore_declared_variance: bool=…, ignore_promotions: bool=…) -> None → constructor SubtypeVisitor(right: ProperType, *, ignore_type_params: bool, ignore_pos_arg_names: bool=…, ignore_declared_variance: bool=…, ignore_promotions: bool=…) -> None - changed:
function unify_generic_callable(type: CallableType, target: CallableType, ignore_return: bool, return_constraint_direction: int=…) -> Optional[CallableType] → function unify_generic_callable(type: CallableType, target: CallableType, ignore_return: bool, return_constraint_direction: Optional[int]=…) -> Optional[CallableType]
- removed:
function callable_has_any(t: CallableType) -> int - removed:
method SuggestionEngine.format_callable(cur_module: Optional[str], is_method: bool, typ: CallableType) -> str - changed:
constructor SuggestionEngine(fgmanager: FineGrainedBuildManager, json: bool, no_errors: bool=…, no_any: bool=…, try_text: bool=…) -> None → constructor SuggestionEngine(fgmanager: FineGrainedBuildManager, *, json: bool, no_errors: bool=…, no_any: bool=…, try_text: bool=…, flex_any: Optional[float]=…) -> None - changed:
method SuggestionEngine.filter_options(guesses: List[CallableType]) -> List[CallableType] → method SuggestionEngine.filter_options(guesses: List[CallableType], is_method: bool) -> List[CallableType] - changed:
method SuggestionEngine.get_suggestion(function: str) -> str → method SuggestionEngine.get_suggestion(function: str) -> PyAnnotateSignature - changed:
method SuggestionEngine.json_suggestion(function: str, suggestion: str) -> str → method SuggestionEngine.json_suggestion(function: str, suggestion: PyAnnotateSignature) -> str - changed:
method SuggestionEngine.score_type(t: Type) -> int → method SuggestionEngine.score_type(t: Type, arg_pos: bool) -> int - changed:
method SuggestionEngine.try_type(func: FuncDef, typ: Type) -> List[str] → method SuggestionEngine.try_type(func: FuncDef, typ: ProperType) -> List[str] - added:
function any_score_callable(t: CallableType, is_method: bool) -> float - added:
function any_score_type(ut: Type, arg_pos: bool) -> float - added:
function is_tricky_callable(t: CallableType) -> bool - added:
method SuggestionEngine.format_signature(sig: PyAnnotateSignature) -> str - added:
method SuggestionEngine.pyannotate_signature(cur_module: Optional[str], is_method: bool, typ: CallableType) -> PyAnnotateSignature - added:
method TypeFormatter.visit_callable_type(t: CallableType) -> str - added:
method TypeFormatter.visit_union_type(t: UnionType) -> str - added:
variable PyAnnotateSignature
- added:
method TraverserVisitor.visit_assignment_expr(o: AssignmentExpr) -> None
- added:
method TransformVisitor.visit_assignment_expr(node: AssignmentExpr) -> AssignmentExpr
- removed:
method TypeQuery.visit_forwardref_type(t: ForwardRef) -> T - removed:
method TypeTranslator.visit_forwardref_type(t: ForwardRef) -> Type - removed:
method TypeTranslator.visit_placeholder_type(t: PlaceholderType) -> Type - removed:
method TypeVisitor.visit_forwardref_type(t: ForwardRef) -> T - removed:
method TypeVisitor.visit_placeholder_type(t: PlaceholderType) -> T - changed:
method TypeTranslator.translate_types(types: List[Type]) -> List[Type] → method TypeTranslator.translate_types(types: Iterable[Type]) -> List[Type] - added:
method SyntheticTypeVisitor.visit_placeholder_type(t: PlaceholderType) -> T - added:
method TypeVisitor.visit_type_alias_type(t: TypeAliasType) -> T
- removed:
class TypeAnalyserPass3(TypeVisitor[None]) - removed:
constructor TypeAnalyserPass3(api: SemanticAnalyzerCoreInterface, plugin: Plugin, options: Options, is_typeshed_stub: bool, indicator: Dict[str, bool], patches: List[Tuple[int, Callable[[], None]]]) -> None - removed:
function replace_alias_tvars(tp: Type, vars: List[str], subs: List[Type], newline: int, newcolumn: int) -> Type - removed:
method TypeAnalyser.analyze_unbound_type_with_type_info(t: UnboundType, info: TypeInfo) -> Type - removed:
method TypeAnalyser.visit_forwardref_type(t: ForwardRef) -> Type - removed:
method TypeAnalyserPass3.anal_type(tp: UnboundType) -> Type - removed:
method TypeAnalyserPass3.visit_any(t: AnyType) -> None - removed:
method TypeAnalyserPass3.visit_callable_type(t: CallableType) -> None - removed:
method TypeAnalyserPass3.visit_deleted_type(t: DeletedType) -> None - removed:
method TypeAnalyserPass3.visit_forwardref_type(t: ForwardRef) -> None - removed:
method TypeAnalyserPass3.visit_instance(t: Instance) -> None - removed:
method TypeAnalyserPass3.visit_literal_type(t: LiteralType) -> None - removed:
method TypeAnalyserPass3.visit_none_type(t: NoneType) -> None - removed:
method TypeAnalyserPass3.visit_overloaded(t: Overloaded) -> None - removed:
method TypeAnalyserPass3.visit_partial_type(t: PartialType) -> None - removed:
method TypeAnalyserPass3.visit_star_type(t: StarType) -> None - removed:
method TypeAnalyserPass3.visit_tuple_type(t: TupleType) -> None - removed:
method TypeAnalyserPass3.visit_type_list(t: TypeList) -> None - removed:
method TypeAnalyserPass3.visit_type_type(t: TypeType) -> None - removed:
method TypeAnalyserPass3.visit_type_var(t: TypeVarType) -> None - removed:
method TypeAnalyserPass3.visit_typeddict_type(t: TypedDictType) -> None - removed:
method TypeAnalyserPass3.visit_unbound_type(t: UnboundType) -> None - removed:
method TypeAnalyserPass3.visit_uninhabited_type(t: UninhabitedType) -> None - removed:
method TypeAnalyserPass3.visit_union_type(t: UnionType) -> None - changed:
constructor TypeAnalyser(api: SemanticAnalyzerCoreInterface, tvar_scope: Optional[TypeVarScope], plugin: Plugin, options: Options, is_typeshed_stub: bool, *, defining_alias: bool=…, allow_tuple_literal: bool=…, allow_unnormalized: bool=…, allow_unbound_tvars: bool=…, report_invalid_types: bool=…, third_pass: bool=…) -> None → constructor TypeAnalyser(api: SemanticAnalyzerCoreInterface, tvar_scope: TypeVarScope, plugin: Plugin, options: Options, is_typeshed_stub: bool, *, defining_alias: bool=…, allow_tuple_literal: bool=…, allow_unnormalized: bool=…, allow_unbound_tvars: bool=…, allow_placeholder: bool=…, report_invalid_types: bool=…) -> None - changed:
function analyze_type_alias(node: Expression, api: SemanticAnalyzerCoreInterface, tvar_scope: TypeVarScope, plugin: Plugin, options: Options, is_typeshed_stub: bool, allow_unnormalized: bool=…, in_dynamic_func: bool=…, global_scope: bool=…) -> Optional[Tuple[Type, Set[str]]] → function analyze_type_alias(node: Expression, api: SemanticAnalyzerCoreInterface, tvar_scope: TypeVarScope, plugin: Plugin, options: Options, is_typeshed_stub: bool, allow_unnormalized: bool=…, allow_placeholder: bool=…, in_dynamic_func: bool=…, global_scope: bool=…) -> Optional[Tuple[Type, Set[str]]] - changed:
function expand_type_alias(target: Type, alias_tvars: List[str], args: List[Type], fail: Callable[[str, Context], None], no_args: bool, ctx: Context) -> Type → function expand_type_alias(target: Type, alias_tvars: List[str], args: List[Type], fail: FailCallback, no_args: bool, ctx: Context, *, unexpanded_type: Optional[Type]=…, disallow_any: bool=…) -> Type - changed:
function fix_instance(t: Instance, fail: Callable[[str, Context], None]) -> None → function fix_instance(t: Instance, fail: FailCallback, disallow_any: bool, use_generic_error: bool=…, unexpanded_type: Optional[Type]=…) -> None - changed:
function set_any_tvars(tp: Type, vars: List[str], newline: int, newcolumn: int, implicit: bool=…) -> Type → function set_any_tvars(tp: Type, vars: List[str], newline: int, newcolumn: int, *, from_error: bool=…, disallow_any: bool=…, fail: Optional[FailCallback]=…, unexpanded_type: Optional[Type]=…) -> ProperType - changed:
method TypeAnalyser.anal_array(a: List[Type], nested: bool=…) -> List[Type] → method TypeAnalyser.anal_array(a: Iterable[Type], nested: bool=…) -> List[Type] - changed:
method TypeAnalyser.fail(msg: str, ctx: Context) -> None → method TypeAnalyser.fail(msg: str, ctx: Context, *, code: Optional[ErrorCode]=…) -> None - added:
class InstanceFixer(TypeTraverserVisitor) - added:
constructor InstanceFixer(fail: FailCallback) -> None - added:
function fix_instance_types(t: Type, fail: FailCallback) -> None - added:
function get_omitted_any(disallow_any: bool, fail: FailCallback, typ: Type, fullname: Optional[str]=…, unexpanded_type: Optional[Type]=…) -> AnyType - added:
method InstanceFixer.visit_instance(typ: Instance) -> None - added:
method TypeAnalyser.analyze_type_with_type_info(info: TypeInfo, args: List[Type], ctx: Context) -> Type - added:
method TypeAnalyser.cannot_resolve_type(t: UnboundType) -> None - added:
method TypeAnalyser.get_omitted_any(typ: Type, fullname: Optional[str]=…) -> AnyType - added:
method TypeAnalyser.note(msg: str, ctx: Context, *, code: Optional[ErrorCode]=…) -> None - added:
method TypeAnalyser.visit_erased_type(t: ErasedType) -> Type - added:
method TypeAnalyser.visit_overloaded(t: Overloaded) -> Type - added:
method TypeAnalyser.visit_placeholder_type(t: PlaceholderType) -> Type - added:
variable FailCallback
- added:
function bind_self(method: F, original_type: Optional[Type]=…, is_classmethod: bool=…) -> F - added:
function callable_corresponding_argument(typ: CallableType, model: FormalArgument) -> Optional[FormalArgument] - added:
function class_callable(init_type: CallableType, info: TypeInfo, type_type: Instance, special_sig: Optional[str], is_new: bool) -> CallableType - added:
function erase_def_to_union_or_bound(tdef: TypeVarDef) -> Type - added:
function erase_to_bound(t: Type) -> Type - added:
function erase_to_union_or_bound(typ: TypeVarType) -> ProperType - added:
function false_only(t: Type) -> ProperType - added:
function make_simplified_union(items: Sequence[Type], line: int=…, column: int=…) -> ProperType - added:
function map_type_from_supertype(typ: Type, sub_info: TypeInfo, super_info: TypeInfo) -> Type - added:
function true_only(t: Type) -> ProperType - added:
function true_or_false(t: Type) -> ProperType - added:
function type_object_type_from_function(signature: FunctionLike, info: TypeInfo, def_info: TypeInfo, fallback: Instance, is_new: bool) -> FunctionLike - added:
variable F
- removed:
class ForwardRef(Type) - removed:
constructor ForwardRef(unbound: UnboundType) -> None - removed:
function false_only(t: Type) -> Type - removed:
function true_only(t: Type) -> Type - removed:
function true_or_false(t: Type) -> Type - removed:
method CallableType.corresponding_argument(model: FormalArgument) -> Optional[FormalArgument] - removed:
method ForwardRef.accept(visitor: TypeVisitor[T]) -> T - removed:
method ForwardRef.resolve(resolved: Type) -> None - removed:
method ForwardRef.serialize() -> str - removed:
method TypeStrVisitor.visit_forwardref_type(t: ForwardRef) -> str - removed:
method TypeVarDef.erase_to_union_or_bound() -> Type - removed:
method TypeVarType.erase_to_union_or_bound() -> Type - removed:
property ForwardRef.resolved -> Optional[Type] - removed:
property ForwardRef.unbound -> UnboundType - removed:
static method UnionType.make_simplified_union(items: Sequence[Type], line: int=…, column: int=…) -> Type - changed:
class AnyType(Type) → class AnyType(ProperType) - changed:
class CallableArgument(Type) → class CallableArgument(ProperType) - changed:
class DeletedType(Type) → class DeletedType(ProperType) - changed:
class EllipsisType(Type) → class EllipsisType(ProperType) - changed:
class ErasedType(Type) → class ErasedType(ProperType) - changed:
class FunctionLike(Type) → class FunctionLike(ProperType) - changed:
class Instance(Type) → class Instance(ProperType) - changed:
class LiteralType(Type) → class LiteralType(ProperType) - changed:
class NoneType(Type) → class NoneType(ProperType) - changed:
class PartialType(Type) → class PartialType(ProperType) - changed:
class PlaceholderType(Type) → class PlaceholderType(ProperType) - changed:
class RawExpressionType(Type) → class RawExpressionType(ProperType) - changed:
class StarType(Type) → class StarType(ProperType) - changed:
class TupleType(Type) → class TupleType(ProperType) - changed:
class TypeList(Type) → class TypeList(ProperType) - changed:
class TypeType(Type) → class TypeType(ProperType) - changed:
class TypeVarType(Type) → class TypeVarType(ProperType) - changed:
class TypedDictType(Type) → class TypedDictType(ProperType) - changed:
class UnboundType(Type) → class UnboundType(ProperType) - changed:
class UninhabitedType(Type) → class UninhabitedType(ProperType) - changed:
class UnionType(Type) → class UnionType(ProperType) - changed:
constructor CallableType(arg_types: List[Type], arg_kinds: List[int], arg_names: Sequence[Optional[str]], ret_type: Type, fallback: Instance, name: Optional[str]=…, definition: Optional[SymbolNode]=…, variables: Optional[List[TypeVarDef]]=…, line: int=…, column: int=…, is_ellipsis_args: bool=…, implicit: bool=…, special_sig: Optional[str]=…, from_type_type: bool=…, bound_args: Sequence[Optional[T… → constructor CallableType(arg_types: Sequence[Type], arg_kinds: List[int], arg_names: Sequence[Optional[str]], ret_type: Type, fallback: Instance, name: Optional[str]=…, definition: Optional[SymbolNode]=…, variables: Optional[List[TypeVarDef]]=…, line: int=…, column: int=…, is_ellipsis_args: bool=…, implicit: bool=…, special_sig: Optional[str]=…, from_type_type: bool=…, bound_args: Sequence[Option… - changed:
constructor UnionType(items: List[Type], line: int=…, column: int=…) -> None → constructor UnionType(items: Sequence[Type], line: int=…, column: int=…) -> None - changed:
function copy_type(t: Type) -> Type → function copy_type(t: TP) -> TP - changed:
function flatten_nested_unions(types: Iterable[Type]) -> List[Type] → function flatten_nested_unions(types: Iterable[Type]) -> List[ProperType] - changed:
function remove_optional(typ: Type) -> Type → function remove_optional(typ: Type) -> ProperType - changed:
function set_typ_args(tp: Type, new_args: List[Type], line: int=…, column: int=…) -> Type → function set_typ_args(tp: Type, new_args: List[Type], line: int=…, column: int=…) -> ProperType - changed:
function strip_type(typ: Type) -> Type → function strip_type(typ: Type) -> ProperType - changed:
function union_items(typ: Type) -> List[Type] → function union_items(typ: Type) -> List[ProperType] - changed:
method CallableType.copy_modified(arg_types: Bogus[List[Type]]=…, arg_kinds: Bogus[List[int]]=…, arg_names: Bogus[List[Optional[str]]]=…, ret_type: Bogus[Type]=…, fallback: Bogus[Instance]=…, name: Bogus[Optional[str]]=…, definition: Bogus[SymbolNode]=…, variables: Bogus[List[TypeVarDef]]=…, line: Bogus[int]=…, column: Bogus[int]=…, is_ellipsis_args: Bogus[bool]=…, implicit: Bogus[bool]=…, specia… → method CallableType.copy_modified(arg_types: Bogus[Sequence[Type]]=…, arg_kinds: Bogus[List[int]]=…, arg_names: Bogus[List[Optional[str]]]=…, ret_type: Bogus[Type]=…, fallback: Bogus[Instance]=…, name: Bogus[Optional[str]]=…, definition: Bogus[SymbolNode]=…, variables: Bogus[List[TypeVarDef]]=…, line: Bogus[int]=…, column: Bogus[int]=…, is_ellipsis_args: Bogus[bool]=…, implicit: Bogus[bool]=…, sp… - changed:
method TypeStrVisitor.list_str(a: List[Type]) -> str → method TypeStrVisitor.list_str(a: Iterable[Type]) -> str - changed:
method UnionType.relevant_items() -> List[Type] → method UnionType.relevant_items() -> List[ProperType] - changed:
static method TypeType.make_normalized(item: Type, *, line: int=…, column: int=…) -> Type → static method TypeType.make_normalized(item: Type, *, line: int=…, column: int=…) -> ProperType - changed:
static method UnionType.make_union(items: List[Type], line: int=…, column: int=…) -> Type → static method UnionType.make_union(items: List[ProperType], line: int=…, column: int=…) -> ProperType | (items: List[Type], line: int=…, column: int=…) -> Type - added:
class ProperType(Type) - added:
class TypeAliasType(Type) - added:
constructor TypeAliasType(alias: Optional[mypy.nodes.TypeAlias], args: List[Type], line: int=…, column: int=…) -> None - added:
function get_proper_type(typ: None) -> None | (typ: Type) -> ProperType - added:
function get_proper_types(it: Iterable[Type]) -> List[ProperType] | (typ: Iterable[Optional[Type]]) -> List[Optional[ProperType]] - added:
function is_literal_type(typ: ProperType, fallback_fullname: str, value: LiteralValue) -> bool - added:
function replace_alias_tvars(tp: Type, vars: List[str], subs: List[Type], newline: int, newcolumn: int) -> ProperType - added:
method TypeAliasType.accept(visitor: TypeVisitor[T]) -> T - added:
method TypeAliasType.copy_modified(*, args: Optional[List[Type]]=…) -> TypeAliasType - added:
method TypeAliasType.expand_all_if_possible() -> Optional[ProperType] - added:
method TypeAliasType.serialize() -> JsonDict - added:
method TypeStrVisitor.visit_type_alias_type(t: TypeAliasType) -> str - added:
property TypeAliasType.can_be_false -> bool - added:
property TypeAliasType.can_be_true -> bool - added:
static method TypeAliasType.deserialize(data: JsonDict) -> TypeAliasType - added:
variable TP
- removed:
method TypeTraverserVisitor.visit_forwardref_type(t: ForwardRef) -> None
- added:
class FancyFormatter - added:
constructor FancyFormatter(f_out: IO[str], f_err: IO[str], show_error_codes: bool) -> None - added:
function count_stats(errors: List[str]) -> Tuple[int, int] - added:
function get_terminal_width() -> int - added:
function read_py_file(path: str, read: Callable[[str], bytes], pyversion: Tuple[int, int]) -> Optional[List[str]] - added:
function soft_wrap(msg: str, max_len: int, first_offset: int, num_indent: int=…) -> str - added:
function split_words(msg: str) -> List[str] - added:
function trim_source_line(line: str, max_len: int, col: int, min_width: int) -> Tuple[str, int] - added:
method FancyFormatter.colorize(error: str) -> str - added:
method FancyFormatter.fit_in_terminal(messages: List[str], fixed_terminal_width: Optional[int]=…) -> List[str] - added:
method FancyFormatter.format_error(n_errors: int, n_files: int, n_sources: int, use_color: bool=…) -> str - added:
method FancyFormatter.format_success(n_sources: int, use_color: bool=…) -> str - added:
method FancyFormatter.highlight_quote_groups(msg: str) -> str - added:
method FancyFormatter.initialize_unix_colors() -> bool - added:
method FancyFormatter.initialize_win_colors() -> bool - added:
method FancyFormatter.style(text: str, color: Literal['red', 'green', 'blue', 'yellow', 'none'], bold: bool=…, underline: bool=…, dim: bool=…) -> str - added:
method FancyFormatter.underline_link(note: str) -> str - added:
variable CURSES_ENABLED - added:
variable DEFAULT_COLUMNS - added:
variable DEFAULT_SOURCE_OFFSET - added:
variable MINIMUM_WIDTH - added:
variable MINIMUM_WINDOWS_BUILD_VT100 - added:
variable MINIMUM_WINDOWS_MAJOR_VT100 - added:
variable PLAIN_ANSI_DIM
- added:
method ExpressionVisitor.visit_assignment_expr(o: mypy.nodes.AssignmentExpr) -> T - added:
method NodeVisitor.visit_assignment_expr(o: mypy.nodes.AssignmentExpr) -> T
- added:
class AnalysisResult(Generic[T]) - added:
class BaseAnalysisVisitor(OpVisitor[GenAndKill]) - added:
class BorrowedArgumentsVisitor(BaseAnalysisVisitor) - added:
class CFG - added:
class DefinedVisitor(BaseAnalysisVisitor) - added:
class LivenessVisitor(BaseAnalysisVisitor) - added:
class UndefinedVisitor(BaseAnalysisVisitor) - added:
constructor AnalysisResult(before: AnalysisDict[T], after: AnalysisDict[T]) -> None - added:
constructor BorrowedArgumentsVisitor(args: Set[Value]) -> None - added:
constructor CFG(succ: Dict[BasicBlock, List[BasicBlock]], pred: Dict[BasicBlock, List[BasicBlock]], exits: Set[BasicBlock]) -> None - added:
function analyze_borrowed_arguments(blocks: List[BasicBlock], cfg: CFG, borrowed: Set[Value]) -> AnalysisResult[Value] - added:
function analyze_live_regs(blocks: List[BasicBlock], cfg: CFG) -> AnalysisResult[Value] - added:
function analyze_maybe_defined_regs(blocks: List[BasicBlock], cfg: CFG, initial_defined: Set[Value]) -> AnalysisResult[Value] - added:
function analyze_must_defined_regs(blocks: List[BasicBlock], cfg: CFG, initial_defined: Set[Value], regs: Iterable[Value]) -> AnalysisResult[Value] - added:
function analyze_undefined_regs(blocks: List[BasicBlock], cfg: CFG, env: Environment, initial_defined: Set[Value]) -> AnalysisResult[Value] - added:
function cleanup_cfg(blocks: List[BasicBlock]) -> None - added:
function get_cfg(blocks: List[BasicBlock]) -> CFG - added:
function get_real_target(label: BasicBlock) -> BasicBlock - added:
function run_analysis(blocks: List[BasicBlock], cfg: CFG, gen_and_kill: OpVisitor[Tuple[Set[T], Set[T]]], initial: Set[T], kind: int, backward: bool, universe: Optional[Set[T]]=…) -> AnalysisResult[T] - added:
method BaseAnalysisVisitor.visit_assign(op: Assign) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_box(op: Box) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_call(op: Call) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_cast(op: Cast) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_get_attr(op: GetAttr) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_goto(op: Goto) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_init_static(op: InitStatic) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_load_error_value(op: LoadErrorValue) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_load_int(op: LoadInt) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_load_static(op: LoadStatic) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_method_call(op: MethodCall) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_primitive_op(op: PrimitiveOp) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_raise_standard_error(op: RaiseStandardError) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_register_op(op: RegisterOp) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_set_attr(op: SetAttr) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_tuple_get(op: TupleGet) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_tuple_set(op: TupleSet) -> GenAndKill - added:
method BaseAnalysisVisitor.visit_unbox(op: Unbox) -> GenAndKill - added:
method BorrowedArgumentsVisitor.visit_assign(op: Assign) -> GenAndKill - added:
method BorrowedArgumentsVisitor.visit_branch(op: Branch) -> GenAndKill - added:
method BorrowedArgumentsVisitor.visit_register_op(op: RegisterOp) -> GenAndKill - added:
method BorrowedArgumentsVisitor.visit_return(op: Return) -> GenAndKill - added:
method BorrowedArgumentsVisitor.visit_unreachable(op: Unreachable) -> GenAndKill - added:
method DefinedVisitor.visit_assign(op: Assign) -> GenAndKill - added:
method DefinedVisitor.visit_branch(op: Branch) -> GenAndKill - added:
method DefinedVisitor.visit_register_op(op: RegisterOp) -> GenAndKill - added:
method DefinedVisitor.visit_return(op: Return) -> GenAndKill - added:
method DefinedVisitor.visit_unreachable(op: Unreachable) -> GenAndKill - added:
method LivenessVisitor.visit_assign(op: Assign) -> GenAndKill - added:
method LivenessVisitor.visit_branch(op: Branch) -> GenAndKill - added:
method LivenessVisitor.visit_register_op(op: RegisterOp) -> GenAndKill - added:
method LivenessVisitor.visit_return(op: Return) -> GenAndKill - added:
method LivenessVisitor.visit_unreachable(op: Unreachable) -> GenAndKill - added:
method UndefinedVisitor.visit_assign(op: Assign) -> GenAndKill - added:
method UndefinedVisitor.visit_branch(op: Branch) -> GenAndKill - added:
method UndefinedVisitor.visit_register_op(op: RegisterOp) -> GenAndKill - added:
method UndefinedVisitor.visit_return(op: Return) -> GenAndKill - added:
method UndefinedVisitor.visit_unreachable(op: Unreachable) -> GenAndKill - added:
variable AnalysisDict - added:
variable GenAndKill - added:
variable MAYBE_ANALYSIS - added:
variable MUST_ANALYSIS - added:
variable T
- added:
function build_single_module(sources: List[BuildSource], cfiles: List[str], extra_compile_args: List[str]) -> List[Extension] - added:
function build_using_shared_lib(sources: List[BuildSource], lib_name: str, cfiles: List[str], build_dir: str, extra_compile_args: List[str]) -> List[Extension] - added:
function fail(message: str) -> NoReturn - added:
function generate_c(sources: List[BuildSource], options: Options, shared_lib_name: Optional[str], compiler_options: Optional[CompilerOptions]=…) -> Tuple[List[Tuple[str, str]], str] - added:
function generate_c_extension_shim(full_module_name: str, module_name: str, dirname: str, libname: str) -> str - added:
function get_mypy_config(paths: List[str], mypy_options: Optional[List[str]]) -> Tuple[List[BuildSource], Options] - added:
function include_dir() -> str - added:
function mypycify(paths: List[str], mypy_options: Optional[List[str]]=…, opt_level: str=…, multi_file: bool=…, skip_cgen: bool=…, verbose: bool=…, strip_asserts: bool=…) -> List[Extension] - added:
function setup_mypycify_vars() -> None - added:
function shared_lib_name(modules: List[str]) -> str - added:
function write_file(path: str, contents: str) -> None - added:
variable MYPY - added:
variable MypycifyBuildExt - added:
variable USE_SETUPTOOLS - added:
variable shim_template
- added:
function decorator_helper_name(func_name: str) -> str - added:
variable ATTR_PREFIX - added:
variable DUNDER_PREFIX - added:
variable ENV_ATTR_NAME - added:
variable FAST_ISINSTANCE_MAX_SUBCLASSES - added:
variable INT_PREFIX - added:
variable LAMBDA_NAME - added:
variable MAX_LITERAL_SHORT_INT - added:
variable MYPY - added:
variable NATIVE_PREFIX - added:
variable NEXT_LABEL_ATTR_NAME - added:
variable PREFIX - added:
variable PROPSET_PREFIX - added:
variable REG_PREFIX - added:
variable SELF_NAME - added:
variable STATIC_PREFIX - added:
variable TEMP_ATTR_NAME - added:
variable TOP_LEVEL_NAME - added:
variable TYPE_PREFIX
- added:
function catch_errors(module_path: str, line: int) -> Iterator[None] - added:
function crash_report(module_path: str, line: int) -> NoReturn - added:
variable MYPY
- added:
class Emitter - added:
class EmitterContext - added:
class HeaderDeclaration - added:
constructor Emitter(context: EmitterContext, env: Optional[Environment]=…) -> None - added:
constructor EmitterContext(module_names: List[str]) -> None - added:
constructor HeaderDeclaration(dependencies: Set[str], decl: List[str], defn: Optional[List[str]], needs_extern: bool=…) -> None - added:
method Emitter.attr(name: str) -> str - added:
method Emitter.c_error_value(rtype: RType) -> str - added:
method Emitter.c_undefined_value(rtype: RType) -> str - added:
method Emitter.ctype(rtype: RType) -> str - added:
method Emitter.ctype_spaced(rtype: RType) -> str - added:
method Emitter.declare_tuple_struct(tuple_type: RTuple) -> None - added:
method Emitter.dedent() -> None - added:
method Emitter.emit_arg_check(src: str, dest: str, typ: RType, check: str, optional: bool) -> None - added:
method Emitter.emit_box(src: str, dest: str, typ: RType, declare_dest: bool=…, can_borrow: bool=…) -> None - added:
method Emitter.emit_cast(src: str, dest: str, typ: RType, declare_dest: bool=…, custom_message: Optional[str]=…, optional: bool=…, src_type: Optional[RType]=…, likely: bool=…) -> None - added:
method Emitter.emit_dec_ref(dest: str, rtype: RType, is_xdec: bool=…) -> None - added:
method Emitter.emit_error_check(value: str, rtype: RType, failure: str) -> None - added:
method Emitter.emit_from_emitter(emitter: Emitter) -> None - added:
method Emitter.emit_gc_clear(target: str, rtype: RType) -> None - added:
method Emitter.emit_gc_visit(target: str, rtype: RType) -> None - added:
method Emitter.emit_inc_ref(dest: str, rtype: RType) -> None - added:
method Emitter.emit_label(label: Union[BasicBlock, str]) -> None - added:
method Emitter.emit_line(line: str=…) -> None - added:
method Emitter.emit_lines(*lines: str) -> None - added:
method Emitter.emit_printf(fmt: str, *args: str) -> None - added:
method Emitter.emit_tuple_cast(src: str, dest: str, typ: RTuple, declare_dest: bool, err: str, src_type: Optional[RType]) -> None - added:
method Emitter.emit_unbox(src: str, dest: str, typ: RType, custom_failure: Optional[str]=…, declare_dest: bool=…, borrow: bool=…, optional: bool=…) -> None - added:
method Emitter.emit_union_cast(src: str, dest: str, typ: RUnion, declare_dest: bool, err: str, optional: bool, src_type: Optional[RType]) -> None - added:
method Emitter.indent() -> None - added:
method Emitter.label(label: BasicBlock) -> str - added:
method Emitter.native_function_name(fn: FuncDecl) -> str - added:
method Emitter.new_label() -> str - added:
method Emitter.pretty_name(typ: RType) -> str - added:
method Emitter.reg(reg: Value) -> str - added:
method Emitter.static_name(id: str, module: Optional[str], prefix: str=…) -> str - added:
method Emitter.temp_name() -> str - added:
method Emitter.tuple_c_declaration(rtuple: RTuple) -> List[str] - added:
method Emitter.tuple_undefined_check_cond(rtuple: RTuple, tuple_expr_in_c: str, c_type_compare_val: Callable[[RType], str], compare: str) -> str - added:
method Emitter.tuple_undefined_value(rtuple: RTuple) -> str - added:
method Emitter.tuple_undefined_value_helper(rtuple: RTuple) -> List[str] - added:
method Emitter.type_struct_name(cl: ClassIR) -> str
- added:
function declare_native_getters_and_setters(cl: ClassIR, emitter: Emitter) -> None - added:
function emit_undefined_check(rtype: RType, emitter: Emitter, attr: str, compare: str) -> None - added:
function generate_class(cl: ClassIR, module: str, emitter: Emitter) -> None - added:
function generate_class_type_decl(cl: ClassIR, c_emitter: Emitter, emitter: Emitter) -> None - added:
function generate_clear_for_class(cl: ClassIR, func_name: str, emitter: Emitter) -> None - added:
function generate_constructor_for_class(cl: ClassIR, fn: FuncDecl, init_fn: Optional[FuncIR], setup_name: str, vtable_name: str, emitter: Emitter) -> None - added:
function generate_dealloc_for_class(cl: ClassIR, dealloc_func_name: str, clear_func_name: str, emitter: Emitter) -> None - added:
function generate_getseter_declarations(cl: ClassIR, emitter: Emitter) -> None - added:
function generate_getseters(cl: ClassIR, emitter: Emitter) -> None - added:
function generate_getseters_table(cl: ClassIR, name: str, emitter: Emitter) -> None - added:
function generate_getter(cl: ClassIR, attr: str, rtype: RType, emitter: Emitter) -> None - added:
function generate_init_for_class(cl: ClassIR, init_fn: FuncIR, emitter: Emitter) -> str - added:
function generate_methods_table(cl: ClassIR, name: str, emitter: Emitter) -> None - added:
function generate_native_getters_and_setters(cl: ClassIR, emitter: Emitter) -> None - added:
function generate_new_for_class(cl: ClassIR, func_name: str, vtable_name: str, setup_name: str, emitter: Emitter) -> None - added:
function generate_object_struct(cl: ClassIR, emitter: Emitter) -> None - added:
function generate_property_setter(cl: ClassIR, attr: str, arg_type: RType, func_ir: FuncIR, emitter: Emitter) -> None - added:
function generate_readonly_getter(cl: ClassIR, attr: str, rtype: RType, func_ir: FuncIR, emitter: Emitter) -> None - added:
function generate_setter(cl: ClassIR, attr: str, rtype: RType, emitter: Emitter) -> None - added:
function generate_setup_for_class(cl: ClassIR, func_name: str, defaults_fn: Optional[FuncIR], vtable_name: str, emitter: Emitter) -> None - added:
function generate_side_table_for_class(cl: ClassIR, name: str, type: str, slots: Dict[str, str], emitter: Emitter) -> Optional[str] - added:
function generate_slots(cl: ClassIR, table: SlotTable, emitter: Emitter) -> Dict[str, str] - added:
function generate_trait_vtable_setup(cl: ClassIR, vtable_setup_name: str, vtable_name: str, emitter: Emitter) -> None - added:
function generate_traverse_for_class(cl: ClassIR, func_name: str, emitter: Emitter) -> None - added:
function generate_vtable(entries: VTableEntries, vtable_name: str, emitter: Emitter, subtables: List[Tuple[ClassIR, str]]) -> None - added:
function generate_vtables(base: ClassIR, vtable_name: str, emitter: Emitter) -> str - added:
function getter_name(cl: ClassIR, attribute: str, names: NameGenerator) -> str - added:
function native_slot(cl: ClassIR, fn: FuncIR, emitter: Emitter) -> str - added:
function setter_name(cl: ClassIR, attribute: str, names: NameGenerator) -> str - added:
function wrapper_slot(cl: ClassIR, fn: FuncIR, emitter: Emitter) -> str - added:
variable AS_ASYNC_SLOT_DEFS - added:
variable AS_MAPPING_SLOT_DEFS - added:
variable AS_NUMBER_SLOT_DEFS - added:
variable SIDE_TABLES - added:
variable SLOT_DEFS - added:
variable SlotGenerator - added:
variable SlotTable
- added:
class FunctionEmitterVisitor(OpVisitor[None], EmitterInterface) - added:
constructor FunctionEmitterVisitor(emitter: Emitter, declarations: Emitter, source_path: str, module_name: str) -> None - added:
field FunctionEmitterVisitor.PREFIX_MAP - added:
function generate_native_function(fn: FuncIR, emitter: Emitter, source_path: str, module_name: str) -> None - added:
function native_function_header(fn: FuncDecl, emitter: Emitter) -> str - added:
function native_function_type(fn: FuncIR, emitter: Emitter) -> str - added:
function native_getter_name(cl: ClassIR, attribute: str, names: NameGenerator) -> str - added:
function native_setter_name(cl: ClassIR, attribute: str, names: NameGenerator) -> str - added:
method FunctionEmitterVisitor.c_error_value(rtype: RType) -> str - added:
method FunctionEmitterVisitor.c_undefined_value(rtype: RType) -> str - added:
method FunctionEmitterVisitor.ctype(rtype: RType) -> str - added:
method FunctionEmitterVisitor.emit_dec_ref(dest: str, rtype: RType, is_xdec: bool) -> None - added:
method FunctionEmitterVisitor.emit_declaration(line: str) -> None - added:
method FunctionEmitterVisitor.emit_inc_ref(dest: str, rtype: RType) -> None - added:
method FunctionEmitterVisitor.emit_line(line: str) -> None - added:
method FunctionEmitterVisitor.emit_lines(*lines: str) -> None - added:
method FunctionEmitterVisitor.get_dest_assign(dest: Value) -> str - added:
method FunctionEmitterVisitor.label(label: BasicBlock) -> str - added:
method FunctionEmitterVisitor.reg(reg: Value) -> str - added:
method FunctionEmitterVisitor.temp_name() -> str - added:
method FunctionEmitterVisitor.visit_assign(op: Assign) -> None - added:
method FunctionEmitterVisitor.visit_box(op: Box) -> None - added:
method FunctionEmitterVisitor.visit_branch(op: Branch) -> None - added:
method FunctionEmitterVisitor.visit_call(op: Call) -> None - added:
method FunctionEmitterVisitor.visit_cast(op: Cast) -> None - added:
method FunctionEmitterVisitor.visit_dec_ref(op: DecRef) -> None - added:
method FunctionEmitterVisitor.visit_get_attr(op: GetAttr) -> None - added:
method FunctionEmitterVisitor.visit_goto(op: Goto) -> None - added:
method FunctionEmitterVisitor.visit_inc_ref(op: IncRef) -> None - added:
method FunctionEmitterVisitor.visit_init_static(op: InitStatic) -> None - added:
method FunctionEmitterVisitor.visit_load_error_value(op: LoadErrorValue) -> None - added:
method FunctionEmitterVisitor.visit_load_int(op: LoadInt) -> None - added:
method FunctionEmitterVisitor.visit_load_static(op: LoadStatic) -> None - added:
method FunctionEmitterVisitor.visit_method_call(op: MethodCall) -> None - added:
method FunctionEmitterVisitor.visit_primitive_op(op: PrimitiveOp) -> None - added:
method FunctionEmitterVisitor.visit_raise_standard_error(op: RaiseStandardError) -> None - added:
method FunctionEmitterVisitor.visit_return(op: Return) -> None - added:
method FunctionEmitterVisitor.visit_set_attr(op: SetAttr) -> None - added:
method FunctionEmitterVisitor.visit_tuple_get(op: TupleGet) -> None - added:
method FunctionEmitterVisitor.visit_tuple_set(op: TupleSet) -> None - added:
method FunctionEmitterVisitor.visit_unbox(op: Unbox) -> None - added:
method FunctionEmitterVisitor.visit_unreachable(op: Unreachable) -> None - added:
variable DEBUG_ERRORS - added:
variable MYPY
- added:
class MarkedDeclaration - added:
class ModuleGenerator - added:
constructor MarkedDeclaration(declaration: HeaderDeclaration, mark: bool) -> None - added:
constructor ModuleGenerator(literals: LiteralsMap, modules: List[Tuple[str, ModuleIR]], source_paths: Dict[str, str], shared_lib_name: Optional[str], multi_file: bool) -> None - added:
function compile_modules_to_c(result: BuildResult, module_names: List[str], shared_lib_name: Optional[str], compiler_options: CompilerOptions, ops: Optional[List[str]]=…) -> List[Tuple[str, str]] - added:
function encode_as_c_string(s: str) -> Tuple[str, int] - added:
function encode_bytes_as_c_string(b: bytes) -> Tuple[str, int] - added:
function generate_function_declaration(fn: FuncIR, emitter: Emitter) -> None - added:
function parse_and_typecheck(sources: List[BuildSource], options: Options, alt_lib_path: Optional[str]=…) -> BuildResult - added:
function sort_classes(classes: List[Tuple[str, ClassIR]]) -> List[Tuple[str, ClassIR]] - added:
function toposort(deps: Dict[T, Set[T]]) -> List[T] - added:
method ModuleGenerator.declare_finals(final_names: Iterable[Tuple[str, RType]], emitter: Emitter) -> None - added:
method ModuleGenerator.declare_global(type_spaced: str, name: str, initializer: Optional[str]=…) -> None - added:
method ModuleGenerator.declare_imports(imps: Iterable[str], emitter: Emitter) -> None - added:
method ModuleGenerator.declare_internal_globals(module_name: str, emitter: Emitter) -> None - added:
method ModuleGenerator.declare_module(module_name: str, emitter: Emitter) -> None - added:
method ModuleGenerator.declare_static_pyobject(identifier: str, emitter: Emitter) -> None - added:
method ModuleGenerator.define_finals(final_names: Iterable[Tuple[str, RType]], emitter: Emitter) -> None - added:
method ModuleGenerator.generate_c_for_modules() -> List[Tuple[str, str]] - added:
method ModuleGenerator.generate_globals_init(emitter: Emitter) -> None - added:
method ModuleGenerator.generate_module_def(emitter: Emitter, module_name: str, module: ModuleIR) -> None - added:
method ModuleGenerator.generate_shared_lib_init(emitter: Emitter) -> None - added:
method ModuleGenerator.generate_top_level_call(module: ModuleIR, emitter: Emitter) -> None - added:
method ModuleGenerator.module_internal_static_name(module_name: str, emitter: Emitter) -> str - added:
method ModuleGenerator.toposort_declarations() -> List[HeaderDeclaration] - added:
variable T
- added:
function generate_arg_check(name: str, typ: RType, emitter: Emitter, error_code: str, optional: bool=…) -> None - added:
function generate_bool_wrapper(cl: ClassIR, fn: FuncIR, emitter: Emitter) -> str - added:
function generate_dunder_wrapper(cl: ClassIR, fn: FuncIR, emitter: Emitter) -> str - added:
function generate_get_wrapper(cl: ClassIR, fn: FuncIR, emitter: Emitter) -> str - added:
function generate_hash_wrapper(cl: ClassIR, fn: FuncIR, emitter: Emitter) -> str - added:
function generate_richcompare_wrapper(cl: ClassIR, emitter: Emitter) -> Optional[str] - added:
function generate_wrapper_core(fn: FuncIR, emitter: Emitter, optional_args: Optional[List[RuntimeArg]]=…, arg_names: Optional[List[str]]=…, cleanups: Optional[List[str]]=…, traceback_code: Optional[str]=…) -> None - added:
function generate_wrapper_function(fn: FuncIR, emitter: Emitter, source_path: str, module_name: str) -> None - added:
function make_format_string(func_name: str, groups: List[List[RuntimeArg]]) -> str - added:
function wrapper_function_header(fn: FuncIR, names: NameGenerator) -> str - added:
variable RICHCOMPARE_OPS
- added:
function add_handler_block(ir: FuncIR) -> BasicBlock - added:
function insert_exception_handling(ir: FuncIR) -> None - added:
function split_blocks_at_errors(blocks: List[BasicBlock], default_error_handler: BasicBlock, func_name: Optional[str]) -> List[BasicBlock]
- added:
class BaseNonlocalControl(NonlocalControl) - added:
class CleanupNonlocalControl(NonlocalControl) - added:
class Errors - added:
class ExceptNonlocalControl(CleanupNonlocalControl) - added:
class FinallyNonlocalControl(CleanupNonlocalControl) - added:
class FuncInfo(object) - added:
class GeneratorClass(ImplicitClass) - added:
class GeneratorNonlocalControl(BaseNonlocalControl) - added:
class IRBuilder(ExpressionVisitor[Value], StatementVisitor[None]) - added:
class ImplicitClass(object) - added:
class LoopNonlocalControl(NonlocalControl) - added:
class Mapper - added:
class NonlocalControl - added:
class TryFinallyNonlocalControl(NonlocalControl) - added:
class UnsupportedException(Exception) - added:
constructor CleanupNonlocalControl(outer: NonlocalControl) -> None - added:
constructor Errors() -> None - added:
constructor ExceptNonlocalControl(outer: NonlocalControl, saved: Union[Value, AssignmentTarget]) -> None - added:
constructor FinallyNonlocalControl(outer: NonlocalControl, ret_reg: Optional[Value], saved: Value) -> None - added:
constructor FuncInfo(fitem: FuncItem=…, name: str=…, class_name: Optional[str]=…, namespace: str=…, is_nested: bool=…, contains_nested: bool=…, is_decorated: bool=…, in_non_ext: bool=…) -> None - added:
constructor GeneratorClass(ir: ClassIR) -> None - added:
constructor IRBuilder(types: Dict[Expression, Type], graph: Graph, errors: Errors, mapper: Mapper, modules: List[str], pbv: PreBuildVisitor, options: CompilerOptions) -> None - added:
constructor ImplicitClass(ir: ClassIR) -> None - added:
constructor LoopNonlocalControl(outer: NonlocalControl, continue_block: BasicBlock, break_block: BasicBlock) -> None - added:
constructor Mapper() -> None - added:
constructor TryFinallyNonlocalControl(target: BasicBlock) -> None - added:
field IRBuilder.import_maps - added:
function build_ir(modules: List[MypyFile], graph: Graph, types: Dict[Expression, Type], options: CompilerOptions) -> Tuple[LiteralsMap, List[Tuple[str, ModuleIR]], int] - added:
function can_subclass_builtin(builtin_base: str) -> bool - added:
function compute_vtable(cls: ClassIR) -> None - added:
function concrete_arg_kind(kind: int) -> int - added:
function get_func_def(op: Union[FuncDef, Decorator, OverloadedFuncDef]) -> FuncDef - added:
function is_extension_class(cdef: ClassDef) -> bool - added:
function is_trait(cdef: ClassDef) -> bool - added:
function is_valid_multipart_property_def(prop: OverloadedFuncDef) -> bool - added:
function mark_non_ext_classes(class_map: Dict[TypeInfo, ClassIR]) -> None - added:
function prepare_class_def(path: str, module_name: str, cdef: ClassDef, errors: Errors, mapper: Mapper) -> None - added:
function prepare_func_def(module_name: str, class_name: Optional[str], fdef: FuncDef, mapper: Mapper) -> FuncDecl - added:
function prepare_method_def(ir: ClassIR, module_name: str, cdef: ClassDef, mapper: Mapper, node: Union[FuncDef, Decorator]) -> None - added:
function prepare_non_ext_class_def(path: str, module_name: str, cdef: ClassDef, errors: Errors, mapper: Mapper) -> None - added:
function specialize_function(name: str, typ: Optional[RType]=…) -> Callable[[Specializer], Specializer] - added:
function specialize_parent_vtable(cls: ClassIR, parent: ClassIR) -> VTableEntries - added:
method BaseNonlocalControl.gen_break(builder: IRBuilder, line: int) -> None - added:
method BaseNonlocalControl.gen_continue(builder: IRBuilder, line: int) -> None - added:
method BaseNonlocalControl.gen_return(builder: IRBuilder, value: Value, line: int) -> None - added:
method CleanupNonlocalControl.gen_break(builder: IRBuilder, line: int) -> None - added:
method CleanupNonlocalControl.gen_cleanup(builder: IRBuilder, line: int) -> None - added:
method CleanupNonlocalControl.gen_continue(builder: IRBuilder, line: int) -> None - added:
method CleanupNonlocalControl.gen_return(builder: IRBuilder, value: Value, line: int) -> None - added:
method Errors.error(msg: str, path: str, line: int) -> None - added:
method Errors.flush_errors() -> None - added:
method Errors.warning(msg: str, path: str, line: int) -> None - added:
method ExceptNonlocalControl.gen_cleanup(builder: IRBuilder, line: int) -> None - added:
method FinallyNonlocalControl.gen_cleanup(builder: IRBuilder, line: int) -> None - added:
method FuncInfo.namespaced_name() -> str - added:
method GeneratorNonlocalControl.gen_return(builder: IRBuilder, value: Value, line: int) -> None - added:
method IRBuilder.accept(node: Expression) -> Value | (node: Statement) -> None - added:
method IRBuilder.activate_block(block: BasicBlock) -> None - added:
method IRBuilder.add(op: Op) -> Value - added:
method IRBuilder.add_args_to_env(local: bool=…, base: Optional[Union[FuncInfo, ImplicitClass]]=…, reassign: bool=…) -> None - added:
method IRBuilder.add_await_to_generator_class(fn_info: FuncInfo) -> None - added:
method IRBuilder.add_bool_branch(value: Value, true: BasicBlock, false: BasicBlock) -> None - added:
method IRBuilder.add_call_to_callable_class(blocks: List[BasicBlock], sig: FuncSignature, env: Environment, fn_info: FuncInfo) -> FuncIR - added:
method IRBuilder.add_close_to_generator_class(fn_info: FuncInfo) -> None - added:
method IRBuilder.add_get_to_callable_class(fn_info: FuncInfo) -> None - added:
method IRBuilder.add_helper_to_generator_class(blocks: List[BasicBlock], sig: FuncSignature, env: Environment, fn_info: FuncInfo) -> FuncDecl - added:
method IRBuilder.add_implicit_return() -> None - added:
method IRBuilder.add_implicit_unreachable() -> None - added:
method IRBuilder.add_iter_to_generator_class(fn_info: FuncInfo) -> None - added:
method IRBuilder.add_next_to_generator_class(fn_info: FuncInfo, fn_decl: FuncDecl, sig: FuncSignature) -> None - added:
method IRBuilder.add_non_ext_class_attr(lvalue: NameExpr, stmt: AssignmentStmt, cdef: ClassDef, attr_to_cache: List[Lvalue]) -> None - added:
method IRBuilder.add_raise_exception_blocks_to_generator_class(line: int) -> None - added:
method IRBuilder.add_self_to_env(cls: ClassIR) -> AssignmentTargetRegister - added:
method IRBuilder.add_send_to_generator_class(fn_info: FuncInfo, fn_decl: FuncDecl, sig: FuncSignature) -> None - added:
method IRBuilder.add_throw_to_generator_class(fn_info: FuncInfo, fn_decl: FuncDecl, sig: FuncSignature) -> None - added:
method IRBuilder.add_to_non_ext_dict(key: str, val: Value, line: int) -> None - added:
method IRBuilder.add_var_to_env_class(var: SymbolNode, rtype: RType, base: Union[FuncInfo, ImplicitClass], reassign: bool=…) -> AssignmentTarget - added:
method IRBuilder.alloc_temp(type: RType) -> Register - added:
method IRBuilder.allocate_class(cdef: ClassDef) -> None - added:
method IRBuilder.any_all_helper(gen: GeneratorExpr, initial_value_op: OpDescription, modify: Callable[[Value], Value], new_value_op: OpDescription) -> Value - added:
method IRBuilder.assign(target: Union[Register, AssignmentTarget], rvalue_reg: Value, line: int) -> None - added:
method IRBuilder.assign_if_null(target: AssignmentTargetRegister, get_val: Callable[[], Value], line: int) -> None - added:
method IRBuilder.bail(msg: str, line: int) -> NoReturn - added:
method IRBuilder.binary_op(lreg: Value, rreg: Value, expr_op: str, line: int) -> Value - added:
method IRBuilder.box(src: Value) -> Value - added:
method IRBuilder.box_expr(expr: Expression) -> Value - added:
method IRBuilder.cache_class_attrs(attrs_to_cache: List[Lvalue], cdef: ClassDef) -> None - added:
method IRBuilder.calculate_arg_defaults(fn_info: FuncInfo, env: Environment, func_reg: Optional[Value]) -> None - added:
method IRBuilder.call(decl: FuncDecl, args: Sequence[Value], arg_kinds: List[int], arg_names: Sequence[Optional[str]], line: int) -> Value - added:
method IRBuilder.call_refexpr_with_args(expr: CallExpr, callee: RefExpr, arg_values: List[Value]) -> Value - added:
method IRBuilder.catch_errors(line: int) -> Any - added:
method IRBuilder.coerce(src: Value, target_type: RType, line: int, force: bool=…) -> Value - added:
method IRBuilder.comprehension_helper(loop_params: List[Tuple[Lvalue, Expression, List[Expression]]], gen_inner_stmts: Callable[[], None], line: int) -> None - added:
method IRBuilder.create_mypyc_attrs_tuple(ir: ClassIR, line: int) -> Value - added:
method IRBuilder.create_ne_from_eq(cdef: ClassDef) -> None - added:
method IRBuilder.create_switch_for_generator_class() -> None - added:
method IRBuilder.decompose_union_helper(obj: Value, rtype: RUnion, result_type: RType, process_item: Callable[[Value], Value], line: int) -> Value - added:
method IRBuilder.disallow_class_assignments(lvalues: List[Lvalue], line: int) -> None - added:
method IRBuilder.emit_load_final(final_var: Var, fullname: str, name: str, native: bool, typ: Type, line: int) -> Optional[Value] - added:
method IRBuilder.emit_yield(val: Value, line: int) -> Value - added:
method IRBuilder.enter(fn_info: FuncInfo) -> None - added:
method IRBuilder.error(msg: str, line: int) -> None - added:
method IRBuilder.extract_int(e: Expression) -> Optional[int] - added:
method IRBuilder.finalize_env_class() -> None - added:
method IRBuilder.flatten_classes(arg: Union[RefExpr, TupleExpr]) -> Optional[List[ClassIR]] - added:
method IRBuilder.for_loop_helper(index: Lvalue, expr: Expression, body_insts: GenFunc, else_insts: Optional[GenFunc], line: int) -> None - added:
method IRBuilder.gen_arg_defaults() -> None - added:
method IRBuilder.gen_func_ir(blocks: List[BasicBlock], sig: FuncSignature, env: Environment, fn_info: FuncInfo, cdef: Optional[ClassDef]) -> Tuple[FuncIR, Optional[Value]] - added:
method IRBuilder.gen_func_item(fitem: FuncItem, name: str, sig: FuncSignature, cdef: Optional[ClassDef]=…) -> Tuple[FuncIR, Optional[Value]] - added:
method IRBuilder.gen_func_ns() -> str - added:
method IRBuilder.gen_generator_func() -> None - added:
method IRBuilder.gen_glue_method(sig: FuncSignature, target: FuncIR, cls: ClassIR, base: ClassIR, line: int) -> FuncIR - added:
method IRBuilder.gen_glue_ne_method(cls: ClassIR, line: int) -> FuncIR - added:
method IRBuilder.gen_glue_property(sig: FuncSignature, target: FuncIR, cls: ClassIR, base: ClassIR, line: int) -> FuncIR - added:
method IRBuilder.gen_import(id: str, line: int) -> None - added:
method IRBuilder.gen_method_call(base: Value, name: str, arg_values: List[Value], return_rtype: Optional[RType], line: int, arg_kinds: Optional[List[int]]=…, arg_names: Optional[List[Optional[str]]]=…) -> Value - added:
method IRBuilder.generate_attr_defaults(cdef: ClassDef) -> None - added:
method IRBuilder.get_assignment_target(lvalue: Lvalue, line: int=…) -> AssignmentTarget - added:
method IRBuilder.get_attr(obj: Value, attr: str, result_type: RType, line: int) -> Value - added:
method IRBuilder.get_final_ref(expr: MemberExpr) -> Optional[Tuple[str, Var, bool]] - added:
method IRBuilder.get_func_target(fdef: FuncDef) -> AssignmentTarget - added:
method IRBuilder.get_native_type(cls: ClassIR) -> Value - added:
method IRBuilder.get_sys_exc_info() -> List[Value] - added:
method IRBuilder.goto(target: BasicBlock) -> None - added:
method IRBuilder.goto_and_activate(block: BasicBlock) -> None - added:
method IRBuilder.goto_new_block() -> BasicBlock - added:
method IRBuilder.handle_ext_method(cdef: ClassDef, fdef: FuncDef) -> None - added:
method IRBuilder.handle_non_ext_method(cdef: ClassDef, fdef: FuncDef) -> None - added:
method IRBuilder.handle_yield_from_and_await(o: Union[YieldFromExpr, AwaitExpr]) -> Value - added:
method IRBuilder.init_final_static(lvalue: Lvalue, rvalue_reg: Value, class_name: Optional[str]=…) -> None - added:
method IRBuilder.instantiate_callable_class(fn_info: FuncInfo) -> Value - added:
method IRBuilder.instantiate_env_class() -> Value - added:
method IRBuilder.instantiate_generator_class() -> Value - added:
method IRBuilder.is_builtin_ref_expr(expr: RefExpr) -> bool - added:
method IRBuilder.is_constant(e: Expression) -> bool - added:
method IRBuilder.is_decorated(fdef: FuncDef) -> bool - added:
method IRBuilder.is_free_variable(symbol: SymbolNode) -> bool - added:
method IRBuilder.is_module_member_expr(expr: MemberExpr) -> bool - added:
method IRBuilder.is_native_module_ref_expr(expr: RefExpr) -> bool - added:
method IRBuilder.is_native_ref_expr(expr: RefExpr) -> bool - added:
method IRBuilder.is_synthetic_type(typ: TypeInfo) -> bool - added:
method IRBuilder.isinstance_helper(obj: Value, class_irs: List[ClassIR], line: int) -> Value - added:
method IRBuilder.isinstance_native(obj: Value, class_ir: ClassIR, line: int) -> Value - added:
method IRBuilder.leave() -> Tuple[List[BasicBlock], Environment, RType, FuncInfo] - added:
method IRBuilder.load_decorated_class(cdef: ClassDef, type_obj: Value) -> Value - added:
method IRBuilder.load_decorated_func(fdef: FuncDef, orig_func_reg: Value) -> Value - added:
method IRBuilder.load_env_registers() -> None - added:
method IRBuilder.load_final_literal_value(val: Union[int, str, bytes, float, bool], line: int) -> Value - added:
method IRBuilder.load_final_static(fullname: str, typ: RType, line: int, error_name: Optional[str]=…) -> Value - added:
method IRBuilder.load_global(expr: NameExpr) -> Value - added:
method IRBuilder.load_global_str(name: str, line: int) -> Value - added:
method IRBuilder.load_globals_dict() -> Value - added:
method IRBuilder.load_module(name: str) -> Value - added:
method IRBuilder.load_module_attr(expr: RefExpr) -> Value - added:
method IRBuilder.load_module_attr_by_fullname(fullname: str, line: int) -> Value - added:
method IRBuilder.load_native_type_object(fullname: str) -> Value - added:
method IRBuilder.load_non_ext_class(ir: ClassIR, line: int) -> Value - added:
method IRBuilder.load_outer_env(base: Value, outer_env: Environment) -> Value - added:
method IRBuilder.load_outer_envs(base: ImplicitClass) -> None - added:
method IRBuilder.load_static_bytes(value: bytes) -> Value - added:
method IRBuilder.load_static_complex(value: complex) -> Value - added:
method IRBuilder.load_static_float(value: float) -> Value - added:
method IRBuilder.load_static_int(value: int) -> Value - added:
method IRBuilder.load_static_unicode(value: str) -> Value - added:
method IRBuilder.make_dict(key_value_pairs: Sequence[DictEntry], line: int) -> Value - added:
method IRBuilder.make_for_loop_generator(index: Lvalue, expr: Expression, body_block: BasicBlock, loop_exit: BasicBlock, line: int, nested: bool=…) -> ForGenerator - added:
method IRBuilder.matching_primitive_op(candidates: List[OpDescription], args: List[Value], line: int, result_type: Optional[RType]=…) -> Optional[Value] - added:
method IRBuilder.maybe_add_implicit_return() -> None - added:
method IRBuilder.maybe_spill(value: Value) -> Union[Value, AssignmentTarget] - added:
method IRBuilder.maybe_spill_assignable(value: Value) -> Union[Register, AssignmentTarget] - added:
method IRBuilder.native_args_to_positional(args: Sequence[Value], arg_kinds: List[int], arg_names: Sequence[Optional[str]], sig: FuncSignature, line: int) -> List[Value] - added:
method IRBuilder.new_block() -> BasicBlock - added:
method IRBuilder.node_type(node: Expression) -> RType - added:
method IRBuilder.non_function_scope() -> bool - added:
method IRBuilder.none() -> Value - added:
method IRBuilder.none_object() -> Value - added:
method IRBuilder.op_arg_type(desc: OpDescription, n: int) -> RType - added:
method IRBuilder.pop_loop_stack() -> None - added:
method IRBuilder.populate_non_ext_bases(cdef: ClassDef) -> Value - added:
method IRBuilder.populate_switch_for_generator_class() -> None - added:
method IRBuilder.primitive_op(desc: OpDescription, args: List[Value], line: int) -> Value - added:
method IRBuilder.process_conditional(e: Expression, true: BasicBlock, false: BasicBlock) -> None - added:
method IRBuilder.process_iterator_tuple_assignment(target: AssignmentTargetTuple, rvalue_reg: Value, line: int) -> None - added:
method IRBuilder.process_iterator_tuple_assignment_helper(litem: AssignmentTarget, ritem: Value, line: int) -> None - added:
method IRBuilder.push_loop_stack(continue_block: BasicBlock, break_block: BasicBlock) -> None - added:
method IRBuilder.py_call(function: Value, arg_values: List[Value], line: int, arg_kinds: Optional[List[int]]=…, arg_names: Optional[List[Optional[str]]]=…) -> Value - added:
method IRBuilder.py_get_attr(obj: Value, attr: str, line: int) -> Value - added:
method IRBuilder.py_method_call(obj: Value, method_name: str, arg_values: List[Value], line: int, arg_kinds: Optional[List[int]]=…, arg_names: Optional[List[Optional[str]]]=…) -> Value - added:
method IRBuilder.read(target: Union[Value, AssignmentTarget], line: int=…) -> Value - added:
method IRBuilder.setup_callable_class() -> None - added:
method IRBuilder.setup_env_class() -> ClassIR - added:
method IRBuilder.setup_env_for_generator_class() -> None - added:
method IRBuilder.setup_func_for_recursive_call(fdef: FuncDef, base: ImplicitClass) -> None - added:
method IRBuilder.setup_generator_class() -> ClassIR - added:
method IRBuilder.setup_non_ext_dict(cdef: ClassDef, bases: Value) -> Value - added:
method IRBuilder.shortcircuit_expr(expr: OpExpr) -> Value - added:
method IRBuilder.shortcircuit_helper(op: str, expr_type: RType, left: Callable[[], Value], right: Callable[[], Value], line: int) -> Value - added:
method IRBuilder.spill(value: Value) -> AssignmentTarget - added:
method IRBuilder.translate_all_call(expr: CallExpr, callee: RefExpr) -> Optional[Value] - added:
method IRBuilder.translate_any_call(expr: CallExpr, callee: RefExpr) -> Optional[Value] - added:
method IRBuilder.translate_call(expr: CallExpr, callee: Expression) -> Value - added:
method IRBuilder.translate_cast_expr(expr: CastExpr) -> Value - added:
method IRBuilder.translate_dataclasses_field_call(expr: CallExpr, callee: RefExpr) -> Optional[Value] - added:
method IRBuilder.translate_eq_cmp(lreg: Value, rreg: Value, expr_op: str, line: int) -> Optional[Value] - added:
method IRBuilder.translate_globals(expr: CallExpr, callee: RefExpr) -> Optional[Value] - added:
method IRBuilder.translate_isinstance(expr: CallExpr, callee: RefExpr) -> Optional[Value] - added:
method IRBuilder.translate_len(expr: CallExpr, callee: RefExpr) -> Optional[Value] - added:
method IRBuilder.translate_list_comprehension(gen: GeneratorExpr) -> Value - added:
method IRBuilder.translate_method_call(expr: CallExpr, callee: MemberExpr) -> Value - added:
method IRBuilder.translate_next_call(expr: CallExpr, callee: RefExpr) -> Optional[Value] - added:
method IRBuilder.translate_refexpr_call(expr: CallExpr, callee: RefExpr) -> Value - added:
method IRBuilder.translate_safe_generator_call(expr: CallExpr, callee: RefExpr) -> Optional[Value] - added:
method IRBuilder.translate_special_method_call(base_reg: Value, name: str, args: List[Value], result_type: Optional[RType], line: int) -> Optional[Value] - added:
method IRBuilder.translate_super_method_call(expr: CallExpr, callee: SuperExpr) -> Value - added:
method IRBuilder.try_finally_body(finally_block: BasicBlock, finally_body: GenFunc, ret_reg: Optional[Value], old_exc: Value) -> Tuple[BasicBlock, FinallyNonlocalControl] - added:
method IRBuilder.try_finally_entry_blocks(err_handler: BasicBlock, return_entry: BasicBlock, main_entry: BasicBlock, finally_block: BasicBlock, ret_reg: Optional[Register]) -> Value - added:
method IRBuilder.try_finally_resolve_control(cleanup_block: BasicBlock, finally_control: FinallyNonlocalControl, old_exc: Value, ret_reg: Optional[Value]) -> BasicBlock - added:
method IRBuilder.try_finally_try(err_handler: BasicBlock, return_entry: BasicBlock, main_entry: BasicBlock, try_body: GenFunc) -> Optional[Register] - added:
method IRBuilder.type_to_rtype(typ: Optional[Type]) -> RType - added:
method IRBuilder.unary_op(lreg: Value, expr_op: str, line: int) -> Value - added:
method IRBuilder.unbox_or_cast(src: Value, target_type: RType, line: int) -> Value - added:
method IRBuilder.union_get_attr(obj: Value, rtype: RUnion, attr: str, result_type: RType, line: int) -> Value - added:
method IRBuilder.union_method_call(base: Value, obj_type: RUnion, name: str, arg_values: List[Value], return_rtype: Optional[RType], line: int, arg_kinds: Optional[List[int]], arg_names: Optional[List[Optional[str]]]) -> Value - added:
method IRBuilder.visit__promote_expr(o: PromoteExpr) -> Value - added:
method IRBuilder.visit_assert_stmt(a: AssertStmt) -> None - added:
method IRBuilder.visit_assignment_expr(o: AssignmentExpr) -> Value - added:
method IRBuilder.visit_assignment_stmt(stmt: AssignmentStmt) -> None - added:
method IRBuilder.visit_await_expr(o: AwaitExpr) -> Value - added:
method IRBuilder.visit_backquote_expr(o: BackquoteExpr) -> Value - added:
method IRBuilder.visit_basic_comparison(op: str, left: Value, right: Value, line: int) -> Value - added:
method IRBuilder.visit_block(block: Block) -> None - added:
method IRBuilder.visit_break_stmt(node: BreakStmt) -> None - added:
method IRBuilder.visit_bytes_expr(expr: BytesExpr) -> Value - added:
method IRBuilder.visit_call_expr(expr: CallExpr) -> Value - added:
method IRBuilder.visit_cast_expr(o: CastExpr) -> Value - added:
method IRBuilder.visit_class_def(cdef: ClassDef) -> None - added:
method IRBuilder.visit_comparison_expr(e: ComparisonExpr) -> Value - added:
method IRBuilder.visit_complex_expr(expr: ComplexExpr) -> Value - added:
method IRBuilder.visit_conditional_expr(expr: ConditionalExpr) -> Value - added:
method IRBuilder.visit_continue_stmt(node: ContinueStmt) -> None - added:
method IRBuilder.visit_decorator(dec: Decorator) -> None - added:
method IRBuilder.visit_del_item(target: AssignmentTarget, line: int) -> None - added:
method IRBuilder.visit_del_stmt(o: DelStmt) -> None - added:
method IRBuilder.visit_dict_expr(expr: DictExpr) -> Value - added:
method IRBuilder.visit_dictionary_comprehension(o: DictionaryComprehension) -> Value - added:
method IRBuilder.visit_ellipsis(o: EllipsisExpr) -> Value - added:
method IRBuilder.visit_enum_call_expr(o: EnumCallExpr) -> Value - added:
method IRBuilder.visit_exec_stmt(o: ExecStmt) -> None - added:
method IRBuilder.visit_expression_stmt(stmt: ExpressionStmt) -> None - added:
method IRBuilder.visit_float_expr(expr: FloatExpr) -> Value - added:
method IRBuilder.visit_for_stmt(s: ForStmt) -> None - added:
method IRBuilder.visit_func_def(fdef: FuncDef) -> None - added:
method IRBuilder.visit_generator_expr(o: GeneratorExpr) -> Value - added:
method IRBuilder.visit_global_decl(o: GlobalDecl) -> None - added:
method IRBuilder.visit_if_stmt(stmt: IfStmt) -> None - added:
method IRBuilder.visit_import(node: Import) -> None - added:
method IRBuilder.visit_import_all(node: ImportAll) -> None - added:
method IRBuilder.visit_import_from(node: ImportFrom) -> None - added:
method IRBuilder.visit_index_expr(expr: IndexExpr) -> Value - added:
method IRBuilder.visit_int_expr(expr: IntExpr) -> Value - added:
method IRBuilder.visit_lambda_expr(expr: LambdaExpr) -> Value - added:
method IRBuilder.visit_list_comprehension(o: ListComprehension) -> Value - added:
method IRBuilder.visit_list_expr(expr: ListExpr) -> Value - added:
method IRBuilder.visit_member_expr(expr: MemberExpr) -> Value - added:
method IRBuilder.visit_method(cdef: ClassDef, fdef: FuncDef) -> None - added:
method IRBuilder.visit_mypy_file(mypyfile: MypyFile) -> None - added:
method IRBuilder.visit_name_expr(expr: NameExpr) -> Value - added:
method IRBuilder.visit_namedtuple_expr(o: NamedTupleExpr) -> Value - added:
method IRBuilder.visit_newtype_expr(o: NewTypeExpr) -> Value - added:
method IRBuilder.visit_nonlocal_decl(o: NonlocalDecl) -> None - added:
method IRBuilder.visit_op_expr(expr: OpExpr) -> Value - added:
method IRBuilder.visit_operator_assignment_stmt(stmt: OperatorAssignmentStmt) -> None - added:
method IRBuilder.visit_overloaded_func_def(o: OverloadedFuncDef) -> None - added:
method IRBuilder.visit_pass_stmt(o: PassStmt) -> None - added:
method IRBuilder.visit_print_stmt(o: PrintStmt) -> None - added:
method IRBuilder.visit_raise_stmt(s: RaiseStmt) -> None - added:
method IRBuilder.visit_return_stmt(stmt: ReturnStmt) -> None - added:
method IRBuilder.visit_reveal_expr(o: RevealExpr) -> Value - added:
method IRBuilder.visit_set_comprehension(o: SetComprehension) -> Value - added:
method IRBuilder.visit_set_expr(expr: SetExpr) -> Value - added:
method IRBuilder.visit_slice_expr(expr: SliceExpr) -> Value - added:
method IRBuilder.visit_star_expr(o: StarExpr) -> Value - added:
method IRBuilder.visit_str_expr(expr: StrExpr) -> Value - added:
method IRBuilder.visit_super_expr(o: SuperExpr) -> Value - added:
method IRBuilder.visit_temp_node(o: TempNode) -> Value - added:
method IRBuilder.visit_try_except(body: GenFunc, handlers: Sequence[Tuple[Optional[Expression], Optional[Expression], GenFunc]], else_body: Optional[GenFunc], line: int) -> None - added:
method IRBuilder.visit_try_except_stmt(t: TryStmt) -> None - added:
method IRBuilder.visit_try_finally_stmt(try_body: GenFunc, finally_body: GenFunc) -> None - added:
method IRBuilder.visit_try_stmt(t: TryStmt) -> None - added:
method IRBuilder.visit_tuple_expr(expr: TupleExpr) -> Value - added:
method IRBuilder.visit_type_alias_expr(o: TypeAliasExpr) -> Value - added:
method IRBuilder.visit_type_application(o: TypeApplication) -> Value - added:
method IRBuilder.visit_type_var_expr(o: TypeVarExpr) -> Value - added:
method IRBuilder.visit_typeddict_expr(o: TypedDictExpr) -> Value - added:
method IRBuilder.visit_unary_expr(expr: UnaryExpr) -> Value - added:
method IRBuilder.visit_unicode_expr(o: UnicodeExpr) -> Value - added:
method IRBuilder.visit_var(o: Var) -> None - added:
method IRBuilder.visit_while_stmt(s: WhileStmt) -> None - added:
method IRBuilder.visit_with(expr: Expression, target: Optional[Lvalue], body: GenFunc, line: int) -> None - added:
method IRBuilder.visit_with_stmt(o: WithStmt) -> None - added:
method IRBuilder.visit_yield_expr(expr: YieldExpr) -> Value - added:
method IRBuilder.visit_yield_from_expr(o: YieldFromExpr) -> Value - added:
method IRBuilder.warning(msg: str, line: int) -> None - added:
method LoopNonlocalControl.gen_break(builder: IRBuilder, line: int) -> None - added:
method LoopNonlocalControl.gen_continue(builder: IRBuilder, line: int) -> None - added:
method LoopNonlocalControl.gen_return(builder: IRBuilder, value: Value, line: int) -> None - added:
method Mapper.fdef_to_sig(fdef: FuncDef) -> FuncSignature - added:
method Mapper.get_arg_rtype(typ: Type, kind: int) -> RType - added:
method Mapper.literal_static_name(value: Union[int, float, complex, str, bytes]) -> str - added:
method Mapper.type_to_rtype(typ: Optional[Type]) -> RType - added:
method NonlocalControl.gen_break(builder: IRBuilder, line: int) -> None - added:
method NonlocalControl.gen_continue(builder: IRBuilder, line: int) -> None - added:
method NonlocalControl.gen_return(builder: IRBuilder, value: Value, line: int) -> None - added:
method TryFinallyNonlocalControl.gen_break(builder: IRBuilder, line: int) -> None - added:
method TryFinallyNonlocalControl.gen_continue(builder: IRBuilder, line: int) -> None - added:
method TryFinallyNonlocalControl.gen_return(builder: IRBuilder, value: Value, line: int) -> None - added:
property FuncInfo.callable_class -> ImplicitClass - added:
property FuncInfo.curr_env_reg -> Value - added:
property FuncInfo.env_class -> ClassIR - added:
property FuncInfo.generator_class -> GeneratorClass - added:
property FuncInfo.is_generator -> bool - added:
property GeneratorClass.next_label_reg -> Value - added:
property GeneratorClass.next_label_target -> AssignmentTarget - added:
property ImplicitClass.curr_env_reg -> Value - added:
property ImplicitClass.prev_env_reg -> Value - added:
property ImplicitClass.self_reg -> Value - added:
variable DictEntry - added:
variable F - added:
variable GenFunc - added:
variable Specializer - added:
variable specializers - added:
variable strict_optional_dec
- added:
class ForEnumerate(ForGenerator) - added:
class ForGenerator - added:
class ForInfiniteCounter(ForGenerator) - added:
class ForIterable(ForGenerator) - added:
class ForList(ForGenerator) - added:
class ForRange(ForGenerator) - added:
class ForZip(ForGenerator) - added:
constructor ForGenerator(builder: mypyc.genops.IRBuilder, index: Lvalue, body_block: BasicBlock, loop_exit: BasicBlock, line: int, nested: bool) -> None - added:
method ForEnumerate.begin_body() -> None - added:
method ForEnumerate.gen_cleanup() -> None - added:
method ForEnumerate.gen_condition() -> None - added:
method ForEnumerate.gen_step() -> None - added:
method ForEnumerate.init(index1: Lvalue, index2: Lvalue, expr: Expression) -> None - added:
method ForEnumerate.need_cleanup() -> bool - added:
method ForGenerator.add_cleanup(exit_block: BasicBlock) -> None - added:
method ForGenerator.begin_body() -> None - added:
method ForGenerator.gen_cleanup() -> None - added:
method ForGenerator.gen_condition() -> None - added:
method ForGenerator.gen_step() -> None - added:
method ForGenerator.need_cleanup() -> bool - added:
method ForInfiniteCounter.gen_step() -> None - added:
method ForInfiniteCounter.init() -> None - added:
method ForIterable.begin_body() -> None - added:
method ForIterable.gen_cleanup() -> None - added:
method ForIterable.gen_condition() -> None - added:
method ForIterable.gen_step() -> None - added:
method ForIterable.init(expr_reg: Value, target_type: RType) -> None - added:
method ForIterable.need_cleanup() -> bool - added:
method ForList.begin_body() -> None - added:
method ForList.gen_condition() -> None - added:
method ForList.gen_step() -> None - added:
method ForList.init(expr_reg: Value, target_type: RType, reverse: bool) -> None - added:
method ForList.load_len() -> Value - added:
method ForRange.gen_condition() -> None - added:
method ForRange.gen_step() -> None - added:
method ForRange.init(start_reg: Value, end_reg: Value, step: int) -> None - added:
method ForZip.begin_body() -> None - added:
method ForZip.gen_cleanup() -> None - added:
method ForZip.gen_condition() -> None - added:
method ForZip.gen_step() -> None - added:
method ForZip.init(indexes: List[Lvalue], exprs: List[Expression]) -> None - added:
method ForZip.need_cleanup() -> bool
- added:
class NameGenerator - added:
constructor NameGenerator(module_names: Optional[List[str]]=…) -> None - added:
function candidate_suffixes(fullname: str) -> List[str] - added:
function exported_name(fullname: str) -> str - added:
function make_module_translation_map(names: List[str]) -> Dict[str, str] - added:
method NameGenerator.make_unique(name: str) -> str - added:
method NameGenerator.private_name(module: str, partial_name: Optional[str]=…) -> str
- added:
class Assign(Op) - added:
class AssignmentTarget(object) - added:
class AssignmentTargetAttr(AssignmentTarget) - added:
class AssignmentTargetIndex(AssignmentTarget) - added:
class AssignmentTargetRegister(AssignmentTarget) - added:
class AssignmentTargetTuple(AssignmentTarget) - added:
class BasicBlock - added:
class Box(RegisterOp) - added:
class Branch(ControlOp) - added:
class Call(RegisterOp) - added:
class Cast(RegisterOp) - added:
class ClassIR - added:
class ControlOp(Op) - added:
class DecRef(RegisterOp) - added:
class EmitterInterface - added:
class Environment - added:
class FuncDecl - added:
class FuncIR - added:
class FuncSignature - added:
class GetAttr(RegisterOp) - added:
class Goto(ControlOp) - added:
class IncRef(RegisterOp) - added:
class InitStatic(RegisterOp) - added:
class LoadErrorValue(RegisterOp) - added:
class LoadInt(RegisterOp) - added:
class LoadStatic(RegisterOp) - added:
class MethodCall(RegisterOp) - added:
class ModuleIR - added:
class NonExtClassInfo - added:
class Op(Value) - added:
class OpVisitor(Generic[T]) - added:
class PrimitiveOp(RegisterOp) - added:
class RInstance(RType) - added:
class RPrimitive(RType) - added:
class RTuple(RType) - added:
class RType - added:
class RTypeVisitor(Generic[T]) - added:
class RUnion(RType) - added:
class RVoid(RType) - added:
class RaiseStandardError(RegisterOp) - added:
class Register(Value) - added:
class RegisterOp(Op) - added:
class Return(ControlOp) - added:
class RuntimeArg - added:
class SetAttr(RegisterOp) - added:
class TupleGet(RegisterOp) - added:
class TupleNameVisitor(RTypeVisitor[str]) - added:
class TupleSet(RegisterOp) - added:
class Unbox(RegisterOp) - added:
class Unreachable(ControlOp) - added:
class Value - added:
constructor Assign(dest: Register, src: Value, line: int=…) -> None - added:
constructor AssignmentTargetAttr(obj: Value, attr: str) -> None - added:
constructor AssignmentTargetIndex(base: Value, index: Value) -> None - added:
constructor AssignmentTargetRegister(register: Register) -> None - added:
constructor AssignmentTargetTuple(items: List[AssignmentTarget], star_idx: Optional[int]=…) -> None - added:
constructor BasicBlock(label: int=…) -> None - added:
constructor Box(src: Value, line: int=…) -> None - added:
constructor Branch(left: Value, true_label: BasicBlock, false_label: BasicBlock, op: int, line: int=…, *, rare: bool=…) -> None - added:
constructor Call(fn: FuncDecl, args: Sequence[Value], line: int) -> None - added:
constructor Cast(src: Value, typ: RType, line: int) -> None - added:
constructor ClassIR(name: str, module_name: str, is_trait: bool=…, is_generated: bool=…, is_abstract: bool=…, is_ext_class: bool=…) -> None - added:
constructor DecRef(src: Value, is_xdec: bool=…, line: int=…) -> None - added:
constructor Environment(name: Optional[str]=…) -> None - added:
constructor FuncDecl(name: str, class_name: Optional[str], module_name: str, sig: FuncSignature, kind: int=…) -> None - added:
constructor FuncIR(decl: FuncDecl, blocks: List[BasicBlock], env: Environment, line: int=…, traceback_name: Optional[str]=…) -> None - added:
constructor FuncSignature(args: Sequence[RuntimeArg], ret_type: RType) -> None - added:
constructor GetAttr(obj: Value, attr: str, line: int) -> None - added:
constructor Goto(label: BasicBlock, line: int=…) -> None - added:
constructor IncRef(src: Value, line: int=…) -> None - added:
constructor InitStatic(value: Value, identifier: str, module_name: Optional[str]=…, namespace: str=…, line: int=…) -> None - added:
constructor LoadErrorValue(rtype: RType, line: int=…, is_borrowed: bool=…, undefines: bool=…) -> None - added:
constructor LoadInt(value: int, line: int=…) -> None - added:
constructor LoadStatic(type: RType, identifier: str, module_name: Optional[str]=…, namespace: str=…, line: int=…, ann: object=…) -> None - added:
constructor MethodCall(obj: Value, method: str, args: List[Value], line: int=…) -> None - added:
constructor ModuleIR(imports: List[str], functions: List[FuncIR], classes: List[ClassIR], final_names: List[Tuple[str, RType]]) -> None - added:
constructor NonExtClassInfo(non_ext_dict: Value, non_ext_bases: Value, non_ext_anns: Value) -> None - added:
constructor Op(line: int) -> None - added:
constructor PrimitiveOp(args: List[Value], desc: OpDescription, line: int) -> None - added:
constructor RInstance(class_ir: ClassIR) -> None - added:
constructor RPrimitive(name: str, is_unboxed: bool, is_refcounted: bool, ctype: str=…) -> None - added:
constructor RTuple(types: List[RType]) -> None - added:
constructor RUnion(items: List[RType]) -> None - added:
constructor RaiseStandardError(class_name: str, value: Optional[Union[str, Value]], line: int) -> None - added:
constructor Register(type: RType, line: int=…, is_arg: bool=…, name: str=…) -> None - added:
constructor RegisterOp(line: int) -> None - added:
constructor Return(reg: Value, line: int=…) -> None - added:
constructor RuntimeArg(name: str, typ: RType, kind: int=…) -> None - added:
constructor SetAttr(obj: Value, attr: str, src: Value, line: int) -> None - added:
constructor TupleGet(src: Value, index: int, line: int) -> None - added:
constructor TupleSet(items: List[Value], line: int) -> None - added:
constructor Unbox(src: Value, typ: RType, line: int) -> None - added:
constructor Unreachable(line: int=…) -> None - added:
constructor Value(line: int) -> None - added:
field Assign.error_kind - added:
field AssignmentTarget.type - added:
field Box.error_kind - added:
field Branch.BOOL_EXPR - added:
field Branch.IS_ERROR - added:
field Branch.error_kind - added:
field Branch.op_names - added:
field Call.error_kind - added:
field Cast.error_kind - added:
field DecRef.error_kind - added:
field GetAttr.error_kind - added:
field Goto.error_kind - added:
field IncRef.error_kind - added:
field InitStatic.error_kind - added:
field LoadErrorValue.error_kind - added:
field LoadInt.error_kind - added:
field LoadStatic.error_kind - added:
field LoadStatic.is_borrowed - added:
field MethodCall.error_kind - added:
field RInstance.is_unboxed - added:
field RTuple.is_unboxed - added:
field RType.c_undefined - added:
field RType.is_refcounted - added:
field RType.is_unboxed - added:
field RType.name - added:
field RUnion.is_unboxed - added:
field RVoid.ctype - added:
field RVoid.is_unboxed - added:
field RVoid.name - added:
field RaiseStandardError.ASSERTION_ERROR - added:
field RaiseStandardError.RUNTIME_ERROR - added:
field RaiseStandardError.STOP_ITERATION - added:
field RaiseStandardError.UNBOUND_LOCAL_ERROR - added:
field RaiseStandardError.VALUE_ERROR - added:
field RaiseStandardError.error_kind - added:
field RegisterOp.error_kind - added:
field Return.error_kind - added:
field SetAttr.error_kind - added:
field TupleGet.error_kind - added:
field TupleSet.error_kind - added:
field Unbox.error_kind - added:
field Unreachable.error_kind - added:
field Value.is_borrowed - added:
field Value.line - added:
field Value.name - added:
field Value.type - added:
function all_concrete_classes(class_ir: ClassIR) -> List[ClassIR] - added:
function format_blocks(blocks: List[BasicBlock], env: Environment) -> List[str] - added:
function format_func(fn: FuncIR) -> List[str] - added:
function is_bool_rprimitive(rtype: RType) -> bool - added:
function is_dict_rprimitive(rtype: RType) -> bool - added:
function is_float_rprimitive(rtype: RType) -> bool - added:
function is_int_rprimitive(rtype: RType) -> bool - added:
function is_list_rprimitive(rtype: RType) -> bool - added:
function is_none_rprimitive(rtype: RType) -> bool - added:
function is_object_rprimitive(rtype: RType) -> bool - added:
function is_optional_type(rtype: RType) -> bool - added:
function is_set_rprimitive(rtype: RType) -> bool - added:
function is_short_int_rprimitive(rtype: RType) -> bool - added:
function is_str_rprimitive(rtype: RType) -> bool - added:
function is_tuple_rprimitive(rtype: RType) -> bool - added:
function optional_value_type(rtype: RType) -> Optional[RType] - added:
function short_name(name: str) -> str - added:
method Assign.accept(visitor: OpVisitor[T]) -> T - added:
method Assign.sources() -> List[Value] - added:
method Assign.stolen() -> List[Value] - added:
method Assign.to_str(env: Environment) -> str - added:
method AssignmentTarget.to_str(env: Environment) -> str - added:
method AssignmentTargetAttr.to_str(env: Environment) -> str - added:
method AssignmentTargetIndex.to_str(env: Environment) -> str - added:
method AssignmentTargetRegister.to_str(env: Environment) -> str - added:
method AssignmentTargetTuple.to_str(env: Environment) -> str - added:
method Box.accept(visitor: OpVisitor[T]) -> T - added:
method Box.sources() -> List[Value] - added:
method Box.stolen() -> List[Value] - added:
method Box.to_str(env: Environment) -> str - added:
method Branch.accept(visitor: OpVisitor[T]) -> T - added:
method Branch.invert() -> None - added:
method Branch.sources() -> List[Value] - added:
method Branch.to_str(env: Environment) -> str - added:
method Call.accept(visitor: OpVisitor[T]) -> T - added:
method Call.sources() -> List[Value] - added:
method Call.to_str(env: Environment) -> str - added:
method Cast.accept(visitor: OpVisitor[T]) -> T - added:
method Cast.sources() -> List[Value] - added:
method Cast.stolen() -> List[Value] - added:
method Cast.to_str(env: Environment) -> str - added:
method ClassIR.attr_details(name: str) -> Tuple[RType, ClassIR] - added:
method ClassIR.attr_type(name: str) -> RType - added:
method ClassIR.concrete_subclasses() -> List[ClassIR] - added:
method ClassIR.get_method(name: str) -> Optional[FuncIR] - added:
method ClassIR.get_method_and_class(name: str) -> Optional[Tuple[FuncIR, ClassIR]] - added:
method ClassIR.has_attr(name: str) -> bool - added:
method ClassIR.has_method(name: str) -> bool - added:
method ClassIR.is_method_final(name: str) -> bool - added:
method ClassIR.method_decl(name: str) -> FuncDecl - added:
method ClassIR.method_sig(name: str) -> FuncSignature - added:
method ClassIR.name_prefix(names: NameGenerator) -> str - added:
method ClassIR.real_base() -> Optional[ClassIR] - added:
method ClassIR.struct_name(names: NameGenerator) -> str - added:
method ClassIR.subclasses() -> Set[ClassIR] - added:
method ClassIR.vtable_entry(name: str) -> int - added:
method DecRef.accept(visitor: OpVisitor[T]) -> T - added:
method DecRef.sources() -> List[Value] - added:
method DecRef.to_str(env: Environment) -> str - added:
method EmitterInterface.c_error_value(rtype: RType) -> str - added:
method EmitterInterface.emit_declaration(line: str) -> None - added:
method EmitterInterface.emit_line(line: str) -> None - added:
method EmitterInterface.emit_lines(*lines: str) -> None - added:
method EmitterInterface.reg(name: Value) -> str - added:
method EmitterInterface.temp_name() -> str - added:
method Environment.add(reg: Value, name: str) -> None - added:
method Environment.add_local(symbol: SymbolNode, typ: RType, is_arg: bool=…) -> Register - added:
method Environment.add_local_reg(symbol: SymbolNode, typ: RType, is_arg: bool=…) -> AssignmentTargetRegister - added:
method Environment.add_op(reg: RegisterOp) -> None - added:
method Environment.add_target(symbol: SymbolNode, target: AssignmentTarget) -> AssignmentTarget - added:
method Environment.add_temp(typ: RType, is_arg: bool=…) -> Register - added:
method Environment.format(fmt: str, *args: Any) -> str - added:
method Environment.lookup(symbol: SymbolNode) -> AssignmentTarget - added:
method Environment.regs() -> Iterable[Value] - added:
method Environment.to_lines() -> List[str] - added:
method FuncDecl.cname(names: NameGenerator) -> str - added:
method FuncIR.cname(names: NameGenerator) -> str - added:
method GetAttr.accept(visitor: OpVisitor[T]) -> T - added:
method GetAttr.sources() -> List[Value] - added:
method GetAttr.to_str(env: Environment) -> str - added:
method Goto.accept(visitor: OpVisitor[T]) -> T - added:
method Goto.sources() -> List[Value] - added:
method Goto.to_str(env: Environment) -> str - added:
method IncRef.accept(visitor: OpVisitor[T]) -> T - added:
method IncRef.sources() -> List[Value] - added:
method IncRef.to_str(env: Environment) -> str - added:
method InitStatic.accept(visitor: OpVisitor[T]) -> T - added:
method InitStatic.sources() -> List[Value] - added:
method InitStatic.to_str(env: Environment) -> str - added:
method LoadErrorValue.accept(visitor: OpVisitor[T]) -> T - added:
method LoadErrorValue.sources() -> List[Value] - added:
method LoadErrorValue.to_str(env: Environment) -> str - added:
method LoadInt.accept(visitor: OpVisitor[T]) -> T - added:
method LoadInt.sources() -> List[Value] - added:
method LoadInt.to_str(env: Environment) -> str - added:
method LoadStatic.accept(visitor: OpVisitor[T]) -> T - added:
method LoadStatic.sources() -> List[Value] - added:
method LoadStatic.to_str(env: Environment) -> str - added:
method MethodCall.accept(visitor: OpVisitor[T]) -> T - added:
method MethodCall.sources() -> List[Value] - added:
method MethodCall.to_str(env: Environment) -> str - added:
method Op.accept(visitor: OpVisitor[T]) -> T - added:
method Op.can_raise() -> bool - added:
method Op.sources() -> List[Value] - added:
method Op.stolen() -> List[Value] - added:
method Op.unique_sources() -> List[Value] - added:
method OpVisitor.visit_assign(op: Assign) -> T - added:
method OpVisitor.visit_box(op: Box) -> T - added:
method OpVisitor.visit_branch(op: Branch) -> T - added:
method OpVisitor.visit_call(op: Call) -> T - added:
method OpVisitor.visit_cast(op: Cast) -> T - added:
method OpVisitor.visit_dec_ref(op: DecRef) -> T - added:
method OpVisitor.visit_get_attr(op: GetAttr) -> T - added:
method OpVisitor.visit_goto(op: Goto) -> T - added:
method OpVisitor.visit_inc_ref(op: IncRef) -> T - added:
method OpVisitor.visit_init_static(op: InitStatic) -> T - added:
method OpVisitor.visit_load_error_value(op: LoadErrorValue) -> T - added:
method OpVisitor.visit_load_int(op: LoadInt) -> T - added:
method OpVisitor.visit_load_static(op: LoadStatic) -> T - added:
method OpVisitor.visit_method_call(op: MethodCall) -> T - added:
method OpVisitor.visit_primitive_op(op: PrimitiveOp) -> T - added:
method OpVisitor.visit_raise_standard_error(op: RaiseStandardError) -> T - added:
method OpVisitor.visit_return(op: Return) -> T - added:
method OpVisitor.visit_set_attr(op: SetAttr) -> T - added:
method OpVisitor.visit_tuple_get(op: TupleGet) -> T - added:
method OpVisitor.visit_tuple_set(op: TupleSet) -> T - added:
method OpVisitor.visit_unbox(op: Unbox) -> T - added:
method OpVisitor.visit_unreachable(op: Unreachable) -> T - added:
method PrimitiveOp.accept(visitor: OpVisitor[T]) -> T - added:
method PrimitiveOp.sources() -> List[Value] - added:
method PrimitiveOp.stolen() -> List[Value] - added:
method PrimitiveOp.to_str(env: Environment) -> str - added:
method RInstance.accept(visitor: RTypeVisitor[T]) -> T - added:
method RInstance.attr_type(name: str) -> RType - added:
method RInstance.getter_index(name: str) -> int - added:
method RInstance.method_index(name: str) -> int - added:
method RInstance.setter_index(name: str) -> int - added:
method RInstance.struct_name(names: NameGenerator) -> str - added:
method RPrimitive.accept(visitor: RTypeVisitor[T]) -> T - added:
method RTuple.accept(visitor: RTypeVisitor[T]) -> T - added:
method RType.accept(visitor: RTypeVisitor[T]) -> T - added:
method RType.short_name() -> str - added:
method RTypeVisitor.visit_rinstance(typ: RInstance) -> T - added:
method RTypeVisitor.visit_rprimitive(typ: RPrimitive) -> T - added:
method RTypeVisitor.visit_rtuple(typ: RTuple) -> T - added:
method RTypeVisitor.visit_runion(typ: RUnion) -> T - added:
method RTypeVisitor.visit_rvoid(typ: RVoid) -> T - added:
method RUnion.accept(visitor: RTypeVisitor[T]) -> T - added:
method RVoid.accept(visitor: RTypeVisitor[T]) -> T - added:
method RaiseStandardError.accept(visitor: OpVisitor[T]) -> T - added:
method RaiseStandardError.sources() -> List[Value] - added:
method RaiseStandardError.to_str(env: Environment) -> str - added:
method Register.to_str(env: Environment) -> str - added:
method RegisterOp.can_raise() -> bool - added:
method Return.accept(visitor: OpVisitor[T]) -> T - added:
method Return.sources() -> List[Value] - added:
method Return.stolen() -> List[Value] - added:
method Return.to_str(env: Environment) -> str - added:
method SetAttr.accept(visitor: OpVisitor[T]) -> T - added:
method SetAttr.sources() -> List[Value] - added:
method SetAttr.stolen() -> List[Value] - added:
method SetAttr.to_str(env: Environment) -> str - added:
method TupleGet.accept(visitor: OpVisitor[T]) -> T - added:
method TupleGet.sources() -> List[Value] - added:
method TupleGet.to_str(env: Environment) -> str - added:
method TupleNameVisitor.visit_rinstance(t: RInstance) -> str - added:
method TupleNameVisitor.visit_rprimitive(t: RPrimitive) -> str - added:
method TupleNameVisitor.visit_rtuple(t: RTuple) -> str - added:
method TupleNameVisitor.visit_runion(t: RUnion) -> str - added:
method TupleNameVisitor.visit_rvoid(t: RVoid) -> str - added:
method TupleSet.accept(visitor: OpVisitor[T]) -> T - added:
method TupleSet.sources() -> List[Value] - added:
method TupleSet.to_str(env: Environment) -> str - added:
method Unbox.accept(visitor: OpVisitor[T]) -> T - added:
method Unbox.sources() -> List[Value] - added:
method Unbox.to_str(env: Environment) -> str - added:
method Unreachable.accept(visitor: OpVisitor[T]) -> T - added:
method Unreachable.sources() -> List[Value] - added:
method Unreachable.to_str(env: Environment) -> str - added:
method Value.to_str(env: Environment) -> str - added:
property ClassIR.fullname -> str - added:
property FuncIR.args -> Sequence[RuntimeArg] - added:
property FuncIR.class_name -> Optional[str] - added:
property FuncIR.name -> str - added:
property FuncIR.ret_type -> RType - added:
property FuncIR.sig -> FuncSignature - added:
property Register.is_void -> bool - added:
property RuntimeArg.optional -> bool - added:
property Value.is_void -> bool - added:
variable ERR_FALSE - added:
variable ERR_MAGIC - added:
variable ERR_NEVER - added:
variable EmitCallback - added:
variable FUNC_CLASSMETHOD - added:
variable FUNC_NORMAL - added:
variable FUNC_STATICMETHOD - added:
variable INVALID_FUNC_DEF - added:
variable LiteralsMap - added:
variable MYPY - added:
variable NAMESPACE_STATIC - added:
variable NAMESPACE_TYPE - added:
variable NO_TRACEBACK_LINE_NO - added:
variable OpDescription - added:
variable StealsDescription - added:
variable T - added:
variable VTableAttr - added:
variable VTableEntries - added:
variable VTableMethod - added:
variable bool_rprimitive - added:
variable dict_rprimitive - added:
variable exc_rtuple - added:
variable float_rprimitive - added:
variable int_rprimitive - added:
variable list_rprimitive - added:
variable none_rprimitive - added:
variable object_rprimitive - added:
variable set_rprimitive - added:
variable short_int_rprimitive - added:
variable str_rprimitive - added:
variable tuple_rprimitive - added:
variable void_rtype
- added:
function emit_len(emitter: EmitterInterface, args: List[str], dest: str) -> None - added:
function emit_new_dict(emitter: EmitterInterface, args: List[str], dest: str) -> None - added:
variable dict_get_item_op - added:
variable dict_set_item_op - added:
variable dict_update_in_display_op - added:
variable dict_update_op - added:
variable new_dict_op
- added:
variable assert_err_occured_op - added:
variable error_catch_op - added:
variable exc_matches_op - added:
variable get_exc_info_op - added:
variable get_exc_value_op - added:
variable keep_propagating_op - added:
variable no_err_occurred_op - added:
variable raise_exception_op - added:
variable raise_exception_with_tb_op - added:
variable reraise_exception_op - added:
variable restore_exc_info_op - added:
variable set_stop_iteration_value
- added:
function int_binary_op(op: str, c_func_name: str, result_type: RType=…, error_kind: int=…) -> None - added:
function int_compare_op(op: str, c_func_name: str) -> None - added:
function int_unary_op(op: str, c_func_name: str) -> OpDescription - added:
variable int_neg_op - added:
variable unsafe_short_add
- added:
function emit_len(emitter: EmitterInterface, args: List[str], dest: str) -> None - added:
function emit_multiply(emitter: EmitterInterface, args: List[str], dest: str) -> None - added:
function emit_multiply_helper(emitter: EmitterInterface, dest: str, lst: str, num: str) -> None - added:
function emit_multiply_reversed(emitter: EmitterInterface, args: List[str], dest: str) -> None - added:
function emit_new(emitter: EmitterInterface, args: List[str], dest: str) -> None - added:
variable list_append_op - added:
variable list_extend_op - added:
variable list_get_item_op - added:
variable list_get_item_unsafe_op - added:
variable list_len_op - added:
variable list_pop - added:
variable list_pop_last - added:
variable list_set_item_op - added:
variable new_list_op - added:
variable to_list
- added:
variable bool_op - added:
variable check_stop_op - added:
variable coro_op - added:
variable ellipsis_op - added:
variable false_op - added:
variable fast_isinstance_op - added:
variable get_module_dict_op - added:
variable import_op - added:
variable iter_op - added:
variable method_new_op - added:
variable new_slice_op - added:
variable next_op - added:
variable next_raw_op - added:
variable none_object_op - added:
variable none_op - added:
variable py_calc_meta_op - added:
variable py_call_op - added:
variable py_call_with_kwargs_op - added:
variable py_delattr_op - added:
variable py_getattr_op - added:
variable py_hasattr_op - added:
variable py_method_call_op - added:
variable py_setattr_op - added:
variable pytype_from_template_op - added:
variable send_op - added:
variable true_op - added:
variable type_is_op - added:
variable type_object_op - added:
variable type_op - added:
variable yield_from_except_op - added:
variable yield_from_rtuple
- added:
function binary_op(op: str, arg_types: List[RType], result_type: RType, error_kind: int, emit: EmitCallback, format_str: Optional[str]=…, steals: StealsDescription=…, is_borrowed: bool=…, priority: int=…) -> None - added:
function call_emit(func: str) -> EmitCallback - added:
function call_negative_bool_emit(func: str) -> EmitCallback - added:
function call_negative_magic_emit(func: str) -> EmitCallback - added:
function custom_op(arg_types: List[RType], result_type: RType, error_kind: int, emit: EmitCallback, name: Optional[str]=…, format_str: Optional[str]=…, steals: StealsDescription=…, is_borrowed: bool=…, is_var_arg: bool=…) -> OpDescription - added:
function func_op(name: str, arg_types: List[RType], result_type: RType, error_kind: int, emit: EmitCallback, format_str: Optional[str]=…, steals: StealsDescription=…, is_borrowed: bool=…, priority: int=…) -> OpDescription - added:
function method_op(name: str, arg_types: List[RType], result_type: Optional[RType], error_kind: int, emit: EmitCallback, steals: StealsDescription=…, is_borrowed: bool=…, priority: int=…) -> OpDescription - added:
function name_emit(name: str) -> EmitCallback - added:
function name_ref_op(name: str, result_type: RType, error_kind: int, emit: EmitCallback, is_borrowed: bool=…) -> OpDescription - added:
function negative_int_emit(template: str) -> EmitCallback - added:
function simple_emit(template: str) -> EmitCallback - added:
function unary_op(op: str, arg_type: RType, result_type: RType, error_kind: int, emit: EmitCallback, format_str: Optional[str]=…, steals: StealsDescription=…, is_borrowed: bool=…, priority: int=…) -> OpDescription - added:
variable binary_ops - added:
variable func_ops - added:
variable method_ops - added:
variable name_ref_ops - added:
variable unary_ops
- added:
function emit_len(emitter: EmitterInterface, args: List[str], dest: str) -> None - added:
variable new_set_op - added:
variable set_add_op - added:
variable set_update_op
- added:
function emit_str_compare(comparison: str) -> Callable[[EmitterInterface, List[str], str], None]
- added:
function emit_len(emitter: EmitterInterface, args: List[str], dest: str) -> None - added:
variable list_tuple_op - added:
variable new_tuple_op - added:
variable tuple_get_item_op - added:
variable tuple_len_op
- added:
class CompilerOptions - added:
constructor CompilerOptions(strip_asserts: bool=…, multi_file: bool=…, verbose: bool=…) -> None
- added:
class PreBuildVisitor(TraverserVisitor) - added:
constructor PreBuildVisitor() -> None - added:
method PreBuildVisitor.add_free_variable(symbol: SymbolNode) -> None - added:
method PreBuildVisitor.is_parent(fitem: FuncItem, child: FuncItem) -> bool - added:
method PreBuildVisitor.visit_decorator(dec: Decorator) -> None - added:
method PreBuildVisitor.visit_func(func: FuncItem) -> None - added:
method PreBuildVisitor.visit_func_def(fdef: FuncItem) -> None - added:
method PreBuildVisitor.visit_lambda_expr(expr: LambdaExpr) -> None - added:
method PreBuildVisitor.visit_name_expr(expr: NameExpr) -> None - added:
method PreBuildVisitor.visit_symbol_node(symbol: SymbolNode) -> None - added:
method PreBuildVisitor.visit_var(var: Var) -> None
- added:
function add_block(decincs: DecIncs, cache: BlockCache, blocks: List[BasicBlock], label: BasicBlock) -> BasicBlock - added:
function after_branch_decrefs(label: BasicBlock, pre_live: AnalysisDict[Value], source_defined: Set[Value], source_borrowed: Set[Value], source_live_regs: Set[Value], env: Environment, omitted: Iterable[Value]=…) -> Tuple[Tuple[Value, bool], ...] - added:
function after_branch_increfs(label: BasicBlock, pre_live: AnalysisDict[Value], pre_borrow: AnalysisDict[Value], source_borrowed: Set[Value], env: Environment) -> Tuple[Value, ...] - added:
function insert_branch_inc_and_decrefs(block: BasicBlock, cache: BlockCache, blocks: List[BasicBlock], pre_live: AnalysisDict[Value], pre_borrow: AnalysisDict[Value], post_borrow: AnalysisDict[Value], post_must_defined: AnalysisDict[Value], env: Environment) -> None - added:
function insert_ref_count_opcodes(ir: FuncIR) -> None - added:
function is_maybe_undefined(post_must_defined: Set[Value], src: Value) -> bool - added:
function maybe_append_dec_ref(ops: List[Op], dest: Value, defined: AnalysisDict[Value], key: Tuple[BasicBlock, int]) -> None - added:
function maybe_append_inc_ref(ops: List[Op], dest: Value) -> None - added:
function transform_block(block: BasicBlock, pre_live: AnalysisDict[Value], post_live: AnalysisDict[Value], pre_borrow: AnalysisDict[Value], post_must_defined: AnalysisDict[Value], env: Environment) -> None - added:
variable BlockCache - added:
variable DecIncs
- added:
class RTSubtypeVisitor(RTypeVisitor[bool]) - added:
constructor RTSubtypeVisitor(right: RType) -> None - added:
function is_runtime_subtype(left: RType, right: RType) -> bool - added:
method RTSubtypeVisitor.visit_rinstance(left: RInstance) -> bool - added:
method RTSubtypeVisitor.visit_rprimitive(left: RPrimitive) -> bool - added:
method RTSubtypeVisitor.visit_rtuple(left: RTuple) -> bool - added:
method RTSubtypeVisitor.visit_runion(left: RUnion) -> bool - added:
method RTSubtypeVisitor.visit_rvoid(left: RVoid) -> bool
- added:
class SameTypeVisitor(RTypeVisitor[bool]) - added:
constructor SameTypeVisitor(right: RType) -> None - added:
function is_same_method_signature(a: FuncSignature, b: FuncSignature) -> bool - added:
function is_same_signature(a: FuncSignature, b: FuncSignature) -> bool - added:
function is_same_type(a: RType, b: RType) -> bool - added:
method SameTypeVisitor.visit_rinstance(left: RInstance) -> bool - added:
method SameTypeVisitor.visit_rprimitive(left: RPrimitive) -> bool - added:
method SameTypeVisitor.visit_rtuple(left: RTuple) -> bool - added:
method SameTypeVisitor.visit_runion(left: RUnion) -> bool - added:
method SameTypeVisitor.visit_rvoid(left: RVoid) -> bool
- added:
class SubtypeVisitor(RTypeVisitor[bool]) - added:
constructor SubtypeVisitor(right: RType) -> None - added:
function is_subtype(left: RType, right: RType) -> bool - added:
method SubtypeVisitor.visit_rinstance(left: RInstance) -> bool - added:
method SubtypeVisitor.visit_rprimitive(left: RPrimitive) -> bool - added:
method SubtypeVisitor.visit_rtuple(left: RTuple) -> bool - added:
method SubtypeVisitor.visit_runion(left: RUnion) -> bool - added:
method SubtypeVisitor.visit_rvoid(left: RVoid) -> bool
- added:
function insert_uninit_checks(ir: FuncIR) -> None - added:
function split_blocks_at_uninits(env: Environment, blocks: List[BasicBlock], pre_must_defined: AnalysisDict[Value]) -> List[BasicBlock]