-- 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