class REGULAR_EXPRESSION_ITEM_TEXT_NO_CASE

Features exported to ANY

accept one string

Direct parents

conformant parents

REGULAR_EXPRESSION_ITEM

Summary

creation features

exported features

Details

make (value: STRING)

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

text: STRING

the accepted string

make (value: STRING)

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

explore (matcher: BACKTRACKING_REGULAR_EXPRESSION)

That feature must update the state of 'explorer'.

Class invariant