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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 94461 by polikarn, Fri Feb 21 15:39:42 2014 UTC revision 94492 by polikarn, Sat Feb 22 17:22:35 2014 UTC
# Line 1  Line 1 
1  note  note
2          description: "Iterators to read from and update mutable sequences."          description: "Iterators to read from and update mutable sequences."
3          author: "Nadia Polikarpova"          author: "Nadia Polikarpova"
4          model: target, sequence, index          model: target, sequence, index_
5    
6  deferred class  deferred class
7          V_MUTABLE_SEQUENCE_ITERATOR [G]          V_MUTABLE_SEQUENCE_ITERATOR [G]
# Line 10  inherit Line 10  inherit
10          V_SEQUENCE_ITERATOR [G]          V_SEQUENCE_ITERATOR [G]
11                  redefine                  redefine
12                          target,                          target,
13                          index                          index_
14                  end                  end
15    
16          V_IO_ITERATOR [G]          V_IO_ITERATOR [G]
17                  redefine                  redefine
18                          target,                          target,
19                          index,                          index_,
20                          put                          put
21                  end                  end
22    
# Line 27  feature -- Access Line 27  feature -- Access
27    
28  feature -- Measurement  feature -- Measurement
29    
30          index: INTEGER          index_: INTEGER
31                          -- Current position.                          -- Current position.
32    
33  feature -- Replacement  feature -- Replacement
# Line 38  feature -- Replacement Line 38  feature -- Replacement
38                          modify_model (["map"], target)                          modify_model (["map"], target)
39                  deferred                  deferred
40                  ensure then                  ensure then
41                          target_map_effect: target.map ~ old (target.map.updated (target.lower + index - 1, v))                          target_map_effect: target.map ~ old (target.map.updated (target.lower + index_ - 1, v))
42                  end                  end
43    
44  note  note

Legend:
Removed from v.94461  
changed lines
  Added in v.94492

  ViewVC Help
Powered by ViewVC 1.1.23