mypy.binder.Frame

class documentation

class Frame: (source)

A Frame represents a specific point in the execution of a program. It carries information about the current types of expressions at that point, arising either from assignments to those expressions or the result of isinstance checks. It also records whether it is possible to reach that point at all. This information is not copied into a new Frame when it is pushed onto the stack, so a given Frame only has information about types that were assigned in that frame.

Method	`__init__`	Undocumented
Instance Variable	`conditional_frame`	Undocumented
Instance Variable	`id`	Undocumented
Instance Variable	`suppress_unreachable_warnings`	Undocumented
Instance Variable	`types`	Undocumented
Instance Variable	`unreachable`	Undocumented

def __init__(self, id: int, conditional_frame: bool = False): (source) ¶

Undocumented

conditional_frame = (source) ¶

Undocumented

id = (source) ¶

Undocumented

suppress_unreachable_warnings: bool = (source) ¶

Undocumented

types: dict[Key, Type] = (source) ¶

Undocumented

unreachable: bool = (source) ¶

Undocumented