+
Point of view
All features
deferred class REGULAR_EXPRESSION_ITEM_GLOBALS
require
-
name_not_void: name /= Void
require
ensure
-
good_result: Result /= Void
require
-
name_not_void: name /= Void
require
ensure
-
good_result: Result /= Void
require
-
name_not_void: name /= Void
require
-
name_not_void: name /= Void