+
Point of view
All features
class FOREIGN_DLL_FUNCTION
Summary
top
Direct parents
Inherit list: FOREIGN_AGENT
Class invariant
top
Overview
top
Creation features
{FOREIGN_DLL}
Features
{}
{ANY}
{}
make (external_function: POINTER, a_parameter_types: TRAVERSABLE[FOREIGN_TYPE], a_result_type: FOREIGN_TYPE)
effective procedure
{}
top
require
  • external_function.is_not_null
  • a_parameter_types /= Void
ensure
call (parameters: FOREIGN_PARAMETERS)
effective procedure
{ANY}
top
require
item (parameters: FOREIGN_PARAMETERS): FOREIGN_OBJECT
effective function
{ANY}
top
require ensure
parameter_types: TRAVERSABLE[FOREIGN_TYPE]
writable attribute
{ANY}
top
result_type: FOREIGN_TYPE
writable attribute
{ANY}
top
ffi_call: FFI_CALL
writable attribute
{}
top
writable attribute
{}
top
prepare (a_function: POINTER)
effective procedure
{}
top
require ensure