-- This file is  free  software, which  comes  along  with  SmartEiffel. This
-- software  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. You can modify it as you want, provided
-- this header is kept unaltered, and a notification of the changes is added.
-- You  are  allowed  to  redistribute  it and sell it, alone or as a part of
-- another product.
--       Copyright (C) 1994-2002 LORIA - INRIA - U.H.P. Nancy 1 - FRANCE
--          Dominique COLNET and Suzanne COLLIN - SmartEiffel@loria.fr
--                       http://SmartEiffel.loria.fr
--
expanded class TIME_IN_FRENCH
--
-- The French format class for class TIME.
--

inherit TIME_IN_SOME_LANGUAGE

feature

   day_in(buffer: STRING) is
      local
         s: STRING
      do
         if short_mode then
            inspect
               time.week_day
            when 0 then
               s := once "Dim"
            when 1 then
               s := once "Lun"
            when 2 then
               s := once "Mar"
            when 3 then
               s := once "Mer"
            when 4 then
               s := once "Jeu"
            when 5 then
               s := once "Ven"
            when 6 then
               s := once "Sam"
            end
         else
            inspect
               time.week_day
            when 0 then
               s := once "Dimanche"
            when 1 then
               s := once "Lundi"
            when 2 then
               s := once "Mardi"
            when 3 then
               s := once "Mercredi"
            when 4 then
               s := once "Jeudi"
            when 5 then
               s := once "Vendredi"
            when 6 then
               s := once "Samedi"
            end
         end
         buffer.append(s)
      end

   month_in(buffer: STRING) is
      local
         s: STRING
      do
         if short_mode then
            inspect
               time.month
            when 1 then
               s := once "Jan"
            when 2 then
               s := once "Fev"
            when 3 then
               s := once "Mar"
            when 4 then
               s := once "Avr"
            when 5 then
               s := once "Mai"
            when 6 then
               s := once "Juin"
            when 7 then
               s := once "Juil"
            when 8 then
               s := once "Aout"
            when 9 then
               s := once "Sept"
            when 10 then
               s := once "Oct"
            when 11 then
               s := once "Nov"
            when 12 then
               s := once "Dec"
            end
         else
            inspect
               time.month
            when 1 then
               s := once "Janvier"
            when 2 then
               s := once "Fevrier"
            when 3 then
               s := once "Mars"
            when 4 then
               s := once "Avril"
            when 5 then
               s := once "Mai"
            when 6 then
               s := once "Juin"
            when 7 then
               s := once "Juillet"
            when 8 then
               s := once "Aout"
            when 9 then
               s := once "Septembre"
            when 10 then
               s := once "Octobre"
            when 11 then
               s := once "Novembre"
            when 12 then
               s := once "Decembre"
            end
         end
         buffer.append(s)
      end

   append_in(buffer: STRING) is
      do
         day_in(buffer)
         buffer.extend(' ')
         time.day.append_in(buffer)
         buffer.extend(' ')
         month_in(buffer)
         buffer.extend(' ')
         if short_mode then
            (time.year \\ 100).append_in(buffer)
         else
            time.year.append_in(buffer)
         end
         buffer.extend(' ')
         time.hour.append_in(buffer)
         buffer.extend('h')
         time.minute.append_in(buffer)
         buffer.extend('m')
         if not short_mode then
            time.second.append_in(buffer)
            buffer.extend('s')
         end
      end

end