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
	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
	3	** See ../LICENSE for license information.
	4	*/
	5
	6	# ifndef VARNODE_H
	7	# define VARNODE_H
	8
	9	typedef struct { /* with sort, useful in quantified */
	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