+
Point of view
All features
class REGULAR_EXPRESSION_ITEM_TEXT
-
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 = value
-
text_not_void: text /= Void
-
text_not_empty: text.count > 0