/tutorial/triangle/version3/example1.e
Specman e | 25 lines | 19 code | 6 blank | 0 comment | 0 complexity | 373d1a6e556333bf455b711a84ffbd60 MD5 | raw file
1class EXAMPLE1 2 3create {ANY} 4 main 5 6feature {ANY} 7 main 8 local 9 p1: POINT 10 do 11 create p1.make(1.0, 2.0) 12 p1.translate(1.0, 2.0) 13 p1.display 14 io.put_string("[ 15 16 Also have a look at the new POINT interface. To do so, 17 just type the following command in the current 18 working directory: 19 short point.e 20 21 22 ]") 23 end 24 25end -- class EXAMPLE1