PageRenderTime 4ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 0ms app.codeStats 0ms

/tutorial/time/example4.e

http://github.com/tybor/Liberty
Specman e | 27 lines | 21 code | 3 blank | 3 comment | 0 complexity | 0c428896714f5f0103eaf6651faddda6 MD5 | raw file
 1class EXAMPLE4
 2   --
 3   -- Using the TIME_IN_FRENCH class.
 4   --
 5
 6create {ANY}
 7   make
 8
 9feature {}
10   make
11      local
12         time: TIME; format: TIME_IN_FRENCH
13      do
14         time.update
15         create format
16         format.set_time(time)
17         io.put_string("Le grand format :%N")
18         format.set_short_mode(False)
19         format.print_on(io)
20         io.put_new_line
21         io.put_string("Le petit format :%N")
22         format.set_short_mode(True)
23         format.print_on(io)
24         io.put_new_line
25      end
26
27end -- class EXAMPLE4