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