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

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

typedef struct {
  /*@null@*/ /*@only@*/ nameNode name;
  /*@dependent@*/ sigNode signature; /* optional */
} *lslOp;

typedef /*@only@*/ lslOp o_lslOp;

extern void lslOp_free (/*@only@*/ lslOp p_x);
extern /*@only@*/ lslOp lslOp_copy (lslOp);
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
28bf4b0b	7	typedef struct {
885824d3	8	/@null@/ /@only@/ nameNode name;
	9	/@dependent@/ sigNode signature; /* optional */
	10	} *lslOp;
	11
	12	typedef /@only@/ lslOp o_lslOp;
	13
	14	extern void lslOp_free (/@only@/ lslOp p_x);
	15	extern /@only@/ lslOp lslOp_copy (lslOp);