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

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

# ifndef VARNODE_H
# define VARNODE_H

typedef struct { /* with sort, useful in quantified */
  ltoken varid;
  bool isObj; 
  lclTypeSpecNode type;
  sort sort;
} *varNode; 

extern varNode varNode_copy (varNode p_x);
extern void varNode_free (/*@only@*/ /*@null@*/ varNode p_x);

# else
# error "Multiple include"
# endif
Commit	Line	Data
885824d3	1	/*
28bf4b0b	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
885824d3	3	** See ../LICENSE for license information.
	4	*/
	5
	6	# ifndef VARNODE_H
	7	# define VARNODE_H
	8
28bf4b0b	9	typedef struct { /* with sort, useful in quantified */
885824d3	10	ltoken varid;
	11	bool isObj;
	12	lclTypeSpecNode type;
	13	sort sort;
	14	} *varNode;
	15
	16	extern varNode varNode_copy (varNode p_x);
	17	extern void varNode_free (/@only@/ /@null@/ varNode p_x);
	18
	19	# else
	20	# error "Multiple include"
	21	# endif