ANY NONE
class interface TIME_IN_FRENCH
   --
   -- The French format class for class TIME.
   --

feature(s) from TIME_FORMATTER
   time: TIME
      -- The corresponding information to display.

   set_time (t: TIME)
      ensure
         time = t

   short_mode: BOOLEAN
      -- Is the formatting mode set to the short (abbreviated)
      -- mode ?

   set_short_mode (value: BOOLEAN)
      ensure
         short_mode = value

   day_in (buffer: STRING)
      -- According to the current short_mode, append in the buffer
      -- the name of the day.

   month_in (buffer: STRING)
      -- According to the current short_mode, append in the buffer
      -- the name of the month.

   to_string: STRING

   append_in (buffer: STRING)

   out_in_tagged_out_memory
      -- Append terse printable represention of current object
      -- in tagged_out_memory.
      ensure
         not_cleared: tagged_out_memory.count >= old tagged_out_memory.count;
         append_only: (old tagged_out_memory.twin).is_equal(tagged_out_memory.substring(1,old tagged_out_memory.count))



end of TIME_IN_FRENCH