mirror of
https://github.com/erg-lang/erg.git
synced 2025-07-21 12:05:27 +00:00
160 lines
5.4 KiB
Python
160 lines
5.4 KiB
Python
.AddressFamily: ClassType
|
|
.AddressFamily <: Nat
|
|
.AF_ALG: .AddressFamily # unix only
|
|
.AF_APPLETALK: .AddressFamily
|
|
.AF_ASH: .AddressFamily # unix only
|
|
.AF_ATMPVC: .AddressFamily # unix only
|
|
.AF_ATMSVC: .AddressFamily # unix only
|
|
.AF_AX25: .AddressFamily
|
|
.AF_BRIDGE: .AddressFamily # unix only
|
|
.AF_BLUETOOTH: .AddressFamily
|
|
.AF_CAN: .AddressFamily # unix only
|
|
.AF_DECnet: .AddressFamily
|
|
.AF_ECONET: .AddressFamily # unix only
|
|
.AF_INET: .AddressFamily
|
|
.AF_INET6: .AddressFamily
|
|
.AF_IPX: .AddressFamily
|
|
.AF_IRDA: .AddressFamily # unix only
|
|
.AF_KEY: .AddressFamily # unix only
|
|
.AF_LLC: .AddressFamily # unix only
|
|
.AF_NETBEUI: .AddressFamily # unix only
|
|
.AF_NETLINK: .AddressFamily # unix only
|
|
.AF_NETROM: .AddressFamily
|
|
.AF_PACKET: .AddressFamily # unix only
|
|
.AF_PPPOX: .AddressFamily # unix only
|
|
.AF_QIPCRTR: .AddressFamily # unix only
|
|
.AF_RDS: .AddressFamily # unix only
|
|
.AF_ROSE: .AddressFamily
|
|
.AF_ROUTE: .AddressFamily # unix only
|
|
.AF_SECURITY: .AddressFamily # unix only
|
|
.AF_SNA: .AddressFamily
|
|
.AF_TIPC: .AddressFamily # unix only
|
|
.AF_UNIX: .AddressFamily # unix only
|
|
.AF_UNSPEC: .AddressFamily
|
|
.AF_VSOCK: .AddressFamily # unix only
|
|
.AF_WANPIPE: .AddressFamily # unix only
|
|
.AF_X25: .AddressFamily
|
|
|
|
.SO_ACCEPTCONN: Nat
|
|
.SO_BINDTODEVICE: Nat
|
|
.SO_BROADCAST: Nat
|
|
.SO_DEBUG: Nat
|
|
.SO_DOMAIN: Nat
|
|
.SO_DONTROUTE: Nat
|
|
.SO_ERROR: Nat
|
|
.SO_INCOMING_CPU: Nat
|
|
.SO_J1939_ERRQUEUE: Nat
|
|
.SO_J1939_FILTER: Nat
|
|
.SO_J1939_PROMISC: Nat
|
|
.SO_J1939_SEND_PRIO: Nat
|
|
.SO_KEEPALIVE: Nat
|
|
.SO_LINGER: Nat
|
|
.SO_MARK: Nat
|
|
.SO_OOBINLINE: Nat
|
|
.SO_PASSCRED: Nat
|
|
.SO_PASSSEC: Nat
|
|
.SO_PEERCRED: Nat
|
|
.SO_PEERSEC: Nat
|
|
.SO_PRIORITY: Nat
|
|
.SO_PROTOCOL: Nat
|
|
.SO_RCVBUF: Nat
|
|
.SO_RCVLOWAT: Nat
|
|
.SO_RCVTIMEO: Nat
|
|
.SO_REUSEADDR: Nat
|
|
.SO_REUSEPORT: Nat
|
|
.SO_SNDBUF: Nat
|
|
.SO_SNDLOWAT: Nat
|
|
.SO_SNDTIMEO: Nat
|
|
.SO_TYPE: Nat
|
|
.SO_VM_SOCKETS_BUFFER_MAX_SIZE: Nat
|
|
.SO_VM_SOCKETS_BUFFER_MIN_SIZE: Nat
|
|
.SO_VM_SOCKETS_BUFFER_SIZE: Nat
|
|
|
|
.SocketKind: ClassType
|
|
.SocketKind <: Nat
|
|
.SOCK_DGRAM: .SocketKind
|
|
.SOCK_RAW: .SocketKind
|
|
.SOCK_RDM: .SocketKind
|
|
.SOCK_SEQPACKET: .SocketKind
|
|
.SOCK_STREAM: .SocketKind
|
|
|
|
.SOL_ALG: Nat
|
|
.SOL_CAN_BASE: Nat
|
|
.SOL_CAN_RAW: Nat
|
|
.SOL_IP: Nat
|
|
.SOL_RDS: Nat
|
|
.SOL_SOCKET: Nat
|
|
.SOL_TCP: Nat
|
|
.SOL_TIPC: Nat
|
|
.SOL_UDP: Nat
|
|
|
|
.Socket! = 'socket': ClassType
|
|
.Socket!.
|
|
new!: (family := Int, type := Int, proto := Int, fileno: Int or NoneType := NoneType) => .Socket!
|
|
__call__!: (family := Int, type := Int, proto := Int, fileno: Int or NoneType := NoneType) => .Socket!
|
|
accept!: (self: RefMut(.Socket!)) => (.Socket!, (Str, Int))
|
|
bind!: (self: RefMut(.Socket!), address: (Str, Int)) => NoneType
|
|
close!: (self: RefMut(.Socket!)) => NoneType
|
|
connect!: (self: RefMut(.Socket!), address: (Str, Int)) => NoneType
|
|
connect_ex!: (self: RefMut(.Socket!), address: (Str, Int)) => Int
|
|
detach!: (self: RefMut(.Socket!)) => Int
|
|
dup!: (self: RefMut(.Socket!)) => .Socket!
|
|
fileno!: (self: RefMut(.Socket!)) => Int
|
|
get_inheritable!: (self: RefMut(.Socket!)) => Bool
|
|
getpeername!: (self: RefMut(.Socket!)) => (Str, Int)
|
|
getsockname!: (self: RefMut(.Socket!)) => (Str, Int)
|
|
getsockopt!: (self: RefMut(.Socket!), level: Int, option: Int, buffersize: Int) => Str or Int
|
|
getblocking!: (self: RefMut(.Socket!)) => Bool
|
|
gettimeout!: (self: RefMut(.Socket!)) => Float or NoneType
|
|
listen!: (self: RefMut(.Socket!), backlog: Int) => NoneType
|
|
recv!: (self: RefMut(.Socket!), bufsize: Int, flags := Int) => Str
|
|
recvfrom!: (self: RefMut(.Socket!), bufsize: Int, flags := Int) => (Str, (Str, Int))
|
|
recvmsg!: (self: RefMut(.Socket!), bufsize: Int, ancbufsize := Int, flags := Int) => (Str, (Str, Int), Int)
|
|
recvmsg_into!: (self: RefMut(.Socket!), buffers: Iterable(Writable!), ancbufsize := Int, flags := Int) => (Str, (Str, Int), Int)
|
|
recvfrom_into!: (self: RefMut(.Socket!), buffer: Writable!, flags := Int) => (Str, (Str, Int))
|
|
recv_into!: (self: RefMut(.Socket!), buffer: Writable!, nbytes := Int, flags := Int) => Nat
|
|
send!: (self: RefMut(.Socket!), data: Bytes, flags := Int) => Int
|
|
sendall!: (self: RefMut(.Socket!), data: Bytes, flags := Int) => NoneType
|
|
sendto!: (self: RefMut(.Socket!), data: Bytes, address: (Str, Int), flags := Int) => Int
|
|
sendmsg!: (
|
|
self: RefMut(.Socket!),
|
|
buffers: Iterable(Bytes),
|
|
ancdata: Iterable(Bytes),
|
|
flags := Int,
|
|
address: (Str, Int) or NoneType := NoneType
|
|
) => Int
|
|
|
|
.socketpair!: (
|
|
family := Int,
|
|
type := Int,
|
|
proto := Int,
|
|
fileno: Int or NoneType := NoneType
|
|
) => (.Socket!, .Socket!)
|
|
.create_connection!: (
|
|
address: (Str, Int),
|
|
timeout: Int or NoneType := NoneType,
|
|
source_address: (Str, Int) or NoneType := NoneType
|
|
) => .Socket!
|
|
.create_server!: (
|
|
address: (Str, Int),
|
|
family: Int or NoneType := NoneType,
|
|
backlog: Int or NoneType := NoneType,
|
|
reuse_port := Bool
|
|
) => .Socket!
|
|
.has_dualstack_ipv6: () -> Bool
|
|
.fromfd!: (fd: Int, family: Int, type: Int, proto: Int) => .Socket!
|
|
|
|
.close!: (fd: .Socket!) => NoneType
|
|
.getaddrinfo!: (
|
|
host: Str,
|
|
port: Int or NoneType,
|
|
family: Int or NoneType := NoneType,
|
|
type: Int or NoneType := NoneType,
|
|
proto: Int or NoneType := NoneType,
|
|
flags: Int or NoneType := NoneType,
|
|
) => (Int, Int, Int, Str, (Str, Int))
|
|
.gethostbyname!: (hostname: Str) => Str
|
|
.gethostbyname_ex!: (hostname: Str) => (Str, [Str; _], [Str; _])
|
|
.gethostname!: () => Str
|
|
.gethostbyaddr!: (ip: Str) => (Str, [Str; _], [Str; _])
|
|
.getnameinfo!: (sockaddr: (Str, Int), flags: Int or NoneType := NoneType) => (Str, Str)
|