[splint.git] / src / Headers / intTable.h

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
/*
** intTable.h
*/

# ifndef INTTABLE_H
# define INTTABLE_H

/*
** intTable is used to map a limited number of integers to other integers.
** The table size is fixed, and gives the maximum value.
*/

abst_typedef struct _intTable
{
    int size;
    /*@only@*/ int *values;
} *intTable;

extern /*@only@*/ intTable intTable_create (int p_size);
extern void intTable_set (intTable p_h, int p_key, int p_value);
extern int intTable_lookup (intTable p_h, int p_key);
extern void intTable_free (/*@only@*/ intTable p_h);

# else
# error "Multiple include"
# endif
Commit	Line	Data
28bf4b0b	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
28bf4b0b	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