2015-03-06 00:50:10 +03:00
|
|
|
with Ada.Text_IO;
|
|
|
|
|
|
|
|
procedure Step0_Repl is
|
|
|
|
|
|
|
|
function Read (Param : String) return String is
|
|
|
|
begin
|
|
|
|
return Param;
|
|
|
|
end Read;
|
|
|
|
|
|
|
|
function Eval (Param : String) return String is
|
|
|
|
begin
|
|
|
|
return Param;
|
|
|
|
end Eval;
|
|
|
|
|
|
|
|
function Print (Param : String) return String is
|
|
|
|
begin
|
|
|
|
return Param;
|
|
|
|
end Print;
|
|
|
|
|
|
|
|
function Rep (Param : String) return String is
|
2016-03-15 11:05:20 +03:00
|
|
|
Read_Str : String := Read (Param);
|
|
|
|
Eval_Str : String := Eval (Read_Str);
|
|
|
|
Print_Str : String := Print (Eval_Str);
|
2015-03-06 00:50:10 +03:00
|
|
|
begin
|
2016-03-15 11:05:20 +03:00
|
|
|
return Print_Str;
|
2016-09-10 23:06:47 +03:00
|
|
|
end Rep;
|
2015-03-06 00:50:10 +03:00
|
|
|
|
|
|
|
begin
|
|
|
|
loop
|
|
|
|
Ada.Text_IO.Put ("user> ");
|
2016-09-10 23:06:47 +03:00
|
|
|
exit when Ada.Text_IO.End_Of_File;
|
|
|
|
Ada.Text_IO.Put_Line (Rep (Ada.Text_IO.Get_Line));
|
2015-03-06 00:50:10 +03:00
|
|
|
end loop;
|
|
|
|
end Step0_Repl;
|