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

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

typedef struct _stmtNode {
  ltoken lhs;
  ltoken operator;
  termNodeList args;
} *stmtNode;

extern /*@unused@*/ /*@notnull@*/ /*@only@*/ cstring stmtNode_unparse (stmtNode p_x);
Commit	Line	Data
885824d3	1	/*
	2	** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2000.
	3	** See ../LICENSE for license information.
	4	*/
	5
	6	typedef struct _stmtNode {
	7	ltoken lhs;
	8	ltoken operator;
	9	termNodeList args;
	10	} *stmtNode;
	11
	12	extern /@unused@/ /@notnull@/ /@only@/ cstring stmtNode_unparse (stmtNode p_x);