+
Point of view
All features
class REGULAR_EXPRESSION_ITEM_TEXT_NO_CASE
-
text_not_void: text /= Void
-
text_not_empty: text.count > 0
require
-
value_not_void: value /= Void
-
value_not_empty: value.count > 0
ensure
-
definition: text.is_equal(value.as_upper)
-
text_not_void: text /= Void
-
text_not_empty: text.count > 0