mypy.partially_defined.BranchState

class documentation

class BranchState: (source)

View In Hierarchy

BranchState contains information about variable definition at the end of a branching statement. `if` and `match` are examples of branching statements. `may_be_defined` contains variables that were defined in only some branches. `must_be_defined` contains variables that were defined in all branches.

Method __init__ Undocumented
Method copy Undocumented
Instance Variable may_be_defined Undocumented
Instance Variable must_be_defined Undocumented
Instance Variable skipped Undocumented
def __init__(self, must_be_defined: set[str]|None = None, may_be_defined: set[str]|None = None, skipped: bool = False): (source)

Undocumented

def copy(self) -> BranchState: (source)

Undocumented

may_be_defined = (source)

Undocumented

must_be_defined = (source)

Undocumented

skipped = (source)

Undocumented