1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
/*
LRL version of ANSI C header <stdio.h>
http://flash-gordon.me.uk/ansi.c.txt
*/
// Make the linkname of the current namespace blank, so identifiers here
// are not namespace prefixed when linking (the default would be "c89_").
linkname "";
typedef FILE = private;
typedef fpos_t = count; // XXX implementation dependent. how to do this?
alias int EOF = -1; // actually implementation dependent
// TODO enums, constants, etc
// In C, this is just an int with #defines
typedef whence_t = enum(
/* implementation dependent. These are the GNU libc values */
SEEK_CUR = 1,
SEEK_END = 2,
SEEK_SET = 0,
);
// XXX can these be replaced? (i.e. should they be var^)
//var FILE^ stderr stdin stdout; // TODO implement this syntax
var FILE^ stderr;
var FILE^ stdin;
var FILE^ stdout;
// 4.9.4 Operations on files
// XXX require a NULL-terminated string!
int remove(char+> filename);
int rename(char+> old, char+> new);
var FILE own^? tmpfile();
char+> tmpnam(var char+>? s); // deprecated
// 4.9.5 File access functions
int fclose(var FILE own^ stream);
int fflush(var FILE^? stream);
var FILE own^? fopen(char+> filename, char+> mode);
var FILE own^? freopen(char+> filename, char+> mode, var FILE^ stream);
() setbuf(var FILE^ stream, byte own^? buf);
int setvbuf(var FILE^ stream, byte own^? buf, int mode, count size);
// 4.9.6 Formatted input/output functions
// not necessarily safe!
// TODO implement variadic arguments
import int fprintf(var FILE^ stream, char+> format, ...*);
import int fscanf(var FILE^ stream, char+> format, ...*);
import int printf(char+> format, ...*);
import int scanf(char+> format, ...*);
import int sprintf(var char+> s, char+> format, ...*);
import int sscanf(char+> s, char+> format, ...*);
/*int vfprintf(var FILE^ stream, char+> format, va_list arg);
int vprintf(char+> format, va_list arg);
int vsprintf(var char+> s, char+> format, va_list arg);
*/
// 4.9.7 Character input/output functions
// TODO size/null-termination constraints
import int fgetc(var FILE^ stream);
import var char+>? fgets(var char+> s, int n, var FILE^ stream);
import int fputc(int c, var FILE^ stream);
import int fputs(char+> s, var FILE^ stream);
import int getc(var FILE^ stream);
import int getchar();
import var char+>? gets(var char+> s); // deprecated
import int putc(int c, var FILE^ stream);
import int putchar(int c);
import int puts(char+> s);
import int ungetc(int c, var FILE^ stream);
// 4.9.8 Direct input/output functions
// TODO size constraint on T
/*count fread[T](var T#[nmemb]^ ptr, count size, count nmemb, var FILE^ stream);
count fwrite[T](T#[nmemb]^ ptr, count size, count nmemb, var FILE^ stream);*/
// 4.9.9 File positioning functions
int fgetpos(var FILE^ stream, var fpos_t^ pos);
int fseek(var FILE^ stream, long offset, whence_t whence);
int fsetpos(var FILE^ stream, fpos_t^ pos);
long ftell(var FILE^ stream);
() rewind(var FILE^ stream);
// 4.9.10 Error-handling functions
() clearerr(var FILE^ stream);
int feof(var FILE^ stream);
int ferror(var FILE^ stream);
() perror(char+>? s);
|
