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