with Text_IO; use Text_IO; package InteAK is ---------------------------------------------------------------------- ---------------------------------------------------------------------- ---------------------------------------------------------------------- -- Integer_IO instantiated and renamed ---------------------------------------------------------------------- package Integer_IO is new Text_IO.Integer_IO ( integer ); procedure Get ( File : in File_Type; Item : out integer; Width : in Field := 0 ) renames Integer_IO.Get; procedure Get ( Item : out integer; Width : in Field := 0 ) renames Integer_IO.Get; procedure Put ( Item : in integer; Width : in Field := integer'width; Base : in Number_Base := 10 ) renames Integer_IO.Put; procedure Put ( File : in File_Type; Item : in integer; Width : in Field := integer'width; Base : in Number_Base := 10 ) renames Integer_IO.Put; ---------------------------------------------------------------------- function Ask_Int ( Prompt : string := ""; Default : integer := integer'first; Minimum : integer := integer'first; Maximum : integer := integer'last; Width : Field := integer'width ) return integer; function Ask_Nat ( Prompt : in string := ""; Default : in natural := natural'first; Minimum : in natural := natural'first; Maximum : in natural := natural'last; Width : in Field := natural'width ) return natural; function Ask_Pos ( Prompt : in string := ""; Default : in positive := positive'first; Minimum : in positive := positive'first; Maximum : in positive := positive'last; Width : in Field := positive'width ) return positive; procedure Put ( File : in File_Type; Item : in long_integer; Width : in Field := long_integer'width; Base : in Number_Base := 10 ); procedure Put_Line ( Item : in integer; Width : in Field := integer'width; Base : in Number_Base := 10 ); procedure Put_Line ( File : in File_Type; Item : in integer; Width : in Field := integer'width; Base : in Number_Base := 10 ); procedure Put_Line ( File : in File_Type; Item : in long_integer; Width : in Field := long_integer'width; Base : in Number_Base := 10 ); ---------------------------------------------------------------------- ---------------------------------------------------------------------- end InteAK;