URIHolder
类源码
URIHolder()
用来管理 URI (统一资源标识符)的临时缓存。
参数
该类的初始化无需参数。
方法
add
self.add(page: RendererPage)
将页面的内部识别码添加到该 URI 缓存中。
输入
| 参数 | 类型 | 必选 | |
|---|---|---|---|
page | RendererPage | 用来提供内部识别码和 URI 的页面。 |
render
v_1: dict[str, str] = self.render()
将数据渲染为 URI 列表。
输出
| 参数 | 类型 | |
|---|---|---|
v_1 | dict[str, str] | 从slang到指向文档文件uri的映射。 |
update
self.update()
刷新 URI 列表,并更新其中的is_package布尔标记。
该方法用来补充一些来自“未被探测到的模块包成员”的信息。