class documentation

class BranchStatement: (source)

View In Hierarchy

Undocumented

Method __init__ Undocumented
Method copy Undocumented
Method delete_var Undocumented
Method done Undocumented
Method is_defined_in_a_branch Undocumented
Method is_possibly_undefined Undocumented
Method is_undefined Undocumented
Method next_branch Undocumented
Method record_definition Undocumented
Method record_nested_branch Undocumented
Method skip_branch Undocumented
Instance Variable branches Undocumented
Instance Variable initial_state Undocumented
def __init__(self, initial_state: BranchState): (source)

Undocumented

Undocumented

def delete_var(self, name: str): (source)

Undocumented

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

Undocumented

def is_defined_in_a_branch(self, name: str) -> bool: (source)

Undocumented

def is_possibly_undefined(self, name: str) -> bool: (source)

Undocumented

def is_undefined(self, name: str) -> bool: (source)

Undocumented

def next_branch(self): (source)

Undocumented

def record_definition(self, name: str): (source)

Undocumented

def record_nested_branch(self, state: BranchState): (source)

Undocumented

def skip_branch(self): (source)

Undocumented

Undocumented

initial_state = (source)

Undocumented