PageRenderTime 13ms CodeModel.GetById 8ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 1ms

/tutorial/triangle/version1/example2.e

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