mirror of
https://github.com/vishapoberon/compiler.git
synced 2026-04-06 07:32:24 +00:00
initial of OpenBSD changes for voc on X86_64
Former-commit-id: 0170d2b442
This commit is contained in:
Antranig Vartanian
parent
5305dbaa89
commit
7d3258c2f2
12 changed files with 3413 additions and 0 deletions
519
src/lib/system/openbsd/gcc/x86_64/Unix.Mod
Normal file
519
src/lib/system/openbsd/gcc/x86_64/Unix.Mod
Normal file
|
|
@ -0,0 +1,519 @@
|
|||
MODULE Unix; (* Josef Templ, 5.3.90 Linux system calls *)
|
||||
(* ported to gnu x86_64 and added system(), sleep() functions, noch *)
|
||||
(* Module Unix provides a system call interface to Linux.
|
||||
Naming conventions:
|
||||
Procedure and Type-names always start with a capital letter.
|
||||
error numbers as defined in Unix
|
||||
other constants start with lower case letters *)
|
||||
|
||||
IMPORT SYSTEM;
|
||||
|
||||
CONST
|
||||
|
||||
(* various important constants *)
|
||||
|
||||
stdin* = 0; stdout* =1; stderr* = 2;
|
||||
|
||||
LOCKEX* = 2; LOCKUN* = 8; (* /usr/include/file.h *)
|
||||
AFINET* = 2; (* /usr/include/sys/socket.h *)
|
||||
PFINET* = AFINET; (* /usr/include/linux/socket.h *)
|
||||
SOCKSTREAM* = 1; (* /usr/include/linux/socket.h *)
|
||||
FIONREAD* = 541BH; (* in /usr/include/asm/termios.h *)
|
||||
SETFL* = 4; (* set file descriptor flags; in asm/fcntl.h *)
|
||||
TCP* = 0;
|
||||
|
||||
(* flag sets, cf. /usr/include/asm/fcntl.h *)
|
||||
rdonly* = {}; wronly* = {0}; rdwr* = {1}; creat* = {6}; excl* = {7}; trunc* = {9}; append* = {10}; ndelay = {11};
|
||||
|
||||
(* error numbers *)
|
||||
|
||||
EPERM* = 1; (* Not owner *)
|
||||
ENOENT* = 2; (* No such file or directory *)
|
||||
ESRCH* = 3; (* No such process *)
|
||||
EINTR* = 4; (* Interrupted system call *)
|
||||
EIO* = 5; (* I/O error *)
|
||||
ENXIO* = 6; (* No such device or address *)
|
||||
E2BIG* = 7; (* Arg list too long *)
|
||||
ENOEXEC* = 8; (* Exec format error *)
|
||||
EBADF* = 9; (* Bad file number *)
|
||||
ECHILD* = 10; (* No children *)
|
||||
EAGAIN* = 11; (* No more processes *)
|
||||
ENOMEM* = 12; (* Not enough core *)
|
||||
EACCES* = 13; (* Permission denied *)
|
||||
EFAULT* = 14; (* Bad address *)
|
||||
ENOTBLK* = 15; (* Block device required *)
|
||||
EBUSY* = 16; (* Mount device busy *)
|
||||
EEXIST* = 17; (* File exists *)
|
||||
EXDEV* = 18; (* Cross-device link *)
|
||||
ENODEV* = 19; (* No such device *)
|
||||
ENOTDIR* = 20; (* Not a directory*)
|
||||
EISDIR* = 21; (* Is a directory *)
|
||||
EINVAL* = 22; (* Invalid argument *)
|
||||
ENFILE* = 23; (* File table overflow *)
|
||||
EMFILE* = 24; (* Too many open files *)
|
||||
ENOTTY* = 25; (* Not a typewriter *)
|
||||
ETXTBSY* = 26; (* Text file busy *)
|
||||
EFBIG* = 27; (* File too large *)
|
||||
ENOSPC* = 28; (* No space left on device *)
|
||||
ESPIPE* = 29; (* Illegal seek *)
|
||||
EROFS* = 30; (* Read-only file system *)
|
||||
EMLINK* = 31; (* Too many links *)
|
||||
EPIPE* = 32; (* Broken pipe *)
|
||||
EDOM* = 33; (* Argument too large *)
|
||||
ERANGE* = 34; (* Result too large *)
|
||||
EDEADLK* = 35; (* Resource deadlock would occur *)
|
||||
ENAMETOOLONG* = 36; (* File name too long *)
|
||||
ENOLCK* = 37; (* No record locks available *)
|
||||
ENOSYS* = 38; (* Function not implemented *)
|
||||
ENOTEMPTY* = 39; (* Directory not empty *)
|
||||
ELOOP* = 40; (* Too many symbolic links encountered *)
|
||||
EWOULDBLOCK* = EAGAIN; (* Operation would block *)
|
||||
ENOMSG* = 42; (* No message of desired type *)
|
||||
EIDRM* = 43; (* Identifier removed *)
|
||||
ECHRNG* = 44; (* Channel number out of range *)
|
||||
EL2NSYNC* = 45; (* Level 2 not synchronized *)
|
||||
EL3HLT* = 46; (* Level 3 halted *)
|
||||
EL3RST* = 47; (* Level 3 reset *)
|
||||
ELNRNG* = 48; (* Link number out of range *)
|
||||
EUNATCH* = 49; (* Protocol driver not attached *)
|
||||
ENOCSI* = 50; (* No CSI structure available *)
|
||||
EL2HLT* = 51; (* Level 2 halted *)
|
||||
EBADE* = 52; (* Invalid exchange *)
|
||||
EBADR* = 53; (* Invalid request descriptor *)
|
||||
EXFULL* = 54; (* Exchange full *)
|
||||
ENOANO* = 55; (* No anode *)
|
||||
EBADRQC* = 56; (* Invalid request code *)
|
||||
EBADSLT* = 57; (* Invalid slot *)
|
||||
EDEADLOCK* = 58; (* File locking deadlock error *)
|
||||
EBFONT* = 59; (* Bad font file format *)
|
||||
ENOSTR* = 60; (* Device not a stream *)
|
||||
ENODATA* = 61; (* No data available *)
|
||||
ETIME* = 62; (* Timer expired *)
|
||||
ENOSR* = 63; (* Out of streams resources *)
|
||||
ENONET* = 64; (* Machine is not on the network *)
|
||||
ENOPKG* = 65; (* Package not installed *)
|
||||
EREMOTE* = 66; (* Object is remote *)
|
||||
ENOLINK* = 67; (* Link has been severed *)
|
||||
EADV* = 68; (* Advertise error *)
|
||||
ESRMNT* = 69; (* Srmount error *)
|
||||
ECOMM* = 70; (* Communication error on send *)
|
||||
EPROTO* = 71; (* Protocol error *)
|
||||
EMULTIHOP* = 72; (* Multihop attempted *)
|
||||
EDOTDOT* = 73; (* RFS specific error *)
|
||||
EBADMSG* = 74; (* Not a data message *)
|
||||
EOVERFLOW* = 75; (* Value too large for defined data type *)
|
||||
ENOTUNIQ* = 76; (* Name not unique on network *)
|
||||
EBADFD* = 77; (* File descriptor in bad state *)
|
||||
EREMCHG* = 78; (* Remote address changed *)
|
||||
ELIBACC* = 79; (* Can not access a needed shared library *)
|
||||
ELIBBAD* = 80; (* Accessing a corrupted shared library *)
|
||||
ELIBSCN* = 81; (* .lib section in a.out corrupted *)
|
||||
ELIBMAX* = 82; (* Attempting to link in too many shared libraries *)
|
||||
ELIBEXEC* = 83; (* Cannot exec a shared library directly *)
|
||||
EILSEQ* = 84; (* Illegal byte sequence *)
|
||||
ERESTART* = 85; (* Interrupted system call should be restarted *)
|
||||
ESTRPIPE* = 86; (* Streams pipe error *)
|
||||
EUSERS* = 87; (* Too many users *)
|
||||
ENOTSOCK* = 88; (* Socket operation on non-socket *)
|
||||
EDESTADDRREQ* = 89; (* Destination address required *)
|
||||
EMSGSIZE* = 90; (* Message too long *)
|
||||
EPROTOTYPE* = 91; (* Protocol wrong type for socket *)
|
||||
ENOPROTOOPT* = 92; (* Protocol not available *)
|
||||
EPROTONOSUPPORT* = 93; (* Protocol not supported *)
|
||||
ESOCKTNOSUPPORT* = 94; (* Socket type not supported *)
|
||||
EOPNOTSUPP* = 95; (* Operation not supported on transport endpoint *)
|
||||
EPFNOSUPPORT* = 96; (* Protocol family not supported *)
|
||||
EAFNOSUPPORT* = 97; (* Address family not supported by protocol *)
|
||||
EADDRINUSE* = 98; (* Address already in use *)
|
||||
EADDRNOTAVAIL* = 99; (* Cannot assign requested address *)
|
||||
ENETDOWN* = 100; (* Network is down *)
|
||||
ENETUNREACH* = 101; (* Network is unreachable *)
|
||||
ENETRESET* = 102; (* Network dropped connection because of reset *)
|
||||
ECONNABORTED* = 103; (* Software caused connection abort *)
|
||||
ECONNRESET* = 104; (* Connection reset by peer *)
|
||||
ENOBUFS* = 105; (* No buffer space available *)
|
||||
EISCONN* = 106; (* Transport endpoint is already connected *)
|
||||
ENOTCONN* = 107; (* Transport endpoint is not connected *)
|
||||
ESHUTDOWN* = 108; (* Cannot send after transport endpoint shutdown *)
|
||||
ETOOMANYREFS* = 109; (* Too many references: cannot splice *)
|
||||
ETIMEDOUT* = 110; (* Connection timed out *)
|
||||
ECONNREFUSED* = 111; (* Connection refused *)
|
||||
EHOSTDOWN* = 112; (* Host is down *)
|
||||
EHOSTUNREACH* = 113; (* No route to host *)
|
||||
EALREADY* = 114; (* Operation already in progress *)
|
||||
EINPROGRESS* = 115; (* Operation now in progress *)
|
||||
ESTALE* = 116; (* Stale NFS file handle *)
|
||||
EUCLEAN* = 117; (* Structure needs cleaning *)
|
||||
ENOTNAM* = 118; (* Not a XENIX named type file *)
|
||||
ENAVAIL* = 119; (* No XENIX semaphores available *)
|
||||
EISNAM* = 120; (* Is a named type file *)
|
||||
EREMOTEIO* = 121; (* Remote I/O error *)
|
||||
EDQUOT* = 122; (* Quota exceeded *)
|
||||
|
||||
CONST sigsetarrlength = 1024 / 8 * SIZE(LONGINT);
|
||||
|
||||
|
||||
TYPE
|
||||
(* cpp /usr/include/setjmp.h
|
||||
struct __jmp_buf_tag
|
||||
{
|
||||
__jmp_buf __jmpbuf;
|
||||
int __mask_was_saved;
|
||||
__sigset_t __saved_mask;
|
||||
};
|
||||
|
||||
typedef struct __jmp_buf_tag jmp_buf[1];
|
||||
|
||||
__sigset_t is 128 byte long in glibc on arm, x86, x86_64
|
||||
__jmp_buf is 24 bytes long in glibc on x86
|
||||
256 bytes long in glibc on armv6
|
||||
64 bytes long in glibc on x86_64
|
||||
|
||||
*)
|
||||
JmpBuf* = RECORD
|
||||
jmpbuf: ARRAY 8 OF LONGINT; (* 8 * 8 = 64 *)
|
||||
maskWasSaved*: INTEGER;
|
||||
savedMask*: ARRAY 16 OF LONGINT; (* 16 * 8 = 128 *)
|
||||
END ;
|
||||
|
||||
Status* = RECORD (* struct stat *)
|
||||
mode* : INTEGER;
|
||||
dev* : INTEGER; (* dev_t 4 *)
|
||||
ino* : LONGINT; (* ino 8 *)
|
||||
nlink* : INTEGER;
|
||||
uid*, gid*: INTEGER;
|
||||
rdev* : INTEGER;
|
||||
atime* : LONGINT;
|
||||
atimences* : LONGINT;
|
||||
mtime* : LONGINT;
|
||||
mtimensec* : LONGINT;
|
||||
ctime* : LONGINT;
|
||||
ctimensec* : LONGINT;
|
||||
size* : LONGINT;
|
||||
blocks* : LONGINT;
|
||||
blksize* : INTEGER;
|
||||
unused0*, unused1*: INTEGER;
|
||||
unused2*, unused3*: LONGINT;
|
||||
END ;
|
||||
|
||||
(* from /usr/include/bits/time.h
|
||||
|
||||
struct timeval
|
||||
{
|
||||
__time_t tv_sec; /* Seconds. */ //__time_t 8
|
||||
__suseconds_t tv_usec; /* Microseconds. */ __suseconds_t 8
|
||||
};
|
||||
|
||||
|
||||
*)
|
||||
|
||||
Timeval* = RECORD
|
||||
sec*, usec*: LONGINT
|
||||
END ;
|
||||
|
||||
|
||||
(*
|
||||
from man gettimeofday
|
||||
|
||||
struct timezone {
|
||||
int tz_minuteswest; /* minutes west of Greenwich */ int 4
|
||||
int tz_dsttime; /* type of DST correction */ int 4
|
||||
};
|
||||
*)
|
||||
|
||||
|
||||
Timezone* = RECORD
|
||||
(*minuteswest*, dsttime*: LONGINT*)
|
||||
minuteswest*, dsttime*: INTEGER
|
||||
END ;
|
||||
|
||||
Itimerval* = RECORD
|
||||
interval*, value*: Timeval
|
||||
END ;
|
||||
|
||||
FdSet* = ARRAY 8 OF SET;
|
||||
|
||||
SigCtxPtr* = POINTER TO SigContext;
|
||||
SigContext* = RECORD
|
||||
END ;
|
||||
|
||||
SignalHandler* = PROCEDURE (sig, code: LONGINT; scp: SigCtxPtr);
|
||||
|
||||
Dirent* = RECORD
|
||||
ino, off: LONGINT;
|
||||
reclen: INTEGER;
|
||||
name: ARRAY 256 OF CHAR;
|
||||
END ;
|
||||
|
||||
Rusage* = RECORD
|
||||
utime*, stime*: Timeval;
|
||||
maxrss*, ixrss*, idrss*, isrss*,
|
||||
minflt*, majflt*, nswap*, inblock*,
|
||||
oublock*, msgsnd*, msgrcv*, nsignals*,
|
||||
nvcsw*, nivcsw*: LONGINT
|
||||
END ;
|
||||
|
||||
Iovec* = RECORD
|
||||
base*, len*: LONGINT
|
||||
END ;
|
||||
|
||||
SocketPair* = ARRAY 2 OF LONGINT;
|
||||
|
||||
Pollfd* = RECORD
|
||||
fd*: LONGINT;
|
||||
events*, revents*: INTEGER
|
||||
END ;
|
||||
|
||||
Sockaddr* = RECORD
|
||||
family0*, family1*: SHORTINT;
|
||||
pad0, pad1: SHORTINT;
|
||||
pad2 : INTEGER;
|
||||
(*port*: INTEGER;
|
||||
internetAddr*: LONGINT;*)
|
||||
pad*: ARRAY 14 OF CHAR;
|
||||
END ;
|
||||
|
||||
HostEntry* = POINTER [1] TO Hostent;
|
||||
Hostent* = RECORD
|
||||
name*, aliases*: LONGINT;
|
||||
addrtype*, length*: INTEGER;
|
||||
addrlist*: LONGINT; (*POINTER TO POINTER TO LONGINT, network byte order*)
|
||||
END;
|
||||
|
||||
Name* = ARRAY OF CHAR;
|
||||
|
||||
PROCEDURE -includeStat()
|
||||
"#include <sys/stat.h>";
|
||||
|
||||
PROCEDURE -includeErrno()
|
||||
"#include <errno.h>";
|
||||
|
||||
(* for read(), write() and sleep() *)
|
||||
PROCEDURE -includeUnistd()
|
||||
"#include <unistd.h>";
|
||||
|
||||
(* for system() *)
|
||||
PROCEDURE -includeStdlib()
|
||||
"#include <stdlib.h>";
|
||||
|
||||
(* for nanosleep() *)
|
||||
PROCEDURE -includeTime()
|
||||
"#include <time.h>";
|
||||
|
||||
(* for select() *)
|
||||
PROCEDURE -includeSelect()
|
||||
"#include <sys/select.h>";
|
||||
|
||||
PROCEDURE -err(): INTEGER
|
||||
"errno";
|
||||
|
||||
PROCEDURE errno*(): INTEGER;
|
||||
BEGIN
|
||||
RETURN err()
|
||||
END errno;
|
||||
|
||||
PROCEDURE -Exit*(n: INTEGER)
|
||||
"exit(n)";
|
||||
|
||||
PROCEDURE -Fork*(): INTEGER
|
||||
"fork()";
|
||||
|
||||
PROCEDURE -Wait*(VAR status: INTEGER): INTEGER
|
||||
"wait(status)";
|
||||
|
||||
PROCEDURE -Select*(width: INTEGER; VAR readfds, writefds, exceptfds: FdSet; VAR timeout: Timeval): INTEGER
|
||||
"select(width, readfds, writefds, exceptfds, timeout)";
|
||||
|
||||
PROCEDURE -Gettimeofday* (VAR tv: Timeval; VAR tz: Timezone) : INTEGER
|
||||
"gettimeofday(tv, tz)";
|
||||
|
||||
PROCEDURE -Read* (fd: INTEGER; buf, nbyte: LONGINT): LONGINT
|
||||
"read(fd, buf, nbyte)";
|
||||
|
||||
PROCEDURE -ReadBlk* (fd: INTEGER; VAR buf: ARRAY OF SYSTEM.BYTE): LONGINT
|
||||
"read(fd, buf, buf__len)";
|
||||
|
||||
PROCEDURE -Write* (fd: INTEGER; buf, nbyte: LONGINT): LONGINT
|
||||
"write(fd, buf, nbyte)";
|
||||
|
||||
PROCEDURE -WriteBlk* (fd: INTEGER; VAR buf: ARRAY OF SYSTEM.BYTE): LONGINT
|
||||
"write(fd, buf, buf__len)";
|
||||
|
||||
PROCEDURE -Dup*(fd: INTEGER): INTEGER
|
||||
"dup(fd)";
|
||||
|
||||
PROCEDURE -Dup2*(fd1, fd2: INTEGER): INTEGER
|
||||
"dup(fd1, fd2)";
|
||||
|
||||
PROCEDURE -Pipe*(fds : LONGINT): INTEGER
|
||||
"pipe(fds)";
|
||||
|
||||
PROCEDURE -Getpid*(): INTEGER
|
||||
"getpid()";
|
||||
|
||||
PROCEDURE -Getuid*(): INTEGER
|
||||
"getuid()";
|
||||
|
||||
PROCEDURE -Geteuid*(): INTEGER
|
||||
"geteuid()";
|
||||
|
||||
PROCEDURE -Getgid*(): INTEGER
|
||||
"getgid()";
|
||||
|
||||
PROCEDURE -Getegid*(): INTEGER
|
||||
"getegid()";
|
||||
|
||||
PROCEDURE -Unlink*(name: Name): INTEGER
|
||||
"unlink(name)";
|
||||
|
||||
PROCEDURE -Open*(name: Name; flag: INTEGER; mode: LONGINT): INTEGER
|
||||
"open(name, flag, mode)";
|
||||
|
||||
PROCEDURE -Close*(fd: INTEGER): INTEGER
|
||||
"close(fd)";
|
||||
|
||||
PROCEDURE -stat(name: Name; VAR statbuf: Status): INTEGER
|
||||
"stat((const char*)name, (struct stat*)statbuf)";
|
||||
|
||||
PROCEDURE Stat*(name: Name; VAR statbuf: Status): INTEGER;
|
||||
VAR res: INTEGER;
|
||||
BEGIN
|
||||
res := stat(name, statbuf);
|
||||
(* make the first 4 bytes as unique as possible (used in module Files for caching!) *)
|
||||
(* don't understand this
|
||||
INC(statbuf.dev, statbuf.devX);
|
||||
INC(statbuf.rdev, statbuf.rdevX); *)
|
||||
RETURN res;
|
||||
END Stat;
|
||||
|
||||
PROCEDURE -fstat(fd: INTEGER; VAR statbuf: Status): INTEGER
|
||||
"fstat(fd, (struct stat*)statbuf)";
|
||||
|
||||
PROCEDURE Fstat*(fd: INTEGER; VAR statbuf: Status): INTEGER;
|
||||
VAR res: INTEGER;
|
||||
BEGIN
|
||||
res := fstat(fd, statbuf);
|
||||
(* make the first 4 bytes as unique as possible (used in module Files for caching!) *)
|
||||
(*INC(statbuf.dev, statbuf.devX);
|
||||
INC(statbuf.rdev, statbuf.rdevX); *)
|
||||
RETURN res;
|
||||
END Fstat;
|
||||
|
||||
PROCEDURE -Fchmod*(fd, mode: INTEGER): INTEGER
|
||||
"fchmod(fd, mode)";
|
||||
|
||||
PROCEDURE -Chmod*(path: Name; mode: INTEGER): INTEGER
|
||||
"chmod(path, mode)";
|
||||
|
||||
PROCEDURE -Lseek*(fd: INTEGER; offset: LONGINT; origin: INTEGER): LONGINT
|
||||
"lseek(fd, offset, origin)";
|
||||
|
||||
PROCEDURE -Fsync*(fd: INTEGER): INTEGER
|
||||
"fsync(fd)";
|
||||
|
||||
PROCEDURE -Fcntl*(fd: INTEGER; cmd: INTEGER; arg: LONGINT ): INTEGER
|
||||
"fcntl(fd, cmd, arg)";
|
||||
|
||||
PROCEDURE -Flock*(fd, operation: INTEGER): INTEGER
|
||||
"flock(fd, operation)";
|
||||
|
||||
PROCEDURE -Ftruncate*(fd: INTEGER; length: LONGINT): INTEGER
|
||||
"ftruncate(fd, length)";
|
||||
|
||||
PROCEDURE -Readblk*(fd: INTEGER; VAR buf: ARRAY OF SYSTEM.BYTE; len: LONGINT): LONGINT
|
||||
"read(fd, buf, len)";
|
||||
|
||||
PROCEDURE -Rename*(old, new: Name): INTEGER
|
||||
"rename(old, new)";
|
||||
|
||||
PROCEDURE -Chdir*(path: Name): INTEGER
|
||||
"chdir(path)";
|
||||
|
||||
PROCEDURE -Ioctl*(fd: INTEGER; request, arg: LONGINT): INTEGER
|
||||
"ioctl(fd, request, arg)";
|
||||
|
||||
PROCEDURE -Kill*(pid, sig: INTEGER): INTEGER
|
||||
"kill(pid, sig)";
|
||||
|
||||
PROCEDURE -Sigsetmask*(mask: INTEGER): INTEGER
|
||||
"sigsetmask(mask)";
|
||||
|
||||
PROCEDURE -Sleep*(ms : INTEGER): INTEGER
|
||||
"(INTEGER)sleep(ms)";
|
||||
|
||||
PROCEDURE -Nanosleep*(VAR req : Timeval; VAR rem : Timeval): INTEGER
|
||||
"(INTEGER)nanosleep(req, rem)";
|
||||
|
||||
(* TCP/IP networking *)
|
||||
|
||||
PROCEDURE -Gethostbyname*(name: Name): HostEntry
|
||||
"(Unix_HostEntry)gethostbyname(name)";
|
||||
|
||||
PROCEDURE -Gethostname*(VAR name: Name): INTEGER
|
||||
"gethostname(name, name__len)";
|
||||
|
||||
PROCEDURE -Socket*(af, type, protocol: INTEGER): INTEGER
|
||||
"socket(af, type, protocol)";
|
||||
|
||||
PROCEDURE -Connect*(socket: INTEGER; name: Sockaddr; namelen: INTEGER): INTEGER
|
||||
"connect(socket, &(name), namelen)";
|
||||
|
||||
PROCEDURE -Getsockname*(socket: INTEGER; VAR name: Sockaddr; VAR namelen: INTEGER): INTEGER
|
||||
"getsockname(socket, name, namelen)";
|
||||
|
||||
PROCEDURE -Bind*(socket: INTEGER; name: Sockaddr; namelen: INTEGER): INTEGER
|
||||
"bind(socket, &(name), namelen)";
|
||||
|
||||
PROCEDURE -Listen*(socket, backlog: INTEGER): INTEGER
|
||||
"listen(socket, backlog)";
|
||||
|
||||
PROCEDURE -Accept*(socket: INTEGER; VAR addr: Sockaddr; VAR addrlen: INTEGER): LONGINT
|
||||
"accept(socket, addr, addrlen)";
|
||||
|
||||
PROCEDURE -Recv*(socket: INTEGER; bufadr, buflen: LONGINT; flags: INTEGER): LONGINT
|
||||
"recv(socket, bufadr, buflen, flags)";
|
||||
|
||||
PROCEDURE -Send*(socket: INTEGER; bufadr, buflen: LONGINT; flags: INTEGER): LONGINT
|
||||
"send(socket, bufadr, buflen, flags)";
|
||||
|
||||
PROCEDURE -sys(str: ARRAY OF CHAR): INTEGER (* need this to call external tools like gcc or gas; noch *)
|
||||
"system(str)";
|
||||
|
||||
PROCEDURE system*(cmd : ARRAY OF CHAR);
|
||||
VAR r : INTEGER;
|
||||
BEGIN
|
||||
r := sys(cmd);
|
||||
END system;
|
||||
|
||||
PROCEDURE System*(cmd : ARRAY OF CHAR): INTEGER;
|
||||
VAR r : INTEGER;
|
||||
BEGIN
|
||||
r := sys(cmd);
|
||||
RETURN r
|
||||
END System;
|
||||
|
||||
PROCEDURE -SizeofUnixStat(): INTEGER
|
||||
"sizeof(Unix_Status)";
|
||||
|
||||
PROCEDURE -SizeofStat(): INTEGER
|
||||
"sizeof(struct stat)";
|
||||
|
||||
PROCEDURE -Error(msg: ARRAY OF CHAR; len: INTEGER)
|
||||
"write(1/*stdout*/, msg, len); char ch = 0xa; write(1, &ch, 1)";
|
||||
|
||||
PROCEDURE StatCheck;
|
||||
VAR x, y: LONGINT;
|
||||
BEGIN
|
||||
x := SizeofUnixStat();
|
||||
y := SizeofStat();
|
||||
IF x # y THEN
|
||||
Error("Unix.StatCheck: inconsistent usage of struct stat", 49);
|
||||
Exit(1);
|
||||
END
|
||||
END StatCheck;
|
||||
|
||||
BEGIN
|
||||
|
||||
StatCheck();
|
||||
|
||||
END Unix.
|
||||
Loading…
Add table
Add a link
Reference in a new issue