File: example5.e

package info (click to toggle)
smarteiffel 1.1-11
  • links: PTS
  • area: main
  • in suites: etch, etch-m68k
  • size: 12,288 kB
  • ctags: 40,785
  • sloc: ansic: 35,791; lisp: 4,036; sh: 1,783; java: 895; ruby: 613; python: 209; makefile: 115; csh: 78; cpp: 50
file content (39 lines) | stat: -rw-r--r-- 757 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
 
class EXAMPLE5
--
-- There is also a `for_all' routine in COLLECTION (i.e. ARRAY,
-- FIXED_ARRAY, LINKED_LIST, TWO_WAY_LINKED_LIST).
-- You can watch the result using sedb, the SmartEiffel DeBugger.
--

creation make

feature

   make is
      local
         my_array: ARRAY[INTEGER]; bool: BOOLEAN
      do
	 my_array := <<2,3,4>>

	 bool := my_array.for_all(agent greater_than(?, 1))
	 sedb_breakpoint

	 bool := my_array.for_all(agent greater_than(1, ?))
	 sedb_breakpoint

	 bool := my_array.exists(agent greater_than(4, ?))
	 sedb_breakpoint

	 bool := my_array.exists(agent greater_than(?, 4))
	 sedb_breakpoint
      end

feature {NONE}

   greater_than(item, value: INTEGER): BOOLEAN is
      do
	 Result := item > value
      end

end -- EXAMPLE5