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

/tutorial/triangle/version2/example2.e

http://github.com/tybor/Liberty
Specman e | 23 lines | 16 code | 3 blank | 4 comment | 0 complexity | 8c143d33327727f48b66fc448bbc0827 MD5 | raw file
 1class EXAMPLE2
 2
 3create {ANY}
 4   main
 5
 6feature {ANY}
 7   main
 8      local
 9         x, y, z: POINT; t: TRIANGLE
10      do
11         create x.make(1.0, 2.0)
12         create y.make(3.0, 4.0)
13         create z.make(5.0, 6.0)
14         create t.make(x, y, z)
15         t.translate(1, 2)
16         sedb_breakpoint
17         -- Do not forget to do:
18         --         short POINT
19         -- and
20         --         short TRIANGLE
21      end
22
23end -- class EXAMPLE2