view stubs/twisted/words/protocols/jabber/jid.pyi @ 4205:17a8168966f9

frontends (tools/webrtc): implement screensharing for Wayland + bug fixes: - Freedesktop Desktop Screenshare port is now used when Wayland is detected (needs `xdg-desktop-portal` with the implementation corresponding to desktop environment). - Add a binding feature to feedback state to application (e.g. if desktop sharing is cancelled from desktop environment, or at portal's permission request level). - fix misnaming of video source (was wrongly named `camera` instead of `video`). - fix desktop sharing pad selection in `input-selector` when it has been added once, then removed, then added again. rel 434
author Goffi <goffi@goffi.org>
date Thu, 18 Jan 2024 23:29:25 +0100
parents 8289ac1b34f4
children
line wrap: on
line source

from typing import Tuple, overload


User = str
Host = str
Resource = str


# Note: these typings are incomplete and evolve as needed.
class JID:
    user: User
    host: Host
    resource: Resource

    @overload
    def __init__(self, str: str, tuple: None = None) -> None:
        ...

    @overload
    def __init__(self, str: None, tuple: Tuple[User, Host, Resource]) -> None:
        ...

    def userhost(self) -> str:
        ...

    def userhostJID(self) -> "JID":
        ...

    def full(self) -> str:
        ...