GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EIFFEL_DEFAULT_NODE_FACTORY
+
Point of view
All features
ANY
EIFFEL_GRAMMAR
All features
class EIFFEL_DEFAULT_NODE_FACTORY
Summary
top
Direct parents
Inherit list:
EIFFEL_NODE_FACTORY
Overview
top
Creation features
{
ANY
}
make
Features
{
EIFFEL_GRAMMAR
}
list
(name:
FIXED_STRING
):
EIFFEL_LIST_NODE
non_terminal
(name:
FIXED_STRING
, names:
TRAVERSABLE
[
FIXED_STRING
]):
EIFFEL_NON_TERMINAL_NODE
terminal
(name:
FIXED_STRING
, image:
EIFFEL_IMAGE
):
EIFFEL_TERMINAL_NODE
{}
make
list
(name:
FIXED_STRING
):
EIFFEL_LIST_NODE
effective function
{
EIFFEL_GRAMMAR
}
top
ensure
Result.name = name
non_terminal
(name:
FIXED_STRING
, names:
TRAVERSABLE
[
FIXED_STRING
]):
EIFFEL_NON_TERMINAL_NODE
effective function
{
EIFFEL_GRAMMAR
}
top
require
not name.is_empty
names /= Void
ensure
Result.name = name
terminal
(name:
FIXED_STRING
, image:
EIFFEL_IMAGE
):
EIFFEL_TERMINAL_NODE
effective function
{
EIFFEL_GRAMMAR
}
top
require
not name.is_empty
image /= Void
ensure
Result.name = name
Result.image.is_equal(image)
make
effective procedure
{}
top