expanded class interface TIME_IN_SPANISH
   --
   -- The Spanish format class for class TIME.
   --

feature(s) from TIME_IN_SOME_LANGUAGE   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 expanded TIME_IN_SPANISH