File: iterator_with_variant.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 (50 lines) | stat: -rw-r--r-- 787 bytes parent folder | download | duplicates (3) 
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
40
41
42
43
44
45
46
47
48
49
50
 
class ITERATOR_WITH_VARIANT[X]
--
-- Acts like a Facade in order to add a loop variant facility on any
-- kinds of ITERATOR[X].
--
inherit ITERATOR[X]

creation make

feature

   make(iterator: like basic_iterator) is
      require
	 iterator /= Void
      do
	 basic_iterator := iterator;
      ensure
	 basic_iterator = iterator
      end;

   variant_value: INTEGER;

   item: X is
      do
	 Result := basic_iterator.item;
      end;

   start is
      do
	 basic_iterator.start;
	 variant_value := Maximum_integer;
      end;

   next is
      do
	 basic_iterator.next;
	 variant_value := variant_value - 1;
      end;

   is_off: BOOLEAN is
      do
	 Result := basic_iterator.is_off;
      end;

feature {NONE}

   basic_iterator: ITERATOR[X];
	 -- The true (fast) iterator.

end