/tutorial/triangle/version3/example1.e
http://github.com/tybor/Liberty · Specman e · 25 lines · 19 code · 6 blank · 0 comment · 0 complexity · 373d1a6e556333bf455b711a84ffbd60 MD5 · raw file
- class EXAMPLE1
- create {ANY}
- main
- feature {ANY}
- main
- local
- p1: POINT
- do
- create p1.make(1.0, 2.0)
- p1.translate(1.0, 2.0)
- p1.display
- io.put_string("[
- Also have a look at the new POINT interface. To do so,
- just type the following command in the current
- working directory:
- short point.e
- ]")
- end
- end -- class EXAMPLE1