diff options
Diffstat (limited to 'gl/lib/randint.h')
| -rw-r--r-- | gl/lib/randint.h | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/gl/lib/randint.h b/gl/lib/randint.h index 75a52188d..160152f08 100644 --- a/gl/lib/randint.h +++ b/gl/lib/randint.h @@ -32,11 +32,18 @@ typedef uintmax_t randint; struct randint_source; -struct randint_source *randint_new (struct randread_source *); -struct randint_source *randint_all_new (char const *, size_t); +void randint_free (struct randint_source *) _GL_ATTRIBUTE_NONNULL (); +int randint_all_free (struct randint_source *) _GL_ATTRIBUTE_NONNULL (); +struct randint_source *randint_new (struct randread_source *) + _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC (randint_free, 1) + _GL_ATTRIBUTE_NONNULL () _GL_ATTRIBUTE_RETURNS_NONNULL; +struct randint_source *randint_all_new (char const *, size_t) + _GL_ATTRIBUTE_MALLOC _GL_ATTRIBUTE_DEALLOC (randint_all_free, 1) + _GL_ATTRIBUTE_NONNULL (); struct randread_source *randint_get_source (struct randint_source const *) - _GL_ATTRIBUTE_PURE; -randint randint_genmax (struct randint_source *, randint genmax); + _GL_ATTRIBUTE_NONNULL () _GL_ATTRIBUTE_PURE; +randint randint_genmax (struct randint_source *, randint genmax) + _GL_ATTRIBUTE_NONNULL (); /* Consume random data from *S to generate a random number in the range 0 .. CHOICES-1. CHOICES must be nonzero. */ @@ -46,7 +53,4 @@ randint_choose (struct randint_source *s, randint choices) return randint_genmax (s, choices - 1); } -void randint_free (struct randint_source *); -int randint_all_free (struct randint_source *); - #endif |