465: #line 651 "input_frame.ipk" 466: def get_weaver(self): 467: return self.current_weaver 468: 469: def set_weaver(self,w): 470: tmp = self.current_weaver 471: self.current_weaver = w 472: return tmp 473: 474: def push_weaver(self,w): 475: self.current_weaver_stack.append(self.current_weaver) 476: self.current_weaver = w 477: 478: def pop_weaver(self): 479: self.current_weaver = self.current_weaver_stack[-1] 480: del self.current_weaver_stack[-1] 481: 482: def raw_if(self,tag): 483: self.current_weaver.raw_if(tag) 484: 485: def enable_if(self,tag): 486: self.current_weaver.enable_if(tag) 487: 488: def enable(self): 489: self.current_weaver.enable() 490: 491: def disable(self): 492: self.current_weaver.disable() 493: