CSY/reowolf Files · pseudo_socket.h · Centrum Wiskunde & Informatica (CWI)

Files @ ed4fe8216eb0

Branch filter:

Location: CSY/reowolf/pseudo_socket.h - annotation

ed4fe8216eb0 428 B text/x-chdr Show Source Show as Raw Download as Raw

Fix binding- and assignment-expression related typing issues.

Simpler solutions are better, so the typechecker is back to normal.
Instead we simply make sure that assignment expression is never
nested under another expression, and binding expressions may only
be nested under LogicalAnd-expressions. If only I knew why I thought
type shenanigans were a good idea in the first place...

a9fb2e3e41d9
a9fb2e3e41d9
a9fb2e3e41d9
a9fb2e3e41d9
a9fb2e3e41d9
a9fb2e3e41d9
a9fb2e3e41d9
a9fb2e3e41d9

#include <sys/socket.h> // defines {sockaddr, socklen_t}

int rw_socket(int domain, int type, int protocol);
int rw_connect(int fd, const struct sockaddr *address, socklen_t address_len);
int rw_bind(int socket, const struct sockaddr *address, socklen_t address_len);
int rw_close(int fd);
ssize_t rw_send(int fd, const void * message, size_t length, int flags);
ssize_t rw_recv(int fd, void * buffer, size_t length, int flags);