]>
Commit | Line | Data |
---|---|---|
28bf4b0b | 1 | /* |
2 | ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001. | |
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 |