/[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 95974 by polikarn, Thu Aug 28 18:10:18 2014 UTC revision 95975 by polikarn, Tue Oct 21 17:20:13 2014 UTC
# Line 27  feature -- Access Line 27  feature -- Access
27          target: V_MUTABLE_SEQUENCE [G]          target: V_MUTABLE_SEQUENCE [G]
28                          -- Sequence to iterate over.                          -- Sequence to iterate over.
29    
 feature -- Measurement  
   
         index_: INTEGER  
                         -- Current position.  
                 note  
                         status: ghost  
                 attribute  
                 end  
   
30  feature -- Replacement  feature -- Replacement
31    
32          put (v: G)          put (v: G)
# Line 47  feature -- Replacement Line 38  feature -- Replacement
38                          target_sequence_effect: target.sequence ~ old (target.sequence.replaced_at (index_, v))                          target_sequence_effect: target.sequence ~ old (target.sequence.replaced_at (index_, v))
39                  end                  end
40    
41    feature -- Specficiation
42    
43            index_: INTEGER
44                            -- Current position.
45                    note
46                            status: ghost
47                    attribute
48                    end
49    
50  note  note
51          copyright: "Copyright (c) 1984-2014, Eiffel Software and others"          copyright: "Copyright (c) 1984-2014, Eiffel Software and others"
52          license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"          license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"

Legend:
Removed from v.95974  
changed lines
  Added in v.95975

  ViewVC Help
Powered by ViewVC 1.1.23