GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
REGULAR_EXPRESSION_ITEM_RANGE
+
Point of view
All features
ANY
All features
class REGULAR_EXPRESSION_ITEM_RANGE
Summary
top
accept a character in a range
Direct parents
Inherit list:
REGULAR_EXPRESSION_ITEM
Overview
top
Creation features
{
ANY
}
make
(low:
CHARACTER
, up:
CHARACTER
)
Features
{
ANY
}
lower
:
CHARACTER
lower and upper range
upper
:
CHARACTER
lower and upper range
make
(low:
CHARACTER
, up:
CHARACTER
)
explore
(matcher:
BACKTRACKING_REGULAR_EXPRESSION
)
That feature must update the state of 'explorer'.
lower
:
CHARACTER
writable attribute
{
ANY
}
top
lower and upper range
upper
:
CHARACTER
writable attribute
{
ANY
}
top
lower and upper range
make
(low:
CHARACTER
, up:
CHARACTER
)
effective procedure
{
ANY
}
top
ensure
definition:
lower
= low and
upper
= up
explore
(matcher:
BACKTRACKING_REGULAR_EXPRESSION
)
effective procedure
{
ANY
}
top
That feature must update the state of 'explorer'.