Line data    Source code

       1             : /* Generate random integers.
       2             : 
       3             :    Copyright (C) 2006 Free Software Foundation, Inc.
       4             : 
       5             :    This program is free software: you can redistribute it and/or modify
       6             :    it under the terms of the GNU General Public License as published by
       7             :    the Free Software Foundation, either version 3 of the License, or
       8             :    (at your option) any later version.
       9             : 
      10             :    This program is distributed in the hope that it will be useful,
      11             :    but WITHOUT ANY WARRANTY; without even the implied warranty of
      12             :    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
      13             :    GNU General Public License for more details.
      14             : 
      15             :    You should have received a copy of the GNU General Public License
      16             :    along with this program.  If not, see <http://www.gnu.org/licenses/>.  */
      17             : 
      18             : /* Written by Paul Eggert.  */
      19             : 
      20             : #ifndef RANDINT_H
      21             : 
      22             : # define RANDINT_H 1
      23             : 
      24             : # include <stdint.h>
      25             : 
      26             : # include "randread.h"
      27             : 
      28             : /* An unsigned integer type, used for random integers, and its maximum
      29             :    value.  */
      30             : typedef uintmax_t randint;
      31             : # define RANDINT_MAX UINTMAX_MAX
      32             : 
      33             : struct randint_source;
      34             : 
      35             : struct randint_source *randint_new (struct randread_source *);
      36             : struct randint_source *randint_all_new (char const *, size_t);
      37             : struct randread_source *randint_get_source (struct randint_source const *);
      38             : randint randint_genmax (struct randint_source *, randint genmax);
      39             : 
      40             : /* Consume random data from *S to generate a random number in the range
      41             :    0 .. CHOICES-1.  CHOICES must be nonzero.  */
      42             : static inline randint
      43         580 : randint_choose (struct randint_source *s, randint choices)
      44             : {
      45         580 :   return randint_genmax (s, choices - 1);
      46             : }
      47             : 
      48             : void randint_free (struct randint_source *);
      49             : int randint_all_free (struct randint_source *);
      50             : 
      51             : #endif