PageRenderTime 7ms CodeModel.GetById 1ms app.highlight 1ms RepoModel.GetById 1ms app.codeStats 1ms

/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
 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