4 package pkg_readline is
5 procedure mal_printline(l: string);
6 procedure mal_readline(prompt: string; eof_detected: out boolean; l: inout line);
7 end package pkg_readline;
9 package body pkg_readline is
10 type charfile is file of character;
11 file stdout_char: charfile open write_mode is "STD_OUTPUT";
13 procedure mal_printstr(l: string) is
16 write(stdout_char, l(i));
18 end procedure mal_printstr;
20 procedure mal_printline(l: string) is
23 write(stdout_char, LF);
24 end procedure mal_printline;
26 procedure mal_readline(prompt: string; eof_detected: out boolean; l: inout line) is
29 if endfile(input) then
33 eof_detected := false;
35 end procedure mal_readline;
36 end package body pkg_readline;