228: #line 238 "xml_weaver.ipk" 229: def set_anchor(self, label): 230: self._write('<A NAME="#'+label+'"></A>') 231: 232: def get_anchor(self, label): 233: return '#'+label 234: 235: def ref_anchor(self, label): 236: href = self.get_anchor(label) 237: if href: 238: self._write('<A HREF="'+href+'">'+label+'</A>') 239: else: 240: self._write('<EM>Unknown Label:'+label+'</EM>') 241: