/tutorial/triangle/version2/example2.e
http://github.com/tybor/Liberty · Specman e · 23 lines · 16 code · 3 blank · 4 comment · 0 complexity · 8c143d33327727f48b66fc448bbc0827 MD5 · raw file
- class EXAMPLE2
- create {ANY}
- main
- feature {ANY}
- main
- local
- x, y, z: POINT; t: TRIANGLE
- do
- create x.make(1.0, 2.0)
- create y.make(3.0, 4.0)
- create z.make(5.0, 6.0)
- create t.make(x, y, z)
- t.translate(1, 2)
- sedb_breakpoint
- -- Do not forget to do:
- -- short POINT
- -- and
- -- short TRIANGLE
- end
- end -- class EXAMPLE2