GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
FOREIGN_PARAMETERS
+
Point of view
All features
ANY
FOREIGN_AGENT
All features
expanded class FOREIGN_PARAMETERS
Summary
top
Direct parents
Insert list:
ANY
Class invariant
top
no_voids:
parameters
/= Void implies
parameters
.for_all(
_inline_agent5
())
Overview
top
Features
{
ANY
}
set
(a_parameters:
TRAVERSABLE
[
FOREIGN_OBJECT
])
match_types
(a_types:
TRAVERSABLE
[
FOREIGN_TYPE
]):
BOOLEAN
{
FOREIGN_AGENT
}
as_arrayed_collection
:
ARRAYED_COLLECTION
[
POINTER
]
{}
parameters
:
TRAVERSABLE
[
FOREIGN_OBJECT
]
{}
_inline_agent4
(p:
FOREIGN_OBJECT
):
BOOLEAN
_inline_agent5
(p:
FOREIGN_OBJECT
):
BOOLEAN
set
(a_parameters:
TRAVERSABLE
[
FOREIGN_OBJECT
])
effective procedure
{
ANY
}
top
require
no_voids:
a_parameters.for_all(
_inline_agent4
())
ensure
parameters
= a_parameters
match_types
(a_types:
TRAVERSABLE
[
FOREIGN_TYPE
]):
BOOLEAN
effective function
{
ANY
}
top
ensure
not_set_is_wrong:
parameters
= Void implies not Result
as_arrayed_collection
:
ARRAYED_COLLECTION
[
POINTER
]
effective function
{
FOREIGN_AGENT
}
top
parameters
:
TRAVERSABLE
[
FOREIGN_OBJECT
]
writable attribute
{}
top
_inline_agent4
(p:
FOREIGN_OBJECT
):
BOOLEAN
frozen
effective function
{}
top
_inline_agent5
(p:
FOREIGN_OBJECT
):
BOOLEAN
frozen
effective function
{}
top