 |
Resource and persistent handle factory API
A facility to manage possibly persistent resources with a comprehensible API. Provides simliar functionality like the zend_list API, but with more flexiblity and freedom.
|
|
Resource and persistent handle factory API
A facility to manage possibly persistent resources with a comprehensible API. Provides simliar functionality like the zend_list API, but with more flexiblity and freedom.
|
Definition of a persistent handle provider. More...
#include <php_raphf.h>
Data Fields | |
| php_persistent_handle_list_t | list |
| The list of free handles. More... | |
| php_resource_factory_t | rf |
| The resource factory. More... | |
Definition of a persistent handle provider.
Holds a resource factory an a persistent handle list.
| php_persistent_handle_list_t php_persistent_handle_provider::list |
The list of free handles.
Hash of "ident" => array(handles) entries. Persistent handles are acquired out of this list.
| php_resource_factory_t php_persistent_handle_provider::rf |
The resource factory.
New handles are created by this factory.
1.8.5 
