GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
EIFFEL_LEFT_ASSOCIATIVE_EXPRESSION
+
Point of view
All features
ANY
EIFFEL_GRAMMAR
All features
expanded class EIFFEL_LEFT_ASSOCIATIVE_EXPRESSION
Summary
top
Direct parents
Insert list:
ANY
Overview
top
Features
{
EIFFEL_GRAMMAR
}
expression_name
:
FIXED_STRING
right_node
:
EIFFEL_NODE
operator_nodes
:
COLLECTION
[
EIFFEL_NODE
]
set
(a_expression_name:
FIXED_STRING
, a_operator_names:
COLLECTION
[
ABSTRACT_STRING
], a_right_node:
EIFFEL_NODE
, a_operator_nodes:
COLLECTION
[
EIFFEL_NODE
])
append_operators_in
(operators:
COLLECTION
[
FIXED_STRING
])
operator_names_out
:
STRING
{}
operator_names
:
COLLECTION
[
ABSTRACT_STRING
]
{}
_inline_agent36
(o:
ABSTRACT_STRING
):
BOOLEAN
expression_name
:
FIXED_STRING
writable attribute
{
EIFFEL_GRAMMAR
}
top
right_node
:
EIFFEL_NODE
writable attribute
{
EIFFEL_GRAMMAR
}
top
operator_nodes
:
COLLECTION
[
EIFFEL_NODE
]
writable attribute
{
EIFFEL_GRAMMAR
}
top
set
(a_expression_name:
FIXED_STRING
, a_operator_names:
COLLECTION
[
ABSTRACT_STRING
], a_right_node:
EIFFEL_NODE
, a_operator_nodes:
COLLECTION
[
EIFFEL_NODE
])
effective procedure
{
EIFFEL_GRAMMAR
}
top
require
a_operator_names.for_all(
_inline_agent36
())
ensure
expression_name
= a_expression_name
operator_names
= a_operator_names
right_node
= a_right_node
operator_nodes
= a_operator_nodes
append_operators_in
(operators:
COLLECTION
[
FIXED_STRING
])
effective procedure
{
EIFFEL_GRAMMAR
}
top
require
operators /= Void
operator_names_out
:
STRING
effective function
{
EIFFEL_GRAMMAR
}
top
operator_names
:
COLLECTION
[
ABSTRACT_STRING
]
writable attribute
{}
top
_inline_agent36
(o:
ABSTRACT_STRING
):
BOOLEAN
frozen
effective function
{}
top