def _uid_to_uri(self, uid): if uid.is_module() or uid.is_class(): return uid.name() + ".html" parent = uid.parent() if parent is None: return uid.name() + ".html" return parent.name() + ".html#" + uid.shortname()
def _write_method_redirects(self, directory): import os.path seen = {} for uid, doc in self._docmap.data.iteritems(): if uid.is_method() or uid.is_function(): if uid.name() in seen: continue seen[uid.name()] = 1 filename = os.path.join(directory, uid.name() + ".html") # assert not os.path.exists(filename), filename s = self._method_to_html(uid) open(filename, "w").write(s)
def _uid_to_filename(self, uid): # Enforce same restrictions as HTMLFormatter._uid_to_filename for sanity # checking assert uid.is_module() or uid.is_class(), "Bad UID type: %r" % (uid,) return uid.name() + ".html"