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

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

struct s_stmtNode {
  ltoken lhs;
  ltoken operator;
  termNodeList args;
} ;

extern /*@unused@*/ /*@notnull@*/ /*@only@*/ cstring stmtNode_unparse (stmtNode p_x);
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
28bf4b0b	6	struct s_stmtNode {
885824d3	7	ltoken lhs;
	8	ltoken operator;
	9	termNodeList args;
28bf4b0b	10	} ;
885824d3	11
885824d3	12	extern /@unused@/ /@notnull@/ /@only@/ cstring stmtNode_unparse (stmtNode p_x);