PageRenderTime 83ms CodeModel.GetById 80ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/tutorial/time/example6.e

http://github.com/tybor/Liberty
Specman e | 27 lines | 20 code | 4 blank | 3 comment | 0 complexity | 2f83ccd8af18e423ab22831dc970c599 MD5 | raw file
 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