expanded class REGULAR_EXPRESSION_BUILDER
- Direct parents
- insert list: ANY
require
ensure
- Result /= Void xor last_error_message /= Void
-
initialized: Result /= Void implies not Result.last_match_succeeded
-
substitution_cleared: Result /= Void implies not Result.substitution_pattern_ready
require
ensure
- Result /= Void xor last_error_message /= Void
-
initialized: Result /= Void implies not Result.last_match_succeeded
-
substitution_cleared: Result /= Void implies not Result.substitution_pattern_ready
set_any_dont_match_newline
effective procedure
does_match_text_boundary:
BOOLEAN
effective function
set_no_extended_ligibility
effective procedure