[splint.git] / src / Headers / refTable-branch.h

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

# ifndef REFTABLE_H
# define REFTABLE_H

/*@private@*/ typedef struct _refentry { int level; int index; } *refentry;
/*@private@*/ typedef /*@only@*/ refentry o_refentry;

typedef /*@null@*/ struct s_refTable {
  int nelements;
  int nspace;
  o_refentry *elements;
} *refTable;

extern /*@only@*/ refTable refTable_create (void) /*@*/ ;
static void refTable_free (/*@only@*/ refTable p_x);


# 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	** refTable.h
	7	*/
	8
	9	# ifndef REFTABLE_H
	10	# define REFTABLE_H
	11
	12	/@private@/ typedef struct _refentry { int level; int index; } *refentry;
	13	/@private@/ typedef /@only@/ refentry o_refentry;
	14
	15	typedef /@null@/ struct s_refTable {
	16	int nelements;
	17	int nspace;
	18	o_refentry *elements;
	19	} *refTable;
	20
	21	extern /@only@/ refTable refTable_create (void) /@/ ;
	22	static void refTable_free (/@only@/ refTable p_x);
	23
	24
	25
	26	# else
	27	# error "Multiple include"
	28	# endif
	29
	30
	31