56: #line 67 "text_weaver.ipk" 57: def set_original_filename(self, filename): 58: self.original_filename = filename 59: 60: def set_anchor(self, label): 61: if not self.persistent_frame.has_key('anchors'): 62: self.persistent_frame['anchors'] = {} 63: self.persistent_frame['anchors'][label]=self.sink.lines_written+1 64: 65: def get_anchor(self, label): 66: href = None 67: if self.persistent_frame.has_key('anchors'): 68: if self.persistent_frame['anchors'].has_key(label): 69: href =self.persistent_frame['anchors'][label] 70: return href 71: 72: def ref_anchor(self, label): 73: href = self.get_anchor(label) 74: if href: 75: self._write('line '+str(href)) 76: else: 77: self._write('Unknown Label:'+label) 78: