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

/tutorial/triangle/version3/example2.e

http://github.com/tybor/Liberty
Specman e | 22 lines | 17 code | 5 blank | 0 comment | 0 complexity | 8a3d4074bdeb5e43e8eaa86ee8e42d16 MD5 | raw file
 1class EXAMPLE2
 2
 3create {ANY}
 4   main
 5
 6feature {ANY}
 7   main
 8      local
 9         t: TRIANGLE
10      do
11         create t.make(create {POINT}.make(1.0, 2.0), create {POINT}.make(3.0, 4.0), create {POINT}.make(5.0, 6.0))
12         t.display_on(io)
13         io.put_string("[
14
15       Also have a look at the OUTPUT_STREAM interface.
16       Type:
17               short OUTPUT_STREAM
18
19                       ]")
20      end
21
22end -- class EXAMPLE2