Exits a conditional section.
(self, section_id)
| 536 | self.cond_entry[section_id] = self.leaves |
| 537 | |
| 538 | def exit_cond_section(self, section_id): |
| 539 | """Exits a conditional section.""" |
| 540 | for split in self.cond_leaves[section_id]: |
| 541 | self.leaves |= split |
| 542 | del self.cond_entry[section_id] |
| 543 | del self.cond_leaves[section_id] |
| 544 | |
| 545 | def enter_finally_section(self, section_id): |
| 546 | """Enters a finally section.""" |