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

/tutorial/triangle/version1/example1.e

http://github.com/tybor/Liberty
Specman e | 22 lines | 15 code | 3 blank | 4 comment | 0 complexity | 8241d6a479a561510d8d3cf5040ecb6e MD5 | raw file
 1class EXAMPLE1
 2   -- To execute this example with the Liberty Eiffel debugger,
 3   -- compile with:
 4   --                  compile -sedb example1
 5
 6create {ANY}
 7   main
 8
 9feature {ANY}
10   main
11      local
12         p1, p2: POINT
13      do
14         create p1
15         create p2
16         p1.translate(1.0, 2.0)
17         p2.translate(3.0, 4.0)
18         sedb_breakpoint
19         -- To stop here just before exit.
20      end
21
22end -- class EXAMPLE1