6.19.10.2.9. Weaver Control

   521: #line 708 "input_frame.ipk"
   522:   def get_weaver(self):
   523:     "Get the current weaver"
   524:     return self.current_weaver
   525: 
   526:   def set_weaver(self,w):
   527:     "set the current weaver"
   528:     tmp = self.current_weaver
   529:     self.current_weaver = w
   530:     return tmp
   531: 
   532:   def push_weaver(self,w):
   533:     "Push the current weaver onto the weaver stack, and set new current weaver"
   534:     self.current_weaver_stack.append(self.current_weaver)
   535:     self.current_weaver = w
   536: 
   537:   def pop_weaver(self):
   538:     "Set the current weaver to the weaver on the weaver stack and pop it."
   539:     self.current_weaver = self.current_weaver_stack[-1]
   540:     del self.current_weaver_stack[-1]
   541: 
   542:   def raw_if(self,tag):
   543:     "Set the weaver in raw mode if it has the given tag"
   544:     self.current_weaver.raw_if(tag)
   545: 
   546:   def enable_if(self,tag):
   547:     "Enable the current weaver if it has the given tag"
   548:     self.current_weaver.enable_if(tag)
   549: 
   550:   def enable(self):
   551:     "Enable the current weaver"
   552:     self.current_weaver.enable()
   553: 
   554:   def disable(self):
   555:     "Disable the current weaver"
   556:     self.current_weaver.disable()
   557: