File: example6.e

package info (click to toggle)
smarteiffel 1.1-11
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 12,288 kB
  • ctags: 40,785
  • sloc: ansic: 35,791; lisp: 4,036; sh: 1,783; java: 895; ruby: 613; python: 209; makefile: 115; csh: 78; cpp: 50
file content (22 lines) | stat: -rw-r--r-- 414 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
class EXAMPLE6
--
-- Using BASIC_TIME with the FILE_TOOLS class.
--

creation make

feature {NONE}

   make is
      local
	 time: TIME;
	 time_in_english: TIME_IN_ENGLISH;
      do
	 io.put_string("Last modification of file %"example6.e%":%N");
	 time := file_tools.last_change_of("example6.e");
	 time_in_english.set_time(time);
	 io.put_string(time_in_english.to_string);
	 io.put_string("%N");
      end;

end