URIHolder
ClassSource
URIHolder()
A temporary storage used for managing URIs.
Arguments
No argument is needed.
Methods
add
self.add(page: RendererPage)
Add a slang to the URI storage.
Requires
| Name | Type | Required | |
|---|---|---|---|
page | RendererPage | A page providing the slang and URI. |
render
v_1: dict[str, str] = self.render()
Render the data as the URI list.
Returns
| Name | Type | |
|---|---|---|
v_1 | dict[str, str] | A mapping from slang to the document file uri. |
update
self.update()
Refresh the URI list, and update the is_package flags.
This method is used to compensate the information of the undetected package members.