src/Headers/intTable.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 /*
   7 ** intTable.h
   8 */
   9
  10 # ifndef INTTABLE_H
  11 # define INTTABLE_H
  12
  13 /*
  14 ** intTable is used to map a limited number of integers to other integers.
  15 ** The table size is fixed, and gives the maximum value.
  16 */
  17
  18 abst_typedef struct _intTable
  19 {
  20     int size;
  21     /*@only@*/ int *values;
  22 } *intTable;
  23
  24 extern /*@only@*/ intTable intTable_create (int p_size);
  25 extern void intTable_set (intTable p_h, int p_key, int p_value);
  26 extern int intTable_lookup (intTable p_h, int p_key);
  27 extern void intTable_free (/*@only@*/ intTable p_h);
  28
  29 # else
  30 # error "Multiple include"
  31 # endif
  32
  33
  34
  35
  36
  37
  38
  39
  40
  41
  42
  43
  44