home
wiki
classes/clusters list
class information
+
Point of view
INTERNALS_HANDLER
ANY
INTERNALS_HANDLER
All features
class REGULAR_EXPRESSION_ITEM_BEGIN_GROUP
Summary
top
record the begin of a group
Direct parents
inherit list:
REGULAR_EXPRESSION_ITEM
Overview
top
creation features
make
(num:
INTEGER_32
)
exported features
number
:
INTEGER_32
the number of the group
make
(num:
INTEGER_32
)
explore
(matcher:
BACKTRACKING_REGULAR_EXPRESSION
)
That feature must update the state of 'explorer'.
number
:
INTEGER_32
writable attribute
top
the number of the group
make
(num:
INTEGER_32
)
effective procedure
top
require
natural_number:
num >= 0
ensure
definition:
number
= num
natural_number:
number
>= 0
explore
(matcher:
BACKTRACKING_REGULAR_EXPRESSION
)
effective procedure
top
That feature must update the state of 'explorer'.