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

/tutorial/triangle/version2/example1.e

http://github.com/tybor/Liberty
Specman e | 19 lines | 14 code | 3 blank | 2 comment | 0 complexity | 3d52a1509db4d779e831f3b5bdce2789 MD5 | raw file
 1class EXAMPLE1
 2   -- Getting started with creation procedures.
 3
 4create {ANY}
 5   main
 6
 7feature {ANY}
 8   main
 9      local
10         p1: POINT
11      do
12         create p1.make(1.0, 2.0)
13         p1.translate(1.0, 2.0)
14         -- Using make again on the very same POINT:
15         p1.make(1.0, 2.0)
16         sedb_breakpoint
17      end
18
19end -- class EXAMPLE1