Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
59 lines (45 sloc) 2.27 KB
# network file
Socket = N
nat x:Socket : N = Cast.socket_nat x
# http://man7.org/linux/man-pages/man2/socket.2.html
main _ : Socket = Cast.any (Sys.callx 97 2 1 6 0 0 0) # PF_INET/AF_INET SOCK_STREAM IPPROTO_TCP
inet = 2 # AF_INET - sa_family_t sin_family;
# size=0, family=inet, port=port, address=(a, b, c, d), pad=0
address0 a:N b:N c:N d:N port:N : Mem =
s = Mem 16
Mem.set0 s 0 # unused - sin_len
Mem.set0 s+1 0 # unused - AF_INET - sa_family_t sin_family;
Mem.net_set1 s+2 port # in_port_t sin_port;
Mem.set0 s+4 a # struct in_addr sin_addr;
Mem.set0 s+5 b
Mem.set0 s+6 c
Mem.set0 s+7 d
s
address1 ip:N port:N : Mem =
s = Mem 16
Mem.net_set1 s+2 port # in_port_t sin_port;
Mem.set s+4 ip # struct in_addr sin_addr;
s
address host:S port:N : Mem = address1 host.Net.host port
# https://developer.apple.com/library/mac/documentation/Darwin/Reference/ManPages/man2/connect.2.html
connect1 x:Socket address:Mem = Sys.callx 98 x.nat address.Mem.nat 16 0 0 0 . Z
connect2 x:Socket address:N = Sys.callx 98 x.nat address 16 0 0 0 . Z
connect x:Socket host:S port:N = connect1 x (address host port)
test _ =
s = main 0
connect s 'google.com' 80
File.out s.File.of "GET / HTTP/1.0\.Host: www.google.com\.\."
#
HTTP/1.0 200 OK
Content-Type: text/html; charset=ISO-8859-1
Fact.do $Fun (Regex.search 'HTTP/1.. 200 OK' (File.in_read s.File.of))
# https://developer.apple.com/library/mac/documentation/Darwin/Reference/ManPages/man2/setsockopt.2.html
#define SOL_SOCKET 0xffff /* options for socket level */
opt x:Socket mask:N = Sys.callx 105 x.nat 0ffff mask (Ref 1).Ref.mem.Mem.nat 8 0 . Z
# http://man7.org/linux/man-pages/man2/bind.2.html
bind1 x:Socket address:Mem = Sys.callx 104 x.nat address.Mem.nat 16 0 0 0 . Z
bind x:Socket host:S port:N = bind1 x (address host port)
# http://man7.org/linux/man-pages/man2/listen.2.html
listen x:Socket = Sys.callx 106 x.nat 0 0 0 0 0 . Z
# http://man7.org/linux/man-pages/man2/accept.2.html
accept x:Socket : N = Sys.callx 30 x.nat (Mem 16).Mem.nat (Mem 8).Mem.nat 0 0 0
You can’t perform that action at this time.