/tutorial/time/example6.e

 1class EXAMPLE6
 2   --
 3   -- Using BASIC_TIME with the FILE_TOOLS class.
 4   --
 5
 6create {ANY}
 7   make
 8
 9feature {}
10   make
11      local
12         time: TIME; time_in_english: TIME_IN_ENGLISH
13      do
14         io.put_string("Last modification of file %"example6.e%":%N")
15         time := file_tools.last_change_of("example6.e")
16         create time_in_english
17         time_in_english.set_time(time)
18         io.put_string(time_in_english.to_string)
19         io.put_string("%N")
20      end
21
22   file_tools: FILE_TOOLS
23      once
24         create Result
25      end
26
27end -- class EXAMPLE6