File: example7.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 (33 lines) | stat: -rw-r--r-- 700 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
 
class EXAMPLE7
--
-- Using MICROSECOND_TIME to get more accuracy.
--

creation make

feature {NONE}

   make is
      local
	 mt1, mt2: MICROSECOND_TIME;
	 string: STRING;
      do
	 print("Time to create a new small STRING:%N");
	 mt1.update;
	 create string.make(12);
	 mt2.update;
	 print_microsecond_time(mt1);
	 print_microsecond_time(mt2);
      end;

   print_microsecond_time(mt: MICROSECOND_TIME) is
      local
	 time_in_english: TIME_IN_ENGLISH;
      do
	 time_in_english.set_short_mode(true);
	 time_in_english.set_time(mt.to_time);
	 print(time_in_english.to_string  + " " + mt.second.to_string +
	       " seconds and " + mt.microsecond.to_string + " microseconds%N");
      end;

end