INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

description: "General concept of a matcher which extracts a found pattern from a", "text source."
cluster: matcher
deferred class EXTRACTOR
inherit

MATCHER
end

MATCHER
rename
search_forward as matcher_search_forward,
search_backward as matcher_search_backward,
match as matcher_match,
match_prefix as matcher_match_prefix,
match_suffix as matcher_match_suffix,
match_left_part as matcher_match_left_part,
match_right_part as matcher_match_right_part
select
matcher_match,
matcher_match_left_part,
matcher_match_prefix,
matcher_match_right_part,
matcher_match_suffix,
matcher_search_backward,
matcher_search_forward
end
feature -- Status report

search_string: STRING

released: BOOLEAN
-- Is `search_string' released?

matched_string: STRING
-- Matched part of `search_string'.
require
successful_search: found
not_released: not released
feature -- Actions

release
-- Release search string.
ensure
released: released

search_forward (s: STRING; s_from, s_to: INTEGER)

search_backward (s: STRING; s_from, s_to: INTEGER)

match (s: STRING)

match_prefix (s: STRING)

match_suffix (s: STRING)

match_left_part (s: STRING)

match_right_part (s: STRING)
end -- class EXTRACTOR

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES