Eiffeldoc: FOREIGN_DLL

+

Point of view

All features

class FOREIGN_DLL

Summary

Direct parents: Insert list: ANY

Class invariant

dso /= Void
functions /= Void

Overview

Creation features

{FOREIGN_DLL_LOADER}

make (a_dso: DYNAMIC_SHARED_OBJECT)

Features

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}

filename: FIXED_STRING

effective function

function (name: ABSTRACT_STRING, a_parameter_types: TRAVERSABLE[FOREIGN_TYPE], a_result_type: FOREIGN_TYPE): FOREIGN_AGENT

effective function

require

name /= Void

make (a_dso: DYNAMIC_SHARED_OBJECT)

effective procedure

{}

require

a_dso /= Void

ensure

dso = a_dso

dso: DYNAMIC_SHARED_OBJECT

writable attribute

{FOREIGN_DLL_HANDLER}

functions: DICTIONARY[FOREIGN_DLL_FUNCTION, FIXED_STRING]

writable attribute

{FOREIGN_DLL_HANDLER}