diff options
| author | Cyrille Bagard <nocbos@gmail.com> | 2017-05-21 16:48:11 (GMT) |
|---|---|---|
| committer | Cyrille Bagard <nocbos@gmail.com> | 2017-05-21 16:48:11 (GMT) |
| commit | acd355c4c5ae25fb9cac64b8dc17407a2bcc979b (patch) | |
| tree | d5b43201049116cd9734ff554e61ed8a7e0084cc /src/arch/sharing/manager.h | |
| parent | 4691a434a34a19317156a761967f719e408b73bb (diff) | |
Refined the whole share system for operands.
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 *); |