+
Point of view
INTERNALS_HANDLER
class POSIX_REGULAR_EXPRESSION_BUILDER
set_any_dont_match_newline
effective procedure
does_match_text_boundary:
BOOLEAN
effective function
parse_expression (expr:
STRING)
effective procedure
require
-
expression_not_void: expr /= Void
ensure
set_scanned_string (string:
STRING)
effective procedure
require
-
message_not_void: message /= Void
-
has_no_error: not has_error
ensure
require
-
name_not_void: name /= Void
require
ensure
-
good_result: Result /= Void
require
-
name_not_void: name /= Void
require
ensure
-
good_result: Result /= Void