+
Point of view
INTERNALS_HANDLER
class BACKTRACKING_REGULAR_EXPRESSION
set_scanned_string (string:
STRING)
effective procedure
ensure
-
match_reset: not last_match_succeeded
-
definition: scanned_string = string
-
at_the_begin: position = scanned_string.lower
require
ensure
- not last_match_succeeded
- not can_substitute
require
- text /= Void
- first_index.in_range(1, text.count + 1)
ensure
- Result = last_match_succeeded
- Result implies last_match_first_index >= first_index
- Result implies last_match_first_index.in_range(text.lower, text.upper + 1)
- Result implies last_match_first_index <= last_match_last_index + 1
matches_only_current_position:
BOOLEAN
writable attribute
set_matches_only_current_position (value:
BOOLEAN)
effective procedure
require
-
valid_pattern: pattern.is_valid
ensure
require
-
node_not_void: node /= Void
require
-
list_not_void: list /= Void
require
-
node_not_void: node /= Void
require
-
list_not_void: list /= Void
ensure
-
no_solution_when_cleared: Result implies is_off
require
-
sequence_not_void: sequence /= Void
require
-
alternative_not_void: alternative /= Void
append_heading_text (text:
STRING, buffer:
STRING)
effective procedure
append_pattern_text (text:
STRING, buffer:
STRING)
effective procedure
append_tailing_text (text:
STRING, buffer:
STRING)
effective procedure
prepare_substitution (p:
STRING)
effective procedure
substitute_all_for (text:
STRING)
effective procedure
substitute_all_in (text:
STRING)
effective procedure
substitution_pattern_ready:
BOOLEAN
writable attribute
require
-
message_not_void: message /= Void
-
has_no_error: not has_error
ensure