PageRenderTime 19ms CodeModel.GetById 14ms app.highlight 1ms RepoModel.GetById 2ms app.codeStats 0ms

/tutorial/agent/example4.e

http://github.com/tybor/Liberty
Specman e | 18 lines | 12 code | 3 blank | 3 comment | 0 complexity | 903fec62021f3fdae380ac143d8ecdf3 MD5 | raw file
 1class EXAMPLE4
 2   --
 3   -- The target itself can be an open operand:
 4   --
 5
 6create {ANY}
 7   make
 8
 9feature {ANY}
10   make
11      local
12         my_array: ARRAY[FRUIT]
13      do
14         my_array := {ARRAY[FRUIT] 1, << create {PEACH}, create {APPLE} >> }
15         my_array.for_each(agent {FRUIT}.display)
16      end
17
18end -- class EXAMPLE4