gcc/testsuite/gnat.dg/opt70_pkg.adb

   1 with Ada.Calendar;          use Ada.Calendar;
   2 with Ada.Strings.Unbounded; use Ada.Strings.Unbounded;
   3 with GNAT.Calendar;         use GNAT.Calendar;
   4
   5 package body Opt70_Pkg is
   6
   7    type Enum is (None, Zero, Space);
   8
   9    type Sec_Number is mod 2 ** 64;
  10
  11    function Image (N : Sec_Number; Pad : Enum; Length : Natural) return String;
  12
  13    function Image (N : Natural; Pad : Enum; Length: Natural) return String is
  14    begin
  15       return Image (Sec_Number (N), Pad, Length);
  16    end;
  17
  18    function Image (N : Sec_Number; Pad : Enum; Length : Natural) return String is
  19
  20       function Pad_Char return String is
  21       begin
  22          case Pad is
  23             when None  => return "";
  24             when Zero  => return "00";
  25             when Space => return "  ";
  26          end case;
  27       end;
  28
  29       NI  : constant String := Sec_Number'Image (N);
  30       NIP : constant String := Pad_Char & NI (2 .. NI'Last);
  31
  32    begin
  33       return NIP (NIP'Last - Length + 1 .. NIP'Last);
  34    end;
  35
  36    function Image (Date : Ada.Calendar.Time; S : String) return String is
  37       Result     : Unbounded_String := Null_Unbounded_String;
  38       Year       : Year_Number;
  39       Month      : Month_Number;
  40       Day        : Day_Number;
  41       Hour       : Hour_Number;
  42       Minute     : Minute_Number;
  43       Second     : Second_Number;
  44       Sub_Second : Second_Duration;
  45    begin
  46       Split (Date, Year, Month, Day, Hour, Minute, Second, Sub_Second);
  47       case S (S'First + 1) is
  48          when 'S' => Result := Result & Image (Second, Zero, 2);
  49          when 'y' => Result := Result & Image (Sec_Number (1), Zero, 2);
  50          when others => null;
  51       end case;
  52       return To_String (Result);
  53    end;
  54
  55 end Opt70_Pkg;