/[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 95710 by polikarn, Mon Jul 28 13:20:57 2014 UTC revision 95711 by polikarn, Thu Aug 28 18:10:18 2014 UTC
# Line 3  note Line 3  note
3          author: "Nadia Polikarpova"          author: "Nadia Polikarpova"
4          model: target, index_          model: target, index_
5          manual_inv: true          manual_inv: true
6            false_guards: true
7    
8  deferred class  deferred class
9          V_MUTABLE_SEQUENCE_ITERATOR [G]          V_MUTABLE_SEQUENCE_ITERATOR [G]
# Line 43  feature -- Replacement Line 44  feature -- Replacement
44                          modify_model (["sequence"], target)                          modify_model (["sequence"], target)
45                  deferred                  deferred
46                  ensure then                  ensure then
47                          target_map_effect: target.sequence ~ old (target.sequence.replaced_at (index_, v))                          target_sequence_effect: target.sequence ~ old (target.sequence.replaced_at (index_, v))
48                  end                  end
49    
50  note  note

Legend:
Removed from v.95710  
changed lines
  Added in v.95711

  ViewVC Help
Powered by ViewVC 1.1.23