mxivddlmZddlmZddlmZddlmZGddeZGdde Z Gd d eZ y ) ) annotations)abstractmethod)Enum)ProtocolceZdZdZdZy) MediaFileKindmedia downloadableN)__name__ __module__ __qualname__MEDIA DOWNLOADABLE[/home/htdocs/ttos/venv/lib/python3.12/site-packages/streamlit/runtime/media_file_storage.pyrrs E"LrrceZdZdZy)MediaFileStorageErrorafException class for errors raised by MediaFileStorage. When running in "development mode", the full text of these errors is displayed in the frontend, so errors should be human-readable (and actionable). When running in "release mode", errors are redacted on the frontend; we instead show a generic "Something went wrong!" message. N)r r r __doc__rrrrrsrrcXeZdZe d ddZeddZeddZy) MediaFileStorageNct)aLoad the given file path or bytes into the manager and return an ID that uniquely identifies it. It's an error to pass a URL to this function. (Media stored at external URLs can be served directly to the Streamlit frontend; there's no need to store this data in MediaFileStorage.) Parameters ---------- path_or_data A path to a file, or the file's raw data as bytes. mimetype The media's mimetype. Used to set the Content-Type header when serving the media over HTTP. kind The kind of file this is: either MEDIA, or DOWNLOADABLE. filename : str or None Optional filename. Used to set the filename in the response header. Returns ------- str The unique ID of the media file. Raises ------ MediaFileStorageError Raised if the media can't be loaded (for example, if a file path is invalid). NotImplementedError)self path_or_datamimetypekindfilenames rload_and_get_idz MediaFileStorage.load_and_get_id+s T"!rct)aReturn a URL for a file in the manager. Parameters ---------- file_id The file's ID, returned from load_media_and_get_id(). Returns ------- str A URL that the frontend can load the file from. Because this URL may expire, it should not be cached! Raises ------ MediaFileStorageError Raised if the manager doesn't contain an object with the given ID. rrfile_ids rget_urlzMediaFileStorage.get_urlWs *"!rct)aDelete a file from the manager. This should be called when a given file is no longer referenced by any connected client, so that the MediaFileStorage can free its resources. Calling `delete_file` on a file_id that doesn't exist is allowed, and is a no-op. (This means that multiple `delete_file` calls with the same file_id is not an error.) Note: implementations can choose to ignore `delete_file` calls - this function is a *suggestion*, not a *command*. Callers should not rely on file deletion happening immediately (or at all). Parameters ---------- file_id The file's ID, returned from load_media_and_get_id(). Returns ------- None Raises ------ MediaFileStorageError Raised if file deletion fails for any reason. Note that these failures will generally not be shown on the frontend (file deletion usually occurs on session disconnect). rr"s r delete_filezMediaFileStorage.delete_filens B"!r)N) rz str | bytesrstrrrrz str | Nonereturnr')r#r'r(r')r#r'r(None)r r r rr r$r&rrrrr*sr $ )"!)")" )"  )" )")"V"", " "rrN) __future__rabcrenumrtypingrr Exceptionrrrrrr/s9#"D" I e"xe"r