/[eiffelstudio]/branches/eth/eve/Src/library/base/base2/iterator/sequence/v_mutable_sequence_iterator.e
ViewVC logotype

Annotation of /branches/eth/eve/Src/library/base/base2/iterator/sequence/v_mutable_sequence_iterator.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 96423 - (hide annotations)
Tue Dec 23 00:55:09 2014 UTC (4 years, 10 months ago) by polikarn
File size: 1283 byte(s)
Added independent is_equal implementatiion for hash table and set iterators.
1 polikarn 94307 note
2     description: "Iterators to read from and update mutable sequences."
3     author: "Nadia Polikarpova"
4 polikarn 94771 model: target, index_
5 polikarn 94885 manual_inv: true
6 polikarn 95711 false_guards: true
7 polikarn 94307
8     deferred class
9     V_MUTABLE_SEQUENCE_ITERATOR [G]
10    
11     inherit
12     V_SEQUENCE_ITERATOR [G]
13     redefine
14 polikarn 94461 target,
15 polikarn 96029 sequence,
16 polikarn 94492 index_
17 polikarn 94307 end
18    
19     V_IO_ITERATOR [G]
20 polikarn 96423 undefine
21     is_model_equal
22 polikarn 94307 redefine
23     target,
24 polikarn 96029 sequence,
25 polikarn 94492 index_,
26 polikarn 94307 put
27     end
28    
29     feature -- Access
30    
31     target: V_MUTABLE_SEQUENCE [G]
32     -- Sequence to iterate over.
33    
34     feature -- Replacement
35    
36     put (v: G)
37     -- Replace item at current position with `v'.
38     deferred
39     ensure then
40 polikarn 95711 target_sequence_effect: target.sequence ~ old (target.sequence.replaced_at (index_, v))
41 polikarn 94307 end
42    
43 polikarn 95975 feature -- Specficiation
44    
45 polikarn 96029 sequence: MML_SEQUENCE [G]
46     -- Sequence of elements in `target'.
47     note
48     status: ghost
49     attribute
50     end
51    
52 polikarn 95975 index_: INTEGER
53     -- Current position.
54     note
55     status: ghost
56     attribute
57     end
58    
59 polikarn 94307 note
60     copyright: "Copyright (c) 1984-2014, Eiffel Software and others"
61     license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
62     source: "[
63     Eiffel Software
64     5949 Hollister Ave., Goleta, CA 93117 USA
65     Telephone 805-685-1006, Fax 805-685-6869
66     Website http://www.eiffel.com
67     Customer support http://support.eiffel.com
68     ]"
69     end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date ID Revision

  ViewVC Help
Powered by ViewVC 1.1.23