431: #line 613 "input_frame.ipk" 432: def get_weaver(self): 433: return self.current_weaver 434: 435: def set_weaver(self,w): 436: tmp = self.current_weaver 437: self.current_weaver = w 438: return tmp 439: 440: def push_weaver(self,w): 441: self.current_weaver_stack.append(self.current_weaver) 442: self.current_weaver = w 443: 444: def pop_weaver(self): 445: self.current_weaver = self.current_weaver_stack[-1] 446: del self.current_weaver_stack[-1] 447: