with text_io; use text_io; with Standard_Floating_Numbers; use Standard_Floating_Numbers; package Standard_Floating_Numbers_io is -- DESCRIPTION : -- This package defines output of standard floating numbers. procedure get ( f : in out single_float ); procedure get ( file : in file_type; f : in out single_float ); procedure get ( f : in out double_float ); procedure get ( file : in file_type; f : in out double_float ); -- DESCRIPTION : -- Reads a floating-point number from standard input or from file. procedure put ( f : in single_float ); procedure put ( file : in file_type; f : in single_float ); procedure put ( f : in double_float ); procedure put ( file : in file_type; f : in double_float ); procedure put ( f : in double_float; fore,aft,exp : in natural ); procedure put ( file : in file_type; f : in double_float; fore,aft,exp : in natural ); -- DESCRIPTION : -- Writes a floating-point number on standard output or on file. -- The triplet (fore,aft,exp) determines the output format, i.e.: -- they indicate the number of decimal places before and after -- the decimal point and the number of decimal places in the exponent. procedure put ( f : in double_float; dp : in natural ); procedure put ( file : in file_type; f : in double_float; dp : in natural ); -- DESCRIPTION : put(f,dp) = put(f,dp,dp,dp). end Standard_Floating_Numbers_io;