EiffelBase class
(HTML page generated by ISE Eiffel 4.2)
Eiffel Class
indexing
status: "See notice at end of class";
date: "$Date: 2007-03-30 19:10:11 +0000 (Fri, 30 Mar 2007) $";
revision: "$Revision: 95354 $"
class SEQ_STRING
inherit
STRING
rename
precede as string_precede,
prepend as string_prepend,
mirrored as string_mirrored,
mirror as string_mirror,
share as string_share,
wipe_out as string_wipe_out
export
{ANY} linear_representation
undefine
linear_representation
redefine
has, prune
end;
SEQUENCE [CHARACTER]
rename
append as seq_append,
item as current_item,
index_of as index_of_occurrence,
put as sequence_put,
remove as remove_current_item
export
{NONE} sequence_put, seq_append
undefine
occurrences, out, copy, is_equal, prune_all, consistent, setup, changeable_comparison_criterion
redefine
has, index_of_occurrence, prune
select
wipe_out, sequence_put
end
creation
make
feature -- Access
search_after (c: CHARACTER) is
-- Move cursor to first position
-- (at or after current cursor position)
-- where current_item and c are identical.
do
if notoff then
index := index_of (c, index);
if index = 0 then
index := count + 1
end
end
end;
search_before (c: CHARACTER) is
-- Move cursor to greatest position at or before cursor
-- where current_item and c are identical;
-- go before if unsuccessful.
local
str: like Current
do
str := mirrored;
if notstr.off then
index := count + 1 - str.index_of (c, str.index);
if index = count + 1 then
index := 0
end
end
end;
search_string_after (s: STRING; fuzzy: INTEGER) is
-- Move cursor to first position
-- (at or after cursor position) where substring
-- (index, index + s.count)' and s are identical.
-- Go after if unsuccessful.
-- The 'fuzzy' parameter is the maximum allowed number
-- of mismatches within the pattern. A 0 means an exact match.
local
s_area: like area
do
if notoff then
s_area := s.area;
index := str_str (area, s_area, count, s.count, index, fuzzy);
if index = 0 then
index := count + 1
end
end
end;
search_string_before (s: STRING; fuzzy: INTEGER) is
-- Move cursor to first position
-- (at or before cursor position) where substring
-- (index, index + s.count)' and s are identical.
-- Go before if unsuccessful.
-- The 'fuzzy' parameter is the maximum allowed number
-- of mismatches within the pattern. A 0 means an exact match.
local
s_mir_area, mir_area: like area;
str_mirrored: like Current;
s_mirrored: STRING
do
if notoff then
str_mirrored := mirrored;
s_mirrored := s.mirrored;
s_mir_area := s_mirrored.area;
mir_area := str_mirrored.area;
index := count - str_str (mir_area, s_mir_area, count, s.count, str_mirrored.index, fuzzy) + 1;
if index = count + 1 then
index := 0
else
index := index - s.count + 1
end
end
end;
current_item: CHARACTER is
-- Current item
do
Result := item (index)
end;
index: INTEGER;
-- Index of current_item, if valid
-- Valid values are between 1 and count (if count > 0).
index_of_occurrence (c: CHARACTER; i: INTEGER): INTEGER is
-- Index of i-th occurrence of c.
-- 0 if none.
local
occur: INTEGER
do
if notempty then
from
Result := index_of (c, 1);
if Result /= 0 then
occur := 1
end
until
(Result = 0) or else (occur = i)
loop
if Result /= count then
Result := index_of (c, Result + 1);
if Result /= 0 then
occur := occur + 1
end
else
Result := 0
end
end
end
ensure
index_value: (Result = 0) or item (Result) = c
end;
has (c: CHARACTER): BOOLEAN is
-- Does string include c?
do
if notempty then
Result := (index_of (c, 1) /= 0)
end
end;
feature -- Status report
before: BOOLEAN is
-- Is there no valid cursor position to the left of cursor?
do
Result := index < 1
end;
after: BOOLEAN is
-- Is there no valid cursor position to the right of cursor?
do
Result := index > count
end;
feature -- Cursor movement
start is
-- Move to first position.
do
index := 1
end;
finish is
-- Move to last position.
do
index := count
end;
back is
-- Move to previous position.
do
index := index - 1
end;
forth is
-- Move to next position.
do
index := index + 1
end;
feature -- Element change
replace (c: CHARACTER) is
-- Replace current item by c.
do
put (c, index)
end;
share (other: like Current) is
-- Make string share the text of other.
require
argument_not_void: other /= void
do
string_share (other);
index := other.index
ensure
shared_index: other.index = index
end;
precede (c: CHARACTER) is
-- Add c at front.
do
string_precede (c);
index := index + 1
ensure
new_index: index = old index + 1
end;
prepend (s: STRING) is
-- Prepend a copy of s at front.
require
argument_not_void: s /= void
do
string_prepend (s);
index := index + s.count
ensure
new_index: index = old index + s.count
end;
feature -- Removal
prune (c: CHARACTER) is
-- Remove first occurrence of c.
local
i: INTEGER
do
if count /= 0 then
i := index_of (c, 1);
if i /= 0 then
remove (i)
end
end
end;
remove_current_item is
-- Remove current item.
do
remove (index)
end;
wipe_out is
-- Clear out all characters.
do
string_wipe_out;
index := 0
end;
feature -- Duplication
mirrored: like Current is
-- Current string read from right to left.
-- The result string has the same capacity and the
-- same current position (i.e. the cursor is pointing
-- at the same item)
do
Result := string_mirrored;
if notafter then
from
Result.start
until
Result.index = count - index + 1
loop
Result.forth
end
end
ensure
mirrored_index: Result.index = count - index + 1;
same_count: Result.count = count
end;
mirror is
-- Reverse the characters order.
-- "Hello world" -> "dlrow olleH".
-- The current position will be on the same item
-- as before.
do
string_mirror;
index := count + 1 - index
ensure
same_count: count = old count;
mirrored_index: index = count - old index + 1
end;
feature {NONE} -- Inapplicable
go_to (r: CURSOR) is
-- Go to position marked r.
do
end;
end -- class SEQ_STRING
[an error occurred while processing this directive] |
