+
Point of view
All features
class REGULAR_EXPRESSION_ITEM_TEXT
Summary
top
accept one string
Direct parents
Inherit list: REGULAR_EXPRESSION_ITEM
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{ANY}
text: STRING
writable attribute
{ANY}
top
the accepted string
make (value: STRING)
effective procedure
{ANY}
top
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
effective procedure
{ANY}
top
That feature must update the state of 'explorer'.