(self)
| 97 | return result |
| 98 | |
| 99 | def next_branch(self) -> None: |
| 100 | self.branches.append( |
| 101 | BranchState( |
| 102 | must_be_defined=self.initial_state.must_be_defined, |
| 103 | may_be_defined=self.initial_state.may_be_defined, |
| 104 | ) |
| 105 | ) |
| 106 | |
| 107 | def record_definition(self, name: str) -> None: |
| 108 | assert len(self.branches) > 0 |
no test coverage detected