GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
REGULAR_EXPRESSION_ITEM_BEGIN_GROUP
+
Point of view
All features
ANY
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
{
ANY
}
make
(num:
INTEGER_32
)
Features
{
ANY
}
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
{
ANY
}
top
the number of the group
make
(num:
INTEGER_32
)
effective procedure
{
ANY
}
top
require
natural_number:
num >= 0
ensure
definition:
number
= num
natural_number:
number
>= 0
explore
(matcher:
BACKTRACKING_REGULAR_EXPRESSION
)
effective procedure
{
ANY
}
top
That feature must update the state of 'explorer'.