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