Exits a regular section.
(self, section_id)
| 465 | self.exits[section_id] = set() |
| 466 | |
| 467 | def exit_section(self, section_id): |
| 468 | """Exits a regular section.""" |
| 469 | |
| 470 | # Exits are jump nodes, which may be protected. |
| 471 | for exit_ in self.exits[section_id]: |
| 472 | self.leaves |= self._connect_jump_to_finally_sections(exit_) |
| 473 | |
| 474 | del self.exits[section_id] |
| 475 | |
| 476 | def enter_loop_section(self, section_id, entry_node): |
| 477 | """Enters a loop section. |
no test coverage detected