Searched refs:read_line (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/usr/eclipseclp/Kernel/lib/
H A Dutil.pl64 :- 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 Dgrubmenu.c75 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 Dliolib.c371 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 Dumsio.tex526 read_line(Stream, String) :-

Completed in 50 milliseconds