/tutorial/triangle/version2/example1.e
http://github.com/tybor/Liberty · Specman e · 19 lines · 14 code · 3 blank · 2 comment · 0 complexity · 3d52a1509db4d779e831f3b5bdce2789 MD5 · raw file
- class EXAMPLE1
- -- Getting started with creation procedures.
- create {ANY}
- main
- feature {ANY}
- main
- local
- p1: POINT
- do
- create p1.make(1.0, 2.0)
- p1.translate(1.0, 2.0)
- -- Using make again on the very same POINT:
- p1.make(1.0, 2.0)
- sedb_breakpoint
- end
- end -- class EXAMPLE1