/tutorial/triangle/version2/example1.e
Specman e | 19 lines | 14 code | 3 blank | 2 comment | 0 complexity | 3d52a1509db4d779e831f3b5bdce2789 MD5 | raw file
1class EXAMPLE1 2 -- Getting started with creation procedures. 3 4create {ANY} 5 main 6 7feature {ANY} 8 main 9 local 10 p1: POINT 11 do 12 create p1.make(1.0, 2.0) 13 p1.translate(1.0, 2.0) 14 -- Using make again on the very same POINT: 15 p1.make(1.0, 2.0) 16 sedb_breakpoint 17 end 18 19end -- class EXAMPLE1