PageRenderTime 7ms CodeModel.GetById 2ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 0ms

/tutorial/triangle/version1/example3.e

http://github.com/tybor/Liberty
Specman e | 26 lines | 18 code | 4 blank | 4 comment | 0 complexity | e065c232a97fe6a7d2aa03f7dd0304a9 MD5 | raw file
 1class EXAMPLE3
 2   -- Again, compile with:  compile -sedb example1
 3   -- ... and try to understand what happens at run-time.
 4
 5create {ANY}
 6   main
 7
 8feature {ANY}
 9   main
10      local
11         x, y, z: POINT; t: TRIANGLE
12      do
13         create x
14         x.translate(1.0, 2.0)
15         create z
16         z.translate(5.0, 6.0)
17         create t
18         t.make(x, y, z)
19         t.translate(1, 2)
20         -- It is now time to look at version2 of class
21         -- TRIANGLE
22
23         sedb_breakpoint
24      end
25
26end -- class EXAMPLE3