GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
tutorial
>
STRING_NODE
+
Point of view
All features
ANY
All features
class STRING_NODE
Summary
top
Direct parents
Inherit list:
BACKTRACKING_NODE
Overview
top
Creation features
{
ANY
}
make
(val:
STRING
)
Features
{
ANY
}
value
:
STRING
make
(val:
STRING
)
explore
(expander:
EXPAND_EXPRESSION
)
That feature must update the state of 'explorer'.
value
:
STRING
writable attribute
{
ANY
}
top
make
(val:
STRING
)
effective procedure
{
ANY
}
top
ensure
definition:
value
= val
explore
(expander:
EXPAND_EXPRESSION
)
effective procedure
{
ANY
}
top
That feature must update the state of 'explorer'.