Searched refs:read_line (Results 1 - 4 of 4) sorted by relevance
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | util.pl | 64 :- comment(read_line/2, [template:"read_line(+Stream, -String)", 67 :- comment(read_line/1, [template:"read_line(-String)", 103 read_line/1, 104 read_line/2, 166 % read_line([+Stream, ] ?String) - read a line of input into String 168 read_line(Stream, String) :- 171 read_line(String) :-
|
/barrelfish-master/lib/multiboot/ |
H A D | grubmenu.c | 75 read_line(FILE *infile, char *buf) { function 147 len= read_string(infile, read_line, &menu->kernel.args); 154 len= read_string(infile, read_line, &menu->image); 180 len= read_string(infile, read_line, &mod->args); 269 len= read_string(infile, read_line, &menu->kernel.args);
|
/barrelfish-master/lib/lua/src/ |
H A D | liolib.c | 371 static int read_line (lua_State *L, FILE *f, int chop) { function 430 success = read_line(L, f, 1); 449 success = read_line(L, f, 1); 452 success = read_line(L, f, 0);
|
/barrelfish-master/usr/eclipseclp/documents/userman/ |
H A D | umsio.tex | 526 read_line(Stream, String) :-
|
Completed in 50 milliseconds