These operations call the start and end section methods of the tangler objects as they become, or cease to become, the current tangler, this ensures correct source file references are inserted into the code files.
601: #line 890 "input_frame.ipk" 602: def tangler_push(self,f): 603: self.tangler_stack.append(self.tangler) 604: self.tangler = f 605: 606: def tangler_pop(self): 607: self.tangler = self.tangler_stack[-1] 608: del self.tangler_stack[-1] 609: 610: def tangler_set(self,f): 611: self.tangler = f 612: