-- --
-- package Copyright (c) Dmitry A. Kazakov --
-- Strings_Edit.Time_Conversions Luebeck --
-- Interface Summer, 2016 --
-- --
-- Last revision : 12:47 19 Jun 2016 --
-- --
-- This library is free software; you can redistribute it and/or --
-- modify it under the terms of the GNU General Public License as --
-- published by the Free Software Foundation; either version 2 of --
-- the License, or (at your option) any later version. This library --
-- is distributed in the hope that it will be useful, but WITHOUT --
-- ANY WARRANTY; without even the implied warranty of --
-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU --
-- General Public License for more details. You should have --
-- received a copy of the GNU General Public License along with --
-- this library; if not, write to the Free Software Foundation, --
-- Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA. --
-- --
-- As a special exception, if other files instantiate generics from --
-- this unit, or you link this unit with other files to produce an --
-- executable, this unit does not by itself cause the resulting --
-- executable to be covered by the GNU General Public License. This --
-- exception does not however invalidate any other reasons why the --
-- executable file might be covered by the GNU Public License. --
--____________________________________________________________________--
with Ada.Calendar; use Ada.Calendar;
with Ada.Calendar.Formatting; use Ada.Calendar.Formatting;
with Ada.Calendar.Time_Zones; use Ada.Calendar.Time_Zones;
with Tables.Names;
package Strings_Edit.Time_Conversions is
--
-- To_String -- Convert time to text format
--
-- Date - The time to convert
--
-- Returns :
--
-- String representation of the parameter Date in the format:
-- Sun, 17 Feb 2013 21:02:43 +0100
--
function To_String (Date : Time) return String;
--
-- To_Time -- Time conversion
--
-- Date - To convert
--
-- Supported formats:
--
-- Fri, 31 Dec 1999 23:59:59 GMT
-- Friday, 31-Dec-99 23:59:59 GMT
-- Fri Dec 31 23:59:59 1999
--
-- Exceptions :
--
-- Time_Error - On error
--
function To_Time (Date : String) return Time;
--
-- Check_Spelling -- Of a month, day, zone name
--
procedure Check_Spelling (Name : String);
--
-- Check_Matched -- End of a month, day, zone name
--
function Check_Matched
( Source : String;
Pointer : Integer
) return Boolean;
private
package Day_Tables_Raw is new Tables (Day_Name);
package Day_Tables is new Day_Tables_Raw.Names;
use Day_Tables;
package Month_Tables_Raw is new Tables (Month_Number);
package Month_Tables is new Month_Tables_Raw.Names;
use Month_Tables;
package Zone_Tables_Raw is new Tables (Time_Zones.Time_Offset);
package Zone_Tables is new Zone_Tables_Raw.Names;
use Zone_Tables;
Months : Month_Tables.Dictionary;
Week_Days : Day_Tables.Dictionary;
Zones : Zone_Tables.Dictionary;
end Strings_Edit.Time_Conversions;