/[eiffelstudio]/FreeELKS/tags/EiffelSoftware/Eiffel_72/library/kernel/readable_string_general.e
ViewVC logotype

Diff of /FreeELKS/tags/EiffelSoftware/Eiffel_72/library/kernel/readable_string_general.e

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

revision 92170 by manus_eiffel, Mon Feb 4 21:05:19 2013 UTC revision 92171 by manus_eiffel, Thu Feb 7 20:27:54 2013 UTC
# Line 38  feature -- Access Line 38  feature -- Access
38                  deferred                  deferred
39                  end                  end
40    
41            item alias "[]" (i: INTEGER): CHARACTER_32
42                            -- Code at position `i'
43                    require
44                            valid_index: valid_index (i)
45                    deferred
46                    end
47    
48          index_of_code (c: like code; start_index: INTEGER): INTEGER          index_of_code (c: like code; start_index: INTEGER): INTEGER
49                          -- Position of first occurrence of `c' at or after `start_index';                          -- Position of first occurrence of `c' at or after `start_index';
50                          -- 0 if none.                          -- 0 if none.

Legend:
Removed from v.92170  
changed lines
  Added in v.92171

  ViewVC Help
Powered by ViewVC 1.1.23