GNU
|
Liberty Eiffel
|
Automated Tests
|
Wiki
|
Savannah project
|
Debian packages
|
Documentation
>
libraries
>
FOREIGN_DLL
+
Point of view
All features
ANY
FOREIGN_DLL_HANDLER
All features
class FOREIGN_DLL
Summary
top
Direct parents
Insert list:
ANY
Class invariant
top
dso
/= Void
functions
/= Void
Overview
top
Creation features
{
FOREIGN_DLL_LOADER
}
make
(a_dso:
DYNAMIC_SHARED_OBJECT
)
Features
{
ANY
}
filename
:
FIXED_STRING
function
(name:
ABSTRACT_STRING
, a_parameter_types:
TRAVERSABLE
[
FOREIGN_TYPE
], a_result_type:
FOREIGN_TYPE
):
FOREIGN_AGENT
{}
make
(a_dso:
DYNAMIC_SHARED_OBJECT
)
{
FOREIGN_DLL_HANDLER
}
dso
:
DYNAMIC_SHARED_OBJECT
functions
:
DICTIONARY
[
FOREIGN_DLL_FUNCTION
,
FIXED_STRING
]
filename
:
FIXED_STRING
effective function
{
ANY
}
top
function
(name:
ABSTRACT_STRING
, a_parameter_types:
TRAVERSABLE
[
FOREIGN_TYPE
], a_result_type:
FOREIGN_TYPE
):
FOREIGN_AGENT
effective function
{
ANY
}
top
require
name /= Void
make
(a_dso:
DYNAMIC_SHARED_OBJECT
)
effective procedure
{}
top
require
a_dso /= Void
ensure
dso
= a_dso
dso
:
DYNAMIC_SHARED_OBJECT
writable attribute
{
FOREIGN_DLL_HANDLER
}
top
functions
:
DICTIONARY
[
FOREIGN_DLL_FUNCTION
,
FIXED_STRING
]
writable attribute
{
FOREIGN_DLL_HANDLER
}
top