186: #line 273 "web_weaver.ipk" 187: def set_original_filename(self, filename): 188: self.original_filename = filename 189: 190: def set_anchor(self, label): 191: if not self.persistent_frame.has_key('anchors'): 192: self.persistent_frame['anchors'] = {} 193: href = self.pattern%('%04d'%(self.childcount))+'#'+label 194: self._write('<A NAME="'+label+'"></A>') 195: self.persistent_frame['anchors'][label]=href 196: 197: def get_anchor(self, label): 198: href = None 199: if self.persistent_frame.has_key('anchors'): 200: if self.persistent_frame['anchors'].has_key(label): 201: href =self.persistent_frame['anchors'][label] 202: return href 203: 204: def ref_anchor(self, label): 205: href = self.get_anchor(label) 206: if href: 207: self._write('<A HREF="'+href+'">'+label+'</A>') 208: else: 209: self._write('<EM>Unknown Label:'+label+'</EM>') 210: