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

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
** See ../LICENSE for license information.
**
*/
# ifndef lslOpLIST_H
# define lslOpLIST_H

typedef /*@exposed@*/ lslOp e_lslOp;

abst_typedef struct
{
  int nelements;
  int nspace;
  /*@reldef@*/ /*@only@*/ /*@relnull@*/ e_lslOp *elements;
} *lslOpList ;

extern /*@only@*/ lslOpList lslOpList_new(void);
extern void lslOpList_add (lslOpList p_s, /*@exposed@*/ lslOp p_el) ;

extern /*@unused@*/ /*@only@*/ cstring lslOpList_unparse (lslOpList p_s) ;
extern void lslOpList_free (/*@only@*/ lslOpList p_s) ;

/*@constant int lslOpListBASESIZE;@*/
# define lslOpListBASESIZE SMALLBASESIZE
# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	1	/*
c0de361f	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2003.
885824d3	3	** See ../LICENSE for license information.
	4	**
	5	*/
	6	# ifndef lslOpLIST_H
	7	# define lslOpLIST_H
	8
	9	typedef /@exposed@/ lslOp e_lslOp;
	10
28bf4b0b	11	abst_typedef struct
885824d3	12	{
	13	int nelements;
	14	int nspace;
	15	/@reldef@/ /@only@/ /@relnull@/ e_lslOp *elements;
	16	} *lslOpList ;
	17
	18	extern /@only@/ lslOpList lslOpList_new(void);
	19	extern void lslOpList_add (lslOpList p_s, /@exposed@/ lslOp p_el) ;
	20
	21	extern /@unused@/ /@only@/ cstring lslOpList_unparse (lslOpList p_s) ;
	22	extern void lslOpList_free (/@only@/ lslOpList p_s) ;
	23
	24	/@constant int lslOpListBASESIZE;@/
	25	# define lslOpListBASESIZE SMALLBASESIZE
	26	# else
	27	# error "Multiple include"
	28	# endif
	29
	30
	31
	32