------------------------------------------------------------------------------
-- IPSTACK COMPONENTS --
-- Copyright (C) 2012-2017, Free Software Foundation, Inc. --
------------------------------------------------------------------------------
with Ada.Text_IO;
package body AIP.IO with
SPARK_Mode => Off
is
Last : Integer := 0;
procedure Put (S : String) renames Ada.Text_IO.Put;
procedure Put_Line (S : String) renames Ada.Text_IO.Put_Line;
function Line_Available return Boolean is
Available : Boolean;
begin
Ada.Text_IO.Get_Immediate (Line (Last + 1), Available);
if not Available then
return False;
end if;
Last := Last + 1;
return Line (Last) = ASCII.LF;
end Line_Available;
function Get_Last return Integer is
R_Last : constant Integer := Last;
begin
Last := 0;
return R_Last - 1;
end Get_Last;
end AIP.IO;