/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
- class EXAMPLE4
- --
- -- The target itself can be an open operand:
- --
- create {ANY}
- make
- feature {ANY}
- make
- local
- my_array: ARRAY[FRUIT]
- do
- my_array := {ARRAY[FRUIT] 1, << create {PEACH}, create {APPLE} >> }
- my_array.for_each(agent {FRUIT}.display)
- end
- end -- class EXAMPLE4