+
Point of view
All features
class REGULAR_EXPRESSION_ITEM_LOOK_END
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