+
Point of view
All features
deferred class FOREIGN_AGENT
Summary
Direct parents
Insert list: ANY
Known children
Inherit list: FOREIGN_DLL_FUNCTION, FOREIGN_EXTERNAL_FUNCTION
Class invariant
Overview
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