diff options
Diffstat (limited to 'src/arch/sharing/manager.h')
| -rw-r--r-- | src/arch/sharing/manager.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/arch/sharing/manager.h b/src/arch/sharing/manager.h index 959087d..c24fcc6 100644 --- a/src/arch/sharing/manager.h +++ b/src/arch/sharing/manager.h @@ -60,11 +60,14 @@ GType g_share_manager_get_type(void); GShareManager *g_share_manager_new(GType); /* Retrouve ou crée une instance partagée. */ -GSharedInstance *g_share_manager_get(GShareManager *, GSharedInstance *); +GSharedInstance *g_share_manager_build(GShareManager *, GSharedInstance *); /* Met à jour une instance partagée. */ GSharedInstance *g_share_manager_update(GShareManager *, GSharedInstance *, GSharedInstance *, GShareContainer *); +/* Note une augmentation des utilisations d'un élément partagé. */ +void g_share_manager_get(GShareManager *, GSharedInstance *); + /* Abandonne un usage d'une instance partagée. */ void g_share_manager_put(GShareManager *, GSharedInstance *); |