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

/*
** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
** See ../LICENSE for license information.
**
*/
typedef enum 
{
  ACT_SELF, ACT_ITER, ACT_ALTERNATE, 
  ACT_SEQUENCE
} actionKind;

typedef struct {
  int wrapped; /* number of balanced parentheses around this program node */
  actionKind kind;
  union {
    stmtNode self;
    programNodeList args;
  } content;
} *programNode;

extern void programNode_free (/*@only@*/ /*@null@*/ programNode p_x);
extern /*@only@*/ cstring programNode_unparse (programNode p_p);
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	typedef enum
	7	{
	8	ACT_SELF, ACT_ITER, ACT_ALTERNATE,
	9	ACT_SEQUENCE
28bf4b0b	10	} actionKind;
885824d3	11
28bf4b0b	12	typedef struct {
885824d3	13	int wrapped; /* number of balanced parentheses around this program node */
	14	actionKind kind;
	15	union {
28bf4b0b	16	stmtNode self;
28bf4b0b	17	programNodeList args;
885824d3	18	} content;
	19	} *programNode;
	20
	21	extern void programNode_free (/@only@/ /@null@/ programNode p_x);
	22	extern /@only@/ cstring programNode_unparse (programNode p_p);
	23