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

Contents 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 - (show annotations)
Tue Dec 23 00:55:09 2014 UTC (4 years, 11 months ago) by polikarn
File size: 1283 byte(s)
Added independent is_equal implementatiion for hash table and set iterators.
1 note
2 description: "Iterators to read from and update mutable sequences."
3 author: "Nadia Polikarpova"
4 model: target, index_
5 manual_inv: true
6 false_guards: true
7
8 deferred class
9 V_MUTABLE_SEQUENCE_ITERATOR [G]
10
11 inherit
12 V_SEQUENCE_ITERATOR [G]
13 redefine
14 target,
15 sequence,
16 index_
17 end
18
19 V_IO_ITERATOR [G]
20 undefine
21 is_model_equal
22 redefine
23 target,
24 sequence,
25 index_,
26 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 target_sequence_effect: target.sequence ~ old (target.sequence.replaced_at (index_, v))
41 end
42
43 feature -- Specficiation
44
45 sequence: MML_SEQUENCE [G]
46 -- Sequence of elements in `target'.
47 note
48 status: ghost
49 attribute
50 end
51
52 index_: INTEGER
53 -- Current position.
54 note
55 status: ghost
56 attribute
57 end
58
59 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