diff options
| author | krasimir <krasimir@chalmers.se> | 2017-04-19 12:30:40 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2017-04-19 12:30:40 +0000 |
| commit | 5c93f2fba5eadaa1e516106c08d495c14a0eb647 (patch) | |
| tree | e0d2a925cc0f3c0d8ec4bac0668fb42b2a64babe /src/runtime/c/gu/choice.h | |
| parent | 74ce52d761de9bc49fbb1aaf2d273d3edc34a3d6 (diff) | |
in libgu mark explicitly all functions that belong to the API
Diffstat (limited to 'src/runtime/c/gu/choice.h')
| -rw-r--r-- | src/runtime/c/gu/choice.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/runtime/c/gu/choice.h b/src/runtime/c/gu/choice.h index aea76dde8..976bdce47 100644 --- a/src/runtime/c/gu/choice.h +++ b/src/runtime/c/gu/choice.h @@ -7,19 +7,19 @@ typedef struct GuChoice GuChoice; typedef struct GuChoiceMark GuChoiceMark; -GuChoice* +GU_API_DECL GuChoice* gu_new_choice(GuPool* pool); -int +GU_API_DECL int gu_choice_next(GuChoice* ch, int n_choices); -GuChoiceMark +GU_API_DECL GuChoiceMark gu_choice_mark(GuChoice* ch); -void +GU_API_DECL void gu_choice_reset(GuChoice* ch, GuChoiceMark mark); -bool +GU_API_DECL bool gu_choice_advance(GuChoice* ch); |
