Automatic generation produced by ISE Eiffel

Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 
class
	DYNAMIC_MODULE

General
	cluster: api_wrapper
	description: 
		"Provices access to the raw API facilities of a dynamic module loaded using OS dynamic module
		loading policies."
	create: make, make_with_version

Ancestors
	DYNAMIC_API*

Queries
	Api_loader: DYNAMIC_API_LOADER
	api_pointer (a_api_name: READABLE_STRING_8): POINTER
	is_interface_usable: BOOLEAN
	is_thread_safe: BOOLEAN
	minimum_version: detachable IMMUTABLE_STRING_32
	module_name: IMMUTABLE_STRING_32

Commands
	dispose
	unload

Constraints
	module name attached
	not module name is empty
	not minimum version is empty



Classes
Clusters
Cluster hierarchy
Chart
Relations
Flat contracts
Go to: 

-- Generated by Eiffel Studio --
For more details: eiffel.org