view stubs/twisted/words/protocols/jabber/jid.pyi @ 4242:8acf46ed7f36

frontends: remote control implementation: This is the frontends common part of remote control implementation. It handle the creation of WebRTC session, and management of inputs. For now the reception use freedesktop.org Desktop portal, and works mostly with Wayland based Desktop Environments. rel 436
author Goffi <goffi@goffi.org>
date Sat, 11 May 2024 13:52:43 +0200
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:
        ...