PageRenderTime 15ms CodeModel.GetById 13ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/tutorial/time/example3.e

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