&e1ddlmZddlmZddlmZmZddlmZGddeZ Gdde Z Gd d eZ d S) )abstractmethod)Enum)OptionalUnion)ProtocolceZdZdZdZdS) MediaFileKindmedia downloadableN)__name__ __module__ __qualname__MEDIA DOWNLOADABLEDlib/python3.11/site-packages/streamlit/runtime/media_file_storage.pyr r s E"LLLrr ceZdZdZdS)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__rrrrrsrrc eZdZe d deeefdededeedef dZ ededefd Z ededdfd Z dS) MediaFileStorageN path_or_datamimetypekindfilenamereturnct)u Load 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)selfrrrrs rload_and_get_idz MediaFileStorage.load_and_get_id+s T"!rfile_idct)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. rr!r#s 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) r r rrrstrbytesr rr"r&r(rrrrr*s #' )")"CJ')")" )" 3- )" )")")"^)"V"s"s"""^", "3 "4 " " "^ " " "rrN) abcrenumrtypingrrtyping_extensionsrr Exceptionrrrrrr0s""""""""&&&&&&"""""D"""     I   e"e"e"e"e"xe"e"e"e"e"r