/tutorial/triangle/version1/example3.e
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