+
Point of view
All features
class REGULAR_EXPRESSION_ITEM_END_GROUP
Summary
record the end position of a group
Direct parents
Inherit list: REGULAR_EXPRESSION_ITEM
Overview
Creation features
{ANY}
Features
{ANY}
number: INTEGER_32
writable attribute
{ANY}
the number of the group
make (num: INTEGER_32)
effective procedure
{ANY}
require
  • natural_number: num >= 0
ensure
effective procedure
{ANY}
That feature must update the state of 'explorer'.