311: #line 484 "input_frame.ipk" 312: def get_weaver(self): 313: return self.weaver 314: 315: def set_weaver(self,w): 316: tmp = self.weaver 317: self.weaver = w 318: return tmp 319: 320: def push_weaver(self,w): 321: self.weaver_stack.append(self.weaver) 322: self.weaver = w 323: 324: def pop_weaver(self): 325: self.weaver = self.weaver_stack[-1] 326: del self.weaver_stack[-1] 327: